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 ...
|
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...
|
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...
|
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...
|
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...
|
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...
|
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,...
|
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...
|
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, 2016 ; 2016ECO005.
This dissertation focuses on the barriers that authenticity brings to entrepreneurial outcomes such as entry of new organizations, product diversification, and introduction of new products in traditional industries. Advancing theory on organizational authenticity and geographical communities, this thesis argues that authenticity is not only an asset that organizations can choose but also a...
|