Programming, Logic and Intelligent Systems

Projects

Projects per year 2005 2007 2013 2019 2020 2021 2022 2023 2028

• 7 Active
• 34 Finished

Projects per year

Search results

• Active

  Green IT-procurement

  Pries-Heje, J. (Project manager), Christensen, T. B. (Project participant), Boulus-Rødje, N. (Project participant) & Kirkeby, M. H. (Project participant)

  01/01/2024 → 31/07/2028

  Project: Research

• Projekt: SEAFACTS - en digital platform til søfartshistorien

  Andreasen, T. (Project manager), Bulskov, H. (Project participant), Christiansen, H. (Project participant), Nielsen, T. T. (Project participant) & Tinning, M. (Project participant)

  01/11/2023 → 30/06/2025

  Project: Research

• #echopol: Echo chambers revisited: Modelling polarization dynamics on Danish social media

  Mayerhöffer, E. (Project manager), Hansen, J. U. (Project manager) & Henriksen, F. M. (Project participant)

  Det Frie Forskningsråd

  01/10/2023 → 31/12/2027

  Project: Research

• Game For Green

  Pries-Heje, J. (Project manager), Kure, C. L. W. (Project participant), Boulus-Rødje, N. (Project participant), Fleron, B. (Project participant), Reinhardt, L. (Project participant) & Hansen, M. R. P. (Project participant)

  01/05/2023 → 31/10/2026

  Project: Research

• Innotech - TaskForce

  Fleron, B. (Project manager), Nielsen, T. T. (Project participant), de Neergaard, M. (Project participant) & Kruse, E. N. (Project participant)

  InterReg ØKS

  01/01/2023 → 31/12/2025

  Project: Research

• Automatisering af beslutningsstøtte for diagnostik og prognostik af myokardiebiopsier ved deep learning

  Christiansen, H. (Project participant)

  29/03/2022 → …

  Project: Research

• DiRec: Safeguarding Diversity in News Recommendation

  Hartley, J. M. (Project participant), Lu, H. (Project participant) & Bender, M. (Project participant)

  03/01/2022 → 30/04/2027

  Project: Research

• Finished

  Effects-driven improvement of bio-production processes with AI (2022-2023)

  Simonsen, J. (Supervisor) & Gyldenkærne, C. (Project manager)

  15/03/2022 → 30/06/2023

  Project: Research

• Stowage Algorithms and AI for Energy Efficient Liner Shipping

  Reinhardt, L. (Project participant) & Sivertsen, A. V. T. (Project participant)

  01/03/2022 → 28/02/2025

  Project: Research

• Roskilde Universitet, Accelerating the Green Transition of the Blue Economies

  Reinhardt, L. (Project participant), Spaniol, M. J. (Project participant) & Dorland, J. (Project participant)

  15/12/2021 → 15/12/2024

  Project: Research

• EXPLAIN-ME: Learning to Collaborate via Explainable AI in Medical Education

  Christiansen, H. (Project participant), Simonsen, J. (Project participant), Bulskov, H. (Project participant) & Asawi, N. H. (Project participant)

  01/10/2021 → 30/04/2025

  Project: Research

• Energicertificeret softwareudvikling og drift

  Kirkeby, M. H. (Project participant), Rosendahl, M. (Project participant), Rhiger, M. (Project participant) & Lu, H. (Project participant)

  07/09/2021 → 31/05/2022

  Project: Research

• LINGCO: Assessment of linguistic complexity with constraint-based tools

  Christiansen, H. (Project participant)

  01/09/2021 → 31/08/2024

  Project: Research

• ROROGREEN: Green RORO shipping through digital innovation

  Reinhardt, L. (Project manager) & Hansen, J. U. (Project participant)

  01/12/2020 → 31/05/2024

  Project: Research

• FBB: Feedback Box

  Boulus-Rødje, N. (Project manager), Jensen, T. (Project participant), Fleron, B. (Project participant) & Hansen, J. U. (Project participant)

  01/02/2020 → 01/06/2021

  Project: Research

• Energimærkning af Software og Software Installationer

  Gallagher, J. P. (Project participant), Kirkeby, M. H. (Project participant), Rosendahl, M. (Project participant) & Rhiger, M. (Project participant)

  01/02/2020 → 30/09/2020

  Project: Research

• NorDigHealth: Novel Regional Digital Solutions for Improving Health

  Barrett, B. A. (Project participant), Holen, M. (Project participant), Tvilsted, S. S. (Project manager), Hartvig, D. L. (Project manager), Fahse, F. (Project participant), Krauth, H. H. (Project participant), Seger, K. (Project participant), Burmeister, E. (Project participant), Jernskæg, D. R. (Project participant), Kjær, T. W. (Project participant), Sørensen, T. L. (Project participant), Bulskov, H. (Project participant), Christiansen, H. (Project participant) & Andreasen, T. (Project participant)

  01/01/2019 → 31/12/2021

  Project: Research

• NDH: NorDigHealth

  Liveng, A. (Project participant), Barrett, B. A. (Project participant), Holen, M. (Project participant), Andreasen, T. (Project participant) & Christiansen, H. (Project participant)

  01/01/2019 → 30/12/2021

  Project: Research

• Data Management Foundations for Indoor LBS

  Lu, H. (Supervisor), Chan, H.K.-H. (Project participant) & Li, X. (Project participant)

  01/01/2019 → 30/06/2023

  Project: Research

• Connecting through pulse in collaboration with the Royal Danish Theatre

  Høbye, M. (Project participant)

  01/12/2017 → 01/01/2018

  Project: Research

• 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. (Project manager), Christiansen, H. (Project participant), Becerra-Bonache, L. (Project participant), Martín Vide, C. (Project participant), Jacquenet, F. (Project participant), Batista Galván, M. (Project participant), Torrens Urrutia, A. (Project participant) & Loukanova, R. (Project participant)

  01/01/2016 → 31/12/2018

  Project: Research

• Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules

  Christiansen, H. (Anden) & Kirkeby, M. H. (Project participant)

  Det Frie Forskningsråd | Natur og Univers

  01/11/2015 → 31/12/2018

  Project: Research

• Kulturportalen, Experience Lab RUC projekt

  Jensen, S. S. (Project coordinator), Laursen, B. (Project manager), Gallagher, J. P. (Project participant), Andreasen, T. (Project participant) & Christiansen, H. (Project participant)

  15/08/2014 → 01/02/2017

  Project: Research

• Hybrid-Logical Proofs at Work in Cognitive Psychology

  Braüner, T. (Project participant), Blackburn, P. R. (Project participant) & Polyanskaya, I. (Project participant)

  VELUX FONDEN

  01/01/2014 → 30/04/2019

  Project: Research

• Social Interaction around Installations

  Christrup, H. (Project manager), Andreasen, T. (Project manager) & Simonsen, J. (Anden)

  01/11/2013 → 30/06/2016

  Project: Research

• ICT-Energy

  Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant) & Bohr, N. (Project participant)

  01/10/2013 → 30/09/2016

  Project: Research

• Interaktiv kunstudstilling: "Italienske bøger" i oplevelsescylinder

  Laursen, B. (Project participant), Christiansen, H. (Project participant) & Brandrup, M. (Anden)

  01/03/2013 → 31/12/2013

  Project: Research

• Situated Design Methods

  Simonsen, J. (Project manager), Svabo, C. (Project manager), Strandvad, S. M. (Project manager), Samson, K. (Project manager), Hertzum, M. (Project manager), Hansen, O. E. (Project manager), Søndergård, B. (Project participant), Kristiansen, E. (Project participant), Christrup, H. (Project participant), Pries-Heje, J. (Project participant), Nielsen, J. L. (Project participant), Bødker, K. (Project participant), Pfeiffer Pedersen, L. (Project participant), Frølunde, L. (Project participant), Rosendahl, M. (Project participant), Neisig, M. (Project participant), Frandsen, M. S. (Project participant), Juul, N. C. (Project participant), Jørgensen, N. (Project participant), Lybæk, R. (Project participant), Groth, S. K. (Project participant), Christensen, T. B. (Project participant), Andreasen, T. (Project participant), Kjær, T. (Project participant), Kensing, F. (Project participant), Venable, J. (Project participant), Birch Andreasen, L. (Project participant), Baskerville, R. (Project participant) & Gudiksen, S. (Project participant)

  01/01/2013 → 01/10/2014

  Project: Research

• Experimental Museum Exhibition Design

  Andreasen, T. (Project manager), Haldrup, M. (Project participant), Svabo, C. (Project participant), Møbius, N. (Project participant), Kjølbæk, A. S. (Project participant), Thorlund, S. (Project participant) & Simonsen, J. (Anden)

  01/01/2013 → 30/06/2016

  Project: Research

• ENTRA: Whole-Systems Energy Transparency

  Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant), Rhiger, M. (Project participant), Strand, D. L. (Project manager) & Bohr, N. (Project participant)

  01/10/2012 → 30/09/2015

  Project: Research

• The design of interactive experiences: advanced IT in inter-disciplinary teaching and research

  Gallagher, J. P. (Project participant), Jørgensen, N. (Project participant) & Jacquemin, C. (Project participant)

  01/04/2011 → 31/03/2012

  Project: Research

• NUSA: Numeric and Symbolic Abstractions for Software Model Checking

  Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant) & Rhiger, M. (Project participant)

  01/01/2011 → 31/12/2013

  Project: Research

• Havhingstens tur til Irland – en interaktiv oplevelsesplatform

  Gallagher, J. P. (Project participant), Andreasen, T. (Project participant), Christiansen, H. (Project participant), Jensen, S. S. (Project participant) & Strand, D. L. (Project participant)

  01/08/2010 → 31/01/2011

  Project: Research

• HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods

  Braüner, T. (Project participant), Bolander, T. (Project participant), Goranko, V. (Project participant), Blackburn, P. (Project participant) & Areces, C. (Project participant)

  The Danish Natural Science Research Council

  01/01/2009 → 31/12/2013

  Project: Research

• IMDEA Software Institute, Madrid - Research Agreement

  Gallagher, J. P. (Project participant)

  01/08/2008 → 31/08/2021

  Project: Research

• FIRST: Foundations of Innovative Research in Software Technologies (FIRST Research School)

  Gallagher, J. P. (Project participant)

  01/01/2008 → 31/12/2010

  Project: Research

• CONTEXT 07: Sixth International and Interdisciplinary Conference

  Christiansen, H. (Project participant)

  NOKIA Research, Det Frie Forskningsråd

  20/08/2007 → 24/08/2007

  Project: Research

• SIABO: Semantic Information Access through Biomedical Ontologies

  Andreasen, T. (Project participant) & Bulskov, H. (Project participant)

  01/06/2007 → 31/12/2012

  Project: Research

• Logic-statistic modelling and analysis of biological sequence data

  Christiansen, H. (Project participant), Gallagher, J. P. (Project participant), Skovgaard, O. (Project participant), Pedersen, M. B. (Project participant), Garrigues, C. (Project participant), Jaeger, M. (Project participant), Forsberg, R. (Project participant), Steffensen, P. J. (Project participant), Knudsen, T. (Project participant), Knudsen, B. (Project participant), Krogh, A. (Project participant) & Sato, T. (Project participant)

  Det strategiske forskningsråd; NABIIT, Programkomitéen for nanovidenskab og teknologi, bioteknologi og IT

  01/05/2007 → 31/12/2012

  Project: Research

• SAFT: Static Analysis with Finite Tree Automata

  Gallagher, J. P. (Project manager), Rosendahl, M. (Project participant) & Rhiger, M. (Project participant)

  <ingen navn>

  01/01/2007 → 31/12/2010

  Project: Research

• HyLoMOL: Hybrid Logic Meets Other Logics

  Braüner, T. (Anden), Bolander, T. (Project participant), Villadsen, J. (Project participant), Blackburn, P. (Project participant) & de Paiva, V. (Project participant)

  The Danish Natural Science Research Council

  01/01/2005 → 31/12/2008

  Project: Research