English
Related papers

Related papers: Virtual Extensions

200 papers

We introduce a framework for online structure theory. Our approach generalises notions arising independently in several areas of computability theory and complexity theory. We suggest a unifying approach using operators where we allow the…

Logic · Mathematics 2023-06-22 Rod Downey , Alexander Melnikov , Keng Meng Ng

A computational technique borrowed from the physical sciences is introduced to obtain accurate closed-form approximations for the transition probability of arbitrary diffusion processes. Within the path integral framework the same technique…

Physics and Society · Physics 2008-12-10 Luca Capriotti

In this work, we propose a convenient framework for infinite-dimensional analysis (including both real and complex analysis in infinite dimensions), in which differentiation (in some weak sense) and integration operations can be easily…

Functional Analysis · Mathematics 2024-12-03 Jiayang Yu , Xu Zhang

Conference matrices are used to define complex structures on real vector spaces. Certain lattices in these spaces become modules for rings of quadratic integers. Multiplication of these lattices by non-principal ideals yields simple…

Number Theory · Mathematics 2007-05-23 Robin Chapman

We define and investigate extension groups in the context of Arakelov geometry. The 'arithmetic extension groups' we introduce are extensions by groups of analytic types of the usual extension groups attached to $\O_X$-modules over an…

Number Theory · Mathematics 2007-05-23 Jean-Benoit Bost , Klaus Kuennemann

Many biological processes and objects can be described by fractals. The paper uses a new type of objects - blinking fractals - that are not covered by traditional theories considering dynamics of self-similarity processes. It is shown that…

Chaotic Dynamics · Physics 2012-03-15 Yaroslav D. Sergeyev

It was recently shown that arbitrary first-order models canonically extend to models (of the same language) consisting of ultrafilters. The main precursor of this construction was the extension of semigroups to semigroups of ultrafilters, a…

Logic · Mathematics 2013-10-18 Denis I. Saveliev

The notion of prolongation of an algebraic variety is developed in an abstract setting that generalises the difference and (Hasse) differential contexts. An interpolating map that compares the prolongation spaces with algebraic jet spaces…

Logic · Mathematics 2008-06-27 R. Moosa , T. Scanlon

We show how to use extended word series in the reduction of continuous and discrete dynamical systems to normal form and in the computation of formal invariants of motion in Hamiltonian systems. The manipulations required involve complex…

Dynamical Systems · Mathematics 2015-12-01 A. Murua , J. M. Sanz-Serna

This is the translation of Euler's Latin textbook Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum (second volume) into English.

History and Overview · Mathematics 2019-05-28 Leonhard Euler , Alexander Aycock

In this paper, a new kind of soft sets related with some common decision making problems in real life called central soft sets is introduced. Properties of some basic operations on central soft sets are shown. It is investigated that some…

Logic in Computer Science · Computer Science 2015-06-10 Xuechong Guan

In this paper, we present an~algorithm that computes funnels along trajectories of systems of ordinary differential equations. A funnel is a time-varying set of states containing the given trajectory, for which the evolution from within the…

Robotics · Computer Science 2022-03-08 Jiří Fejlek , Stefan Ratschan

We calculate the formal analytic expansions of certain formal translations in a space of formal iterated logarithmic and exponential variables. The results show how the algebraic structure naturally involves the Stirling numbers of the…

Combinatorics · Mathematics 2011-05-26 Thomas J. Robinson

In this paper, we use a simple discrete dynamical model to study partitions of integers into powers of another integer. We extend and generalize some known results about their enumeration and counting, and we give new structural results. In…

Combinatorics · Mathematics 2021-01-22 Matthieu Latapy

In this paper we propose an improvement for flowpipe-construction-based reachability analysis techniques for hybrid systems. Such methods apply iterative successor computations to pave the reachable region of the state space by state sets…

Systems and Control · Computer Science 2017-07-18 Stefan Schupp , Johanna Nellen , Erika Ábrahám

An extension of order theory is presented that serves as a formalism for the study of dendroidal sets analogously to way the formalism of order theory is used in the study of simplicial sets.

Algebraic Topology · Mathematics 2012-01-20 Ittay Weiss

We introduce techniques to analyze unitary operations in terms of quadratic form expansions, a form similar to a sum over paths in the computational basis when the phase contributed by each path is described by a quadratic form over…

Quantum Physics · Physics 2013-12-05 Niel de Beaudrap , Vincent Danos , Elham Kashefi , Martin Roetteler

In global economy, turbulent organization environment strongly influences organization's operation. Organizations must constantly adapt to changing circumstances and search for new possibilities of gaining competitive advantage. To face…

Human-Computer Interaction · Computer Science 2012-05-22 Zbigniew Paszkiewicz , Wojciech Cellary

We establish and fully characterize the multidimensional extension of the Stronger Central Sets Theorem. Additionally, we develop a polynomial generalization of this result. Our approach utilizes tools from the Algebra of the Stone-\v{C}ech…

Combinatorics · Mathematics 2025-10-31 Sayan Goswami , Sourav Kanti Patra

This thesis is intended to provide an account of the theory and applications of Operational Methods that allow the "translation" of the theory of special functions and polynomials into a "different" mathematical language. The language we…

Classical Analysis and ODEs · Mathematics 2018-03-09 Silvia Licciardi
‹ Prev 1 8 9 10 Next ›