Related papers: The Analysis of Initial Conditions for the LTB Mod…
Faithful evaluation of language model capabilities is crucial for deriving actionable insights that can inform model development. However, rigorous causal evaluations in this domain face significant methodological challenges, including…
The involvement of uncertainty of varying degrees when the total of the membership degree exceeds one or less than one, then the newer mathematical paradigm shift, Fuzzy Theory proves appropriate. For the past two or more decades, Fuzzy…
This paper addresses the class of continuous-time nonlinear programming problems with equality and inequality constraints. The paper presents necessary optimality conditions of the sequential form. To be more precise, a sequence of…
Initial-boundary value problem for linearized equations of motion of viscous barotropic fluid in a bounded domain is considered. Existence, uniqueness and estimates of weak solutions to this problem are derived. Convergence of the solutions…
We obtain necessary optimality conditions for variational problems with a Lagrangian depending on a Caputo fractional derivative, a fractional and an indefinite integral. Main results give fractional Euler-Lagrange type equations and…
Linear Temporal Logic (LTL) is widely used for defining conditions on the execution paths of dynamic systems. In the case of dynamic systems that allow for nondeterministic evolutions, one has to specify, along with an LTL formula f, which…
We present CLTLB(D), an extension of PLTLB (PLTL with both past and future operators) augmented with atomic formulae built over a constraint system D. Even for decidable constraint systems, satisfiability and Model Checking problem of such…
Boundary quantum field theory is investigated in the Lagrangian framework. Models are defined perturbatively around the Neumann boundary condition. The analyticity properties of the Green functions are analyzed: Landau equations, Cutkosky…
In this paper, we consider two linear inverse problems for the time-fractional wave equation, assuming that its right-hand side takes the separable form $f(t)h(x)$, where $t \geq 0$ and $x \in \Omega \subset R^N $. The objective is to…
In this article, we consider a class of strictly hyperbolic triangular systems involving a transport equation. Such systems are known to create measure solutions for the initial value problem. Adding a stronger transversality assumption on…
Despite the widespread application of Large Language Models (LLMs) across various domains, they frequently exhibit overconfidence when encountering uncertain scenarios, yet existing solutions primarily rely on evasive responses (e.g., "I…
In this paper we investigate the problem of learning an unknown bounded function. We be emphasize special cases where it is possible to provide very simple (in terms of computation) estimates enjoying in addition the property of being…
In this brief report, a thermal lattice-Boltzmann (LB) model is presented for axisymmetric thermal flows in the incompressible limit. The model is based on the double-distribution-function LB method, which has attracted much attention since…
This paper deals with model checking problems with respect to LTL properties under fairness assumptions. We first present an efficient algorithm to deal with a fragment of fairness assumptions and then extend the algorithm to handle…
In a recent preprint (arXiv:1211.4285v1) we addressed the problem of constructing reduced models for time-dependent systems described by differential equations which involve uncertain parameters. In the current work, we focus on the…
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple graphs declaring the allowed or forbidden relationships…
The correctness of Harrods model in the differential form is studied. The inadequacy of exponential growth of economy is shown; an alternative result is obtained. By example of Phillips model, an approach to correction of macroeconomic…
We consider a nonlinear elliptic equation driven by a nonhomogeneous differential operator plus an indefinite potential. On the reaction term we impose conditions only near zero. Using variational methods, together with truncation and…
The paper focuses on a multidimensional optimization problem, which is formulated in terms of tropical mathematics and consists in minimizing a nonlinear objective function subject to linear inequality constraints. To solve the problem, we…
The correctness of Harrods model in the differential form is studied. The inadequacy of exponential growth of economy is shown; an alternative result is obtained. By example of Phillips model, an approach to correction of macroeconomic…