Affiner les résultats

Type de document

  • Thèses désactiver le filtre

Langue

  • Anglais (1'247) désactiver le filtre
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 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 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...

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

Università della Svizzera italiana

Corporate governance issues and performance of initial public offerings

Seistrajkova, Biljana ; Nowak, Eric (Dir.) ; Degeorge, François (Codir.) ; Habib, Michel (Codir.)

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

In my PhD thesis I analyze corporate governance issues of initial public offerings and their subsequent performance. In the first chapter I find that the first-day return of newly issued subsidiary stocks (equity carve-outs) is explained by the reporting distortions in the pre-IPO period, conditioned on whether the executives and directors of the subsidiary received stock options with an...

Università della Svizzera italiana

Understanding the effects of communication and engagement in a social marketing intervention on children’s eating behavior : design, measurement and evaluation

Rangelov, Natalie ; Suggs, Suzanne (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2017 ; 2017COM014.

The prevalence of overweight and obesity represents a serious health problem, and is a risk factor for several non- communicable diseases. Poor nutrition and lack of regular physical activity are among the primary determinants of overweight and obesity. Data show that overweight and obesity rates are high in, and that the Swiss population does not adhere to the nutritional guidelines provided...

Università della Svizzera italiana

Automating test oracles generation

Goffi, Alberto ; Pezzè, Mauro (Dir.)

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

Software systems play a more and more important role in our everyday life. Many relevant human activities nowadays involve the execution of a piece of software. Software has to be reliable to deliver the expected behavior, and assessing the quality of software is of primary importance to reduce the risk of runtime errors. Software testing is the most common quality assessing technique for...