Projekter pr. år
- 1 - 25 ud af 60 resultater
Søgeresultater
-
CountBeyond: Beyond Exact Counting: Approximation and Symmetry
Curticapean, R.-C. (PI)
01/06/2023 → 30/09/2023
Projekter: Projekt › Forskning
-
QIDES: QIDES -Tensor Network algorithms in Finance and engineering
Kastoryano, M. (PI), Vinther, J. (CoI), Silva Arenstein, L. (CoI) & Loeschcke, S. (CoI)
01/05/2023 → 30/06/2024
Projekter: Projekt › Forskning
-
A Formal Model for Declarative Workflows - Dynamic Condition Response Graphs
Mukkamala, R. R. (PI)
Danish Council for Technology and Innovation
01/01/2009 → 31/12/2012
Projekter: Projekt › Forskning
-
PROBABILIST: Probabilistic - Session Types and their Mechanisation
Carbone, M. (PI)
01/04/2025 → 30/10/2028
Projekter: Projekt › Forskning
-
Jingling Genie: Context-Sensitive Services Developed in Global Collaboration
Staunstrup, J. (PI), Hildebrandt, T. (CoI), Stald, G. B. (CoI) & Hansen, J. P. (CoI)
Danish Council for Strategic Research
01/01/2009 → 31/12/2013
Projekter: Projekt › Forskning
-
Alegro: Algebraic Effects and Guarded Recursion
Møgelberg, R. E. (PI) & Zwart, M. A. (CoI)
01/07/2022 → 30/06/2026
Projekter: Projekt › Forskning
-
SAPienT: Safer AI with Probabilistic Session Types
Carbone, M. (PI)
01/02/2024 → 30/06/2024
Projekter: Projekt › Forskning
-
Computer Supported Mobile Adaptive Business Processes
Hildebrandt, T. (PI), Bundgaard, M. (CoI), Glenstrup, A. J. (CoI), Carbone, M. (CoI), Højsgaard, E. (CoI) & Nilsson, M. (CoI)
Danish Council for Technology and Innovation
01/01/2007 → 01/10/2012
Projekter: Projekt › Forskning
-
NLP-assisted rewriting of Standard Operation Procedures in a GMP-regulated environment
Schluter, N. (PI) & Varab, D. (PI)
01/01/2020 → 30/04/2023
Projekter: Projekt › Forskning
-
Data Driven Decision Making In Public Transportation
Frellsen, J. (PI)
01/03/2018 → 28/02/2021
Projekter: Projekt › Forskning
-
EliteForsk travel grant
Christiani, T. L. (PI) & Pagh, R. (PI)
Ministeriet for Børn og Undervisning
01/01/2017 → 31/12/2018
Projekter: Projekt › Forskning
-
Meta-CLF2: Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security
Schürmann, C. (PI), Bruni, A. (CoI) & Marin, S. (CoI)
01/03/2016 → 01/03/2019
Projekter: Projekt › Forskning
-
-
-
TRUSTCARE: Trustworthy Pervasive Healthcare Services
Hildebrandt, T. (PI), Bardram, J. (CoI), Mukkamala, R. R. (CoI) & Bunde-Pedersen, J. (CoI)
Danish Council for Strategic Research
01/01/2008 → 30/06/2012
Projekter: Projekt › Forskning
-
FLows: Formula complexity of polynomials and lower bounds
Limaye, N. (PI) & Dwivedi, P. (CoI)
01/01/2024 → 31/12/2026
Projekter: Projekt › Forskning
-
DIREC: Digital community building
Jacob, R. (PI) & Schürmann, C. (PI)
01/04/2023 → 01/09/2025
Projekter: Projekt › Forskning
-
De Danske Cybermesterskaber 2022-24
Bruni, A. (PI)
01/11/2021 → 31/10/2024
Projekter: Projekt › Forskning
-
Type theories for reactive programming
Møgelberg, R. E. (PI), Vezzosi, A. (CoI), Graulund, C. U. (CoI), Kristensen, M. B. (CoI) & Veltri, N. (CoI)
22/01/2016 → 21/01/2022
Projekter: Projekt › Forskning
-
Digitalising the General Data Protection Regulation
Hildebrandt, T. (PI) & Normann, H. (CoI)
Innovationsnetværk for IT - InfinIT
01/01/2017 → 31/05/2017
Projekter: Projekt › Forskning
-
Interaktive træningsteknologier i kommunal genoptræning af hofte og apopleksipatienter
Hildebrandt, T. (PI)
Anvendt Borgernær Teknologi (ABT-fonden)
01/10/2010 → 31/12/2013
Projekter: Projekt › Forskning
-
DemTech: Trustworthy Democratic Technology
Schürmann, C. (PI), Boulus-Rødje, N. (CoI), Gad, C. (CoI), Kiniry, J. R. (CoI), Markussen, R. (CoI), Gustafsson, D. (CoI), Wang, J. (CoI), Vadgaard, A. K. P. (CoI), Murawska, A. A. (CoI) & Bock, P. B. (CoI)
01/07/2011 → 31/01/2018
Projekter: Projekt › Forskning
-
FaDa: Enabling language technology for the Faroe Islands and Denmark through coordinated collaboration
Schluter, N. (PI) & Derczynski, L. (CoI)
Styrelsen for Forskning og Uddannelse
01/08/2020 → 31/07/2021
Projekter: Projekt › Forskning
-
Cyberskills: Youth Community in Cybersecurity
Bruni, A. (PI), Barkhuus, L. (CoI), Schürmann, C. (CoI) & Balle, M. L. (CoI)
01/08/2020 → 31/12/2023
Projekter: Projekt › Forskning
-
ESM: Efficient String Matching Through Word-Level Parallelism
Bille, P. (PI) & Husfeldt, T. (PI)
01/02/2008 → 01/02/2009
Projekter: Projekt › Forskning