English
Related papers

Related papers: On boundary conditions parametrized by analytic fu…

200 papers

Statistical mechanics has grown without bounds in space. Statistical mechanics of point particles in an unbounded perfect gas is commonly accepted as a foundation for understanding many systems, including liquids like the concentrated salt…

Other Quantitative Biology · Quantitative Biology 2021-12-24 Bob Eisenberg

This paper studies the theoretical construction and analytic error estimation of complex Bessel function-based conformal mappings in regions with randomly perturbed boundaries. First, we construct a conformal mapping applicable to such…

Complex Variables · Mathematics 2024-11-13 Qiang Kang

We investigate the power of graph isomorphism algorithms based on algebraic reasoning techniques like Gr\"obner basis computation. The idea of these algorithms is to encode two graphs into a system of equations that are satisfiable if and…

Computational Complexity · Computer Science 2015-02-23 Christoph Berkholz , Martin Grohe

Finding the parameters of a latent variable causal model is central to causal inference and causal identification. In this article, we show that existing graphical structures that are used in causal inference are not stable under…

Machine Learning · Statistics 2025-10-03 Mehrzad Saremi

Modeling biological processes is a highly demanding task because not all processes are fully understood. Mathematical models allow us to test hypotheses about possible mechanisms of biological processes. The mathematical mechanisms…

Numerical Analysis · Mathematics 2023-12-11 Cordula Reisch , Hannah Burmester

We develop techniques at the interface between differential algebra and model theory to study the following problems of exponential algebraicity: Does a given algebraic differential equation admits an exponentially algebraic solution, that…

Logic · Mathematics 2025-10-31 Rémi Jaoui , Jonathan Kirby

We present a construction of harmonic functions on bounded domains for the spectral fractional Laplacian operator and we classify them in terms of their divergent profile at the boundary. This is used to establish and solve boundary value…

Analysis of PDEs · Mathematics 2015-09-22 Nicola Abatangelo , Louis Dupaigne

In this paper, we present a machine learning method for the discovery of analytic solutions to differential equations. The method utilizes an inherently interpretable algorithm, genetic programming based symbolic regression. Unlike…

Machine Learning · Computer Science 2023-02-08 Hongsup Oh , Roman Amici , Geoffrey Bomarito , Shandian Zhe , Robert Kirby , Jacob Hochhalter

We propose to learn latent graphical models when data have mixed variables and missing values. This model could be used for further data analysis, including regression, classification, ranking etc. It also could be used for imputing missing…

Methodology · Statistics 2015-11-17 Xiao Li , Jinzhu Jia , Yuan Yao

Gaussian processes (GPs) are versatile tools that have been successfully employed to solve nonlinear estimation problems in machine learning, but that are rarely used in signal processing. In this tutorial, we present GPs for regression as…

We present a loss function for neural networks that encompasses an idea of trivial versus non-trivial predictions, such that the network jointly determines its own prediction goals and learns to satisfy them. This permits the network to…

Artificial Intelligence · Computer Science 2016-12-15 Nicholas Guttenberg , Martin Biehl , Ryota Kanai

The accurate numerical solution of partial differential equations is a central task in numerical analysis allowing to model a wide range of natural phenomena by employing specialized solvers depending on the scenario of application. Here,…

Numerical Analysis · Mathematics 2022-12-13 Moritz Reh , Martin Gärttner

This paper introduces a framework for formally establishing a connection between a portion of an algebraic language and a Graph Neural Network (GNN). The framework leverages Context-Free Grammars (CFG) to organize algebraic operations into…

Machine Learning · Computer Science 2023-10-05 Jason Piquenot , Aldo Moscatelli , Maxime Bérar , Pierre Héroux , Romain raveaux , Jean-Yves Ramel , Sébastien Adam

In this note we explore a fully unsupervised deep-learning framework for simulating non-linear structural equation models from observational training data. The main contribution of this note is an architecture for applying moment-matching…

Machine Learning · Statistics 2020-07-28 Michael Park

Inference tasks in signal processing are often characterized by the availability of reliable statistical modeling with some missing instance-specific parameters. One conventional approach uses data to estimate these missing parameters and…

Signal Processing · Electrical Eng. & Systems 2023-04-25 Nir Shlezinger , Tirza Routtenberg

We study invariant boundary conditions for one dimensional discrete Gaussian Markov processes, basic toy models of spatial Markov processes in statistical mechanics. More precisely, we give a decomposition of boundary objects in a non…

Probability · Mathematics 2023-05-31 Emilien Bodiot

In computer algebra there are different ways of approaching the mathematical concept of functions, one of which is by defining them as solutions of differential equations. We compare different such approaches and discuss the occurring…

Symbolic Computation · Computer Science 2013-06-19 Frédéric Chyzak , James Davenport , Christoph Koutschan , Bruno Salvy

This review is dedicated to some recent results on Weyl theory, inverse problems, evolution of the Weyl functions and applications to integrable wave equations in a semistrip and quarter-plane. For overdetermined initial-boundary value…

Spectral Theory · Mathematics 2016-11-03 Alexander Sakhnovich

Gaussian processes (GPs) offer a principled probabilistic model over functions, but exact inference is restricted to the linear-Gaussian regime. We establish an explicit equivalence between GPs and a class of linear diffusion models,…

We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important task in system analysis and verification. Coalgebraic generality allows us to cover not only classical…

Data Structures and Algorithms · Computer Science 2023-06-22 Thorsten Wißmann , Ulrich Dorsch , Stefan Milius , Lutz Schröder