Refine my results

Document type

  • Theses disable the filter


Université de Neuchâtel

Persistance de processus de Markov déterministes par morceaux

Strickler, Edouard Antoine ; Benaïm, Michel (Dir.)

Thèse de doctorat : Université de Neuchâtel, 2019.

This thesis is devoted to the study of the long-term behaviour of Piecewise Deterministic Markov Processes (PDMP). That is, a process (Xt,It)t≥0 living in ℝd × E with E a finite space, where X is continuous and evolves between the jumps of I as dXt / dt = FIt (Xt),...

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é de Fribourg

"Chantons, enfants de l'Helvétie" : Identité culturelle et idéaux pédagogiques dans le recueil Chante Jeunesse! (1923-1944)

Noreau, Sylvie ; Zoppelli, Luca (Dir.)

Thèse de doctorat : Université de Fribourg, 2019.

This thesis aims to determine how the songbook Chante Jeunesse ! is representative of the French-speaking Switzerland cultural identity, both in its construction and in the perception that the public could have of it. We studied the particular conception of this collection, designed by a Commission responsible to reform the school singing practice. The Commission seeks to create the perfect...

Université de Fribourg

Laboratory based XAS measurements, electron-induced double K-shell ionization of Sc, Cr and Cu : and, Chemical sensitivity of photoinduced Kʰβ hypersatelite transition in Cr compounds

Zeeshan, Faisal ; Dousse, Jean-Claude (Dir.)

Thèse de doctorat : Université de Fribourg, 2017 ; no. 2052.

The present PhD thesis includes three different projects which belong to the domain of inner-shell atomic physics and high energy resolution X-ray spectroscopy. The first project consists of a series of in-house measurements of the characteristic K and L X-ray absorption spectra (XAS) of several 3d, 4d and 5d transition metals. For this project the target chamber of the von Hamos curved crystal...

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é de Fribourg

Reward processing under influence : Effects of stress and cognitive load on reward processing, and their clinical implications for the vulnerability to major depression

Gaillard, Claudie ; Martin Soelch, Chantal (Dir.)

Thèse de doctorat : Université de Fribourg, 2019.

Humans have a propensity to pursue rewards and to avoid punishments. The motivation to seek rewards and the ability to experience and to learn from positive consequences are fundamental functions in the reward processing. They promote survival and well-being. However, these functions can be challenged or impaired by stressful events or contexts. To clarify the determinant factors that might...

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