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.
In this paper we present a general framework HM(X) for Hindley/Milner style type systems with constraints, analogous to the CLP(X) framework in constrained logic programming. We show that the type system is sound with respect to a standard untyped composit ...
Join calculus, usually presented as a process calculus, is suitable as a foundation of both sequential and concurrent programming. We give a new operational semantics of join calculus, expressed as a reduction system with a single reduction rule similar to ...
The dependence of the permittivity, on uniaxial pressure of ceramics in the paraelectric, ferroelectric and relaxer phases has been investigated for BaTiO3, Pb(ZrTi)O-3 and Pb(Mg1/3Nb2/3)O-3. In the paraelectric ic phase, upon the application of stress, a ...
Raman spectra of Y2O3 single crystal were recorded at room temperature in a diamond anvil cell up to a pressure of 22 GPa. Two phase transitions were detected at pressures of 12 and 19 GPa. The different phases were identified with the three structures exh ...
The effect of acceptor (Na, Mg, Fe) and donor (Nb,Ta) dopants on the switching properties of Pb(Zr0.53Ti0.47)O-3 (PZT) thin films with Pt electrodes was investigated for broad dopant concentration ranges. The effect of dopants on endurance was found to be ...
We present a new type of microinstrument allowing manipulation and mechanical perturbation of individual cells under an optical microscope. These instruments, which we call microplates, are pulled from rectangular glass bars. They have flat tips, typically ...
This report presents the formal semantics of COALA, a design language based on the concept of Coordinated Atomic Actions (CA actions). COALA has been developped with the intent of providing a concrete language to express CA actions and thus facilitate the ...
A new flow boiling model and generalized correlation are presented for evaporation inside of horizontal microfin tubes. The enhancement model incorporates the effects of the microfins on liquid-phase convection and nucleate boiling. The method predicts mic ...
We illustrate the propagation of light in a new type of coupling mask for lensless optical lithography. Our investigation shows how the different elements comprising such masks contribute to the definition of an optical path that allows the exposure of fea ...
We studied the possible involvement of corticosteroids in the establishment and long-term expression of contextual fear conditioning and questioned whether a corticosteroid action might be dependent upon stimulus intensity at training. Experiments included ...
