Perfeziona i miei risultati

Document type

  • Tesi di dottorato disattivare il filtro

Lingua

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.

Cette recherche étudie les relations entre les organisations non-gouvernementales internationales (ONGI) et les communes lors de la mise en place de projets d’accès à l’eau potable pour mettre en lumière les inégalités partenariales qui apparaissent entre ces acteurs et qui sont sources de blocages au développement. La recherche vise aussi à comprendre quel est l’impact de ces...

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

Contexte théorique et objectifs : Malgré la reconnaissance des bénéfices apportés par l'activité physique à la santé physique et psychique, une part encore importante de la population suisse reste insuffisamment active. La compréhension des facteurs permettant de promouvoir une activité physique régulière est nécessaire à l’élaboration de stratégies d'intervention efficaces dans...

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