Concept
Proofs and Refutations
Publications associées (26)
X-ray chemical imaging for assessing redox microsites within soils and sediments
Redox reactions underlie several biogeochemical processes and are typically spatiotemporally heterogeneous in soils and sediments. However, redox heterogeneity has yet to be incorporated into mainstream conceptualizations and modeling of soil biogeochemist ...
Frontiers Media Sa2024Non-invasive neuromodulation of the right temporoparietal junction using theta-burst stimulation in functional neurological disorder
Background Disrupted sense of agency (SoA)-the sense of being the agent of one's own actions-has been demonstrated in patients with functional neurological disorder (FND), and a key area of the corresponding neuronal network is the right temporoparietal ju ...
London2024Beyond undulation! Body morphology and sensing components of elongated animals and robots reveal skills to maintain competent locomotion
Locomotion is an essential evolutive innovation of living beings that allows them to colonize and dominate the planet. As diverse as animal morphologies are (living) and were (extinct), their locomotion modalities are also diverse. In particular, animal mo ...
EPFL2023LISA – A Modern Proof System
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...
2023Graph-based approximate message passing iterations
Approximate message passing (AMP) algorithms have become an important element of high-dimensional statistical inference, mostly due to their adaptability and concentration properties, the state evolution (SE) equations. This is demonstrated by the growing ...
OXFORD UNIV PRESS2023Byzantine-Resilient Learning Beyond Gradients: Distributing Evolutionary Search
Rachid Guerraoui, Andrei Kucharavy, Matteo Monti
Modern machine learning (ML) models are capable of impressive performances. However, their prowess is not due only to the improvements in their architecture and training algorithms but also to a drastic increase in computational power used to train them.|S ...
New York2023Unbiasing time-dependent Variational Monte Carlo by projected quantum evolution
Giuseppe Carleo, Clemens Giuliani, Alessandro Sinibaldi, Filippo Vicentini
We analyze the accuracy and sample complexity of variational Monte Carlo approaches to simulate the dynamics of many-body quantum systems classically. By systematically studying the relevant stochastic estimators, we are able to: (i) prove that the most us ...
Wien2023Effective Inhibition of TDP-43 Aggregation by Native State Stabilization
Hilal Lashuel, Yllza Jasiqi, Lixin Yang
Preventing the misfolding or aggregation of transactive response DNA binding protein with 43 kDa (TDP-43) is the most actively pursued disease-modifying strategy to treat amyotrophic lateral sclerosis and other neurodegenerative diseases. In this work, we ...
Weinheim2023An Autonomous Robotic Platform to Manipulate Collective Behavior in Ants
Eusocial life is characterized by division of labour, collective decision making and self organization, and regarded as the highest form of social organisation in groups. Ants are a model organism for research in collective behavior and the evolution of eu ...
EPFL2023Rotating disk diluter hyphenated with single particle ICP-MS as an online dilution and sampling platform for metallic nanoparticles characterization in ambient aerosol
Christian Ludwig, Andrea Testino, Tianyu Cen
The application of single particle inductively coupled plasma mass spectrometry (spICP-MS) for online metallic nanoparticles (NPs) characterization in ambient aerosol remains a challenge. In this study, a hyphenated setup consisting of a rotating disk dilu ...
2023