Normal Forms and Reduction for Theories of Binary Relations

2000 ◽  
pp. 95-109 ◽  
Author(s):  
Dan Dougherty ◽  
Claudio Gutiérrez
Keyword(s):  
Normal Forms ◽  
Binary Relations

scholarly journals Normal forms for binary relations

2006 ◽  
Vol 360 (1-3) ◽  
pp. 228-246 ◽  
Author(s):  
Daniel J. Dougherty ◽  
Claudio Gutiérrez
Keyword(s):  
Normal Forms ◽  
Binary Relations

METHODS OF REDUCING OF LARGE BOOLEAN FORMULAS REPRESENTED IN A CONJUNCTIVE NORMAL FORM FOR DETERMINING THEIR SATISFIABILITY

2020 ◽  
Author(s):  
N.I. Gdansky ◽  
◽  
A.A. Denisov ◽  
Keyword(s):  
Normal Form ◽  
Normal Forms ◽  
Conjunctive Normal Form ◽  
Boolean Formulas

The article explores the satisfiability of conjunctive normal forms used in modeling systems.The problems of CNF preprocessing are considered.The analysis of particular methods for reducing this formulas, which have polynomial input complexity is given.

Regularization of Integral Operators in Singularly Perturbed Problems Using Normal Forms

Vestnik MEI ◽  
2019 ◽  
Vol 6 ◽  
pp. 131-137
Author(s):  
Abdukhafiz A. Bobodzhanova ◽  
◽  
Valeriy F. Safonov ◽  
Keyword(s):  
Normal Forms ◽  
Integral Operators ◽  
Singularly Perturbed ◽  
Singularly Perturbed Problems

FACTOR ANALYSIS OF GEOGRAPHIC COORDINATES AT POINTS OF THE CHANNEL OF A SMALL RIVER ON SPACE IMAGES

2020 ◽  
Author(s):  
Peter Matveevich Mazurkin ◽  
Yana Oltgovna Georgieva
Keyword(s):  
Correlation Coefficient ◽  
Geographical Location ◽  
Small River ◽  
Binary Relations ◽  
Catchment Basin ◽  
Space Images ◽  
The North ◽  
Inverse Effect ◽  
Characteristic Points ◽  
Fractal Representation

The purpose of the article is the analysis of asymmetric wavelets in binary relations between three coordinates at 290 characteristic points from the source to the mouth of the small river Irovka. The hypsometric characteristic is the most important property of the relief. The Irovka River belongs to a low level, at the mouth it is 89 m high, and at the source it is 148 m above sea level. Modeling of binary relations with latitude, longitude, and height has shown that local latitude receives the greatest quantum certainty. In this case, all paired regularities received a correlation coefficient of more than 0.95. Such a high adequacy of wave patterns shows that geomorphology can go over to the wave multiple fractal representation of the relief. The Irovka River is characterized by a small anthropogenic impact, therefore, the relief over a length of 69 km has the natural character of the oscillatory adaptation of a small river to the surface of the Vyatka Uval from its eastern side. This allows us to proceed to the analysis of the four tributaries of the small river Irovka, as well as to model the relief of the entire catchment basin of 917 km2. The greatest adequacy with a correlation coefficient of 0.9976 was obtained by the influence of latitude on longitude, that is, the geographical location of the relief of the river channel with respect to the geomorphology of the Vyatka Uval. In second place with a correlation of 0.9967 was the influence of the height of the points of the channel of the small river on local longitude and it is also mainly determined by the relief of the Vyatka Uval. In third place was the effect of latitude on height with a correlation coefficient of 0.9859. And in last sixth place is the inverse effect of altitude on local latitude in the North-South direction.

scholarly journals CagA-PositiveHelicobacter pyloriInfection and Reduced Sperm Motility, Vitality, and Normal Morphology

2013 ◽  
Vol 35 ◽  
pp. 229-234 ◽  
Author(s):  
E. Moretti ◽  
G. Collodel ◽  
L. Mazzi ◽  
M. S. Campagna ◽  
N. Figura
Keyword(s):  
Sperm Motility ◽  
Normal Forms ◽  
Molecular Mimicry ◽  
Sperm Quality ◽  
Semen Analysis ◽  
Normal Morphology ◽  
Partial Linear ◽  
Caga Status ◽  
The Relationship ◽  
Autoimmune Phenomena

Helicobacter pylori(HP) infection, particularly when caused by strains expressing CagA, may be considered a concomitant cause of male and female reduced fertility. This study explored, in 87 HP-infected males, the relationship between infection by CagA-positive HP strains and sperm parameters. HP infection and CagA status were determined by ELISA and Western blotting; semen analysis was performed following WHO guidelines. The amino acid sequence of human enzymes involved in glycolysis and oxidative metabolism were “blasted” with peptides expressed by HP J99. Thirty-seven patients (42.5%) were seropositive for CagA. Sperm motility (18% versus 32%; ), sperm vitality (35% versus 48%; ) and the percentage of sperm with normal forms (18% versus 22%; ) in the CagA-positive group were significantly reduced versus those in the CagA-negative group. All the considered enzymes showed partial linear homology with HP peptides, but four enzymes aligned with four different segments of the samecagisland protein. We hypothesize a relationship between infection by strains expressing CagA and decreased sperm quality. Potentially increased systemic levels of inflammatory cytokines that occur in infection by CagA-positive strains and autoimmune phenomena that involve molecular mimicry could explain the pathogenetic mechanism of alterations observed.

Representation Theorems for Terms in a Certain Model for Information Systems

1982 ◽  
Vol 5 (1) ◽  
pp. 1-14
Author(s):  
Bernd Reusch ◽  
Gerd Szwillus
Keyword(s):  
Information Systems ◽  
Normal Forms ◽  
Abstract Model ◽  
Representation Theorems

We study a term-language, which is used by the “Warsaw-School” in an abstract model for information systems. Various normal forms as well as standard expansions with respect to product terms are formulated and proved correct. It is shown that the shortest sums of so-called maximal sub-products are the shortest representations of terms and algorithms for their generation are given.

Sign in / Sign up

Export Citation Format

Share Document