Catégorie
Logique classique
Publications associées (959)
Geometric Learning: Leveraging differential geometry for learning and control
In this thesis, we concentrate on advancing high-level behavioral control policies for robotic systems within the framework of Dynamical Systems (DS). Throughout the course of this research, a unifying thread weaving through diverse fields emerges, and tha ...
EPFL2024Photothermal spectroscopy on-chip sensor for the measurement of a PMMA film using a silicon nitride micro-ring resonator and an external cavity quantum cascade laser
Laser-based mid-infrared (mid-IR) photothermal spectroscopy (PTS) represents a selective, fast, and sensitive analytical technique. Recent developments in laser design permits the coverage of wider spectral regions in combination with higher power, enablin ...
Berlin2024Non-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 ...
London2024Mean value theorems for collections of lattices with a prescribed group of symmetries
Euclidean lattices are mathematical objects of increasing interest in the fields of cryptography and error-correcting codes. This doctoral thesis is a study on high-dimensional lattices with the motivation to understand how efficient they are in terms of b ...
EPFL2024LISA – 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 ...
2023Decision Procedures for Power Structures
We study the decision problem for the existential fragment of the theory of power structures. We prove complexity results that parallel the decidability results of Feferman-Vaught for the theories of product structures thereby showing that the construction ...
EPFL2023Bayes Security: A Not So Average Metric
Carmela González Troncoso, Giovanni Cherubin
Security system designers favor worst-case security metrics, such as those derived from differential privacy (DP), due to the strong guarantees they provide. On the downside, these guarantees result in a high penalty on the system's performance. In this pa ...
IEEE2023Adversarial vulnerability bounds for Gaussian process classification
Protecting ML classifiers from adversarial examples is crucial. We propose that the main threat is an attacker perturbing a confidently classified input to produce a confident misclassification. We consider in this paper the attack in which a small number ...
2023A Gapless Post-quantum Hash Proof System in the Hamming Metric
Serge Vaudenay, Bénédikt Minh Dang Tran
A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...
2023The Impact of Data Persistence Bias on Social Media Studies
Social media studies often collect data retrospectively to analyze public opinion. Social media data may decay over time and such decay may prevent the collection of the complete dataset. As a result, the collected dataset may differ from the complete data ...
New York2023