In: Journal of systems and software, 2021, vol. 181, p. 13
Software testing depends on effective oracles. Implicit oracles, such as checks for program crashes, are widely applicable but narrow in scope. Oracles based on formal specifications can reveal applicationspecific failures, but specifications are expensive to obtain and maintain. Metamorphic oracles are somewhere in-between. They test equivalence among different procedures to detect semantic...
|
In: Empirical Software Engineering, 2020, vol. 25, no. 6, p. 5193–5254
Context: A Machine Learning based System (MLS) is a software system including one or more components that learn how to perform a task from a given data set. The increasing adoption of MLSs in safety critical domains such as autonomous driving, healthcare, and finance has fostered much attention towards the quality assurance of such systems. Despite the advances in software testing, MLSs bring...
|
In: Bioinformatics, 2017, vol. 33, no. 14, p. i75-i82
|
Thèse de doctorat : Università della Svizzera italiana, 2021 ; 2021INFO008.
Fundamental tasks in multivariate and numerical analysis, such as sparse precision matrix estimation via graphical lasso and function approximation, are formulated in ever-increasing dimensions. Consequently, this results in a significant increase in the computational demand that quickly renders standard solution methods intractable. With this motivation, we present two scalable algorithms that...
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO017.
Complex multi-tier systems are composed of many distributed machines, feature multi-layer architecture and offer different types of services. Shared complex multi-tier systems, such as cloud systems, reduce costs and improves resource utilization efficiency, with a considerable amount of complexity and dynamics that challenge the reliability of the system. The new challenges of complex...
|
Mémoire de bachelor : Haute école de gestion de Genève, 2020 ; TDIBM 73.
Over the course of many decades, the level of importance attributed to generational dif-ferences has considerably increased. In recent years, the topic of generations has been the focus of numerous academic papers, books, articles, and blogs. Companies are faced with the pressure of how they acknowledge such age differences in the makeup of the workforce as part of the Diversity and Inclusion...
|
In: Entropy, 2019, vol. 21, no. 2, p. 104
In view of the importance of quantum non-locality in cryptography, quantum computation, and communication complexity, it is crucial to decide whether a given correlation exhibits non-locality or not. As proved by Pitowski, this problem is NP- complete, and is thus computationally intractable unless NP is equal to P. In this paper, we first prove that the Euclidean distance of given...
|
In: Experimental economics, 2019, p. 1-35
We investigate how the selection process of a leader affects team performance with respect to social learning. We use a laboratory experiment in which an incentivized guessing task is repeated in a star network with the leader at the center. Leader selection is either based on competence, on self-confidence, or made at random. In our setting, teams with random leaders do not underperform....
|
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...
|
In: Tsantsa : Journal of the Swiss Anthropological Association, 2019, vol. 24, p. 121-126
|