Analysis of linkage between beta-lactoglobulin and J blood group system loci in cattle

Linkage between loci controlling variants of beta-lactoglobulin and blood groups of the J system in cattle was studied by means of stochastic genetic methods reported earlier. The studies were conducted on a herd of Black Pied cattle improved with Holstein sires; population genetic data were analyzed. A plot for lod score was constructed, and point (r - 0.28) and interval estimations of the coefficient of recombination were obtained. The results are in good agreement with earlier reported data on other subjects.     

The orthogenesis of atherosclerosis]

It has been ascertained that myofibroblasts penetrating the aortal intima from the medium layer because of its compensatory rearrangements in sites of wear and pull of the vascular wall when a fibrous plaque becomes a lipid one, get transformed in stages. Ordinarily elongated orderly arranged cells become spider-like ones, polymorphous, disintegrated cells. Lipid drops get accumulated in their cytoplasma. The above myofibroblasts were identified as Langhans' cells. Changes are reported in aortal intima plaques identical to those occurring in cell culture near the Ge?flik's [correction of Geuflick's] line. It means that accumulation of lipids in aortal plaques and atheromatous degeneration of the latter may be related to aging and necrosis of myofibroblasts which reach the Ge?flik's [correction of Geuflick's] line too soon in such sites of their compensatory proliferation as enlargements of fibrous tissue in the intima. Thus, atherosclerosis is to be regarded as quite a natural process, as reaction of re-arrangements of the vascular wall in sites of its premature wear. Prophylaxis of atherosclerosis is a problem of major social concern, which may be solved only through providing adequate conditions of work and life, cultivating a healthy life style.     

Evaluation of the effectiveness of continuous renal replacement therapy in critical patients after cardiovascular surgery

The efficacy of continuous methods of renal substitute therapy (RST) in patients with multiple organ failure is assessed. The patients were divided in 2 groups administered different types of PST. Group 1 were 16 patients subjected to RST by peritoneal dialysis, in group 2 (n = 16) GP and/or GDP were used. Hemodynamics, hematological and biochemical values, and clearance of inflammation mediators were monitored and hemohydrobalance and complications of therapy assessed in the course of RST. Both RST methods proved to be highly effective. The possibility of differentiated use of peritoneal dialysis and GP/GDP permits an individual approach to treatment, and equally high efficacy of both methods solves the problem of treating total renal insufficiency in the majority of patients with multiple organ failure following cardiovascular surgery.     

Multiagent reasoning with probability,time, and beliefs

Any agent interacting with the real world must be able to reason about uncertainty in the world, about the actions that may occur in the world (either due to the agent or those initiated by other agents), about the (probabilistic) beliefs of other agents, and how these (probabilistic) beliefs are changing over time. In this article, we develop a family of logics that a reasoning agent may use to perform successively more sophisticated types of reasoning in such environments. We also characterize different types of agents. Furthermore, we provide a logic that enables a systems designer (who may have populated an environment with a collection of such autonomous agents) to reason about the system of agents as a whole. © 1995 John Wiley & Sons, Inc.     

Reasoning in inconsistent knowledge bases

Databases and knowledge bases could be inconsistent in many ways. For example, during the construction of an expert system, we may consult many different experts. Each expert may provide us with a group of rules and facts which are self-consistent. However, when we coalesce the facts and rules provided by these different experts, inconsistency may arise. Alternatively, knowledge bases may be inconsistent due to the presence of some erroneous information. Thus, a framework for reasoning about knowledge bases that contain inconsistent information is necessary. However, existing frameworks for reasoning with inconsistency do not support reasoning by cases and reasoning with the law of excluded middle (“everything is either true or false”). In this paper, we show how reasoning with cases, and reasoning with the law of excluded middle may be captured. We develop a declarative and operational semantics for knowledge bases that are possibly inconsistent. We compare and contrast our work with work on explicit and non-monotonic modes of negation in logic programs and suggest under what circumstances one framework may be preferred over another     

Protected completions of first-order general logic programs

Minker and Perlis [15] have made the important observation that in certain circumstances, it might be desirable to prevent the inference of A when A is in the finite failure set of a logic program P. In this paper, we investigate the model-theoretic aspects of their proposal and develop a Fitting-style [5] declarative semantics for protected completions of general logic programs (containing function symbols). This extends the Minker-Perlis proposal which applies to function-free pure logic programs. In addition, an operational semantics is proposed and it is proven to be sound for existentially quantified positive queries and negative ground queries to general, canonical protected logic programs. Completeness issues are investigated and completeness is proved for positive existential queries and negative ground queries for the following classes of programs: (1) function-free general protected logic programs (the Minker-Perlis operational semantics apply to function-free pure protected logic programs), (2) pure protected logic programs (with function symbols) and (3) protected general logic programs that do not contain any internal variables (though they may contain function symbols).