Related papers: A constructive approach towards the Method of Solu…

We present a brief overview of the methods for making statistical inference (testing statistical hypotheses, construction of confidence and/or prediction intervals and regions) about linear functions of the fixed effects and/or about the…

We investigate the problem of deciding whether a system of linear equations, together with divisibility conditions on the variables, has a solution over holomorphy subrings of global fields. We obtain decidability results when we allow…

In practice, optimization tasks have some structure that allows developing new algorithms for every problem with faster convergence rates. Using the structure of optimization tasks, we can propose algorithms with more optimistic convergence…

In the present paper, a robust approach to a special class of convex feasibility problems is considered. By techniques of convex and variational analysis, conditions for the existence of robust feasible solutions and related error bounds…

The aim of this paper is to extend the Nehari manifold method from the variational setting to the nonvariational framework of fixed point equations. This is achieved by constructing a radial energy functional that generalizes the standard…

We extend to Gaussian distributions a result providing smoothed analysis estimates for condition numbers given as relativized distances to illposedness. We also introduce a notion of local analysis meant to capture the behavior of these…

For singular perturbation problems in dynamical systems, various appropriate singular perturbation methods have been proposed to eliminate secular terms appearing in the naive expansion. For example, the method of multiple time scales, the…

We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…

We investigate the Riemann Problem for a shallow water model with porosity and terrain data. Based on recent results on the local existence, we build the solution in the large settings (the magnitude of the jump in the initial data is not…

The existence of positive strong solutions to a homogeneous Dirichlet $p$-Laplacian problem, with reaction sum of a both singular at zero and highly discontinuous nonlinearity and of a discontinuous convection term, is established. Locality…

We introduce a new class of extensions of terms that consists in navigation strategies and insertion of contexts. We introduce an operation of combination on this class which is associative, admits a neutral element and so that each…

The work is devoted to the construction of a new interval arithmetic which would combine algorithmic efficiency and high quality estimation of the ranges of expressions.

In this paper we propose on continuous level several domain decomposition methods to solve unilateral and ideal multibody contact problems of nonlinear elasticity. We also present theorems about convergence of these methods.

This dissertation builds a compositional cyber-physical systems theory to develop concrete semantics relating the above diverse views necessary for safety and security assurance. In this sense, composition can take two forms. The first is…

We give a constructive proof of the classical Cauchy-Kovalevskaya theorem in the ODE setting which provides a sufficient condition for an initial value problem to have a unique analytic solution. Our proof is inspired by a modern functional…

In this paper, we mainly introduce a general method to study the existence and uniqueness of solution of free boundary problems with partially degenerate diffusion.

This note contains a solution to the following problem: reconstruct the definition field and the equation of a projective cubic surface, using only combinatorial information about the set of its rational points. This information is encoded…

This paper aims at reviewing and analysing the method of reflections. The latter is an iterative procedure designed to linear boundary value problems set in multiply connected domains. Being based on a decomposition of the domain boundary,…

We present a new multiphase-field theory for describing pattern formation in multi-domain and/or multi-component systems. The construction of the free energy functional and the dynamic equations is based on criteria that ensure mathematical…

In this work we extend the range of applicability of a method recently introduced where coupled first-order nonlinear equations can be put into a linear form, and consequently be solved completely. Some general consequences of the present…