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 prove that the quantifier-free fragment of the theory of character strings with regular language membership constraints and linear integer constraints over string lengths is decidable. We do that by describing a sound, complete and terminating tableaux ...
The string method is a general and flexible strategy to compute the most probable transition path for an activated process (rare event). We apply here the atomistic string method in the density field to the Cassie-Wenzel transition, a central problem in th ...
Reservoir sedimentation is, at present, one of the main concerns in the operational management of dams in the Alps. For larger seasonal storage reservoirs, the main operational concern is the blockage of bottom outlets and turbine abrasion. In case of infr ...
Tetrel Lewis acids are a prospective alternative to commonly employed neutral boranes in frustrated Lewis pair (FLP) chemistry. While cationic tetrylium Lewis acids, being isolobal and iso(valence)electronic, are a natural replacement to boranes, neutral t ...
The locality of bulk physics at distances below the AdS length scale is one of the remarkable aspects of AdS/CFT duality, and one of the least tested. It requires that the AdS radius be large compared to the Planck length and the string length. In the CFT ...
We present a statistical framework to automatically determine an associated color for a given arbitrary semantic expression. The expression can not only be a color name but any word or character string. In addition to the color value, we are also able to c ...
Multiple twinning in cubic crystals is represented geometrically by a three-dimensional fractal and algebraically by a groupoid. In this groupoid, the variant crystals are the objects, the misorientations between the variants are the operations, and the Σ3 ...
