Projekter pr. år
- 33 resultater
Søgeresultater
-
Igangværende
Effects-driven improvement of bio-production processes with AI (2022-2023)
Simonsen, J. & Gyldenkærne, C.
15/03/2022 → 30/06/2023
Projekter: Projekt › Forskning
-
Stowage Algorithms and AI for Energy Efficient Liner Shipping
Reinhardt, L. & Sivertsen, A. V. T.
01/03/2022 → 28/02/2025
Projekter: Projekt › Forskning
-
DiRec: Safeguarding Diversity in News Recommendation
03/01/2022 → 31/12/2023
Projekter: Projekt › Forskning
-
Roskilde Universitet, Accelerating the Green Transition of the Blue Economies
Reinhardt, L., Spaniol, M. J. & Dorland, J.
15/12/2021 → 15/12/2024
Projekter: Projekt › Forskning
-
ROROGREEN: Green RORO shipping through digital innovation
01/12/2020 → 31/05/2024
Projekter: Projekt › Forskning
-
-
Afsluttet
Energicertificeret softwareudvikling og drift
Kirkeby, M. H., Rosendahl, M., Rhiger, M. & Lu, H.
07/09/2021 → 31/05/2022
Projekter: Projekt › Forskning
-
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
-
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
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T., Blackburn, P. R. & Polyanskaya, I.
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
01/08/2008 → 31/08/2021
Projekter: Projekt › Forskning
-
FIRST: Foundations of Innovative Research in Software Technologies (FIRST Research School)
01/01/2008 → 31/12/2010
Projekter: Projekt › Forskning
-
CONTEXT 07: Sixth International and Interdisciplinary Conference
20/08/2007 → 24/08/2007
Projekter: Projekt › Forskning
-
CONTEXT 07: Sixth International and Interdisciplinary Conference
20/08/2007 → 24/08/2007
Projekter: Projekt › Forskning
-
SIABO: Semantic Information Access through Biomedical Ontologies
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.
01/05/2007 → 31/12/2012
Projekter: Projekt › Forskning
-
SAFT: Static Analysis with Finite Tree Automata
Gallagher, J. P., Rosendahl, M. & Rhiger, M.
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