Programmering, logik og intelligente systemer

Projekter 2005 2019

Filter
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/201631/12/2018

Projekter: ProjektForskning

Social Interaction around Installations

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

01/11/201330/06/2016

Projekter: ProjektForskning

ICT-Energy

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

01/10/201330/09/2016

Projekter: ProjektForskning

Interaktiv kunstudstilling: "Italienske bøger" i oplevelsescylinder

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

01/03/201331/12/2013

Projekter: ProjektForskning

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/201301/10/2014

Projekter: ProjektForskning

Experimental Museum Exhibition Design

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

01/01/201330/06/2016

Projekter: ProjektForskning

ENTRA: Whole-Systems Energy Transparency

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

01/10/201230/09/2015

Projekter: ProjektForskning

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/200931/12/2013

Projekter: ProjektForskning

IMDEA Software Institute, Madrid - Research Agreement

Gallagher, J. P.

01/08/200831/12/2012

Projekter: ProjektForskning

SIABO: Semantic Information Access through Biomedical Ontologies

Andreasen, T. & Bulskov, H.

01/06/200731/12/2012

Projekter: ProjektForskning

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/200731/12/2012

Projekter: ProjektForskning

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/200531/12/2008

Projekter: ProjektForskning