Refine my results

Document type

  • Theses disable the filter

Language

Università della Svizzera italiana

Reusing constraint proofs in symbolic analysis

Chen, Meixian ; Pezzè, Mauro (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO007.

Symbolic analysis is an important element of program verification and automatic testing. Symbolic analysis techniques abstract program properties as expressions of symbolic input values to characterise the program logical constraints, and rely on Satisfiability Modulo Theories (SMT) solvers to both validate the satisfiability of the constraint expression and verify the corresponding program...

Université de Fribourg

Luttes de conceptions entre ONG internationales et communes autour des projets d'accès à l'eau potable au Bénin

Anziani-Vente, Morgane ; Graefe, Olivier (Dir.)

Thèse de doctorat : Université de Fribourg, 2017 ; n⁰ 2055.

This research studies the relations between international non-governmental organizations (INGOs) and local governments during the implementation of water projects to enlighten the inequalities in their partnerships that curb development initiatives. Also, the research aims to understand the impact of these power relations on the management of the public service of water. The power relations...

Université de Neuchâtel

Fungal biogenic patina : optimization of an innovative conservation treatment for copper-based artefacts

Albini, Monica ; Joseph, Edith (Dir.) ; Junier, Pilar (Codir.)

Thèse de doctorat : Université de Neuchâtel, 2017.

Microorganisms are often considered harmful for cultural heritage. However, they can also be used for its safeguarding. Indeed, some fungal species are known for their ability to produce oxalic acid in order to immobilize of toxic heavy metals and, therefore, detoxify their environmental. Biotechnology already exploited this ability to immobilize heavy metals in the field of waste treatment...

Public access from Jul 3, 2020
Università della Svizzera italiana

Strategies to access and manage donations for humanitarian operations

Urrea Castaño, Gloria Cecilia ; Maggi, Rico (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018ECO006.

Scarcity of funding and high competition among organizations are typical characteristics of the humanitarian setting, which create high uncertainty for humanitarian organizations (HOs) regarding their ability to access and manage the required donations for their operations. In contrast with past research, which usually considers that HOs have a passive role in the donations process, the main...

Université de Fribourg

Une étude exploratoire des facteurs psychologiques en lien avec la pratique de l'activité physique et le bien-être : motivation, auto-efficacité, estime de soi et barrières perçues

Walther, Tatiana ; Reicherts, Michaël (Dir.)

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

Theoretical context and objectives: Though the physical and mental health benefits of physical activity are well-established, a significant part of the Swiss population is still insufficiently active. Understanding the factors for successfully promoting regular physical activity is key to designing effective intervention strategies in this field. With this objective in mind, this doctorate thesis...

Université de Neuchâtel

Numerical simulations and uncertainty analysis for assessing spatial and temporal dynamics in alluvial river-aquifer systems : an application in the context of the 3rd Rhône River Correction

Gianni, Guillaume ; Brunner, Philip (Dir.) ; Perrochet, Pierre (Codir.)

Thèse de doctorat : Université de Neuchâtel, 2017.

Characterizing river-groundwater interactions in alluvial aquifers is essential when forecasting the impact of river management strategies, such as river restorations, on the overall water resources distribution and dynamics. Therefore, the development of methods and calibration approaches that allow for better identification of the spatial and temporal characteristics of the hydraulic properties...

Università della Svizzera italiana

New architectures for very deep learning

Srivastava, Rupesh Kumar ; Schmidhuber, Jürgen (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO006.

Artificial Neural Networks are increasingly being used in complex real- world applications because many-layered (i.e., deep) architectures can now be trained on large quantities of data. However, training even deeper, and therefore more powerful networks, has hit a barrier due to fundamental limitations in the design of existing networks. This thesis develops new architectures that, for the...

Université de Neuchâtel

Efficient memory management with hardware transactional memory : a focus on Java garbage collectors and C++ smart pointers

Carpen-Amarie, Maria ; Felber, Pascal (Dir.)

Thèse de doctorat : Université de Neuchâtel, 2017.

With multi-core systems becoming ubiquitous in the last few years, lightweight synchronization and efficient automatic memory management are more and more demanded in the design of applications and libraries. Memory management techniques try to take advantage of the growing parallelism as much as possible, but the increasingly complex synchronization introduces considerable performance issues....

Università della Svizzera italiana

The role of context in human memory augmentation

Niforatos, Evangelos ; Langheinrich, Marc (Dir.)

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

Technology has always had a direct impact on what humans remember. In the era of smartphones and wearable devices, people easily capture on a daily basis information and videos, which can help them remember past experiences and attained knowledge, or simply evoke memories for reminiscing. The increasing use of such ubiquitous devices and technologies produces a sheer volume of pictures and...