Projekter pr. år
Projekter 2005 2019
- 22 Afsluttet
Afsluttet
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/12/2012
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