Publication

Formalisms for Specifying Markovian Population Models

Publications associées (31)

TimeEvolver: A program for time evolution with improved error bound

We present TimeEvolver, a program for computing time evolution in a generic quantum system. It relies on well-known Krylov subspace techniques to tackle the problem of multiplying the exponential of a large sparse matrix iH, where His the Hamiltonian, with ...

ELSEVIER2022

Construction of optimal spectral methods in phase retrieval

Florent Gérard Krzakala, Lenka Zdeborová

We consider the phase retrieval problem, in which the observer wishes to recover a n-dimensional real or complex signal X⋆ from the (possibly noisy) observation of |ΦX⋆|, in which Φ is a matrix of size m×n. We consider a \emph{high-dimensional} setting whe ...

2021

Atomistic dynamics of elimination and nucleophilic substitution disentangled for the F- + CH3CH2Cl reaction

Eduardo Carrascosa Casado

Chemical reaction dynamics are studied to monitor and understand the concerted motion of several atoms while they rearrange from reactants to products. When the number of atoms involved increases, the number of pathways, transition states and product chann ...

NATURE PORTFOLIO2021

The Dimension of the Body in Higher Education: Matrix of Meanings in Students’ Diaries

Simon Nessim Henein, Ramiro Tau

In this paper, we attempt to show some consequences of bringing the body back into higher education, through the use of performing arts in the curricular context of scientific programs. We start by arguing that dominant traditions in higher education repro ...

2022

Efficient Learning of a Linear Dynamical System with Stability Guarantees

Daniel Kuhn, Tobias Sutter, Wouter Jongeneel

We propose a principled method for projecting an arbitrary square matrix to the non- convex set of asymptotically stable matrices. Leveraging ideas from large deviations theory, we show that this projection is optimal in an information-theoretic sense and ...

2023

Reversible and Broad-Range Oxygen Sensing Based on Purely Organic Long-Lived Photoemitters

Esther Amstad, Efe Armagan, René M. Rossi

The detection of oxygen (O-2) by optical sensors is of growing importance, for example, in biology, life science, environmental science, and aerodynamics, where the composition of gases is crucial for many applications. Purely organic optical O-2 sensors a ...

2021

A fast spectral divide-and-conquer method for banded matrices

Daniel Kressner, Ana Susnjara

Based on the spectral divide-and-conquer algorithm by Nakatsukasa and Higham [SIAM J. Sci. Comput., 35(3):A1325-A1349, 2013], we propose a new algorithm for computing all the eigenvalues and eigenvectors of a symmetric banded matrix with small bandwidth, w ...

WILEY2021

Eigendecomposition-Free Training of Deep Networks for Linear Least-Square Problems

Pascal Fua, Mathieu Salzmann, Fei Wang, Kwang Moo Yi, Zheng Dang, Yinlin Hu

Many classical Computer Vision problems, such as essential matrix computation and pose estimation from 3D to 2D correspondences, can be tackled by solving a linear least-square problem, which can be done by finding the eigenvector corresponding to the smal ...

IEEE COMPUTER SOC2021

Hydrogen production on demand by redox-mediated electrocatalysis: A kinetic study

Hubert Girault, Sunny Isaïe Maye, Danick Reynard

Producing hydrogen from water using a redox mediator on solid electrocatalyst particles in a reactor offers several advantages over classical electrolysis in terms of safety, membrane degradation, purity and flexibility. Herein, vanadium-mediated hydrogen ...

ELSEVIER SCIENCE SA2021

Faster Monotone Min-Plus Product, Range Mode, and Single Source Replacement Paths

Adam Teodor Polak

One of the most basic graph problems, All-Pairs Shortest Paths (APSP) is known to be solvable in n^{3-o(1)} time, and it is widely open whether it has an O(n^{3-ε}) time algorithm for ε > 0. To better understand APSP, one often strives to obtain subcubic t ...

Schloss Dagstuhl -- Leibniz-Zentrum für Informatik2021

Dissipation-driven selection of states in non-equilibrium chemical networks

Paolo De Los Rios, Francesco Piazza, Shiling Liang, Daniel Maria Busiello

Life has most likely originated as a consequence of processes taking place in non-equilibrium conditions (e.g. in the proximity of deep-sea thermal vents) selecting states of matter that would have been otherwise unfavorable at equilibrium. Here we present ...

2021