Institut for Datalogi

PBL og entreprenørskab - sammenkobling og udvikling af begreber og praksis, der fremmer entreprenante kompetencer på tværs af AAU

Lund, B., Vestergaard, J., Christensen, J. L., Aaen, I., Bak-Jensen, B., Gertsen, F., Vistisen, P., Krogh, L., Strand, A. M. C., Østergaard, A., Andreasen, M. B. & Thorsted, A. C.

01/04/2018 → 30/10/2019

Projekter: Projekt › Forskning

Research Collaborations with Industries in North Jutland

Yang, B.

01/03/2018 → 31/10/2018

Projekter: Projekt › Forskning

PBL og matematik: Hvordan kan PBL fungere på universitetets grundfag? (PBL and mathematics: How might PBL suit the fundamental sciences at a university)

Søndergaard, B. D., Geil, O., Hüttel, H., Rasmussen, M. G. & Rasmussen, J. G.

01/02/2018 → 31/12/2018

Projekter: Projekt › Andet

Interacting with Cars in Digital Ecologies

Svangren, M. K.

01/10/2017 → 30/09/2019

Projekter: Projekt › Forskning

User Experience in Agile Development Environments

Bruun, A. R., Nielsen, L., Nielsen, P. A., Persson, J. S. & Larusdottir, M.

01/09/2017 → 01/04/2018

Projekter: Projekt › Forskning

Vejledning og IT-platform: PBL Exchange

Hüttel, H., Gnaur, D. & Nørmark, K.

01/02/2017 → 01/05/2018

Projekter: Projekt › Forskning

Playing User Experience Assessments

Nielsen, L. & Bruun, A. R.

01/01/2017 → 01/09/2017

Projekter: Projekt › Forskning

Agile software processer for sikkerhedskritiske systemer

Nielsen, P. A. & Tordrup Heeager, L.

01/08/2016 → 31/10/2018

Projekter: Projekt › Forskning

DISIMIT: Digital Service Integration through effective Management of IT

Kræmmergaard, P., Nielsen, P. A., Tjørnehøj, G. & Reinwald, A.

01/01/2016 → 31/12/2017

Projekter: Projekt › Rådgivende projekt

Management and Applications of Indoor-Space Trajectory Data

Lu, H. & Shou, L.

01/01/2016 → 31/12/2017

Projekter: Projekt › Forskning

Danish-Sino Workshops on Big Data Research Collaboration

Lu, H.

01/01/2016 → 30/06/2017

Projekter: Projekt › Andet

Approximate Reasoning for Stochastic Markovian Systems

Mardare, R. & Larsen, K. G.

01/11/2015 → 31/10/2019

Projekter: Projekt › Forskning

Designing Smart Home Interactions and Their Energy Consumption Impacts

Jensen, R. H.

01/08/2015 → 01/08/2018

Projekter: Projekt › Forskning

MANTIS: Cyber Physical System based Proactive Collaborative Maintenance

Skou, A., Larsen, K. G., Nielsen, B., Sørensen, J. D. & Nielsen, J. S.

01/05/2015 → 30/04/2018

Projekter: Projekt › Forskning

P3: Popular Parallel Programming

Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.

01/02/2015 → 31/03/2019

Projekter: Projekt › Forskning

QWeb: Querying the Web of Data Easily and Efficiently

Hose, K., Montoya, G., Prado, L. A. G. D., Rouces, J., Mathiassen, K. A. M., Zervakis, E. & Setty, V.

01/02/2015 → 31/10/2019

Projekter: Projekt › Forskning

InfinIT Embedded Systems Engineering interest group

Thomsen, B. & Madsen, J.

01/07/2014 → 31/12/2018

Projekter: Projekt › Forskning

PVCC: Photo Voltage Comfort Cooling

Skou, A. & Agesen, M. K.

EUDP

01/01/2014 → 31/10/2016

Projekter: Projekt › Forskning

AMIDST: Analysis of MassIve Data STreams - AMIDST

Madsen, A. L., Bock, A. R., Nielsen, T. D. & Martinez, A. M.

European Union’s Seventh Framework Programme for research, technological development and demonstration

01/01/2014 → 31/12/2016

Projekter: Projekt › Forskning

INFINIT Udviklingsprocesser i vækst

Nørbjerg, J., Nielsen, P. A. & Persson, J. S.

01/01/2014 → 30/06/2014

Projekter: Projekt › Forskning

ABCDE: Agile Bruger-Centreret Design og Evaluering

Færch, S. V., Larsen, L. B., Stage, J., Billestrup-Olesen, J. & Bruun, A. R.

02/12/2013 → 30/04/2014

Projekter: Projekt › Forskning

CLINES: Cluster-based Innovation through Embedded Systems technology

Skou, A., Nielsen, P. A., Aaen, I., Larsen, K. G., Nøhr, B. P., Holmene, C. F., Nielsen, C., Kristiansen, K. B. & Pedersen, J. E.

Regions of Knowledge

01/09/2013 → 31/08/2016

Projekter: Projekt › Forskning

ASUD: Agile SW + UX Design

Nielsen, P. A.

01/08/2013 → 30/06/2016

Projekter: Projekt › Forskning

CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games

Larsen, K. G., Skou, A., David, A. & Srba, J.

FP7 STREP

01/04/2013 → 31/03/2016

Projekter: Projekt › Forskning

Arrowhead

Skou, A., Pedersen, T. B. & Bak-Jensen, B.

Artemis JU

01/03/2013 → 28/02/2017

Projekter: Projekt › Forskning

Arrowhead

Bak-Jensen, B.

01/03/2013 → 28/02/2017

Projekter: Projekt › Forskning

Mobile Data Management for Pervasive Computing

Lu, H.

01/02/2013 → 31/12/2013

Projekter: Projekt › Forskning

INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level

Larsen, K. G., Skou, A. & Ravn, A. P.

FP7 STREP

01/11/2012 → 31/10/2015

Projekter: Projekt › Forskning

SENSATION: Self Energy-Supporting Autonomous Computation

Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.

FP7 FET Proactive

01/10/2012 → 30/09/2015

Projekter: Projekt › Forskning

BETTY: Behavioural Types for Reliable Large-Scale Software Systems

Hüttel, H.

01/10/2012 → 01/11/2015

Projekter: Projekt › Forskning

CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.

Artemis JU

01/06/2012 → 30/09/2015

Projekter: Projekt › Forskning

Improving IT Project Portfolio Management

Pedersen, K.

02/04/2012 → 02/04/2013

Projekter: Projekt › Forskning

Totalflex

Skou, A., Pedersen, T. B., Bak-Jensen, B., Kjeldskov, J., Skov, M. B. & Werning Uhrenholt, R.

ForskEL

01/01/2012 → 31/12/2016

Projekter: Projekt › Forskning

Energieffektiv måling og regulering af dekantere

Larsen, J. A. & Skou, A.

01/01/2012 → 31/12/2013

Projekter: Projekt › Forskning

BagTrack: Styr på bagagen

Pedersen, T. B. & Lu, H.

01/01/2012 → 31/12/2014

Projekter: Projekt › Forskning

CAIN/Aveva

Rose, J., Heeager, L. T. & Nielsen, P. A.

01/12/2011 → 30/06/2012

Projekter: Projekt › Forskning

MBAT: Model-based Analysis and Testing of Embedded Systems

Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.

Artemis JU

01/11/2011 → 31/10/2014

Projekter: Projekt › Forskning

Produktivitet og Trivsel Projektet

Pedersen, K.

01/09/2011 → 01/09/2013

Projekter: Projekt › Forskning

ENCOURAGE: Embedded iNtelligent COntrols for bUildings with Renewable generAtion and storaGE

Skou, A., Larsen, K. G., Ravn, A. P., Rosenkilde, J., Olsen, P., Le Guilly, T., Madsen, P. P., Holmene, C. F. & Mardare, D.

Artemis JU

01/06/2011 → 30/11/2014

Projekter: Projekt › Forskning

IDEA4CPS: Foundations for Cyber-Physical Sytems

Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.

01/04/2011 → 30/04/2015

Projekter: Projekt › Forskning

Euro-TM: Action IC1001: Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM)

Thomsen, B.

10/02/2011 → 09/02/2015

Projekter: Projekt › Forskning

Energieffektiv regulering af separationsprocessor

Larsen, J. A., Sloth, C. & Skou, A.

01/01/2011 → 31/12/2012

Projekter: Projekt › Forskning

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Mardare, R.

01/10/2010 → 30/09/2012

Projekter: Projekt › Forskning

Self-Validating Self-Reconfigurable Control Systems

Tabatabaeipour, S. M.

<ingen navn>

19/05/2010 → 18/05/2013

Projekter: Projekt › Forskning

Graphical models in R

Lauritzen, S. L., Dethlefsen, C., Bøttcher, S. G., Eriksen, P. S. & Gregersen, A. R.

19/05/2010 → 31/12/2012

Projekter: Projekt › Forskning

Hybride Systemer

Wisniewski, R., Izadi-Zamanabadi, R., Ravn, A. P., Bhanderi, D., Thomsen, J. S., Larsen, J. A., N. Soltani, M., Stoustrup, J., Bendtsen, J. D., Trangbæk, K., Alminde, L., Grunnet, J. D. & Laursen, K. K.

<ingen navn>

19/05/2010 → 18/05/2013

Projekter: Projekt › Forskning

Dansk center for Grid Computing (DCGC)

Kleist, J., Behrmann, G., Skou, A. & Jensen, H. T.

19/05/2010 → 19/05/2013

Projekter: Projekt › Forskning

RECOMP: Reduced Certification Costs Using Trusted Multi-core Platforms

Skou, A., Larsen, K. G., Nyman, U., Ravn, A. P. & David, A.

FP7 ARTEMIS JU

01/04/2010 → 01/04/2013

Projekter: Projekt › Forskning

MEco: MEco - Medical Ecosystem - Personalized Event-Based Surveillance

Dolog, P., Xu, G., Lage, R. G., Bayyapu, K. R. & Pan, R.

FP7 IST

01/01/2010 → 30/06/2012

Projekter: Projekt › Forskning

Nordjysk Innovationscenter for Luftfarts Teknologi (NILTEK)

Lu, H.

01/01/2010 → 31/12/2014

Projekter: Projekt › Forskning