A predicate calculus based language for data verification and validation

Modern software systems increasingly rely on numerical algorithms that require high or arbitrary precision, especially in scientific computing, numerical modeling, optimization, and data analysis. The use of high-precision arithmetic significantly affects the computational behavior of programs, since the cost of arithmetic and transcendental operations depends on the precision level of numerical data representation. In such conditions, predicting program execution time and estimating computational complexity become non-trivial tasks, particularly in distributed computing environments. This paper presents an analysis of existing software complexity metrics with respect to their applicability to programs performing high-precision computations in distributed systems. Classical software metrics, including size metrics, control flow complexity metrics, and data flow complexity metrics, are considered and systematized. Their main limitations are identified in the context of high-precision arithmetic, where the assumption of constant-time arithmetic operations is no longer valid. It is shown that classical complexity metrics do not account for the dependence of computational cost on the mantissa length of numerical variables and the actual cost of arithmetic operations. As a result, programs with relatively simple control structures but intensive high-precision computations may require significantly more computational resources than programs with complex control logic implemented using standard floating-point arithmetic. The study substantiates the necessity of extending existing complexity evaluation approaches by incorporating parameters related to numerical precision and operation cost. The computational complexity of a program is proposed to be considered as a function of the types of arithmetic operations, their execution frequency, and the mantissa length of numerical data. Such an approach allows for a more accurate estimation of execution time and resource consumption, which is especially important for programs executed in distributed computing systems where communication overhead and data transfer costs play a significant role. The obtained results can be used for preliminary performance estimation, rational resource allocation, and the selection of appropriate parallelization strategies for high-precision numerical software in distributed environments.

A numeric operator is a symbol that makes the script perform a specific mathematical or logical manipulation. The numeric operators can be grouped into five types: arithmetic, assignment, comparison, logical, and bitwise operators.

A partially shared magnitude system: Common and specialized neural substrates underlying spatial, numerical, and temporal arithmetic.

Development of a Composite Knowledge Manipulation Tool: K-Expert

Declarative technologies have made great strides in expressivity between SQL and SBVR. SBVR models are more expressive that SQL schemas, but not as imminently executable yet. In this paper, we complete the architecture of a system that can execute SBVR models. We do this by describing how SBVR rules can be transformed into SQL DML so that they can be automatically checked against the database using a standard SQL query. In particular, we describe a formalization of the basic structure of an SQL query which includes aggregate functions, arithmetic operations, grouping, and grouping on condition. We do this while staying within a predicate calculus semantics which can be related to the standard SBVR-LF specification and equip it with a concrete semantics for expressing business rules formally. Our approach to transforming SBVR rules into standard SQL queries is thus generic, and the resulting queries can be readily executed on a relational schema generated from the SBVR model.

IDA: An interactive data analysis system for clinical and experimental research

An experimental application of Artificial Neural Networks to Eating Disorders is presented. The sample, composed of 172 cases (all women) collected at the Centre for the Diagnosis and Treatment of Eating Disorders of the 1st Medical Division of the St. Eugenio Hospital of Rome, was subdivided, on the basis of the diagnosis made by the specialist of the St. Eugenio, into four classes: Anorexia Nervosa (AN), Nervous Bulimia (NB), Binge Eating Disorders (BED) and Psychogenic Eating Disorders that are Not Otherwise Specified (PED-NOS). The data base was composed of 124 different variables: generic information, alimentary behavior, eventual treatment and hospitalization, substance use, menstrual cycles, weight and height, hematochemical and instrumental examinations, psychodiagnostic tests, etc. The goal of this experiment was to verify the accuracy of the Neural Networks in recognising anorexic and bulimic patients. This article describes 6 experiments, using a Feed Forward Neural Network, each one using different variables. Starting from only the generic variables (life styles, family environment, etc.) and hematoclinical and instrumental examinations, a Neural Networks provided 86.94% of the prediction precision. This work is meant to be a first contribution to creating diagnostic procedures for Eating Disorders, that would be simple and easy-to-use by professionals who are neither psychologists nor psychiatrists nor psychotherapists but who are, however, among the first to meet these patients and who are therefore called upon to give such patients the very first pieces of advice on seeking proper treatment.

The integration of network data base management and problem resolution

With the reduction in tariff barriers, Non-tariff and behind-the-border measures (NTM and BTB) have increased in importance. This paper surveys the state of knowledge with the view to drawing implications for policy suggestions to reduce those NTM barriers that are welfare reducing. Following a description of data bases and their shortcomings, the paper reviews the state of understanding on the effects of NTMs on trade flows. The more difficult issue of translating these effects into welfare implications are covered next. The paper concludes with different approaches at reducing NTMs.

A mathematical expression written in FORTRAN notation is stored in the computer as a string of BCD characters. The algebra program operates exhaustively on the expression according to standard laws of algebra which have been translated into a complicated set of logical decision rules for manipulating character sequences. Similarly, the differentiation program finds partial and mixed partial derivatives of any order. Most numeric and algebraic operations are performed automatically. A number of pseudo instructions is available and provides additional flexibility.

Statistical clustering of drifting buoy trajectories to identify Lagrangian circulation features around Japan and off Fukushima

: Operators of numerical integration of functions are constructed. Also considered is the question of estimating the total error. The operators are applied to the solution of a problem with initial conditions for ordinary linear differential equations with constant coefficients. It was determined that the process of finding the solution of a differential equation of the type being examined by means of numerical integration operators reduces to arithmetic operations with numerical matrices and, consequently, is highly suitable for computer realization. An example is given, illustrating the advantages of the proposed method.

SQL Server 2017 provides a wide range of basic data types that can store data, such as character strings, numeric data, binary data, and dates. In this chapter, I will review each of the basic data types available in SQL Server, looking at the differences between similar data types. I will also discuss the importance of using the correct data type for each use case.

Neutrosophic theory studies objects whose values vary in the sets of elements and are not true or false, but in between, that can be called by neutral, indeterminate, unclear, vague, ambiguous, incomplete or contradictory quantities. In this paper, we firstly introduce preliminaries on granular calculus and analysis related to single-valued neutrosophic functions. Based on horizontal membership functions approach, we establish some basic arithmetic operations of single-valued neutrosophic numbers, that red allow us to directly introduce the terms of neutrosophic function in usual mathematical formulas. Additionally, we build metrics on the space of single-valued neutrosophic numbers induced from Hamming distance. Then, we define some backgrounds on the limit, derivative and integral of single-valued neutrosophic functions. Finally, in order to demonstrate the usable of our theoretical results, we present some applications to well-known problems arising in engineering such as logistic model, the inverted pendulum system, Mass - Spring - Damper model.

We have selected spectra of 232 stars from the International Ultraviolet Explorer (IUE) archives for inclusion in an atlas intended for various uses but tailored especially for the study of stellar winds. The atlas covers the range in spectral types from O3 to F8. The full atlas covers the reduced and normalized high resolution spectra from the IUE long- and short-wavelength spectrographs. Here we discuss the selection of the stars and the data reduction, and we present in velocity units the profiles of lines formed in the stellar winds. The selected lines cover a wide range of ionizations, allowing a comparison of the profiles from different ions in the wind of each star and a comparison of the different wind lines as a function spectral type and luminosity. We also present the basic data on the program stars to facilitate study of the dependence of wind features on stellar parameters such as luminosity, temperature, escape velocity, and v sin i. We provide an overview of the characteristic behavior of the wind lines in the H-R diagram. The complete spectra are available in digital form through the NASA Astrophysics Data System (ADS). We offer a description of the electronic database that is available through the ADS and guidelines for obtaining access to that database.