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.
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...
This paper describes QEF a query evaluation framework designed to support complex applications on the grid. QEF has been extended to support querying within a number of different applications, including supporting scientific visualization and implementing ...
We propose a framework for component-based modeling using an abstract layered model for components. A component is the superposition of two models: a behavior model and an interaction model. Interaction models describe architectural constraints induced by ...
We present a method for generating polynomial invariants for a subfamily of imperative loops operating on numbers, called the P-solvable loops. The method uses algorithmic combinatorics and algebraic techniques. The approach is shown to be complete for som ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008
We build wavelet-like functions based on a parametrized family of pseudo-differential operators Lv that satisfy some admissibility and scalability conditions. The shifts of the generalized B-splines, which are localized versions of the Green func ...
In this thesis the Cauchy problem and in particular the question of singularity formation for co--rotational wave maps from 3+1 Minkowski space to the three--sphere S3 is studied. Numerics indicate that self--similar solutions of this model play a cruci ...
The aim of this work is to provide a new Linearization Principle approach particularly suited for problems in fluid–structure stability. The complexity here, and the main difference with respect to the classical approach, comes from the fact that the full ...
In this work, we apply a methodology which consistently integrates modeling, verification, and performance evaluation techniques, based on the BIP (Behavior, Interaction, Priority) component framework developed at Verimag [A. Basu et al., 2006; A. Basu et ...
In this PhD thesis we deal with two mathematical problems arising from quantum mechanics. We consider a spinless non relativistic quantum particle whose configuration space is a two dimensional surface S. We also suppose that the particle feels the effect ...
We describe a family of decision procedures that extend the decision procedure for quantifier-free constraints on recursive algebraic data types (term algebras) to support recursive abstraction functions. Our abstraction functions are catamorphisms (term a ...
