Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Datalogi, IT
- Analyse af Naturligt Sprog
- Computerbaseret informationssøgning
- Data- og vidensbaser
- Informationssøgning
- Intelligent informationssøgning
- Kunstig intelligens
- Logikprogrammering
- Metodik for undervisning i Datalogi
- Pædagogik, Læring, Uddannelse
- Erasmus
- Socrates
- Studenterudveksling
Publikationsnetværk
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
Classification of renal tumour using convolutional neural networks to detect oncocytoma
Pedersen, M., Andersen, M. B., Christiansen, H. & Asawi, N. H., 2020, I: European Journal of Radiology. 133, 109343, 5 s., 109343.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › peer review
-
Efficient and Precise Classification of CT Scannings of Renal Tumors Using Convolutional Neural Networks
Pedersen, M., Christiansen, H. & Asawi, N. H., 2020, Foundations of Intelligent Systems: 25th International Symposium, ISMIS 2020, Graz, Austria, September 23-25, 2020, Proceedings. Helic, D., Leitner, G., Stettinger, N., Felfernig, A. & Ras, Z. W. (red.). Springer, s. 440-447 (Lecture Notes in Computer Science, Bind 12117).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Robots on stage
Christiansen, H. & Lindelof, A. M., 18 dec. 2020, I: EAI Endorsed Transactions on Creative Technologies. 7, 25, 13 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › peer review
Åben adgangFil -
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
Kirkeby, M. H. & Christiansen, H., 2019, I: International Journal of Approximate Reasoning. 105, s. 217-228Publikation: Bidrag til tidsskrift › Tidsskriftartikel › peer review
Fil -
Confluence of CHR Revisited: Invariants and Modulo Equivalence
Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation: 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Mesnard, F. & Stuckey, P. J. (red.). Cham: Springer, Bind 11408. s. 94-111 (Lecture Notes in Computer Science, Bind 11408). (Theoretical Computer Science and General Issues, Bind 11408).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil
-
NorDigHealth: Novel Regional Digital Solutions for Improving Health
Barrett, B. A., Holen, M., Tvilsted, S. S., Hartvig, D. L., Fahse, F., Krauth, H. H., Seger, K., Burmeister, E., Jernskæg, D. R., Kjær, T. W., Sørensen, T. L., Bulskov, H., Christiansen, H. & Andreasen, T.
01/01/2019 → 31/12/2021
Projekter: Projekt › Forskning
-
NDH: NorDigHealth
Liveng, A., Barrett, B. A., Holen, M., Andreasen, T. & Christiansen, H.
01/01/2019 → 30/12/2021
Projekter: Projekt › Forskning
-
INGRACOMLEN: Algoritmos de inferencia gramatical para medir la complejidad relativa de las lenguas naturales (Grammatical Inference Algorithms for measuring the relative complexity of natural languages)
Jiménez López, M. D., Christiansen, H., Becerra-Bonache, L., Martín Vide, C., Jacquenet, F., Batista Galván, M., Torrens Urrutia, A. & Loukanova, R.
01/01/2016 → 31/12/2018
Projekter: Projekt › Forskning
-
Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H.
Det Frie Forskningsråd | Natur og Univers
01/11/2015 → 31/12/2018
Projekter: Projekt › Forskning
-
Kulturportalen, Experience Lab RUC projekt
Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.
15/08/2014 → 01/02/2017
Projekter: Projekt › Forskning
Aktiviteter
-
FQAS 2021, 14th International Conference on Flexible Query Answering Systems
Henning Christiansen (Arrangør)
19 sep. 2021 → 24 sep. 2021Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
The 8th Workshop on Probabilistic Logic Programming
Henning Christiansen (Deltager)
20 sep. 2021 → 27 sep. 2021Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
MRC-HCCS – Human-Centric and Contextual Systems Thirteenth International Workshop Modelling | Reasoning | Context
Henning Christiansen (Deltager)
21 aug. 2021 → 26 aug. 2021Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
International Journal of Approximate Reasoning (Tidsskrift)
Henning Christiansen (Fagfællebedømmer)
2021Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
The 7th Workshop on Probabilistic Logic Programming
Henning Christiansen (Arrangør)
19 sep. 2020Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Presse/medier
-
-
-
Italienske tegninger
Henning Christiansen, Hanne Leth Andersen & Bjørn Laursen
06/05/2014
1 element af Mediedækning
Presse/medie
-
-