Results 1 to 10 of about 605,840 (270)
Maximal Regularity Estimates and the Solvability of Nonlinear Differential Equations
We study a type of third-order linear differential equations with variable and unbounded coefficients, which are defined in an infinite interval. We also consider a non-linear generalization with coefficients that depends on an unknown function.
Myrzagali Ospanov, Kordan Ospanov
doaj +1 more source
Correct and Crisp Edge Detection Approach Based on Dense Network
Edge detection is a basic problem in computer vision and image processing. The main purpose of edge detection is to identify points with obvious brightness changes in digital images.
Xiaohua Li +4 more
doaj +1 more source
Hiding the identity of involved participants in the network, known as anonymity, is a crucial issue in some cryptographic applications such as electronic voting systems, auctions, digital signatures, and Byzantine agreements.
Saw Nang Paing +5 more
doaj +1 more source
Aim This study was conducted to determine the correctness and completeness of documentation of partographs. Design This was a retrospective descriptive study.
Archbald Bahizi +2 more
doaj +1 more source
In modern seismic exploration, the migration procedure plays an important role for further interpretation of the observed data. It is the migration that makes it possible to display the deep structure of the geological section based on the dynamic ...
O. Verpakhovska, O. Chorna
doaj +1 more source
On Correctness of Cauchy problem for a Polynomial Difference Operator with Constant Coefficients
The theory of linear difference equations is applied in various areas of ma\-the\-matics and in the one-dimensional case is quite established. For $n>1$, the situation is much more difficult and even for the constant coefficients a general description of
M. S. Apanovich, E.K. Leinartas
doaj +1 more source
Development of Private Processes: A Refinement Approach
Private processes are the basis to construct the collaborative business processes, and their correctness has a direct impact on the correctness of collaborative business processes.
Qi Mo +5 more
doaj +1 more source
A Correctness Enforcement Approach for Collaborative Business Processes
Collaborative business processes are indeed complex and difficult to be correctly designed as business processes involved in them are typically developed by different participating organizations and there is no way to foresee all potential interactions ...
Qi Mo +5 more
doaj +1 more source
Working Behind Bars, General Rules for Penitentiary Employees
At first glance, working in a penitentiary unit seems quite simple: the employees provides security, accommodation, food, hygiene items, clothing when needed and the possibility of daily recreation for the imprisoned persons and inmates are waiting for
Florin Proca
doaj
The core entities of computer science include formal languages, spec-ifications, models, programs, implementations, semantic theories, type inference systems, abstract and physical machines.
Turner Raymond
doaj +1 more source

