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.
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 ...
We construct a non-equilibrium steady state and calculate the corresponding current for a mesoscopic Fermi system in the partition-free setting. To this end we study a small sample coupled to a finite number of semi-infinite leads. Initially, the whole sys ...
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 ...
A planar solid oxide fuel cell repeating unit, 50 cm2 in total active electrode size, consisting of an anode supported electrolyte cell bearing two 7 mm holes for fuel and air injection, and contacted to two dense metal current collector plates ...
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 ...
“Pavement conditions from intelligent pavements and intelligent vehicles”, aims to improve the management of road network maintenance by life health monitoring through smart methods able to predict the deterioration process and actual condition in unobtrus ...
One of the characteristic features of the electromagnetic fields radiated by lightning is the far-field inversion of polarity with a zero-crossing occurring in the tens of microseconds range. This feature has been used in several studies to test the abilit ...
Bytecode instrumentation is a valuable technique for transparently enhancing virtual execution environments for purposes such as monitoring or profiling. Current approaches to bytecode instrumentation either exclude some methods from instrumentation, sever ...
Single-electron bipolar avalanche transistors (SEBATs) enable current sensing by electron counting at room temperature. Here, differential SEBAT circuits combining the functions of amplification and analog-to-digital (A/D) conversion are proposed and chara ...
Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2009
The use of nanowire crossbars to build devices with large storage capabilities is a very promising architectural paradigm for forthcoming nanoscale memory devices. However, this new type of memory devices raises questions regarding how to test their correc ...
