Thèse de doctorat : Médiathèque Valais, 2014.
Thèse. Biologie. Médecine. 2014.
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO016.
More than a century ago, physicists around the world were collectively developing a theory to describe the newly discovered strange behaviours of some physical systems. This marks the birth of quantum theory. Few decades later, the groundbreaking idea to separate information from its physical carrier led to the establishment of information theory. These, initially independent theories, merged...
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO001.
Performance increase, in terms of faster execution and energy efficiency, is a never-ending research domain and does not come for free. The breakdown of Dennard scaling, along with the seemingly inevitable end of Moore’s law economic aspect, present a new challenge to computer architects striving to achieve better performance in modern computer systems. Heterogeneous computing emerges as one...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO013.
There are a lot of natural problems arising in real life that can be modeled as discrete optimization problems. Unfortunately many of them 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 guarantee a...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO014.
With the rapid development of means for producing user-generated data opportunities for collecting such data over a time-line and utilizing it for various human-aid applications are more than ever. Wearable and mobile data capture devices as well as many online data channels such as search engines are all examples of means of user data collection. Such user data could be utilized to model user...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO009.
This work focuses on optimizing node placement for time-of-flight-based wireless localization networks. Main motivation are critical safety applications. The first part of my thesis is an experimental study on in-tunnel vehicle localization. In- tunnel localization of vehicles is crucial for emergency management, especially for large trucks transporting dangerous goods such as inflammable...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO011.
The ubiquity of digital sensors embedded in today's mobile and wearable devices (e.g., smartphones, wearable cameras, wristbands) has made technology more intertwined with our life. Among many other things, this allows us to seamlessly log our daily experiences in increasing numbers and quality, a process known as ``lifelogging''. This practice produces a great amount of pictures and videos...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO010.
Recent advances in the development of mobile devices, equipped with multiple sensors, together with the availability of millions of applications have made these devices more pervasive in our lives than ever. The availability of the diverse set of sensors, as well as high computational power, enable information retrieval (IR) systems to sense a user’s context and personalize their results ...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO008.
The main goal of a static type system is to prevent certain kinds of errors from happening at run time. A type system is formulated as a set of constraints that gives any expression or term in a program a well-defined type. Besides detecting these kinds of errors, a static type system can be an invaluable maintenance tool, can be useful for documentation purposes, and can aid in generating ...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO006.
Interactive applications, such as mobile or web apps, have become essential in our lives and verifying their correctness is now a key issue. Automatic system test case generation can dramatically improve the testing process for these applications and has recently motivated researchers to work on this problem defining a wide range of different approaches. However, most state-of-the-art...
|