The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths i...
详细信息
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion operator fold can be used to structur...
ISBN:
(纸本)9781581130249
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion operator fold can be used to structure denotational semantics, how the dual recursion operator unfold can be used to structure operational semantics, and how algebraic properties of these operators can be used to reason about program semantics. The techniques are explained with the aid of two main examples, the first concerning arithmetic expressions, and the second concerning Milner's concurrent language CCS. The aim of the paper is to give functional programmers new insights into recursion operators, program semantics, and the relationships between them.
The report considers the peculiarities of the distribution of computing resources in cloud systems. The most used classification of existing technologies of cloud services is considered. The advantages and disadvantag...
详细信息
Medical image quality is very important. High quality ensures the standard of medical diagnosis, treatment, and patient life through health care or automated intelligence systems for medical diagnosis, monitoring, and...
详细信息
ISBN:
(数字)9798350353358
ISBN:
(纸本)9798350353365
Medical image quality is very important. High quality ensures the standard of medical diagnosis, treatment, and patient life through health care or automated intelligence systems for medical diagnosis, monitoring, and treatment. The computing difficulties in processing medical images are discussed in the study. Proposing parallel computational models and program implementations based on medical image filtering techniques is one of the main issues. A filter-based parallel computational model is designed. Implementing a multithreaded parallel program verifies the suggested parallel model. An analysis of the effectiveness of medical image filters using a parallel multithreaded computer implementation that generates output images for each type of applied filter and applies filters on a list of compressed medical images. The BlackAndWhiteFilter, UVFilter, BinaryThresholdFilter, and RobertFilter have been applied. Experimental estimates have been analysed for the parallel performance metrics execution time and speedup. The performance estimation and scalability analyses demonstrate the strong scalability of the proposed solution.
We deigned a spiking neural network that computes network weights in the temporal dimension. Such a network can be used for artificial intelligence and deep learning. We demonstrate circuits implementing blocks for bu...
详细信息
The optimal production for an inventory control system of deteriorating multi-items where items are of complementary or substitute types is formulated with a resource constraint. Here, it is assumed that substitute pr...
详细信息
This paper presents a novel approach of using unmanned vehicles for Automated Meter Reading (AMR) applications in rural areas where there are a few consumers scattered around a wide area. The proposed system does not ...
详细信息
The paper focuses on the problem of technical social engineering attacks that encompass the manipulation of individuals to reveal sensitive information, execute actions, or breach security systems. These exploits freq...
详细信息
The number of annual scientific publications is growing year by year, which has led to the accumulation and formation of large databases. This increases the complexity of the search for relevant articles. Modern searc...
详细信息
The scientific computing manages massive amounts of very large data sets. The development of description of the format, structure and semantic content of data is essential for the automatic manipulation of data. The a...
详细信息
ISBN:
(纸本)9781424467280;9780769540221
The scientific computing manages massive amounts of very large data sets. The development of description of the format, structure and semantic content of data is essential for the automatic manipulation of data. The aim of this paper is to define an XML-based language for describing the structure, semantic and annotation of scientific data. The XML Schema and the Document Type Definitions (DTDs) that implement the abstract format are provided. The proposed language describes the structure, semantic and annotation of the scientific data from experiments and simulations.
暂无评论