Affiner les résultats

Type de document

  • Thèses désactiver le filtre

Collection spécifique

Langue

Università della Svizzera italiana

When and how java developers give up static type safety

Mastrangelo, Luis ; Hauswirth, Matthias (Dir.) ; Nystrom, Nathaniel (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO008.

The main goal of a static type system is to prevent certain kinds of errors from happening at run time. A type system is formulated as a set of constraints that gives any expression or term in a program a well-defined type. Besides detecting these kinds of errors, a static type system can be an invaluable maintenance tool, can be useful for documentation purposes, and can aid in generating ...

Università della Svizzera italiana

Automatically testing interactive applications : exploiting interactive applications semantic similarities for automated testing

Zuddas, Daniele ; Pezzè, Mauro (Dir.)

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

Interactive applications, such as mobile or web apps, have become essential in our lives and verifying their correctness is now a key issue. Automatic system test case generation can dramatically improve the testing process for these applications and has recently motivated researchers to work on this problem defining a wide range of different approaches. However, most state-of-the-art...

Università della Svizzera italiana

Advances in barycentric rational interpolation of a function and its derivatives

Cirillo, Emiliano ; Hormann, Kai (Dir.)

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

Linear barycentric rational interpolants are a particular kind of rational interpolants, defined by weights that are independent of the function f. Such interpolants have recently proved to be a viable alternative to more classical interpolation methods, such as global polynomial interpolants and splines, especially in the equispaced setting. Other kinds of interpolants might indeed suffer...

Università della Svizzera italiana

On the many faces of atomic multicast

Coelho, Paulo ; Pedone, Fernando (Dir.)

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

Many current online services need to serve clients distributed across geographic areas. Coordinating highly available and scalable geographically distributed replicas, however, is challenging. While State Machine Replication is the most direct way of achieving availability, no scalability comes from the traditional approach. Typically, scalability is obtained by partitioning the original...

Università della Svizzera italiana

Enhancing multi-scale cardiac simulations by coupling electrophysiology and mechanics : a flexible high performance approach to cardiac electromechanics

Pozzi, Sonia ; Krause, Rolf (Dir.)

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

This work focuses on the development of computational methods for the simulation of the propagation of the electrical potential in the heart and of the resulting mechanical contraction. The interaction of these two physical phenomena is described by an electromechanical model which consists of the monodomain system, which describes the propagation of the action potential in the cardiac tissue,...

Università della Svizzera italiana

Deciphering the complexity of human noncoding promoter-proximal transcriptome : different scales of transcriptional control : from a single gene to the whole epigenome

Mapelli, Sarah Natalia ; Krause, Rolf (Dir.) ; Catapano, Carlo V. (Codir.)

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

Università della Svizzera italiana

Consensus protocols exploiting network programmability

Dang, Huynh Tu ; Soulé, Robert (Dir.) ; Pedone, Fernando (Codir.)

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

Università della Svizzera italiana

High performance selected inversion methods for sparse matrices : direct and stochastic approaches to selected inversion

Verbosio, Fabio ; Schenk, Olaf (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO002.

The explicit evaluation of selected entries of the inverse of a given sparse matrix is an important process in various application fields and is gaining visibility in recent years. While a standard inversion process would require the computation of the whole inverse who is, in general, a dense matrix, state-of-the-art solvers perform a selected inversion process instead. Such approach allows...

Accès public à partir du 15 janv. 2021
Università della Svizzera italiana

Modelling protein-protein interactions to elucidate molecular mechanisms behind neurodegenerative diseases

Grasso, Gianvito ; Krause, Rolf (Dir.) ; Danani, Andrea (Codir.)

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

The worldwide significant increase in life expectancy has recently drawn the attention of the scientific community to neurodegenerative pathologies of the elderly population. These neurodegenerative disorders arise from the abnormal protein aggregation in the nervous tissue leading to intracellular inclusions or extracellular aggregates in specific brain areas. A feasible strategy to prevent...

Università della Svizzera italiana

Exposing concurrency failures : a comprehensive survey of the state of the art and a novel approach to reproduce field failures

Bianchi, Francesco Adalberto ; Pezzè, Mauro (Dir.)

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

With the rapid advance of multi-core and distributed architectures, concurrent systems are becoming more and more popular. Concurrent systems are extremely hard to develop and validate, as their overall behavior depends on the non-deterministic interleaving of the execution flows that comprise the system. Wrong and unexpected interleavings may lead to concurrency faults that are extremely...