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.
We study the problem of proving termination of open, higher-order programs with recursive functions and datatypes. We identify a new point in the design space of solutions, with an appealing trade-off between simplicity of specification, modularity, and am ...
Equipped with a third hand under their direct control, surgeons may be able to perform certain surgical interventions alone; this would reduce the need for a human assistant and related coordination difficulties. However, does human performance improve wit ...
New experimental results are reported on state-dependent steric effects in NO-Ar inelastic scattering. The NO molecules are selected in the J = 1/2(-) l-doublet state of the electronic ground state and oriented relative to the incident Ar atoms. The steric ...
We have used scanning micro x-ray diffraction to characterize different phases in superconducting KxFe2-ySe2 as a function of temperature, unveiling the thermal evolution across the superconducting transition temperature (T-c similar to 32 K), phase separa ...
As online shopping becomes ever more prevalent, customers rely increasingly on product rating websites for making purchase decisions. The reliability of online ratings, however, is potentially compromised by the so-called herding effect: when rating a prod ...
Metal-organic coordination interactions are prime candidates for the formation of self-assembled, nanometer-scale periodic networks with room-temperature structural stability. We present X-ray photoelectron spectroscopy measurements of such networks at the ...
