Publications associées à Théorie des modèles

Succinct ordering and aggregation constraints in algebraic array theories

We discuss two extensions to a recently introduced theory of arrays, which are based on considerations coming from the model theory of power structures. First, we discuss how the ordering relation on the index set can be expressed succinctly by referring t ...

Elsevier Science Inc2024

Graph generative deep learning models with an application to circuit topologies

Igor Krawczuk

Modern integrated circuits are tiny yet incredibly complex technological artifacts, composed of millions and billions of individual structures working in unison. Managing their complexity and facilitating their design drove part of the co-evolution of mode ...

EPFL2024

Quantification of the Phenomena Affecting Reflective Arterial Photoplethysmography

Nikolaos Stergiopoulos, Georgios Rovas, Vasiliki Bikia

Photoplethysmography (PPG) is a widely emerging method to assess vascular health in humans. The origins of the signal of reflective PPG on peripheral arteries have not been thoroughly investigated. We aimed to identify and quantify the optical and biomecha ...

MDPI2023

Equivariant Neural Architectures for Representing and Generating Graphs

Clément Arthur Yvon Vignac

Graph machine learning offers a powerful framework with natural applications in scientific fields such as chemistry, biology and material sciences. By representing data as a graph, we encode the prior knowledge that the data is composed of a set of entiti ...

EPFL2023

Metastability of the Potts Ferromagnet on Random Regular Graphs

Jean Bernoulli Ravelomanana

We study the performance of Markov chains for the q-state ferromagnetic Potts model on random regular graphs. While the cases of the grid and the complete graph are by now well-understood, the case of random regular graphs has resisted a detailed analysis ...

SPRINGER2023

NP Satisfiability for Arrays as Powers

Viktor Kuncak, Rodrigo Raya

We show that the satisfiability problem for the quantifier-free theory of product structures with the equicardinality relation is inNP. As an application, we extend the combinatory array logic fragmentto handle cardinality constraints. The resulting fragme ...

Springer, Cham2022

An Equivalence Between Data Poisoning and Byzantine Gradient Attacks

Rachid Guerraoui, Sadegh Farhadkhani, Le Nguyen Hoang, Oscar Jean Olivier Villemaud

To study the resilience of distributed learning, the “Byzantine" literature considers a strong threat model where workers can report arbitrary gradients to the parameter server. Whereas this model helped obtain several fundamental results, it has sometimes ...

PMLR2022

Topology of synaptic connectivity constrains neuronal stimulus representation, predicting two complementary coding strategies

Michael Reimann, Christoph Pokorny, Ran Levi

In motor-related brain regions, movement intention has been successfully decoded from invivo spike train by isolating a lower-dimension manifold that the high-dimensional spiking activity is constrained to. The mechanism enforcing this constraint remains u ...

PUBLIC LIBRARY SCIENCE2022

Homotopical relations between 2-dimensional categories and their infinity-analogues

Lyne Moser

In this thesis, we study the homotopical relations of 2-categories, double categories, and their infinity-analogues. For this, we construct homotopy theories for the objects of interest, and show that there are homotopically full embeddings of 2-categories ...

EPFL2021

Flow Path Optimization for Soft Pneumatic Actuators: Towards Optimal Performance and Portability

Jamie Paik, Harshal Arun Sonar, Sagar Dattatray Joshi

Soft pneumatic actuators (SPAs) are highly desirable for interactive robotics applications owing to their unconventional properties like high compliance, safe human-machine interaction and adaptable design space. The SPA dynamic behaviour is governed by pn ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021