Research output per year
Research output per year
Organisation profile
Organisation profile
Our research combines basic research in Computer Science with innovative applications. The construction of reliable, intelligent, and resource-efficient systems requires basic research in the mathematical and logic foundations of databases, algorithms, programming tools and languages. At the same time, this insight combined with a range of external collaborations provides an ideal starting point for creating novel technologies that fit the needs of the modern society – and inspires and helps defining goals for our basic research.
Our research activities combine the following main directions:
- Computer Science basic research:
Analysis of programming languages and program properties, AI and decision support tools, logic, databases and data science.
- Innovative applications in a variety of areas:
Interaction design, artistic and informative installations, virtual and augmented reality, and robots.
Analysis and application of big data: social networks, health data, bioinformatics, ...
Applications of logic in psychology.
Program analysis, e.g., for energy consumption and correctness properties.
Publication network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Troels Andreasen
- Department of People and Technology - Associate Professor
- Programming, Logic and Intelligent Systems
- Centre for Big Data
Person: VIP
Research output
-
Innovation Tactics for Implementing an ML Application in Healthcare: A Long and Winding Road
Gyldenkærne, C., Hansen, J. U., Hertzum, M. & Mønsted, T. S., 2024, In: International Journal of Human-Computer Studies. 181, 103162.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
A Framework to Support Continuous Range Queries over Multi-Attribute Trajectories
Xu, J., Bao, Z. & Lu, H., 1 Feb 2023, In: IEEE Transactions on Knowledge and Data Engineering. 35, 2, p. 1119 - 1133 15 p.Research output: Contribution to journal › Journal article › Research › peer-review
File -
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers
Blackburn, P., Braüner, T. & Kofod, J. L., 2023, Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings. Hansen, H. H., Scedrov, A. & de Queiroz, R. J. G. B. (eds.). Springer, p. 118-134 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13923 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Projekt: SEAFACTS - en digital platform til søfartshistorien
Andreasen, T., Bulskov, H., Christiansen, H., Nielsen, T. T. & Tinning, M.
01/11/2023 → 31/03/2025
Project: Research
-
#echopol: Echo chambers revisited: Modelling polarization dynamics on Danish social media
Mayerhöffer, E. & Hansen, J. U.
01/10/2023 → 30/09/2026
Project: Research
-
Automatisering af beslutningsstøtte for diagnostik og prognostik af myokardiebiopsier ved deep learning
29/03/2022 → …
Project: Research
Activities
-
Seminar on Artificial Intelligence
Nicolas Padfield (Speaker), Mads Hobye (Speaker), Henning Christiansen (Speaker), Matthew J. Spaniol (Speaker), Niels Jensen (Speaker) & Abdul Halim Bin Abdul Rahman (Speaker)
10 Feb 2023Activity: Talk or presentation › Lecture and oral contribution
-
26th European Conference on Artificial Intelligence ECAI 2023 (Event)
Torben Braüner (Member)
30 Sept 2023 → 5 Oct 2023Activity: Membership › Membership in committee, council, board
-
ESSLLI 2023 workshop on First-order Modal and Temporal Logics: State of the art and perspectives (Event)
Torben Braüner (Member)
7 Aug 2023 → 11 Aug 2023Activity: Membership › Membership in committee, council, board
Press/Media
-
Kunstig intelligens er ikke intelligent – så hvad sker der, når vi fodrer den med forskning eller fup?
08/11/2023
1 item of Media coverage
Press/Media: Press / Media
-
It-branchen mangler fokus på klimaaftryk fra software
04/11/2023
1 item of Media coverage
Press/Media: Press / Media
-
Prizes
-
Best Vision Paper Award
Xu, Jianqiu (Recipient), Lu, Hua (Recipient) & Güting, Ralf Hartmut (Recipient), 20 Aug 2019
Prize: Prizes, scholarships, distinctions
Datasets
-
The Project of Efficient and Error-bounded Spatiotemporal Quantile Monitoring in Edge Computing Environments
Li, H. (Creator), Yi, L. (Creator), Tang, B. (Creator), Lu, H. (Creator) & Jensen, C. S. (Creator), Zenodo, 25 May 2022
DOI: 10.5281/zenodo.7053904, https://zenodo.org/record/7053904
Dataset