Related papers: A constructive approach towards the Method of Solu…
This document presents a combinatorial framework for analyzing assembly systems using generating functions. We explore the theory through concrete examples, such as linear polymers, and develop recursive equations to characterize valid…
We present an affine-intuitionistic system of types and effects which can be regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to multi-threaded programs with effects. In the system, dynamically generated values…
We present an affine-intuitionistic system of types and effects which can be regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to multi-threaded programs with effects. In the system, dynamically generated values…
This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic…
The concept of moment differentiation is extended to the class of moment summable functions, giving rise to moment differential properties. The main result leans on accurate upper estimates for the integral representation of the moment…
We prove an integral representation result for a class of variational functionals appearing in the framework of hierarchical systems of structured deformations via a global method for relaxation. Some applications to specific relaxation…
A class of periodic differential $n$-dimensional systems with patch structure with (possibly infinite) delay and nonlinear impulses is considered. These systems incorporate very general nonlinearities and impulses whose signs may vary.…
This paper deals with some classes of Kirchhoff type problems on a double phase setting and with nonlinear boundary conditions. Under general assumptions, we provide multiplicity results for such problems in the case when the perturbations…
We present an exposition of our ongoing project in a new area of applicable mathematics: practical computation with finitely generated linear groups over infinite fields. Methodology and algorithms available for practical computation in…
We explore how to build a vector field from the various functions involved in a given mathematical program, and show that locally-stable equilibria of the underlying dynamical system are precisely the local solutions of the optimization…
The behaviour is investigated of solutions to a diffusion equation on the real line with nonlocal and singular reaction term, i.e., given by a Dirac source or sink at the origin. It gives a simplified representation of for example a control…
In this paper, we define locally matchable subsets of a group which is extracted from the concept of matchings in groups and used as a tool to give alternative proofs for existing results in matching theory. We also give the linear analogue…
We explain how recent developments in the fields of realisability models for linear logic -- or geometry of interaction -- and implicit computational complexity can lead to a new approach of implicit computational complexity. This…
In this paper, we address a general eigenstructure assignment problem where the objective is to distribute the closed-loop modes over the components of the system outputs in such a way that, if a certain mode appears in a given output, it…
In this paper, we provide a systematic way of finding explicit solutions for a class of continuous fragmentation equations with growth or decay in the state space and derive explicit solutions in the cases of constant and linear…
In this paper, we aim to study a stochastic process from a macro point of view, and thus periodic solution of a stochastic process in distributional sense is introduced. We first give the definition and then establish the existence of…
The existence and analyticity of solutions to linear systems of moment differential equations with analytic coefficients is studied. The relation of solutions of such systems with respect to linear moment differential equations is…
The aim of this article is to promote the use of probabilistic methods in the study of problems in mathematical general relativity. Two new and simple singularity theorems, whose features are different from the classical singularity…
Kapranov Theorem is a well known generalization of Newton-Puiseux theorem for the case of several variables. This theorem is stated mainly in the context of tropical geometry. We present a new, constructive proof, that also characterizes…
In this paper, we establish the existence of positive non-decreasing radial solutions for a nonlinear mixed local and nonlocal Neumann problem in the ball. No growth assumption on the nonlinearity is required. We also provide a criterion…