Affiner les résultats

Type de document

  • Thèses désactiver le filtre

Langue

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.

Les micro-organismes sont souvent considérés dangereux pour les biens culturels. Malgré cela, ils peuvent aussi être utilisés pour leur protection. En effet, certaines espèces fongiques sont connues pour leur capacité à produire de l'acide oxalique pour immobiliser des métaux lourds toxiques et, donc, détoxifier leur milieu. La biotechnologie a déjà exploité cette capacité...

Accès public à partir du 3 juil. 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.

La caractérisation de l’interaction entre les rivières et les eaux souterraines pour des aquifères alluviaux est essentielle afin d’anticiper l’impact des stratégies de gestion de rivière, comme le sont les restaurations de rivières, sur l’ensemble de la ressource en eau et sur sa dynamique. De ce fait, le développement de méthodes et d’approches de calibration permettant une...

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.

De nos jours les systèmes multi-cœurs sont omniprésents. La conception des applications demande de plus en plus un moyen de synchronisation plus léger, ainsi qu'une gestion automatique de la mémoire plus efficace. Les techniques de gestion de la mémoire tâchent de profiter au maximum du parallélisme qui augmente chaque jour. Néanmoins, la complexité de la synchronisation peut entraîner...