Refine my results

Document type

  • Theses disable the filter

Language

Università della Svizzera italiana

Analyzing system performance with probabilistic performance annotations

Rogora, Daniele ; Carzaniga, Antonio (Dir.) ; Soulé, Robert (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO024.

Understanding the performance of software is complicated. For several performance metrics, in addition to the algorithmic complexity, one must also consider the dynamics of running a program within different combinations of hardware and software environments. Such dynamical aspects are not visible from the code alone, and any kind of static analysis falls short. For example, in reality, the...

Università della Svizzera italiana

Approximation algorithms for survivable network design

Jabal Ameli, Afrouz ; Grandoni, Fabrizio (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2021 ; 2021INFO005.

Many relevant discrete optimization problems are believed to be hard to solve efficiently (i.e. they cannot be solved in polynomial time unless P=NP). An approximation algorithm is one of the ways to tackle these hard optimization problems. These algorithms have polynomial running time and compute a feasible solution whose value is within a proven factor (approximation factor) of the optimal...

Université de Fribourg

Centrality of Religiosity Scale - Test of Model Configuration, Reliability, and Consistency in Romania, Georgia, and Russia

Ackert, Michael ; Schöbi, Dominik (Dir.)

Thèse de doctorat : Université de Fribourg, 2021.

Measurement is fundamental in science. Social sciences generally and psychology, in particular, depend on objective, valid, and reliable psychometric scales. In the 20th century, the psychology of religion and spirituality spent a long time searching for comprehensive and trustworthy instruments to assess psychological constructs in the field of empirical studies of religion and spirituality....

Università della Svizzera italiana

From facet-based to visualised digital library interfaces : an empirical study of user experiences with digital libraries

Barifah, Maram Hassan ; Crestani, Fabio (Dir.) ; Landoni, Monica (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2021 ; 2021INFO004.

Digital library (DL) systems in the last decade have provided an unprecedented access to library content that were confined to their physical spaces. The last twenty years of the DL system renovation have witnessed several generations of online catalogs from the Online Public Access Catalogue (OPAC) late 1980s, to the next generation catalog systems (NGC). DL systems are extensively used to...

Università della Svizzera italiana

Predicting failures in complex multi-tier systems

Xin, Rui ; Pezzè, Mauro (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO017.

Complex multi-tier systems are composed of many distributed machines, feature multi-layer architecture and offer different types of services. Shared complex multi-tier systems, such as cloud systems, reduce costs and improves resource utilization efficiency, with a considerable amount of complexity and dynamics that challenge the reliability of the system. The new challenges of complex...

Università della Svizzera italiana

Less is more : efficient hardware design through Approximate Logic Synthesis

Scarabottolo, Ilaria ; Pozzi, Laura (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO023.

As energy efficiency becomes a crucial concern in almost every kind of digital application, Approximate Computing gains popularity as a potential answer to this ever-growing energy quest. Approximate Computing is a design paradigm particularly suited for error- resilient applications, where small losses in accuracy do not represent a significant reduction in the quality of the result. In these...

Università della Svizzera italiana

Economic complexity and international market : How do they matter in the national dynamics?

Maggi, Federica ; Maggi, Rico (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020ECO012.

This thesis contributes to the International Economics by considering how the openness of an economy and the linkages with other countries matter for the local economic growth. The first strength and the fil rouge of this study is the use of the economic complexity as a measure to identify the strategic sectors that generate larger spillovers and benefits to the economy. Secondly, the use of...