Refine my results

Document type

  • Theses disable the filter


Specific Collection


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

Bank risk appetite in a world of CoCos

Aquila, Cecilia ; Barone Adesi, Giovanni (Dir.)

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

We investigate the shape of risk appetite when the bank is financed also with contingent convertible bonds (CoCos). Our contribution to the existent literature is to assess risk appetite in a multi-dimensional perspective and to account for differences among banks' clusters, especially in a world with CoCos and policy rates approaching zero or negative figures. In our model, the bank objective...

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

Three essays in labor economics

Gentili, Elena ; Mazzonna, Fabrizio (Dir.)

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

In this thesis, I investigate two of the main challenges faced by developed societies: aging and migration. In the first chapter, I consider the cultural determinants of elderly care arrangement decisions. The empirical strategy focuses on the three German and French speaking Swiss bilingual cantons. Particularly, since the structure of long-term care provision is planned at cantonal level, I...

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

Monetary policy and interest rate products

Zurowski, Wojciech ; Schneider, Paul (Dir.)

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

My PhD thesis consists of three papers which study how interest rate products' prices react to both the central bank's policy goals and communication. As tool I make use of various econometric techniques such as affine models, general method of moments or Haar like filtering. The first chapter studies government bond excess term premia. I show that their predictability is driven by monetary...

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