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.
Shortly after the final classification of all endo-trivial modules for a finite p- group P by Jon Carlson and Jacques Thévenaz, the complete classification of all endo-permutation modules was obtained by Serge Bouc (The Dade group of a p-group, Inventiones ...
We define ``random trip", a generic mobility model for independent mobiles that contains as special cases: the random waypoint on convex or non convex domains, random walk with reflection or wrapping, city section, space graph and other models. We use Palm ...
In contrast to beta-testing, formal verification can guarantee correctness of a program against a specification. Two basic verification techniques are theorem proving and model checking. Both have strengths and weaknesses. Theorem proving is powerful, but ...
We define ``random trip", a generic mobility model for independent mobiles that contains as special cases: the random waypoint on convex or non convex domains, random walk with reflection or wrapping, city section, space graph and other models. We use Palm ...
We present a simplification of Lieb's proof of the flux phase conjecture for interacting fermion systems--such as the Hubbard model--at half-filling on a general class of graphs. The main ingredient is a procedure which transforms a class of fermionic Hami ...
In a transactional system, an atomic commitment protocol ensures that for any transaction, all data managers agree on the same outcome: commit or abort. A non-blocking atomic commitment protocol enables an outcome to be decided at every correct data manage ...
A proof of existence is given for a stationary model of alloy solidification. The system is composed of heat equation, solute equation and Navier-Stokes equations. In rite latter Carman-Kozeny penalization of porous medium models the mushy zone. The proble ...
In a transactional system, an {\em atomic commitment} protocol ensures that for any transaction, all {\em Data Manager} processes agree on the same outcome {\em (commit} or {\em abort)}. A {\em non-blocking atomic commitment} protocol enables an outcome to ...
The authors give a number of examples of two noncongruent isospectral domains in the plane and a particularly simple method of proof. One of their examples is a pair of domains that are not only isospectral but homophonic, i.e. each domain has a distinguis ...
In order to utilize macromols. for drug targeting and delivery, a strategy to tether organometallic ruthenium-arene drugs to carrier protein mols. was developed. The approach involves the design of a drug fragment capable of conjugating to linker mols. on ...
