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.
We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexample guided predicate abstraction with accel ...
c-Myc is involved in the control of diverse cellular processes and implicated in the maintenance of different tissues including the neural crest. Here we report that c-Myc is particularly important for pigment cell development and homeostasis. Targeting c- ...
FAIMS's ion separation mechanism is based on analyte's characteristic nonlinear relationship between its ion mobility and applied electric field strength. Present characterization methods for this nonlinear relationship are based on precarious assumptions ...
We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexample guided predicate abstraction with accel ...
We consider differentiability with respect to the switch times of the value function of an optimal control problem for a non-autonomous switched system. The control variables are the switch times between the modes and the input in each mode. We provide a m ...
We report on the derivation of analytical formulas for the lineshape of Fano resonances in plasmonic nanostructures as a function of their electromagnetic response. Contrary to the original work of Fano, the formalism proposed here includes losses in the m ...
PURPOSE. The purpose of our study is to develop and validate a methodology to measure the compliance of the vascular network in the eye using biomechanical parameters, namely arterial pressure, intraocular pressure (IOP), and ocular compliance of the eyeba ...
The aim of this research is to establish a relation between the derivatives of Hardy's Z function and the argument of the Riemann zeta function in the neighborhood of points where |Z| reaches a large maximum. In this paper, we make a step toward this goal ...
The spatial distribution of regions that lie above contours of constant height through a self-affine surface is studied as a function of the Hurst exponent H. If the surface represents a landscape, these regions correspond to islands. When the surface repr ...
We report on the derivation of analytical formulas for the lineshape of Fano resonances in plasmonic nanostructures as a function of their electromagnetic response. Contrary to the original work of Fano, the formalism proposed here includes losses in the m ...