Opin vísindi

Fletta eftir deild "Tölvunarfræðideild (HR)"

Fletta eftir deild "Tölvunarfræðideild (HR)"

Röðun: Raða: Niðurstöður:

  • Icon
    Agora : unified framework for crowd simulation research 
    Diamanti, Michelangelo (2023-06)
    Crowd simulation focuses on modeling the movements and behaviors of large groups of people. This area of study has become increasingly important because of its several applications in various fields such as urban planning, safety, and entertainment. ...
  • Icon
    Developing theoretical foundations for runtime enforcement 
    Cassar, Ian (2021-01)
    The ubiquitous reliance on software systems is increasing the need for ensuring their correctness. Runtime enforcement is a monitoring technique that uses moni- tors that can transform the actions of a system under scrutiny in order to alter its runtime ...
  • Icon
    Effectively compiling parallel corpora for machine translation in resource-scarce conditions 
    Steingrímsson, Steinþór (2023-05-22)
    For machine translation (MT) systems to produce accurate and fluent translations, reliable parallel corpora are key. Errors, due to misalignments or inadequate filtering during compilation of a parallel corpus, can have detrimental effects on the ...
  • Icon
    Multivariate combinatorial exploration with regular strategies 
    Nadeau, Emile (2023-01)
    In this thesis, two methods for automatic enumeration of permutation classes are studied. The first method extends on the theory of combinatorial exploration. We review how combinatorial exploration works as a two phases process: the first phase ...
  • Icon
    Platform for decoupling experience managers and environments 
    Mori, Giulio (2023-10)
    Experience Management employs Artificial Intelligence technologies to enhance people's interactive application experiences by dynamically modifying the environment during the experience. In game-related research, there is a prevailing trend where each ...
  • Icon
    Syntactic approaches to negative results in process algebras and modal logics 
    Anastasiadi, Elli (2022-10-17)
    Concurrency as a phenomenon is observed in most of the current computer science trends. However the inherent complexity of analyzing the behavior of such a system is incremented due to the many different models of concurrency, the variety of applications ...