English
Related papers

Related papers: Classification rationnelle et confluence des syste…

200 papers

The rise of multi-paradigm languages challenges traditional classification methods, leading to practical software engineering issues like interoperability defects. This systematic literature review (SLR) maps the formal foundations of…

Programming Languages · Computer Science 2025-08-04 Mikel Vandeloise

Based on the recent developments in the irregular Riemann-Hilbert correspondence for holonomic D-modules and the Fourier-Sato transforms for enhanced ind-sheaves, we study the Fourier transforms of some irregular holonomic D-modules. For…

Algebraic Geometry · Mathematics 2025-02-11 Kiyoshi Takeuchi

The elementary theory of bivariate linear Diophantine equations over polynomial rings is used to construct causal lifting factorizations (elementary matrix decompositions) for causal two-channel FIR perfect reconstruction transfer matrices…

Information Theory · Computer Science 2024-12-03 Christopher M. Brislawn

The monodromy map for a rank-two system of differential equations with three Fuchsian singularities is classically solved by the Kummer formul\ae\ for Gauss' hypergeometric functions. We define the tau-function of such a system as the…

Exactly Solvable and Integrable Systems · Physics 2022-06-22 Marco Bertola , Dmitry Korotkin

Higher-order non-holomorphic Eisenstein series associated to a Fuchsian group $\Gamma$ are defined by twisting the series expansion for classical non-holomorphic Eisenstein series by powers of modular symbols. Their functional identities…

Number Theory · Mathematics 2007-05-23 Jay Jorgenson , Cormac O'Sullivan

Control theory has recently been involved in the field of nuclear magnetic resonance imagery. The goal is to control the magnetic field optimally in order to improve the contrast between two biological matters on the pictures. Geometric…

Symbolic Computation · Computer Science 2017-07-07 Bernard Bonnard , Jean-Charles Faugère , Alain Jacquemard , Mohab Safey El Din , Thibaut Verron

I relate some coefficients encountered when computing the functional determinants on spheres to the central differentials of nothing. In doing this I use some historic works, in particular transcribing the elegant symbolic formalism of…

Numerical Analysis · Mathematics 2013-05-29 J. S. Dowker

The scalar difference equation $x_{n+1}=f_{n}(x_{n},x_{n-1},...,x_{n-k})$ may exhibit symmetries in its form that allow for reduction of order through substitution or a change of variables. Such form symmetries can be defined generally…

Dynamical Systems · Mathematics 2008-05-28 H. Sedaghat

We develop a correspondence between the structure of Turing machines and the structure of singularities of real analytic functions, based on connecting the Ehrhard-Regnier derivative from linear logic with the role of geometry in Watanabe's…

Logic in Computer Science · Computer Science 2025-04-14 Daniel Murfet , Will Troiani

We construct covariant theories incorporating fluctuating boundaries and soft cutoffs by introducing dynamical reference frames (DRFs). This framework generalizes the covariant action from a hard-cutoff to a soft-cutoff formulation,…

High Energy Physics - Theory · Physics 2026-03-18 Kang Liu , Wei Guo , Xiao-Mei Kuang

Dropout is a simple yet effective algorithm for regularizing neural networks by randomly dropping out units through Bernoulli multiplicative noise, and for some restricted problem classes, such as linear or logistic regression, several…

Machine Learning · Computer Science 2017-10-12 Jacopo Cavazza , Connor Lane , Benjamin D. Haeffele , Vittorio Murino , René Vidal

In order to understand the deformations of determinants and Pfaffians resulting from deformations of matrices, we study the deformation theory of composites $f\circ F$, with isolated singularities, where $f:Y\to\C$ has Cohen-Macaulay…

Algebraic Geometry · Mathematics 2007-05-23 Victor Goryunov , David Mond

We study matrix forms of quaternionic versions of the Fourier Transform and Convolution operations. Quaternions offer a powerful representation unit, however they are related to difficulties in their use that stem foremost from…

Computer Vision and Pattern Recognition · Computer Science 2024-07-23 Giorgos Sfikas , George Retsinas

Explicit formulas expressing the solution to non-autonomous differential equations are of great importance in many application domains such as control theory or numerical operator splitting. In particular, intrinsic formulas allowing to…

Classical Analysis and ODEs · Mathematics 2023-03-13 Karine Beauchard , Jérémy Le Borgne , Frédéric Marbach

Cheeger-Simons differential characters, Deligne cohomology in the smooth category, the Hopkins-Singer construction of ordinary differential cohomology and the recent Harvey-Lawson constructions are each in two distinct ways Abelian group…

Algebraic Topology · Mathematics 2014-02-26 James Simons , Dennis Sullivan

A finite difference numerical method is investigated for fractional order diffusion problems in one space dimension. For this, a mathematical model is developed to incorporate homogeneous Dirichlet and Neumann type boundary conditions. The…

Numerical Analysis · Mathematics 2014-11-07 Béla J. Szekeres , Ferenc Izsák

Matrix theory, foundational in diverse fields such as mathematics, physics, and computational sciences, typically categorizes matrices based strictly on their invertibility-determined by a sharply defined singular or nonsingular…

Quantum Physics · Physics 2025-07-29 L. Yildiz , D. Kayki , E. Gudekli

We consider a Pfaffian system expressing isomonodromy of an irregular system of Okubo type, depending on complex deformation parameters u=(u_1,...,u_n), which are eigenvalues of the leading matrix at the irregular singuilarity. At the same…

Classical Analysis and ODEs · Mathematics 2021-07-07 Davide Guzzetti

`Categorification' is the process of replacing equations by isomorphisms. We describe some of the ways a thoroughgoing emphasis on categorification can simplify and unify mathematics. We begin with elementary arithmetic, where the category…

Quantum Algebra · Mathematics 2007-05-23 John C. Baez , James Dolan

In the first part of the present work we consider periodically or quasiperiodically forced systems of the form $(d/dt)x = \epsilon f(x,t \omega )$, where $\epsilon\ll 1$, $\omega\in\mathbb{R}^d$ is a nonresonant vector of frequencies and…

Dynamical Systems · Mathematics 2017-02-09 A. Murua , J. M. Sanz-Serna