English
Related papers

Related papers: Parametric transformation functions in the Kapreka…

200 papers

The analysis of parametrised systems is a growing field in verification, but the analysis of parametrised probabilistic systems is still in its infancy. This is partly because it is much harder: while there are beautiful cut-off results for…

Logic in Computer Science · Computer Science 2018-04-06 Paul Gainer , Ernst Moritz Hahn , Sven Schewe

An efficient systematic procedure is provided for symbolic computation of Lie groups of equivalence transformations and generalized equivalence transformations of systems of differential equations that contain arbitrary elements (arbitrary…

Mathematical Physics · Physics 2017-10-11 Alexei F. Cheviakov

A parametric point process model is developed, with modeling based on the assumption that sequential observations often share latent phenomena, while also possessing idiosyncratic effects. An alternating optimization method is proposed to…

Machine Learning · Statistics 2018-02-14 Hongteng Xu , Lawrence Carin , Hongyuan Zha

We begin an exploration of parametric Backlund transformations for hyperbolic Monge-Ampere systems. We compute invariants for such transformations and explore the behavior of four examples regarding their invariants, symmetries, and…

Analysis of PDEs · Mathematics 2007-05-23 Jeanne N. Clelland , Thomas A. Ivey

We consider estimation procedures which are recursive in the sense that each successive estimator is obtained from the previous one by a simple adjustment. We propose a wide class of recursive estimation procedures for the general…

Statistics Theory · Mathematics 2007-05-23 Teo Sharia

In this work we consider the Takagi factorization of a matrix valued function depending on parameters. We give smoothness and genericity results and pay particular attention to the concerns caused by having either a singular value equal to…

Numerical Analysis · Mathematics 2024-02-13 Luca Dieci , Alessandra Papini , Alessandro Pugliese

We give an analogy of Jacobi's formula, which relates the hypergeometric function with parameters $(1/4,1/4,1)$ and theta constants. By using this analogy and twice formulas of theta constants, we obtain a transformation formula for this…

Classical Analysis and ODEs · Mathematics 2022-02-25 Jun Chiba , Keiji Matsumoto

A brief review of the search for variation of the fine structure constant in quasar absorption spectra is presented. Special consideration is given to the role of atomic calculations in the analysis of the observed data. A range of methods…

Atomic Physics · Physics 2015-05-13 V. A. Dzuba , V. V. Flambaum

Parametric factorizations of linear partial operators on the plane are considered for operators of orders two, three and four. The operators are assumed to have a completely factorable symbol. It is proved that ``irreducible'' parametric…

Analysis of PDEs · Mathematics 2010-10-18 Ekaterina Shemyakova

The Fourier transform of the indicator function of arbitrary polygons and polyhedra is computed for complex wavevectors. Using the divergence theorem and Stokes' theorem, closed expressions are obtained. Apparent singularities, all…

Mathematical Physics · Physics 2021-06-01 Joachim Wuttke

This article is dedicated to the following class of problems. Start with an $N\times N$ Hermitian matrix randomly picked from a matrix ensemble - the reference matrix. Applying a rank-$t$ perturbation to it, with $t$ taking the values $1\le…

Statistical Mechanics · Physics 2020-12-30 Barbara Dietz , Holger Schanz , Uzy Smilansky , Hans Weidenmüller

Phase transition of decay rate from quantum tunneling to thermal activity regimes is investigated in (3+1)-dimensional field theories with symmetry breaking term $f\phi$. By applying the two independent criteria for the sharp first-order…

High Energy Physics - Theory · Physics 2009-10-31 Hungsoo Kim , Soo-Young Lee , Sahng-Kyoon Yoo , D. K. Park , Jae Kwan kim

Harmonic frames of prime order are investigated. The primary focus is the enumeration of inequivalent harmonic frames, with the exact number given by a recursive formula. The key to this result is a one-to-one correspondence developed…

Rings and Algebras · Mathematics 2012-09-04 Matthew J. Hirn

We construct tree-decompositions of graphs that distinguish all their k-blocks and tangles of order k, for any fixed integer k. We describe a family of algorithms to construct such decompositions, seeking to maximize their diversity subject…

Combinatorics · Mathematics 2014-04-25 Johannes Carmesin , Reinhard Diestel , Matthias Hamann , Fabian Hundertmark

A key step in mechanistic modelling of dynamical systems is to conduct a structural identifiability analysis. This entails deducing which parameter combinations can be estimated from a given set of observed outputs. The standard…

Optimization and Control · Mathematics 2026-03-30 Johannes G Borgqvist , Alexander P Browning , Fredrik Ohlsson , Ruth E Baker

This article introduces a non parametric warping model for functional data. When the outcome of an experiment is a sample of curves, data can be seen as realizations of a stochastic process, which takes into account the small variations…

Statistics Theory · Mathematics 2008-12-18 Jean-François Dupuy , Jean-Michel Loubes , Elie Maza

This paper aims at studying a functional $K$-transformation $w\left( z \right)\to \widetilde{w}\left( z \right)=w\left( z \right)K\left( z \right)$ that is made to reconsider the complex differentiability for a given complex function $w$…

Complex Variables · Mathematics 2020-02-21 Gen Wang

The little q-Jacobi function transform depends on three parameters. An explicit expression as a sum of two very-well-poised 8W7-series is derived for the dual transmutation kernel (a kind of non-symmetric Poisson kernel) relating little…

Classical Analysis and ODEs · Mathematics 2007-05-23 Erik Koelink , Hjalmar Rosengren

This paper presents a new systematic framework for nonlinear singularly perturbed systems in which state-dependent perturbation functions are used instead of constant perturbation coefficients. Under this framework, general results are…

Optimization and Control · Mathematics 2024-06-04 Tengfei Liu , Zhong-Ping Jiang

This paper describes various approaches to modeling a random process with a given rational power spectral density. The main attention is paid to the spectral form of mathematical description, which allows one to obtain a relation for the…

Systems and Control · Electrical Eng. & Systems 2025-01-28 Konstantin A. Rybakov