Programmering, logik og intelligente systemer

Projekter

Projekter pr. år 2005 2007 2013 2019 2020 2024

• 1 Ikke startet
• 5 Igangværende
• 24 Afsluttet

Projekter pr. år

Søgeresultater

• Igangværende

  Energicertificeret softwareudvikling og drift

  Kirkeby, M. H., Rosendahl, M., Rhiger, M. & Lu, H.

  07/09/2021 → 31/05/2022

  Projekter: Projekt › Forskning

• ROROGREEN: Green RORO shipping through digital innovation

  Reinhardt, L. & Hansen, J. U.

  01/12/2020 → 31/05/2024

  Projekter: Projekt › Forskning

• Data Management Foundations for Indoor LBS

  Lu, H., Chan, H. K. & Li, X.

  01/01/2019 → 30/06/2023

  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

• 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
• Ikke startet

  DiRec: Safeguarding Diversity in News Recommendation

  Hartley, J. M. & Lu, H.

  03/01/2022 → 31/12/2023

  Projekter: Projekt › Forskning

• Afsluttet

  FBB: Feedback Box

  Boulus-Rødje, N., Jensen, T., Fleron, B. & Hansen, J. U.

  01/02/2020 → 01/06/2021

  Projekter: Projekt › Forskning

• Energimærkning af Software og Software Installationer

  Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.

  01/02/2020 → 30/09/2020

  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

• Hybrid-Logical Proofs at Work in Cognitive Psychology

  Braüner, T., Blackburn, P. R. & Polyanskaya, I.

  VELUX FONDEN

  01/01/2014 → 30/04/2019

  Projekter: Projekt › Forskning

• Social Interaction around Installations

  Christrup, H., Andreasen, T. & Simonsen, J.

  01/11/2013 → 30/06/2016

  Projekter: Projekt › Forskning

• ICT-Energy

  Gallagher, J. P., Rosendahl, M. & Bohr, N.

  01/10/2013 → 30/09/2016

  Projekter: Projekt › Forskning

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

  Laursen, B., Christiansen, H. & Brandrup, M.

  01/03/2013 → 31/12/2013

  Projekter: Projekt › Forskning

• Situated Design Methods

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

  01/01/2013 → 01/10/2014

  Projekter: Projekt › Forskning

• Experimental Museum Exhibition Design

  Andreasen, T., Haldrup, M., Svabo, C., Møbius, N., Kjølbæk, A. S., Thorlund, S. & Simonsen, J.

  01/01/2013 → 30/06/2016

  Projekter: Projekt › Forskning

• ENTRA: Whole-Systems Energy Transparency

  Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.

  01/10/2012 → 30/09/2015

  Projekter: Projekt › Forskning

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

  Gallagher, J. P., Jørgensen, N. & Jacquemin, C.

  01/04/2011 → 31/03/2012

  Projekter: Projekt › Forskning

• NUSA: Numeric and Symbolic Abstractions for Software Model Checking

  Gallagher, J. P., Rosendahl, M. & Rhiger, M.

  01/01/2011 → 31/12/2013

  Projekter: Projekt › Forskning

• Havhingstens tur til Irland – en interaktiv oplevelsesplatform

  Gallagher, J. P., Andreasen, T., Christiansen, H., Jensen, S. S. & Strand, D. L.

  01/08/2010 → 31/01/2011

  Projekter: Projekt › Forskning

• HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods

  Braüner, T., Bolander, T., Goranko, V., Blackburn, P. & Areces, C.

  The Danish Natural Science Research Council

  01/01/2009 → 31/12/2013

  Projekter: Projekt › Forskning

• IMDEA Software Institute, Madrid - Research Agreement

  Gallagher, J. P.

  01/08/2008 → 31/08/2021

  Projekter: Projekt › Forskning

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

  Gallagher, J. P.

  01/01/2008 → 31/12/2010

  Projekter: Projekt › Forskning

• CONTEXT 07: Sixth International and Interdisciplinary Conference

  Christiansen, H.

  NOKIA Research

  20/08/2007 → 24/08/2007

  Projekter: Projekt › Forskning

• CONTEXT 07: Sixth International and Interdisciplinary Conference

  Christiansen, H.

  Det Frie Forskningsråd

  20/08/2007 → 24/08/2007

  Projekter: Projekt › Forskning

• SIABO: Semantic Information Access through Biomedical Ontologies

  Andreasen, T. & Bulskov, H.

  01/06/2007 → 31/12/2012

  Projekter: Projekt › Forskning

• Logisk-statistisk modellering og analyse af biologiske sekvensdata

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

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

  01/05/2007 → 31/12/2012

  Projekter: Projekt › Forskning

• SAFT: Static Analysis with Finite Tree Automata

  Gallagher, J. P., Rosendahl, M. & Rhiger, M.

  <ingen navn>

  01/01/2007 → 31/12/2010

  Projekter: Projekt › Forskning

• HyLoMOL: Hybrid Logic Meets Other Logics

  Braüner, T., Bolander, T., Villadsen, J., Blackburn, P. & de Paiva, V.

  The Danish Natural Science Research Council

  01/01/2005 → 31/12/2008

  Projekter: Projekt › Forskning