Epidemiological manifestations of hepatitis C virus genotypes and its association with potential risk factors among Libyan patients

<p>Abstract</p> <p>Background</p> <p>The information on hepatitis C virus genotypes and subtypes among Libyan population and its association with various risk factors is not known. The objectives of this study were to determine the epidemiological manifestations of HCV genotypes among Libyan patients and their association with certain potential risk factors.</p> <p>Methods</p> <p>A total of 1240 of HCV infected patients registered at Tripoli Medical Centre were studied in five years period from January 2005 to October 2009. The information were reviewed and the data were collected. A sample from each patient (785 male; 455 female) was analysed for genotyping and sub-typing using specific genotyping assay. The information was correlated with the risk factors studied and the statistical data were analyzed using SPSS version 11.5.</p> <p>Results</p> <p>Off the total patients studied, four different genotypes were reported, including genotypes 1, 2, 3, and 4. Genotype4 was the commonest (35.7%), followed by genotype1 (32.6%). According to subtypes 28% were unclassified genotype 4, 14.6% were genotype 1b and some patients infected with more than one subtype (2.3% genotype 4c/d, 1% genotype 2a/c). Genotypes 1 was the commonest among males, while genotype 4 among females. According to the risk factors studied, Genotype1 and genotype 4 were found with most of the risk factors. Though they were particularly evident surgical intervention, dental procedures and blood transfusion while genotype 1 was only followed by genotype 3 mainly which mainly associated with certain risk groups such as intravenous drug abusers.</p> <p>Conclusion</p> <p>Here in we report on a detailed description of HCV genotype among Libyans. The most common genotype was type 4 followed by genotype 1, other genotypes were also reported at a low rate. The distribution of such genotypes were also variable according to gender and age. The commonly prevalent genotypes found to be attributable to the medical -related transmission of HCV, such as blood, surgery and dental procedures when compared with other risk factors. This however, raises an alarming signal on the major steps to be taken to reduce such infection in Libya</p

Moral intelligence and its relation to some variables A field study at the juvenile center for the delinquents in Lattakia

  The research aims to identify the level of moral intelligence of juvenile delinquents in Latakia, as well as studying the differences of moral intelligence according to variables as (age, educational level of the event, marital status of the parents and the place of residence). The research was based on the descriptive approach, and its sample is consisted of (53) delinquents divided into two groups: The first is (10-15) years, the second is (16-18) years. The researcher has designed a scale of moral intelligence. The most important results of the research: a presence a low level of moral intelligence of delinquent juveniles, also differences have been appeared statistically significant in moral intelligence which are attributed to the age variable in favor of the second age group (16-18), and others due to the variable of educational level of the event in favor (secondary), In concern to the differences related to moral intelligence among sample individuals - according to marital status – the results are in favor of parents who live together, for the variable of the place of residence the differences are in favor of delinquents living in the countryside.  

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization of) unit propagation as well as a rule for assuming decision literals and a rule for deriving new clauses by (a first-order generalization of) conflict-driven clause learning.Comment: Published at CADE 201

On the Expressivity and Applicability of Model Representation Formalisms

A number of first-order calculi employ an explicit model representation formalism for automated reasoning and for detecting satisfiability. Many of these formalisms can represent infinite Herbrand models. The first-order fragment of monadic, shallow, linear, Horn (MSLH) clauses, is such a formalism used in the approximation refinement calculus. Our first result is a finite model property for MSLH clause sets. Therefore, MSLH clause sets cannot represent models of clause sets with inherently infinite models. Through a translation to tree automata, we further show that this limitation also applies to the linear fragments of implicit generalizations, which is the formalism used in the model-evolution calculus, to atoms with disequality constraints, the formalisms used in the non-redundant clause learning calculus (NRCL), and to atoms with membership constraints, a formalism used for example in decision procedures for algebraic data types. Although these formalisms cannot represent models of clause sets with inherently infinite models, through an additional approximation step they can. This is our second main result. For clause sets including the definition of an equivalence relation with the help of an additional, novel approximation, called reflexive relation splitting, the approximation refinement calculus can automatically show satisfiability through the MSLH clause set formalism.Comment: 15 page