English
Related papers

Related papers: On Solving String Equations via Powers and Parikh …

200 papers

We study the evolution of strings in the equatorial plane of a Kerr-Newmann black hole. Writting the equations of motion and the constraints resulting from Hamilton's principle, three classes of exact solutions are presented, for a closed…

General Relativity and Quantum Cosmology · Physics 2015-06-25 A. Kuiroukidis , D. B. Papadopoulos

We show that the Parikh image of the language of an NFA with n states over an alphabet of size k can be described as a finite union of linear sets with at most k generators and total size 2^{O(k^2 log n)}, i.e., polynomial for all fixed k…

Logic in Computer Science · Computer Science 2010-02-12 Anthony Widjaja To

The black hole solutions to Einstein's vacuum field equations are also solutions to the equations of motion of the low energy limit of superstring theory. At the same time, string theory boasts a much broader and richer collection of black…

High Energy Physics - Theory · Physics 2007-05-23 J. C. Breckenridge

Transcribing struck-through, handwritten words, for example for the purpose of genetic criticism, can pose a challenge to both humans and machines, due to the obstructive properties of the superimposed strokes. This paper investigates the…

Computer Vision and Pattern Recognition · Computer Science 2022-04-04 Raphaela Heil , Ekta Vats , Anders Hast

We study a fixed point iterative method based on generalized relaxation of strictly quasi-nonexpansive operators. The iterative method is assembled by averaging of strings, and each string is composed of finitely many strictly…

Optimization and Control · Mathematics 2021-05-03 Touraj Nikazad , Mahdi Mirzapour

Parikh's Theorem is a fundamental result in automata theory with numerous applications in computer science: software verification (e.g. infinite-state verification, string constraints, and theory of arrays), verification of cryptographic…

Formal Languages and Automata Theory · Computer Science 2024-08-01 Matthew Hague , Artur Jeż , Anthony W. Lin

Power Series Solution method has been used traditionally for to solve Linear Differential Equations, in Ordinary and Partial form. But this method has been limited to this kind of problems. We present the solution of problems of Non Linear…

Symbolic Computation · Computer Science 2015-03-25 E. Lopez-Sandoval , A. Mello , J. J. Godina Nava

Symbolic Mathematical tasks such as integration often require multiple well-defined steps and understanding of sub-tasks to reach a solution. To understand Transformers' abilities in such tasks in a fine-grained manner, we deviate from…

Artificial Intelligence · Computer Science 2021-04-30 Vishesh Agarwal , Somak Aditya , Navin Goyal

In this note we develop a numerical method for partial differential equations with changing type. Our method is based on a unified solution theory found by Rainer Picard for several linear equations from mathematical physics. Parallel to…

Numerical Analysis · Mathematics 2021-01-06 Sebastian Franz , Sascha Trostorff , Marcus Waurick

Stretching is a new sparse matrix method that makes matrices sparser by making them larger. Stretching has implications for computational complexity theory and applications in scientific and parallel computing. It changes matrix sparsity…

Numerical Analysis · Mathematics 2012-03-13 Joseph F. Grcar

This work introduces a methodology to solve ordinary differential equations using the Schur decomposition of the linear representation of the differential equation. This is done by first transforming the system into an upper triangular…

Dynamical Systems · Mathematics 2021-11-16 David Arnas

We reconsider here the problem of finding the general 4D spherically symmetric, asymptotically flat and time-independent solutions to the lowest-order string equations in the $\ap$ expansion. Our construction includes earlier work, but…

High Energy Physics - Theory · Physics 2010-11-19 C. P. Burgess , R. C. Myers , F. Quevedo

Strings are a natural representation of biological data such as DNA, RNA and protein sequences. The problem of finding a string that summarizes a set of sequences has direct application in relative compression algorithms for genome and…

Data Structures and Algorithms · Computer Science 2019-12-06 P. Mirabal , J. Abreu , D. Seco

In this work, we develop a systematic framework for computing the resolvent of the sum of two or more monotone operators which only activates each operator in the sum individually. The key tool in the development of this framework is the…

Optimization and Control · Mathematics 2021-06-14 Francisco J. Aragón Artacho , Rubén Campoy , Matthew K. Tam

We address the problem of performing semantic transformations on strings, which may represent a variety of data types (or their combination) such as a column in a relational table, time, date, currency, etc. Unlike syntactic…

Databases · Computer Science 2012-04-30 Rishabh Singh , Sumit Gulwani

In this paper we study a variant of string pattern matching which deals with tuples of strings known as \textit{multi-track strings}. Multi-track strings are a generalisation of strings (or \textit{single-track strings}) that have primarily…

Data Structures and Algorithms · Computer Science 2019-12-02 Carl Barton , Ewan Birney , Tomas Fitzgerald

In this note we construct self-dual cosmic strings from a gauge field theory with a generalized linear formation of potential energy density. By integrating the Einstein equation, we obtain a nonlinear elliptic equation which is equal with…

Mathematical Physics · Physics 2023-09-12 Lei Cao , Shouxin Chen

This paper is a continuation of the paper by S.P.Novikov in Funct.Anal.Appl., v.24(1990), No 4, pp 196-206. String equation is by definition the equation $[L,A]=1$ for the coefficients of two linear ordinary differential operators $L$ and…

solv-int · Physics 2008-02-03 P. G. Grinevich , S. P. Novikov

Systems of equations with sets of integers as unknowns are considered. It is shown that the class of sets representable by unique solutions of equations using the operations of union and addition $S+T=\makeset{m+n}{m \in S, \: n \in T}$ and…

Formal Languages and Automata Theory · Computer Science 2013-10-28 Artur Jeż , Alexander Okhotin

In this paper we extend Newton-Steffenssen method for solving nonlinear equations, introduced by Sharma [J.R. Sharma, A composite third order Newton-Steffenssen method for solving nonlinear equations, Appl. Math. Comput. 169 (2005),…

Numerical Analysis · Mathematics 2013-04-26 J. P. Jaiswal