Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos 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 ...
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 ...
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 ...
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
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 ...
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 ...
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 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 ...
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 ...