Publications related to Model theory

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

Standard model meets gravity: Electroweak symmetry breaking and inflation

Mikhail Chapochnikov, Andrey Shkerin, Sebastian Zell

We propose a model for combining the Standard Model (SM) with gravity. It relies on a nonminimal coupling of the Higgs field to the Ricci scalar and on the Palatini formulation of gravity. Without introducing any new degrees of freedom in addition to those ...

American Physical Society2021

Data-Driven Convergence Prediction of Astrobots Swarms

Denis Gillet, Jean-Paul Richard Kneib, Matin Macktoobian, Francesco Basciani

Astrobots are robotic artifacts whose swarms are used in astrophysical studies to generate the map of the observable universe. These swarms have to be coordinated with respect to various desired observations. Such coordination\footnote{\z{A coordination sa ...

2022

On arithmetic progressions in symmetric sets in finite field model

Jan Hazla

We consider two problems regarding arithmetic progressions in symmetric sets in the finite field (product space) model. ...

ELECTRONIC JOURNAL OF COMBINATORICS2020

A new spatial count data model with Bayesian additive regression trees for accident hot spot identification

Prateek Bansal, Rico Krüger

The identification of accident hot spots is a central task of road safety management. Bayesian count data models have emerged as the workhorse method for producing probabilistic rankings of hazardous sites in road networks. Typically, these methods assume ...

2020

Non-Exponential Variations for Classical Results in First Passage Percolation

Jacques Saliba

We study in this thesis the asymptotic behavior of optimal paths on a random graph model, the configuration model, for which we assign continuous random positive weights on its edges. We start by describing the asymptotic behavior of the diameter and the f ...

EPFL2020

Analysis and Remediation of Handwriting difficulties

Thibault Lucien Christian Asselborn

Even with correct training, up to 25% of children never master handwriting like their peers. While research shows a correlation between handwriting difficulties and school failure, these difficulties can also impact children in their self esteem and behavi ...

EPFL2020

A Bayesian Model of Individual Differences and Flexibility in Inductive Reasoning for Categorization of Examples

Pierre Dillenbourg, Jennifer Kaitlyn Olsen, Louis Pierre Faucon

Inductive reasoning is an important educational practice but can be difficult for teachers to support in the classroom due to the high level of preparation and classroom time needed to choose the teaching materials that challenge students' current views. I ...

ASSOC COMPUTING MACHINERY2020

Cyclic Load-Transfer Approach for the Analysis of Energy Piles

Lyesse Laloui, Melis Sütman

Energy piles, due to their unique roles of coupling the structural support and heat exchange with the surrounding ground, are subject to temperature cycles during their lifetime. Although their behaviour during individual temperature increase or decrease h ...

ASCE-AMER SOC CIVIL ENGINEERS2019

The needle model: A new model for the main hydration peak of alite

Karen Scrivener, Alexandre Reda Constantin William Caleb Ouzia

This article presents a new model for the main hydration peaks of tricalcium silicate and alite on the assumption that C-S-H nucleates and grows as needles. The model relies only on directly observable quantities and reproduces the transition from the acce ...

Pergamon-Elsevier Science Ltd2019

Progress in modelling solidification microstructures in metals and alloys: dendrites and cells from 1700 to 2000

Wilfried Kurz

This is the first account of the history of our understanding of, and ability to model, solidification microstructures. Its objective is to retrace the scientific steps made, from the earliest observations of the eighteenth century to our present-day under ...

TAYLOR & FRANCIS LTD2019