Opin vísindi
Browsing Doktorsritgerðir - HR by Department "Department of Computer Science (RU)"
- Opin vísindi
- →
- Háskólinn í Reykjavík
- →
- Doktorsritgerðir - HR
- →
- Browsing Doktorsritgerðir - HR by Department
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Doktorsritgerðir - HR by Department "Department of Computer Science (RU)"
Now showing items 1-13 of 13
-
(2024-10-03)Context: Smart contracts are computer programs deployed on the blockchain with significant value of cryptocurrency. They automate transactions and asset transfers, eliminating the need for intermediaries. These contracts serve as the foundation of ... -
(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. ...
-
(2024-10)For any agent to effectively learn how to achieve its goals via interaction with environments, it must have causal reasoning capabilities. Causal reasoning enables an agent to predict actions’ consequences and hypothesize the necessary conditions ...
-
(2024)By providing equitable care, digital health platforms can lessen the pressure on global healthcare systems. Digital platforms are pieces of software that connect users, data, services, and systems. In industry, the use of digital platforms has brought ...
-
(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 ...
-
(2024-10-26)Artificial intelligence (AI)- based systems increasingly affect our daily lives. Such intelligent computer agents are becoming increasingly complex; for example, they employ learned machine learning models and extensive lookahead search, often exploring ...
-
(2024-06)Learning is a multidimensional process that evolves and changes, influenced and affected by several elements. The sudden shift in teaching modality when the pandemic hit implied changes in social interactions, digital platforms use, and collaboration ...
-
(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 ...
-
(2024-11-14)The field of model checking offers numerous tools for analysing stochastic models. This analysis provides a comprehensive understanding of the behaviours exhibited by the system represented in the model. Consequently, such analyses are of paramount ...
-
(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 ...
-
(2024-02-10)Modern software is built on reactive principles, where systems are responsive, resilient, elastic, and message-driven. Despite the benefits they engender, these aspects make the correctness of reactive systems in terms of their expected behaviour hard ...
-
(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 ...
-
(2024-09-23)Background: Software modelling holds significant promise for enhancing various aspects of software and systems engineering, including productivity and cost efficiency. Despite these advantages, its widespread adoption across the entire field remains ...
Now showing items 1-13 of 13