Affiner les résultats

Type de document

  • Thèses désactiver le filtre

Collection spécifique

Langue

Università della Svizzera italiana

Reusing constraint proofs in symbolic analysis

Chen, Meixian ; Pezzè, Mauro (Dir.)

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

Symbolic analysis is an important element of program verification and automatic testing. Symbolic analysis techniques abstract program properties as expressions of symbolic input values to characterise the program logical constraints, and rely on Satisfiability Modulo Theories (SMT) solvers to both validate the satisfiability of the constraint expression and verify the corresponding program...

Accès public à partir du 3 juil. 2020
Università della Svizzera italiana

Strategies to access and manage donations for humanitarian operations

Urrea Castaño, Gloria Cecilia ; Maggi, Rico (Dir.)

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

Scarcity of funding and high competition among organizations are typical characteristics of the humanitarian setting, which create high uncertainty for humanitarian organizations (HOs) regarding their ability to access and manage the required donations for their operations. In contrast with past research, which usually considers that HOs have a passive role in the donations process, the main...

Università della Svizzera italiana

New architectures for very deep learning

Srivastava, Rupesh Kumar ; Schmidhuber, Jürgen (Dir.)

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

Artificial Neural Networks are increasingly being used in complex real- world applications because many-layered (i.e., deep) architectures can now be trained on large quantities of data. However, training even deeper, and therefore more powerful networks, has hit a barrier due to fundamental limitations in the design of existing networks. This thesis develops new architectures that, for the...

Università della Svizzera italiana

The role of context in human memory augmentation

Niforatos, Evangelos ; Langheinrich, Marc (Dir.)

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

Technology has always had a direct impact on what humans remember. In the era of smartphones and wearable devices, people easily capture on a daily basis information and videos, which can help them remember past experiences and attained knowledge, or simply evoke memories for reminiscing. The increasing use of such ubiquitous devices and technologies produces a sheer volume of pictures and...

Università della Svizzera italiana

Corporate governance issues and performance of initial public offerings

Seistrajkova, Biljana ; Nowak, Eric (Dir.) ; Degeorge, François (Codir.) ; Habib, Michel (Codir.)

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

In my PhD thesis I analyze corporate governance issues of initial public offerings and their subsequent performance. In the first chapter I find that the first-day return of newly issued subsidiary stocks (equity carve-outs) is explained by the reporting distortions in the pre-IPO period, conditioned on whether the executives and directors of the subsidiary received stock options with an...

Università della Svizzera italiana

Understanding the effects of communication and engagement in a social marketing intervention on children’s eating behavior : design, measurement and evaluation

Rangelov, Natalie ; Suggs, Suzanne (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2017 ; 2017COM014.

The prevalence of overweight and obesity represents a serious health problem, and is a risk factor for several non- communicable diseases. Poor nutrition and lack of regular physical activity are among the primary determinants of overweight and obesity. Data show that overweight and obesity rates are high in, and that the Swiss population does not adhere to the nutritional guidelines provided...

Università della Svizzera italiana

Automating test oracles generation

Goffi, Alberto ; Pezzè, Mauro (Dir.)

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

Software systems play a more and more important role in our everyday life. Many relevant human activities nowadays involve the execution of a piece of software. Software has to be reliable to deliver the expected behavior, and assessing the quality of software is of primary importance to reduce the risk of runtime errors. Software testing is the most common quality assessing technique for...

Università della Svizzera italiana

Controlled and effective interpolation

de Sá Alt, Leonardo ; Sharygina, Natasha (Dir.)

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

Università della Svizzera italiana

Conflicts of interest in initial public offerings

Pratobevera, Giuseppe ; Degeorge, François (Dir.)

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

In my thesis I investigate the conflicts of interests between underwriters, issuers, and investors in initial public offerings (IPOs). I provide empirical evidence that conflicts of interest exist, affect the IPO process, and have real monetary costs for IPO issuers. The novel data, methodologies, and identification strategies used in this thesis allow answering questions so far unexplored by...

Università della Svizzera italiana

The ageing society : analyzing the coverage of the population ageing in a Belgian quality newspaper

Torben-Nielsen, Karen ; Russ-Mohl, Stephan (Dir.) ; Suggs, Suzanne (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2016 ; 2016COM010.

This study has examined how the ‘Ageing Society’ -a society with a rapidly ageing population, a growing share of older persons and a decreasing share of younger persons- and its implications for the Belgian population are represented in the Belgian quality newspaper De Standaard (2011-2013). As such, the study delivered first-time Belgian empirical findings about the coverage of the...