Publication

Extinction In Lower Hessenberg Branching Processes With Countably Many Types

Publications associées (29)

Dispatching Stochastic Heterogeneous Resources Accounting for Grid and Battery Losses

Jean-Yves Le Boudec, Mario Paolone, Lorenzo Enrique Reyes Chamorro, Fabrizio Sossan, Eleni Stai

We compute an optimal day-ahead dispatch plan for distribution networks with stochastic resources and batteries, while accounting for grid and battery losses. We formulate and solve a scenario-based AC Optimal Power Flow (OPF), which is by construction non ...

2018

Code Generation in Computational Neuroscience: A Review of Tools and Techniques

Romain Brette, Michael Lee Hines, Pramod Shivaji Kumbhar

Advances in experimental techniques and computational power allowing researchers to gather anatomical and electrophysiological data at unprecedented levels of detail have fostered the development of increasingly complex models in computational neuroscience ...

2018

Fixed Points For Bounded Orbits In Hilbert Spaces

Nicolas Monod, Maxime Gheysens

Consider the following property of a topological group G: every continuous affine G-action on a Hilbert space with a bounded orbit has a fixed point. We prove that this property characterizes amenability for locally compact a-compact groups (e.g., countabl ...

2017

The size of the sync basin revisited

Philippe René Joseph Jacquod, Robin Delabays

In dynamical systems, the full stability of fixed point solutions is determined by their basins of attraction. Characterizing the structure of these basins is, in general, a complicated task, especially in high dimensionality. Recent works have advocated t ...

American Institute of Physics2017

Secure numerical and logical multi party operations

Bin Lu

We derive algorithms for efficient secure numerical and logical operations in the semi-honest model ensuring statistical or perfect security for secure multi-party computation (MPC). To derive our algorithms for trigonometric functions, we use basic mathem ...

Elsevier Science Bv2017

Long-Term Stable Control of Motor-Imagery BCI by a Locked-in User Through Adaptive Assistance

Ricardo Andres Chavarriaga Lozano, José del Rocio Millán Ruiz, Sareh Saeedi

Performance variation is one of the main challenges that BCIs are confronted with, when being used over extended periods of time. Shared control techniques could partially cope with such a problem. In this paper, we propose a taxonomy of shared control app ...

Institute of Electrical and Electronics Engineers2017

Y Stability and performance verification of optimization-based controllers

Colin Neil Jones, Milan Korda

This paper presents a method to verify closed-loop properties of optimization-based controllers for deterministic and stochastic constrained polynomial discrete-time dynamical systems. The closed-loop properties amenable to the proposed technique include g ...

Pergamon-Elsevier Science Ltd2017

A Looping-Delooping Adjunction For Topological Spaces

Martina Rovelli

Every principal G-bundle over X is classified up to equivalence by a homotopy class X -> BG, where BG is the classifying space of G. On the other hand, for every nice topological space X Milnor constructed a strict model of its loop space (Omega) over tild ...

Int Press Boston, Inc2017

Representing groups against all odds

Maxime Gheysens

We investigate how probability tools can be useful to study representations of non-amenable groups. A suitable notion of "probabilistic subgroup" is proposed for locally compact groups, and is valuable to induction of representations. Nonamenable groups ad ...

EPFL2017