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.
Today enterprises operate in a constantly changing market, characterized by shorter and shorter product life cycles, an increased demand for flexibility and changing techniques and technologies. In order to control these factors of complexity, enterprise m ...
We present the design of the programming language Keris, an extension of Java with explicit support for software evolution. Keris introduces extensible modules as the basic building blocks for software. Modules are composed hierarchically revealing explici ...
A formalized theory of alpha-conversion for the pi-calculus in Isabelle/HOL is presented. Following a recent proposal by Gabbay and Pitts, substitutions are modelled in terms of permutations, and alpha-equivalence is defined over all but finitely many name ...
NOVELTY - The electronic display (2) includes a number of cells (12) whose upper faces form a display surface, each cell has an electro-optic display unit (6) with inputs (14) for data to be displayed. A programmable logic circuit (20) is associated with f ...
In this paper we review some classical algorithms for fluid-structure interaction problems and we propose an alternative viewpoint mutuated from the domain decomposition theory. This approach yields preconditioned Richardson iterations on the Steklov-Poinc ...
We consider a Galerkin Finite Element approximation of the Stokes–Darcy problem which models the coupling between surface and groundwater flows. Then we propose an iterative subdomain method for its solution, inspired to the domain decomposition theory. Th ...
This paper settles the classification of all endo-trivial modules for a finite p-group, by treating the remaining case of a p-group having maximal elementary abelian subgroups of rank 2. It is shown that the modules constructed by Alperin using relative sy ...
In this paper, we intend to gain an understanding of the interaction of light with microstructures. Measurements of amplitude and phase in the diffracted field close to gratings using a heterodyne scanning probe are presented. Coherent light diffracted by ...
Decorrelation theory has recently been proposed in order to address the security of block ciphers and other cryptographic primitives over a finite domain. We show here how to extend it to infinite domains, which can be used in the message authentication co ...
D. functional (DFT) studies and hybrid QM/MM-DFT calcns. demonstrate the importance of p-p stacking interactions in detg. the structural features of two exemplary d8 palladium complexes, PdBr(p-NCC6H4)({S}-MeO-Biphep), 1, and PdBr(C6F5)({S}-MeO-Biphep), 2. ...
