Ergebnisse einschränken

Dokumententyp

  • Dissertationen Filter Auschalten

Spezialsammlung

Sprache

Università della Svizzera italiana

ICT and gamified learning in tourism education : a case of South African secondary schools

Adukaite, Asta ; Cantoni, Lorenzo (Dir.)

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

Tourism is often introduced as a subject in formal education curricula because of the increasing and significant economic contribution of the tourism industry to the private and public sector. This is especially the case in emerging economies in Asia and Africa (Hsu, 2015; Mayaka Cuffy et al., 2012). Tourism in South Africa – which is the geographical setting of this research...

Università della Svizzera italiana

End-user development of mashups using live natural language programming

Aghaee, Saeed ; Pautasso, Cesare (Dir.)

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

The emergence of the long-tail in the market of software applications is shifting the role of end-users from mere consumers to becoming developers of applications addressing their unique, personal, and transient needs. On the Web, a popular form of such applications is called mashup, built out of the lightweight composition of Web APIs (reusable software components delivered as a service...

Università della Svizzera italiana

Software documentation : automation and challenges

Aghajani, Emad ; Lanza, Michele (Dir.) ; Bavota, Gabriele (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO014.

Despite the undeniable practical benefits of documentation during software development and evolution activities, its creation and maintenance is often neglected, leading to inadequate and even inexistent documentation. Thus, it is not unusual for developers to deal with unfamiliar code they have difficulties in comprehending. Browsing the official documentation, or accessing online resources,...

Università della Svizzera italiana

An SMT-based verification framework for software systems handling arrays

Alberti, Francesco ; Sharygina, Natasha (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2015 ; 2015INFO003.

Recent advances in the areas of automated reasoning and first-order theorem proving paved the way to the developing of effective tools for the rigorous formal analysis of computer systems. Nowadays many formal verification frameworks are built over highly engineered tools (SMT-solvers) implementing decision procedures for quantifier- free fragments of theories of interest for (dis)proving...

Università della Svizzera italiana

Modeling user information needs on mobile devices : from recommendation to conversation

Aliannejadi, Mohammad ; Crestani, Fabio (Dir.)

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

Recent advances in the development of mobile devices, equipped with multiple sensors, together with the availability of millions of applications have made these devices more pervasive in our lives than ever. The availability of the diverse set of sensors, as well as high computational power, enable information retrieval (IR) systems to sense a user’s context and personalize their results ...

Università della Svizzera italiana

Causal loops : logically consistent correlations, time travel, and computation

Ämin, Baumeler ; Wolf, Stefan (Dir.)

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

Causal loops are loops in cause-effect chains: An effect can be the cause of that effect's cause. We show that causal loops can be unproblematic, and explore them from different points of view. This thesis is motivated by quantum theory, general relativity, and quantum gravity. By accepting all of quantum theory one can ask whether the possibility to take superpositions extends to causal...

Università della Svizzera italiana

Analysis and new constructions of generalized barycentric coordinates in 2D

Anisimov, Dmitry ; Hormann, Kai (Dir.)

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

Different coordinate systems allow to uniquely determine the position of a geometric element in space. In this dissertation, we consider a coordinate system that lets us determine the position of a two-dimensional point in the plane with respect to an arbitrary simple polygon. Coordinates of this system are called generalized barycentric coordinates in 2D and are widely used in computer...

Università della Svizzera italiana

Architectural exploration and scheduling methods for coarse grained reconfigurable arrays

Ansaloni, Giovanni ; Pozzi, Laura (Dir.)

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

Coarse Grained Reconfigurable Arrays have emerged, in recent years, as promising candidates to realize efficient reconfigurable platforms. CGRAs feature high computational density, flexible routing interconnect and rapid reconfiguration, characteristics that make them well-suited to speed up execution of computational kernels. A number of designs embodying the CGRA concept have been proposed...

Università della Svizzera italiana

Imprecise probabilistic graphical models : Equivalent representations, inference algorithms and applications

Antonucci, Alessandro ; Zaffalon, Marco (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2008 ; 2008INFO003.

Credal networks are probabilistic graphical models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Credal nets appear to be powerful means to represent and deal with many important and challenging problems in uncertain reasoning. The counterpart of having more freedom in the modeling phase is an increased inferential...

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