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.
Games on graphs with omega-regular objectives provide a model for the control and synthesis of reactive systems. Every omega-regular objective can be decomposed into a safety part and a liveness part. The liveness part ensures that something good happens " ...
K-Theory was originally defined by Grothendieck as a contravariant functor from a subcategory of schemes to abelian groups, known today as K0. The same kind of construction was then applied to other fields of mathematics, like spaces and (not necessarily c ...
A methodology has been developed for the accurate assessment of localised reactivity perturbations in a BWR lattice embedded in a larger multiplying system, based on a full-system, unperturbed calculation, and on perturbed calculations on reduced-geometry ...
Existing sensitivity methods for spatially discrete groundwater contaminant transport models have been developed for time-stepping numerical algorithms and cannot be readily used with time-continuous approaches to transport simulation, such as the Laplace ...
We propose a system to characterize the 3-D diffusion properties of the probing bead trapped by a photonic-force microscope. We follow a model-based approach, where the model of the dynamics of the bead is given by the Langevin equation. Our procedure comb ...
Institute of Electrical and Electronics Engineers2010
The group D(P) of all endo-permutation modules for a finite p-group P is a finitely generated abelian group. We prove that its torsion-free rank is equal to the number of conjugacy classes of non-cyclic subgroups of P. We also obtain partial results on its ...
We prove that for any 1-reduced simplicial set X, Adams' cobar construction, on the normalised chain complex of X is naturally a strong deformation retract of the normalised chains CGX on the Kan loop group GX, opening up the possibility of applying the to ...
Summary: We present a method based on an optimal control technique for numerical computations of geodesic paths between two fixed points of a Riemannian manifold under the assumption of existence. In this method, the control variable is the tangent vector ...
