Concept

Wolfram Mathematica

Related publications (16)

Numerical data for scattering amplitudes of Neutral Goldstone bosons in 4d.

Andrea Guerrieri, Denis Karateev, Kelian Philippe Häring

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

Computer-assisted proof of kernel inequalities

Maryna Viazovska, Abhinav Kumar

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

Promoting Computational Thinking Skills in Non-Computer Science Students Gamifying Computational Notebooks to Increase Student Engagement

Denis Gillet, Juan Carlos Farah, Adrian Christian Holzer, Marc Lafuente Martinez, Pascal Felber

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

Numerical data for scattering amplitudes of photon in d=4.

Denis Karateev, Marco Meineri, Aditya Hebbar

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

Differential operators for superconformal correlation functions

Andrea Manenti

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 ...

2020

Energy Dissipation in Suspended Microchannel Resonators: theoretical, numerical and experimental validation

Andrea Gerbino

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

Feature optimization for atomistic machine learning yields a data-driven construction of the periodic table of the elements

Michele Ceriotti, Félix Benedito Clément Musil, Michael John Willatt

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

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Stefan Bucur

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

On Deductive Program Repair in Leon

Viktor Kuncak, Etienne Kneuss

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

Deductive Program Repair, Computer Aided Verification

Viktor Kuncak, Etienne Kneuss

2015

Graph Chatbot

Chat with Graph Search

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.