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.
A new series connected 25 T hybrid magnet system is being set up by the Helmholtz Zentrum Berlin (HZB) for neutron scattering experiments. CRPP has designed and manufactured a pair of 20 kA current leads for the powering of the outer superconducting coils ...
We report on InAlN/GaN high electron mobility transistors (HEMTs) grown by metal organic vapor phase epitaxy on sapphire with ultrathin buffers. Two dimensional electron gas (2DEG) exhibiting high mobility (1100 cm(2) /V s) and low sheet resistivity (356 O ...
With the objective of understanding the role of size and current level of filamentary regions on the resistive switching parameters, detailed conductive atomic force microscope investigations of resistive memory cells having different dimensions have been ...
It is notoriously difficult to develop reliable, high-performance distributed systems that run over asynchronous networks. Even if a distributed system is based on a well-understood distributed algorithm, its implementation can contain errors arising from ...
A lumped parameter, state space model for a tokamak transformer including the slow flux penetration in the plasma (skin effect transformer model) is presented. The model does not require detailed or explicit information about plasma profiles or geometry. I ...
Developments towards an understanding of the nature of conductance at the interface between two different metallic layers – ferromagnetic and non magnetic – as well as the discovery of giant magnetoresistance have stirred attention from both the scientific ...
Languages based on the theory of timed automata are a well established approach for modelling and analysing real-time systems, with many applications both in an industrial and academic context. Model checking for timed automata has been studied extensively ...
Consensus is at the heart of fault-tolerant distributed computing systems. Much research has been devoted to developing algorithms for this particular problem. This paper presents a semi-automatic verification approach for asynchronous consensus algorithms ...
Current approaches to model checking distributed systems reduce the problem to that of model checking centralized systems: global states involving all nodes and communication links are systematically explored. The frequent changes in the network element of ...
A magnetic field sensor for measuring a direction of a magnetic field in a plane comprises a sensing structure (4) comprising a ring-shaped well (10), a plurality of contacts (11) of equal size placed at equal distance from each other along the ring-shaped ...