Publications related to Switchover phenomenon induced by epidemic seeding on geometric networks

Related publications (24)

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

Exponentially long orbits in Hopfield neural networks

Wulfram Gerstner, Johanni Michael Brea, Samuel Pavio Muscinelli

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

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

Alfio Quarteroni, Luca Dede', Nicola Parolini

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

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

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

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

Alfio Quarteroni, Andrea Manzoni, Christian Vergara

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

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

Superlensing using complementary media

Hoài-Minh Nguyên

This paper studies magnifying superlens using complementary media. Superlensing using complementary media was suggested by Veselago in [16] and innovated by Nicorovici et al. in [9] and Pendry in [10]. The study of this problem is difficult due to two fact ...

EMS Press2015

Untangling emergent cortical dynamics: neurons from networks, noise from chaos

Max Christian Nolte

The way in which cortical microcircuit components -- most importantly neurons -- and their connectivity -- the network -- shape and constrain emergent dynamics is a long-standing question in neuroscience. Experimentally observed dynamical properties can of ...

EPFL2019

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

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

Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

Boris Buffoni

The system {-u '' + u = u(3) + lambda v, u(x)= u(-x) is an element of R, x is an element of R, -v '' + v = v(3) + lambda u, v(x) = v(-x) is an element of R, x is an element of R, describes pulses in nonlinear fiber couplers. It has the family (U1+lambda, - ...

Advanced Nonlinear Studies, Inc2012