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.
Computational thinking (CT) skills are becoming increasingly relevant for future professionals across all domains, beyond computer science (CS). As such, an increasing number of bachelor and masters programs outside of the computer science discipline integ ...
2022
Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...
EPFL2015
Suspended Microchannel Resonators (SMRs) are hollow resonant structures containing an embedded U-shaped microfluidic channel. Theoretical and experimental results have proved that in these devices the energy dissipation is a non-monotonic function of the f ...
2018
,
This data set provides a computer-assisted proof for the kernel inequalities needed to prove universal optimality in the paper "Universal optimality of the E_8 and Leech lattices and interpolation formulas" (by Cohn, Kumar, Miller, Radchenko, and Viazovska ...
EPFL Infoscience2023
, ,
Numerical data for scattering amplitudes of photons in d=4 obtained by solving various optimisation problems. The data is stored in .txt files. Mathematica notebook is provided for loading and plotting the data. ...
2022
,
We present an approach to program repair and its application to programs with recursive functions over unbounded data types. Our approach formulates program repair in the framework of deductive synthesis that uses existing program structure as a hint to gu ...
2015
,
We present an approach to program repair and its application to programs with recursive functions over unbounded data types. Our approach formulates program repair in the framework of deductive synthesis that uses existing program structure as a hint to gu ...
2015
, ,
Machine-learning of atomic-scale properties amounts to extracting correlations between structure, composition and the quantity that one wants to predict. Representing the input structure in a way that best reflects such correlations makes it possible to im ...
2018
, ,
Numerical data for scattering amplitudes of Goldstone bosons in d=4 obtained by solving various optimisation problems. The data is stored in .m files. Mathematica notebook is provided for loading and plotting the data. ...
EPFL Infoscience2023
We present a systematic method to expand in components four dimensional superconformal multiplets. The results cover all possible N = 1 multiplets and some cases of interest for N = 2. As an application of the formalism we prove that certain N = 2 spinning ...
