Affiner les résultats

Langue

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

Survey on the design of gamified systems for energy and water sustainability

Albertarelli, Spartaco ; Fraternali, Piero ; Herrera, Sergio ; Melenhorst, Mark ; Novak, Jasminko ; Pasini, Chiara ; Rizzoli, Andrea-Emilio ; Rottondi, Cristina

In: Games, 2018, vol. 9, no. 3, p. 38

In a world affected by the constant growth and concentration of the population in urban areas, the problem of preserving natural resources has become a priority. A promising approach to resource conservation is demand management, i.e., the ability to positively influence the behaviour of the population towards more sustainable consumption. Information and Communication Technology (ICT) tools...

Université de Fribourg

Convexity of complements of tropical varieties, and approximations of currents

Adiprasito, Karim ; Babaee, Farhad

In: Mathematische Annalen, 2019, vol. 373, no. 1, p. 237–251

The goal of this note is to affirm a local version of conjecture of Nisse–Sottile [19] on higher convexity of complements of tropical varieties, while providing a family of counter-examples for the global Nisse–Sottle conjecture in any codimension and dimension higher than one. Moreover, it is shown that, surprisingly, this family also provides a family of counter-examples for the...

Université de Fribourg

Returns to farm child labor in Tanzania

André, Pierre ; Delesalle, Esther ; Dumas, Christelle

(Working Papers SES ; 502)

In developing countries, the opportunity costs of children’s time can significantly hinder universal education. This paper studies one of these opportunity costs: we estimate the agricultural productivity of children aged 10 to 15 years old using the LSMS-ISA panel survey in Tanzania. Since child labor can be endogenous, we exploit the panel structure of the data and instrument child labor...

Université de Fribourg

Puckering behavior in six new phosphoric triamides containing aliphatic six- and seven-membered ring groups and a database survey of analogous ring-containing structures

Alviri, Banafsheh Vahdani ; Pourayoubi, Mehrdad ; Saneei, Anahid ; Keikha, Mojtaba ; Lee, Arie van der ; Crochet, Aurélien ; Ajees, A. Abdul ; Nečas, Marek ; Fromm, Katharina M. ; Damodaran, Krishnan ; Jenny, Titus A.

In: Tetrahedron, 2018, vol. 74, no. 1, p. 28–41

The influence of a N heteroatom on the ring conformations of six- and seven- membered aliphatic rings in six new C(O)NHP(O)-based phosphoric triamide structures (analysed by X-ray crystallography) is investigated. Additionally the influence of steric and crystal packing effects is also studied by the analysis of Hirshfeld surfaces. The results are compared to analogous structures with three-...

Université de Fribourg

First quantitative survey delineates the distribution of chimpanzees in the Eastern Central African Republic

Aebischer, Thierry ; Siguindo, Guy ; Rochat, Estelle ; Arandjelovic, Mimi ; Heilman, Amy ; Hickisch, Raffael ; Vigilant, Linda ; Joost, Stéphane ; Wegmann, Daniel

In: Biological Conservation, 2017, vol. 213, no. Part A, p. 84–94

Vast, pristine ecosystems and their biodiversity are vanishing globally at frightening speed, but many large tracts of wilderness have not yet been systematically inventoried and important natural populations of threatened species remain poorly characterized. The forest-savanna ecotone of the Eastern Central African Republic (CAR) is one such poorly studied area. Using camera traps, transect...

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

Re-analysis of seasonal mass balance at Abramov glacier 1968–2014

Barandun, Martina ; Huss, Matthias ; Sold, Leo ; Farinotti, Daniel ; Azisov, Erlan ; Salzmann, Nadine ; Usubaliev, Ryskul ; Merkushkin, Alexandr ; Hoelzle, Martin

In: Journal of Glaciology, 2015, vol. 61, no. 230, p. 1103–1117

Abramov glacier, located in the Pamir Alay, Kyrgyzstan, is a reference glacier within the Global Terrestrial Network for Glaciers. Long-term glaciological measurements exist from 1968 to 1998 and a mass-balance monitoring programme was re-established in 2011. In this study we re-analyse existing mass-balance data and use a spatially distributed mass-balance model to provide continuous seasonal...

Université de Fribourg

The AdMit Package

Ardia, David ; Hoogerheide, Lennart F. ; van Dijk, Herman K.

This short note presents the R package AdMit which provides flexible functions to approximate a certain target distribution and to efficiently generate a sample of random draws from it, given only a kernel of the target density function. The estimation procedure is fully automatic and thus avoids the time-consuming and difficult task of tuning a sampling algorithm. To illustrate the use of the...