Publications associées à Antichains For The Automata-Based Approach To Model-Checking

Evaluation and digitalization: what are the key challenges for evaluation processes and evaluators?

Public policy evaluation has traditionally been conducted in a context constrained by legal, institutional and political red tape. The arrival of digitalisation adds a new layer to public policy evaluation processes. Assessing the quality of technologies, ...

Edward Elgar Publishing2023

Periodic and aperiodic NiFe nanomagnet/ferrimagnet hybrid structures for 2D magnon steering and interferometry with high extinction ratio

Dirk Grundler, Vinayak Shantaram Bhat, Sho Watanabe, Andrea Mucchietto, Shixuan Shan, Elif Nur Dayi

File formats are described in read_me files in the concerning folder. For plotting and data evaluation, Python 2.7 was used. Example scripts for plotting are provided. ...

Zenodo2023

Lower Bounds for Unambiguous Automata via Communication Complexity

Mika Tapani Göös, Weiqiang Yuan

We use results from communication complexity, both new and old ones, to prove lower bounds for unambiguous finite automata (UFAs). We show three results. 1) Complement: There is a language L recognised by an n-state UFA such that the complement language ̅L ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2022

Evaluation and robotic simulation of the glenohumeral joint

Matteo Mancuso

The shoulder is the joint with the largest range of motion in the human body. It is composed of three articulations, the glenohumeral articulation providing about two thirds of its mobility which is, also the most complex and fragile of the three. For this ...

EPFL2020

Does scaling player size skew one’s ability to correctly evaluate object sizes in a virtual environment?

Ronan Boulic, Bruno Herbelin, Mathias Guy Delahaye

This paper presents the results of a study performed in order to evaluate whether a navigation technique, based on scaling the user’s avatar, impacts the user’s ability to correctly assess the size of virtual objects in a virtual environment. This study wa ...

Association for Computing Machinery2020

Scaling Functional Synthesis and Repair

Emmanouil Koukoutos

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

EPFL2019

Adaptive Design of Experiments for Conservative Estimation of Excursion Sets

David Ginsbourger

We consider the problem of estimating the set of all inputs that leads a system to some particular behavior. The system is modeled by an expensive-to-evaluate function, such as a computer experiment, and we are interested in its excursion set, that is, the ...

2021

A Physical Model of Non-stationary Blur in Ultrasound Imaging

Paul Hurley, Jean-Philippe Thiran, Yves Wiaux, Dimitris Perdios, Adrien Georges Jean Besson, Matthieu Martin Jean-André Simeoni, Marcel Arditi

Conventional ultrasound (US) imaging relies on delay-and-sum (DAS) beamforming which retrieves a radio- frequency (RF) image, a blurred estimate of the tissue reflectivity function (TRF). Despite the non-stationarity of the blur induced by propagation effe ...

2019

A template for constructing Bayesian networks in forensic biology cases when considering activity level propositions

Christophe Champod, Alex Biedermann

The hierarchy of propositions has been accepted amongst the forensic science community for some time. It is also accepted that the higher up the hierarchy the propositions are, against which the scientist are competent to evaluate their results, the more d ...

2018

Preventive chemotherapy to control soil-transmitted helminthiasis averted more than 500 000 DALYs in 2015

Background: Preventive chemotherapy (PC), the large-scale administration of anthelminthics, is recommended by the World Health Organization (WHO) for the control of soil-transmitted helminthiasis (STH). Since 2010, donated anthelminthics for STH have boost ...

Oxford University Press2018

Algorithmic Resource Verification

Ravichandhran Kandhadai Madhavan

Static estimation of resource utilisation of programs is a challenging and important problem with numerous applications. In this thesis, I present new algorithms that enable users to specify and verify their desired bounds on resource usage of functional p ...

EPFL2017

Reinforcement learning: the effect of environment

Michael Herzog, He Xu

Reinforcement learning is a type of supervised learning, where reward is sparse and delayed. For example in chess, a series of moves is made until a sparse reward (win, loss) is issued, which makes it impossible to evaluate the value of a single move. Stil ...

2016

Measuring and Synthesizing Systems in Probabilistic Environments

Barbara Jobstmann, Rishabh Singh

The traditional synthesis question given a specification asks for the automatic construction of a system that satisfies the specification, whereas often there exists a preference order among the different systems that satisfy the given specification. Under ...

Assoc Computing Machinery2015

A Study on Social Assessment in Holistic Lifecycle Management

Dimitrios Kyritsis, Fatih Karakoyun

Sustainable manufacturing has been focus of the industry for some time. Due to the holistic nature of sustainability not only the manufacturing processes but the whole life cycle and the environmental, economic and social aspects of the product should be t ...

Springer-Verlag Berlin2015

Learning Analytics Dashboard Applications

Sten Govaerts

This article introduces learning analytics dashboards that visualize learning traces for learners and teachers. We present a conceptual framework that helps to analyze learning analytics applications for these kinds of users. We then present our own work i ...

Sage Publications Inc2013

Symbolic execution of Reo circuits using constraint automata

Hossein Hojjat

Reo is a coordination language that can be used to model different systems. We propose a technique for symbolic execution of Reo circuits using the symbolic representation of data constraints in Constraint Automata. This technique enables us to obtain the ...

2012

Quantitative Languages

Laurent Doyen

Quantitative generalizations of classical languages, which assign to each word a real number instead of a Boolean value, have applications in modeling resource-constrained computation. We use weighted automata (finite automata with transition weights) to d ...

2010

Evaluating Cases in Legal Disputes as Rival Theories

Jingshi Li

In this paper we propose to draw a link from the quantitative notion of coherence, previously used to evaluate rival scientific theories, to legal reasoning. We evaluate the stories of the plaintiff and the defendant in a legal case as rival theories by me ...

2010

Heat wave propagation in a nonlinear chain

Francesco Piazza

We investigate the propagation of temperature perturbations in an array of coupled nonlinear oscillators at finite temperature. We evaluate the response function at equilibrium and show how the memory effects affect the diffusion properties. A comparison w ...

2009

Through thickness air permeability of prepregs during cure

Véronique Michaud, Sandra Sequeira Lopes Tavares

An experimental method based on a falling pressure measurement is proposed to evaluate the through thickness air permeability of prepregs during cure, with two set-up variants. One concerns the measurement of the inherent air permeability and the other app ...

2009