Nanostructures made from crystalline silicon, especially in the form of nanowires (SiNWs), have shown great potential as pressure sensors due to their unique properties such as high sensitivity, small size, and low power consumption. When a force ...

Relational Agents (RAs) are virtual anthropomorphic characters able to engage in multimodal (i.e. using both verbal and nonverbal behavior) face-toface interactions with users in real-time. RAs are also capable of establishing and maintaining a long-term ...

In Romania, there is a lack of quantitative data associating cancer risk with genetic characteristics. The aim of this thesis is to evaluate genetic risk factors associated with two major cancer types, prostate cancer and colorectal cancer. The first ...

Growth of self-assembled quantum dots is of great interest due to their potential quantum confinement effect and numerous applications in optoelectronics and nano-sized structures. Semiconducting Si, Ge and SiGe nanocrystals (NCs), embedded in a ...

Viðfangsefni þessarar ritgerðar er hagnýting verkefnastjórnunar, og skyldra fagsviða, til að tryggja hagkvæmni og skilvirkni opinberra verkefna á Íslandi. Fjallað er um hvernig verkefnastjórnun og stjórnsýsla (governance) hafa þróast saman á alþjóðavettvangi ...

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 ...

Majorana zero modes have recently been proposed as a solution to obtain fault-tolerant quantum computation. They are quasiparticle excitations in quantum systems at the nanoscale with the potential to function as qubits, the basic building blocks of ...

In the recent years, formal modeling and verification of realtime systems have become very important. Difficult-to-use modeling languages and inefficient analysis tools are the main obstacles to use formal methods in this domain. Timed actor model is ...

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 ...

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 ...