Institut for Datalogi

Det Tekniske Fakultet for IT og Design

Telefon9940 9940
E-mail[email protected]
Websidehttp://www.cs.aau.dk

PostadresseVis på kort
Selma Lagerlöfs Vej 300
9220 Aalborg Ø
Danmark

12 resultater

Filter

2022

Environmental Data in SHCI: Concepts and Interaction Techniques
Lindrup, M., 1 okt. 2022.
Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning

Åben adgang
Fil

70 Downloads (Pure)
Visualising the Effects of Ontology Changes and Studying their Understanding with ChImp (Encore Abstract)
Pernisch, R., Dell'Aglio, D., Serbak, M., Gonçalves, R. & Bernstein, A., 2022.
Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review

Åben adgang
2021

Certifying Time Complexity of Agda Programs Using Complexity Signatures
Hüttel, H., Møllnitz, C. B., Elgaard, J. & Rannes, S., nov. 2021.
Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review
Developing new bioinformatic methods to supercharge genome-centric metagenomics using machine learning
Heidelbach, S., Lamurias, A., Sereika, M., Nielsen, T. D., Hose, K. & Albertsen, M., 15 nov. 2021.
Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Formidling

Fil
69 Downloads (Pure)
2020
Automatic Anomaly Detection for Sewage Network Sensors
Tibo, A., Nielsen, T. D., Jaeger, M., Ahm, M. & Rasch, P., 2020.
Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review
2013

Opponent modeling in a PGM framework
Sønderberg-Madsen, N., Jensen, F. V. & Zeng, Y., 6 maj 2013. 2 s.
Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review

Åben adgang
Fil

5 Citationer (Scopus)

223 Downloads (Pure)
2012

A Metric Analogue of Stone Duality for Markov Processes
Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012.
Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review
Pervasive Computing as a Motivation For Improving Food Intake in Hospitals: An Empirical Pilot Study
Holst, M., Stage, J., Myrup, M., Rasmussen, H. H. & Skov, M. B., 2012.
Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Formidling
Stone Duality for Markov Processes
Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012. 2 s.
Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review
2010

An Interface Theory for Timed Systems
David, A., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2010.
Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review

Åben adgang
Fil

120 Downloads (Pure)
2008

How to pull back open maps along semantics functors
Fahrenberg, U., 2008.
Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning › peer review
Personalization and User Modelling for Distributed Learning and Collaboration in Professional Context
Dolog, P., 2008.
Publikation: Konferencebidrag uden forlag/tidsskrift › Konferenceabstrakt til konference › Forskning

Åben adgang
Fil

107 Downloads (Pure)

Institut for Datalogi

Publikationer

Søgeresultater