Thèse de doctorat : Université de Fribourg, 2012.
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO003.
Services rely on replication mechanisms to be available at all time. The service demanding high availability is replicated on a set of machines called replicas. To maintain the consistency of replicas, a consensus protocol such as Paxos or Raft is used to synchronize the replicas' state. As a result, failures of a minority of replicas will not affect the service as other non-faulty replicas...
|
Thèse de doctorat : Université de Fribourg : 2000 ; no 1312.
This thesis addresses the question of content-based image retrieval (CBIR) in heterogeneous databases. In an analysis of the existing CBIR tools that was done at the beginning of this work, we have shown that there was room for improvement in three key areas: query form, image and query representation, and computation of similarity. This analysis led us to studying the usability of a method for...
|
Thèse de doctorat : Università della Svizzera italiana, 2016 ; 2016INFO009.
Model checking is a well established technique to verify systems, exhaustively and automatically. The state space explosion, known as the main difficulty in model checking scalability, has been successfully approached by symbolic model checking which represents programs using logic, usually at the propositional or first order theories level. Craig interpolation is one of the most successful...
|
Thèse de doctorat : Università della Svizzera italiana, 2014 ; 2014INFO010.
In this thesis we present a monolithic coupling approach for the simulation of phenomena involving interacting fluid and structure using different discretizations for the subproblems. For many applications in fluid dynamics, the Finite Volume method is the first choice in simulation science. Likewise, for the simulation of structural mechanics the Finite Element method is one of the most, if...
|
Thèse de doctorat : Università della Svizzera italiana, 2013 ; 2013INFO006.
Model checking is one of the most appreciated methods for automated formal verification of software and hardware systems. The main challenge in model checking, i.e. scalability to complex systems of extremely large size, has been successfully addressed by means of symbolic techniques, which rely on an efficient representation and manipulation of the systems based on first order logic....
|
Thèse de doctorat : Università della Svizzera italiana, 2015 ; 2015INFO002.
The concept of extreme events describes the above average behavior of a process, for instance, heat waves in climate or weather research, earthquakes in geology and financial crashes in economics. It is significant to study the behavior of extremes, in order to reduce their negative impacts. Key objectives include the identification of the appropriate mathematical/statistical model, description...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO001.
Long noncoding RNAs (lncRNAs) have gained increasing interest in molecular studies, their active participation in important biological functions has emerged and their direct involvement in genomic reprogramming during development and diseases, including cancer, has been demonstrated. Several studies have shown their active contribution in transcriptional control and they are emerging as...
|
Thèse de doctorat : Università della Svizzera italiana, 2021 ; 2021INFO002.
Recent trends in industry show increasing adoption of Development and Operations (DevOps) practices. Reasons for increasing DevOps adoption are the focus on the creation of cross-functional teams, and the ability to release high-quality software at a fast pace. Alongside the adoption of DevOps, performance testing continues to evolve to meet the growing demands of the modern enterprise and its...
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO007.
Hands are an indispensable part of human bodies used in our everyday life to express ourselves and manipulate the surrounding world. Moreover, a hand contains highly- unique characteristics that allow for distinguishing among different individuals. Though fingerprints are widely-known for this, the hand also has a unique geometric shape, palmprint, and vein structure. The shapes of a hand and...
|