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.
Reduction and abstraction techniques have been proposed to address the state space explosion problem in verification. In this paper, we present reduction and abstraction techniques for component-based systems modeled in BIP (Behavior, Interaction and Prior ...
For the radial energy-supercritical nonlinear wave equation □u=−utt+△u=±u7 on R3+1, we prove the existence of a class of global in forward time C∞-smooth solutions with infinite critical Sobolev norm $\dot{H}^{\f ...
Stochastic models that describe interacting processes, such as stochastic automata networks, feature a dimensionality that grows exponentially with the number of processes. This state space explosion severely impairs the use of standard methods for the num ...
Supramenability of groups is characterised in terms of invariant measures on locally compact spaces. This opens the door to constructing interesting crossed product C*-algebras for non-supramenable groups. In particular, stable Kirchberg algebras in the UC ...
The paper describes a novel approach to product relationships management in the context of concurrent engineering and product lifecycle management (PLM). Current industrial practices in product data management and manufacturing process management systems r ...
Tandem reactions for the efficient synthesis of multifunctionalized 1,2,3,4-tetrahydropyridines, 2,3-dihydropyridin-4(1H)-ones, and pyridine derivatives have been developed and reaction mechanisms have been investigated. Synthetic cascades are initiated by ...
Many problems in combinatorial geometry can be formulated in terms of curves or surfaces containing many points of a cartesian product. In 2000, Elekes and Rónyai proved that if the graph of a polynomial f(x, y) contains cn2 points of an n × n × n cartesia ...
This paper describes an algorithm to calculate a large number of roots of the cross-product of Bessel functions and of their first derivatives. The algorithm initially finds the roots of the zeroth order using an auxiliary function that exhibits the same r ...
Institute of Electrical and Electronics Engineers2013
For linear models, compressed sensing theory and methods enable recovery of sparse signals of interest from few measurements-in the order of the number of nonzero entries as opposed to the length of the signal of interest. Results of similar flavor have mo ...
Institute of Electrical and Electronics Engineers2012
In this paper, we analyze the emerging retail practice of carrying a combined product assortment consisting of both regular "standard" products and more fashionable and short-lived "special" products. The purpose of this practice is to increase store traff ...