Equivalence relations, invariants, and normal forms, II

1984 ◽  
pp. 24-42 ◽  
Author(s):  
Andreas Blass ◽  
Yuri Gurevich
Keyword(s):  
Normal Forms ◽  
Equivalence Relations

Equivalence Relations, Invariants, and Normal Forms

1984 ◽  
Vol 13 (4) ◽  
pp. 682-689 ◽  
Author(s):  
Andreas Blass ◽  
Yuri Gurevich
Keyword(s):  
Normal Forms ◽  
Equivalence Relations

Normal Forms and Bifurcation of Planar Vector Fields

1994 ◽  
Author(s):  
Shui-Nee Chow ◽  
Chengzhi Li ◽  
Duo Wang
Keyword(s):  
Vector Fields ◽  
Normal Forms ◽  
Planar Vector Fields ◽  
Planar Vector

Weakly precomplete equivalence relations in the Ershov hierarchy

2019 ◽  
Vol 58 (3) ◽  
pp. 297-319
Author(s):  
N. A. Bazhenov ◽  
B. S. Kalmurzaev
Keyword(s):  
Equivalence Relations ◽  
Ershov Hierarchy

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

Equivalence relations among inequalities for some relative operator entropies

Positivity ◽  
2020 ◽  
Vol 24 (5) ◽  
pp. 1503-1518
Author(s):  
Ismail Nikoufar ◽  
Maryam Fazlolahi
Keyword(s):  
Equivalence Relations

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