English
Related papers

Related papers: Linear-Time--Branching-Time Spectroscopy Accountin…

200 papers

This paper proposes a new approach to perform small-signal stability analysis based on linearization of implicit multilinear models. Multilinear models describe the system dynamics by multilinear functions of state, input, and algebraic…

Systems and Control · Electrical Eng. & Systems 2026-03-10 Christoph Kaufmann , Georg Pangalos , Gerwald Lichtenberg , Oriol Gomis-Bellmunt

We analyze the problem of calculating the solutions and the spectrum of a string with arbitrary density and fixed ends. We build a perturbative scheme which uses a basis of WKB-type functions and obtain explicit expressions for the…

Mathematical Physics · Physics 2015-05-20 Paolo Amore

Bisimulation metrics provide a robust and accurate approach to study the behavior of nondeterministic probabilistic processes. In this paper, we propose a logical characterization of bisimulation metrics based on a simple probabilistic…

Logic in Computer Science · Computer Science 2016-10-27 Valentina Castiglioni , Daniel Gebler , Simone Tini

A multiplicative identity in law connecting the hitting times of completely asymmetric $\alpha-$stable L\'evy processes in duality is established. In the spectrally positive case, this identity allows with an elementary argument to compute…

Probability · Mathematics 2010-02-09 Thomas Simon

We derive an exact formula for the complex frequency in spatio-temporal stability analysis that is valid for arbitrary complex wave numbers. The usefulness of the formula lies in the fact that it depends only on purely temporal quantities,…

Fluid Dynamics · Physics 2017-02-08 Lennon O Naraigh , Peter D. M. Spelt

Discrete time trawl processes constitute a large class of time series parameterized by a trawl sequence (a j) j$\in$N and defined though a sequence of independent and identically distributed (i.i.d.) copies of a continuous time process…

Statistics Theory · Mathematics 2020-01-09 Paul Doukhan , François Roueff , Joseph Rynkiewicz

Using a nonperturbative approach we examine the large frequency asymptotics of the two-point level density correlator in weakly disordered metallic grains. This allows us to study the behavior of the two-level structure factor close to the…

Condensed Matter · Physics 2016-08-31 A. V. Andreev , B. L. Altshuler

Encoding time-series with Linear Dynamical Systems (LDSs) leads to rich models with applications ranging from dynamical texture recognition to video segmentation to name a few. In this paper, we propose to represent LDSs with…

Computer Vision and Pattern Recognition · Computer Science 2017-02-28 Wenbing Huang , Fuchun Sun , Lele Cao , Mehrtash Harandi

The field- and temperature-dependent de Haas-van Alphen oscillations spectrum is studied for an ideal two-dimensional compensated metal whose Fermi surface is made of a linear chain of successive orbits with electron and hole character,…

Strongly Correlated Electrons · Physics 2015-05-13 Jean-Yves Fortin , Alain Audouard

We introduce a novel, probabilistic binary latent variable model to detect noisy or approximate repeats of patterns in sparse binary data. The model is based on the "Noisy-OR model" (Heckerman, 1990), used previously for disease and topic…

Machine Learning · Statistics 2022-01-27 Christopher Warner , Kiersten Ruda , Friedrich T. Sommer

In the last decade it has been shown that a large class of phase oscillator models admit low dimensional descriptions for the macroscopic system dynamics in the limit of an infinite number N of oscillators. The question of whether the…

Chaotic Dynamics · Physics 2017-09-13 Per Sebastian Skardal , Juan G. Restrepo , Edward Ott

In this paper, we propose a variable time-step linear relaxation scheme for time-fractional phase-field equations with a free energy density in general polynomial form. The $L1^{+}$-CN formula is used to discretize the fractional…

Numerical Analysis · Mathematics 2025-09-04 Hui Yu , Zhaoyang Wang , Ping Lin

Leadership games provide a powerful paradigm to model many real-world settings. Most literature focuses on games with a single follower who acts optimistically, breaking ties in favour of the leader. Unfortunately, for real-world…

Artificial Intelligence · Computer Science 2018-08-01 Giuseppe De Nittis , Alberto Marchesi , Nicola Gatti

High-dimensional systems that have a low-dimensional dominant behavior allow for model reduction and simplified analysis. We use differential analysis to formalize this important concept in a nonlinear setting. We show that dominance can be…

Systems and Control · Computer Science 2018-08-08 Fulvio Forni , Rodolphe Sepulchre

We consider rank-one symmetric tensor estimation when the tensor is corrupted by Gaussian noise and the spike forming the tensor is a structured signal coming from a generalized linear model. The latter is a mathematically tractable model…

Information Theory · Computer Science 2020-06-29 Clément Luneau , Nicolas Macris

The aim of the present paper is twofold:(1) We carry on with developing an abstract method for deriving decay estimates on the semigroup associated to non-symmetric operators in Banach spaces as introduced in [10]. We extend the method so…

Analysis of PDEs · Mathematics 2015-10-28 S Mischler , C Mouhot

The analysis of concurrent and reactive systems is based to a large degree on various notions of process equivalence, ranging, on the so-called linear-time/branching-time spectrum, from fine-grained equivalences such as strong bisimilarity…

Logic in Computer Science · Computer Science 2014-10-17 Alexander Kurz , Stefan Milius , Dirk Pattinson , Lutz Schröder

Scattering of resonant radiation in a dense two-level medium is studied theoretically with account for local field effects and renormalization of the resonance frequency. Intrinsic optical bistability is viewed as switching between…

Quantum Physics · Physics 2015-05-20 M. G. Gladush , D. V. Kuznetsov , A. A. Panteleev , Vl. K. Roerich

This paper develops theoretical results regarding noisy 1-bit compressed sensing and sparse binomial regression. We show that a single convex program gives an accurate estimate of the signal, or coefficient vector, for both of these models.…

Information Theory · Computer Science 2012-07-20 Yaniv Plan , Roman Vershynin

Strategic interactions can be represented more concisely, and analyzed and solved more efficiently, if we are aware of the symmetries within the multiagent system. Symmetries also have conceptual implications, for example for equilibrium…

Computer Science and Game Theory · Computer Science 2025-03-03 Emanuel Tewolde , Brian Hu Zhang , Caspar Oesterheld , Tuomas Sandholm , Vincent Conitzer