Projekter pr. år
- 150 - 175 ud af 587 resultater
Søgeresultater
-
NASG/2023: NASG 2023 - Nordic Alliance for Sustainability in Gaming NN/2023
Wirman, H. E. (PI) & Grabarczyk, P. (CoI)
15/05/2023 → 01/10/2024
Projekter: Projekt › Forskning
-
MoReSo: Modular Reasoning about Software
Birkedal, L. (PI), Thamsborg, J. J. (CoI) & Møgelberg, R. E. (CoI)
01/01/2008 → 31/12/2011
Projekter: Projekt › Forskning
-
COMET: Establishing and Communicating Trust in the Security of Election Technologies
Kulyk, O. (PI), Agbesi, S. (CoI), Budurushi, J. (CoI) & Dalela, A. (Samarbejdspartner)
01/01/2022 → 31/12/2023
Projekter: Projekt › Forskning
-
Integrating User Experience Design in Scaled Agile Development
Harre, O. T. (PI) & Nielsen, L. (PI)
31/12/2018 → 31/03/2022
Projekter: Projekt › Forskning
-
-
SAPienT: Safer AI with Probabilistic Session Types
Carbone, M. (PI)
01/02/2024 → 30/06/2024
Projekter: Projekt › Forskning
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
01/09/2021 → 28/02/2025
Projekter: Projekt › Forskning
-
DIGT: Democratic Innovations in a Green Transition
Papazu, I. (PI), Henrichsen, R. M. (CoI) & Veng, A. (CoI)
01/01/2021 → 31/10/2024
Projekter: Projekt › Forskning
-
EUTYPES: The European research network on types for programming and verification
Møgelberg, R. E. (PI), Graulund, C. U. (CoI) & Veltri, N. (CoI)
21/03/2016 → 20/03/2020
Projekter: Projekt › Forskning
-
BARC: Basic Algorithms Research Copenhagen
Pagh, R. (PI), Husfeldt, T. (CoI), Björklund, A. (CoI), Lebeda, C. J. (CoI), Nielsen, N. M. S. (CoI), Bercea, I. O. (CoI), Karppa, M. (CoI), Curticapean, R.-C. (CoI), Limaye, N. (CoI), Aumüller, M. (CoI), Sivertsen, J. V. T. (CoI), McCauley, S. (CoI) & Dell, H. (CoI)
01/09/2017 → 31/08/2024
Projekter: Projekt › Forskning
-
Tensor network algorithms for large scale learning and simulation
Kastoryano, M. (PI) & Limaye, N. (CoI)
01/03/2023 → 02/03/2023
Projekter: Projekt › Forskning
-
CATS : Choosing a Transfer Source for Medical Image Classification
Cheplygina, V. (PI), Juodelyte, D. (CoI) & Lu, Y. (CoI)
01/10/2021 → 30/09/2025
Projekter: Projekt › Forskning
-
IC2S2: International Conference on Computational Social Science
Aiello, L. M. (PI)
01/02/2023 → 01/07/2023
Projekter: Projekt › Forskning
-
DIREC: Digital Research Centre Denmark
Godskesen, J. C. (PI), Barkhuus, L. (PI), Bonnet, P. (PI), Brabrand, C. (PI), Schürmann, C. (PI), Sekara, V. (PI), David, B. M. (PI), Husfeldt, T. (PI), Curticapean, R.-C. (PI), Limaye, N. (PI), Aumüller, M. (PI), Jacob, R. (PI), Risi, S. (PI), Wasowski, A. (PI), Birch Okkels, C. (CoI), Berthelsen, K. H. (CoI), Larsen, M. K. (CoI), Schmidt, M. D. (CoI) & Ghaffari, M. (CoI)
01/10/2020 → 30/09/2025
Projekter: Projekt › Forskning
-
APPLE: Adaptive learning
Burelli, P. (PI) & Volden, T. V. S. (PI)
15/08/2022 → 14/08/2025
Projekter: Projekt › Forskning
-
CHARTER: Critical and High Assurance Requirements Transformed through Engineering Rigour
Kiniry, J. R. (PI)
01/04/2009 → 01/04/2012
Projekter: Projekt › Forskning
-
SIMS: Stedbestemte informationer til medarbejdere i servicejobs
Hansen, J. P. (PI)
Innovationsnetværk for IT - InfinIT
01/02/2014 → 30/06/2014
Projekter: Projekt › Forskning
-
Fra Klinisk guideline til klinisk IT-system
Lyng, K. M. (PI)
Styrelsen for Forskning og Uddannelse
01/01/2007 → 31/12/2015
Projekter: Projekt › Forskning
-
JML Spec-a-thon: JML Reloaded
Kiniry, J. R. (PI) & Zimmerman, D. (PI)
21/10/2007 → 01/01/2012
Projekter: Projekt › Forskning
-
IDAK
Carstensen, P. (PI)
Industriens Uddannelsessekretariat
01/01/2005 → 31/12/2009
Projekter: Projekt › Forskning
-
Reasoning about Resources
Birkedal, L. (PI)
Ministry of Higher Education and Science
01/01/2002 → 31/12/2005
Projekter: Projekt › Forskning
-
-
-
-
Serious games
Egenfeldt-Nielsen, S. (PI)
Styrelsen for Forskning og Uddannelse
01/01/2005 → 31/12/2008
Projekter: Projekt › Forskning