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: Psychonomic Bulletin & Review, 2015, vol. 22, no. 1, p. 274-280
|
In: Business & Information Systems Engineering, 2015, vol. 57, no. 1, p. 3-13
|
In: Multimedia Tools and Applications, 2015, vol. 74, no. 4, p. 1175-1197
|
In: The Web Conference 2021, Ljubljana, Slovenia, April 12-23, 2021, 2021, p. 1-10
Wikidata is rapidly emerging as a key resource for a multitude of online tasks such as Speech Recognition, Entity Linking, Question Answering, or Semantic Search. The value of Wikidata is directly linked to the rich information associated with each entity – that is, the properties describing each entity as well as the relationships to other entities. Despite the tremendous manual and...
|
Mémoire de bachelor : Haute école de gestion de Genève, 2020 ; TDIBM 101.
The Fourth Industrial Revolution represents both challenges and opportunities for companies, but more importantly, it raises questions about what decisions should be made and what their implications would be. There are two dimensions to this new era of economic disruption that can be seen as opposed or complementary: job automation and soft skill development for humans. Often, discussing...
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO019.
Deep neural networks learn representations of data to facilitate problem-solving in their respective domains. However, they struggle to acquire a structured representation based on more symbolic entities, which are commonly understood as core abstractions central to human capacity for generalization. This dissertation studies this issue for visual reasoning tasks. Inspired by how humans solve...
|
Mémoire de bachelor : Haute école de gestion de Genève, 2020 ; TDB 2430.
CERN, the European Organisation for Nuclear Research, located in Geneva, Switzerland, was founded in 1954. Even before its first experiments started operating, the Organisation was very clear on wanting to be as open as possible with the data and research it would be producing. In 1993, CERN became a pioneer in the field of open source and Open Access by putting the software behind the World...
|
Thèse de doctorat : Université de Fribourg, 2020.
Visual selective attention prioritizes the processing of behaviorally relevant over irrelevant information, to optimize the use of limited cognitive resources in the brain. These selective mechanisms preferentially route relevant neuronal representations through a network of distributed brain regions. Previous studies suggested that selective information routing in the attention network may...
|
In: Educational Studies in Mathematics, 2016, vol. 95, no. 1, p. 53-78
Drawing strategies are widely used as a powerful tool for promoting students’ learning and problem solving. In this article, we report the results of an inferential mediation analysis that was applied to investigate the roles that strategic knowledge about drawing and the accuracy of different types of drawings play in mathematical modelling performance. Sixty-one students were asked to...
|