The purpose of this work is to define a theorem prover that retains the procedural aspects of logic programing. The proof system we propose (SLWV1 resolution) is defined for a set of clauses in the implicational form (keeping to the form of logic programs), not requiring contrapositives, and has an execution method that respects the execution order of literals in a clause, preserving the proced...

In this work, a novel multi-objective efficient global optimization (EGO) algorithm, namely GMOEGO, is presented by proposing an approach of available threads’ infill criterion. The work applies the outstanding hypervolume-based expected improvement criterion to enhance Pareto solutions in view accuracy and their distribution on front, values sophisticated hypervolume (HVI) are technically appr...

In this present study, gene expression programing (GEP) has been used for training a model the subgrid scale (SGS) scalar dissipation rate (SDR) large range of filter widths, using database statistically planar turbulent premixed flames, featuring different turbulence intensities and heat release parameters. GEP is based on idea to iteratively improve population candidates survival-of-the-fitte...

This paper represents an integrated development environment for visual parallel programing. We believe that parallelism is clearly seen in visual form. Many classes of the problems are naturally described in flowchart form. So we design the integrated develop environment, described all its parts, and trace the entire path of the algorithm’s development.

Stress perception, response, adaptation, and coping strategies are individually distinct, and the sequel of stress and/or glucocorticoids (GCs) is also distinct between subjects. In the last years, it has become clear that early life stress is a powerful modulator of neuroendocrine stress-responsive circuits, programing intrinsic susceptibility to stress, and potentiating the appearance of stre...

Thirst and sodium appetite are the sensations responsible for the motivated behaviors of water and salt intake, respectively, and both are essential responses for the maintenance of hydromineral homeostasis in animals. These sensations and their related behaviors develop very early in the postnatal period in animals. Many studies have demonstrated several pre- and postnatal stimuli that are res...

Let A be an (m × n) integral matrix, and let P = {x : Ax ≤ b} be an n-dimensional polytope. The width of P is defined as w(P ) = min{x ∈ Z\{0} : maxx∈Pxu−minx∈Pxv}. Let ∆(A) and δ(A) denote the greatest and the smallest absolute values of a determinant among all r(A)× r(A) submatrices of A, where r(A) is the rank of a matrix A. We prove that if every r(A) × r(A) sub-matrix of A has a determinan...

The paper presents ATP – a system for automated theorem proving based on ordered linear resolution with marked literals, its putting into the base of prolog-like language and some applications. This resolution system is especially put into the base of prolog-like language, as the surrogate for the concept of negation as definite failure. This logical complete deductive base is used for building...