Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
The IT University of Copenhagen's Repository
Institutional Repository
703 Publications
More information
Detailed data provider information (OpenDOAR)


  • Modeling and Generating Strategy Games Mechanics

    Mahlmann, Tobias (2013)
    Strategy games are a popular genre of games with a long history, originatingfrom games like Chess or Go. The first strategy games were published as“Kriegspiele” (engl. wargames) in the late 18th century, intended for the education of young cadets. Since then strategy games were refined and transformed over two centuries into a medium of entertainment. Today’s computer strategy games have their roots in the board- and roleplaying games of the 20th century and enjoy great popularity. We use str...

    Managing New(s) Conversations: The Role of Social Media in News Provision and Participation

    Westlund, Oscar; Nel, Francois (2013)
    Managing New(s) Conversations: The Roleof Social Media in News Provision andParticipation

    Impact factor analysis: combining prediction with parameter ranking to reveal the impact of behavior on health outcome

    Doryab, Afsaneh; Frost, Mads; Faurholt-Jepsen, Maria; Kessing, Lars V.; Bardram, Jakob (2015)
    An increasing number of healthcare systems allow people to monitor behavior and provide feedback on health and wellness. Most applications, however, only offer feedback on behavior in form of visualization and data summaries. This paper presents a different approach—called impact factor analysis—in which machine learning techniques are used to infer the progression of a primary health parameter and then apply parameter ranking to investigate which behavioral data have the highest ‘impact’ on ...

    Family-Based Model Checking Without a Family-Based Model Checker

    Dimovski, Aleksandar; Al-Sibahi, Ahmad Salim; Brabrand, Claus; Wasowski, Andrzej (2015)
    Many software systems are variational: they can be configured to meet diverse sets of requirements. Variability is found in both communication protocols and discrete controllers of embedded systems. In these areas, model checking is an important verification technique. For variational models (systems with variability), specialized family-based model checking algorithms allow efficient verification of multiple variants, simultaneously. These algorithms scale much better than ``brute force'' ve...

    Empirically sampling Universal Dependencies

    Schluter, Natalie; Agic, Zeljko (2017)
    Universal Dependencies incur a high cost in computation for unbiased system development. We propose a 100% empirically chosen small subset of UD languages for efficient parsing system development. The technique used is based on measurements of model capacity globally. We show that the diversity of the resulting representative language set is superior to the requirements-based procedure.
  • No data provider research data found
  • Latest Documents Timeline

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Document Types

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Funders in data provider publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Projects with most Publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark