Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multisets, and integers. Constraints over collections and integers are connected ...
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a satisfactory formalization of its proposed conceptual framework. We report on ...
This paper presents an experimental investigation of the vortex shedding in the wake of blunt and oblique trailing edge hydrofoils at high Reynolds number, Re=5 10(5) - 2.9 10(6). The velocity field in the wake is surveyed with the help of Particle-Image-V ...
American Soc Mechanical Engineers, Three Park Avenue, New York, Ny 10016-5990 Usa2010
This paper presents computational experiments that illustrate how one can precisely conceptualize language evolution as a Darwinian process. We show that there is potentially a wide diversity of replicating units and replication mechanisms involved in lang ...
Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make such logics more useful in verification this paper extends them with the ability to co ...
Spatial mobility has often been considered a detrimental factor for families for various reasons, stemming from increasing stress, unpredictability of daily life, increasing gender inequalities, and decreasing investment in parenting and partnerships due t ...
This paper asks how much liveness a transactional memory (TM) implementation can guarantee. We first devise a formal framework for reasoning about liveness properties of TMs. Then, we prove that the strongest liveness property that a TM can ensure in an as ...
Creation and transformation of visual specifications is driven by modeler’s design decisions. After a design decision has been made, the modeler needs to adjust the specification to maintain its correctness. The number of adjustments might make the design ...
\noindent Multiparty face-to-face conversations in professional and social settings represent an emerging research domain for which automatic activity-based analysis is relevant for scientific and practical reasons. The activity patterns emerging from grou ...
Low-frequency (LF) noise under cyclo-stationary excitation has received considerable attention recently. Until now, only semiempirical models for cyclo-stationary random telegraph signal (RTS) and flicker noise have been reported in the literature. In this ...
