Publications associées à Switchover phenomenon induced by epidemic seeding on geometric networks

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

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

Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023

The Role of Adaptivity in Source Identification with Time Queries

Gergely Odor

Understanding epidemic propagation in large networks is an important but challenging task, especially since we usually lack information, and the information that we have is often counter-intuitive. An illustrative example is the dependence of the final siz ...

EPFL2022

A proof of the instability of AdS for the Einstein-massless Vlasov system

Georgios Moschidis

In recent years, the conjecture on the instability of Anti-de Sitter spacetime, put forward by Dafermos-Holzegel (Dynamic instability of solitons in 4 + 1 dimesnional gravity with negative cosmological constant, 2006. https://www.dpmms.cam.ac.uk/similar to ...

SPRINGER HEIDELBERG2022

A mathematical dashboard for the analysis of Italian COVID-19 epidemic data

Alfio Quarteroni, Nicola Parolini, Luca Dede'

An analysis of the COVID-19 epidemic is proposed on the basis of the epiMOX dashboard (publicly accessible at ) that deals with data of the epidemic trends and outbreaks in Italy from late February 2020. Our analysis provides an immediate appreciation of t ...

Wiley2021

Evaluation of Drainage Phase Diagram for PEM Fuel Cell Porous Layer

Mahbod Heidari

The drainage process in the gas diffusion layer (GDL) of proton exchange membrane (PEM) fuel cells is investigated with an ex situ experimental approach. The drainage process is investigated for stable displacement, capillary fingering, and viscous fingeri ...

IEEE2021

Percolation and Internet Science

Emanuele Massaro

Percolation, in its most general interpretation, refers to the “flow” of something (a physical agent, data or information) in a network, possibly accompanied by some nonlinear dynamical processes on the network nodes (sometimes denoted reaction–diffusion s ...

2019

Statistical Physics Methods for Community Detection

Chun Lam Chan

This thesis is devoted to information-theoretic aspects of community detection. The importance of community detection is due to the massive amount of scientific data today that describes relationships between items from a network, e.g., a social network. I ...

EPFL2019

Asymptotically Optimal Contextual Bandit Algorithm Using Hierarchical Structures

Hakan Gökcesu, Kaan Gökcesu

We propose an online algorithm for sequential learning in the contextual multiarmed bandit setting. Our approach is to partition the context space and, then, optimally combine all of the possible mappings between the partition regions and the set of bandit ...

2019

Optimal Stimulation Protocol in a Bistable Synaptic Consolidation Model

Wulfram Gerstner, Chiara Gastaldi, Samuel Pavio Muscinelli

Synaptic changes induced by neural activity need to be consolidated to maintain memory over a timescale of hours. In experiments, synaptic consolidation can be induced by repeating a stimulation protocol several times and the effectiveness of consolidation ...

2019

Risk Perception and Epidemics in Complex Computer Networks

Emanuele Massaro

We present a self-organised method for quickly obtaining the epidemic threshold of infective processes on networks. Starting from simple percolation models, we introduce the possibility that the effective infection probability is affected by the perception ...

IEEE2018

The Unfolding Argument: Why Recurrent Processing Cannot Explain Consciousness

Michael Herzog, Adrien Christophe Doerig, Aaron Schurger

Neuroscientific theories aim to explain paradigm cases of consciousness such as masking, binocular rivalry or the transition from dreamless sleep to wakefulness. The most popular theories are based on computational principles. Recurrent processing is a key ...

2018

Localizing the Source of an Epidemic Using Few Observations

Brunella Marta Spinelli

Localizing the source of an epidemic is a crucial task in many contexts, including the detection of malicious users in social networks and the identification of patient zeros of disease outbreaks. The difficulty of this task lies in the strict limitation ...

EPFL2018

Exponentially long orbits in Hopfield neural networks

Wulfram Gerstner, Samuel Pavio Muscinelli, Johanni Michael Brea

We show that Hopfield neural networks with synchronous dynamics and asymmetric weights admit stable orbits that form sequences of maximal length. For N units, these sequences have length T = 2^N; that is, they cover the full state space. We present a mathe ...

Massachusetts Institute of Technology Press2017

An ecological and digital epidemiology analysis on the role of human behavior on the 2014 Chikungunya outbreak in Martinique

Marcel Salathé

Understanding the spatio-temporal dynamics of endemic infections is of critical importance for a deeper understanding of pathogen transmission, and for the design of more efficient public health strategies. However, very few studies in this domain have foc ...

Nature Research2017

The cardiovascular system: Mathematical modelling, numerical algorithms and clinical applications

Alfio Quarteroni, Christian Vergara, Andrea Manzoni

Mathematical and numerical modelling of the cardiovascular system is a research topic that has attracted remarkable interest from the mathematical community because of its intrinsic mathematical difficulty and the increasing impact of cardiovascular diseas ...

Cambridge Univ Press2017

Analytical transport network theory to guide the design of 3-D microstructural networks in energy materials: Part 1. Flow without reactions

Arata Nakajo

We present a fully analytical, heuristic model the "Analytical Transport Network Model" for steady-state, diffusive, potential flow through a 3-D network. Employing a combination of graph theory, linear algebra, and geometry, the model explicitly relates a ...

Elsevier Science Bv2017

Why our best theories of perception lead to Anti-reductionism

Michael Herzog, Adrien Christophe Doerig

Basic percepts and observation sentences, such as "the voltmeter is at 7A", provide the ground truth for realistic theories. Reduction is the second backbone of these theories linking, for example, neuroscience to physics. First, we will show, by mathemati ...

2016

Fluid-structure interaction during hydraulic transients in pressurized pipes : experimental and numerical analyses

David Ferràs Segura

The aim of the present research is to identify, describe and quantify the principal mechanic-hydraulic relationships during hydraulic transients in pressurized pipe flows in view of improving pipe design and reduce pipe and system failure. Phenomena affect ...

EPFL2016

Network Alignment: Theory, Algorithms, and Applications

Ehsan Kazemi

Networks are central in the modeling and analysis of many large-scale human and technical systems, and they have applications in diverse fields such as computer science, biology, social sciences, and economics. Recently, network mining has been an active a ...

EPFL2016