• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Bidrag til rapport
2015
556 Downloads (Pure)

NORCOWE Reference Wind Farm

Bak, T. & Graham, A., 2 mar. 2015, Annual report NORCOWE 2014. Guldbrandsen Frøysa, K. & Toft-Eriksen, T. (red.). s. 38-40

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportFormidling

Åben adgang
Fil
Offshore wind farms
Large scale systems
Turbines
Costs
2014

The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday. Abadi, M., Gardner, P., Gordon, A. D. & Mardare, R. (red.). Microsoft Research, s. 15-26

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskningpeer review

2011
424 Downloads (Pure)

D.3.1 PLOT Persuasive Learning Design Framework

Gram-Hansen, S. B., Schärfe, H. & Dinesen, J. V., 31 maj 2011, Persuasive Learning Objects and Technologies for Lifelong Learning in Europe. 29 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning

Fil
1 Downloads (Pure)

D.3.2 PLOT Persuasive Learning Design Framework: Persuasion in Practice

Gram-Hansen, S. B., Schärfe, H. & Winther-Nielsen, N., 31 jul. 2011, Persuasive Learning Objects and Technologies for Lifelong Learning in Europe. 63 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning

19 Citationer (Scopus)

ETLMR: A Highly Scalable Dimensional ETL Framework based on MapReduce

Xiufeng, L., Thomsen, C. & Pedersen, T. B., 1 aug. 2011, English. Tech Report TR-29: Department of Computer Science, Aalborg University, 25 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning

Mathematical transformations
Data warehouses
Processing
Resource allocation
Stars
2008

Playing Games with Timed Games

David, A., Larsen, K. G. & Chatain, T., 2008, Playing Games with Timed Games. Cachan, France: Laboratoire Spécification et Vérification, Bind LSV-08-34. 15 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning

2006

Formal Methods for Abstract Specifications – A Comparison of Concepts

Instenberg, M., Schneider, A., Schnetter, S., Heinkel, U., Larsen, K. G. & Behrmann, G., 2006, Technical Report. IEEE Press, 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning

Formal methods
Specifications
Network protocols
Software design
Large scale systems
2004

Just-for-Us Information: the Design of a Context-Aware Information System

Paay, J. & Kjeldskov, J., 2004, HCI Lab Technical Report. 2 udg. Department of Computer Science, Aalborg University, s. 1-24 24 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning