Results 1 to 10 of about 550,186 (331)
Mathematical definitions of operators for cartographic generalization [PDF]
Geo-Spatial Information Science, 2003 Zhong Ye-xun +3 more
exaly +2 more sources
Доклады Белорусского государственного университета информатики и радиоэлектроники, 2021 A system of operational control of psychophysiological indicators of operators is presented. It includes a set of test methods for selecting psychologically compatible operators of high-responsibility systems.
N. V. Pushkareva
doaj +1 more source
Mathematics, 2023 In this work, by the use of a semigroup theory approach, we provide a global solution for an initial boundary value problem of the wave equation with logarithmic nonlinear source terms and fractional boundary dissipation.
Amina Benramdane +4 more
doaj +1 more source
Towards a mathematical operational semantics [PDF]
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 2002 We present a categorical theory of 'well-behaved' operational semantics which aims at complementing the established theory of domains and denotational semantics to form a coherent whole. It is shown that, if the operational rules of a programming language can be modelled as a natural transformation of a suitable general form, depending on functorial ...
Plotkin, Gordon, Turi, Daniele
openaire +2 more sources
Mathematics, 2023 The Lord Shulman swelling porous thermo-elastic soil system with the effects of microtemperature, temperatures and distributed delay terms is considered in this study.
Abdelbaki Choucha +4 more
doaj +1 more source
Inequalities for a Unified Integral Operator and Associated Results in Fractional Calculus
IEEE Access, 2019 Integral operators are useful in real analysis, mathematical analysis, functional analysis and other subjects of mathematical approach. The goal of this paper is to study a unified integral operator via convexity.
Young Chel Kwun +5 more
doaj +1 more source
On Construction of Recursion Operators From Lax Representation [PDF]
, 1999 In this work we develop a general procedure for constructing the recursion operators fro non-linear integrable equations admitting Lax representation. Svereal new examples are given.
Atalay Karasu +4 more
core +3 more sources
Stability result for Lord Shulman swelling porous thermo-elastic soils with distributed delay term
Open Mathematics, 2023 The Lord Shulman swelling porous thermo-elastic soil system with the presence of a distributed delay term is studied in this work. We will establish the well-posedness of the system and the exponential stability of the system is derived.
Choucha Abdelbaki +2 more
doaj +1 more source
Practical Theory Extension in Event-B [PDF]
, 2013 . The Rodin tool for Event-B supports formal modelling and proof using a mathematical language that is based on predicate logic and set theory. Although Rodin has in-built support for a rich set of operators and proof rules, for some application areas ...
Butler, Michael, Maamria, Issam
core +1 more source