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

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

SCL: Clause Learning from Simple Models

International audienceSeveral decision procedures for the Bernays-Schoenfinkel (BS) fragment of first-order logic rely on explicit model assumptions. In particular, the procedures differ in their respective model representation formalisms. We introduce a new decision procedure SCL deciding the BS fragment. SCL stands for clause learning from simple models. Simple models are solely built on ground literals. Nevertheless, we show that SCL can learn exactly the clauses other procedures learn with respect to more complex model representation formalisms. Therefore, the overhead of complex model representation formalisms is not always needed. SCL is sound and complete for full first-order logic without equality

Seroprevalence of SARS-CoV-2 in four states of Nigeria in October 2020: A population-based household survey

The observed epidemiology of SARS-CoV-2 in sub-Saharan Africa has varied greatly from that in Europe and the United States, with much lower reported incidence. Population-based studies are needed to estimate true cumulative incidence of SARS-CoV-2 to inform public health interventions. This study estimated SARS-CoV-2 seroprevalence in four selected states in Nigeria in October 2020. We implemented a two-stage cluster sample household survey in four Nigerian states (Enugu, Gombe, Lagos, and Nasarawa) to estimate age-stratified prevalence of SARS-CoV-2 antibodies. All individuals in sampled households were eligible for interview, blood draw, and nasal/oropharyngeal swab collection. We additionally tested participants for current/recent malaria infection. Seroprevalence estimates were calculated accounting for the complex survey design. Across all four states, 10,629 (96·5%) of 11,015 interviewed individuals provided blood samples. The seroprevalence of SARS-CoV-2 antibodies was 25·2% (95% CI 21·8–28·6) in Enugu State, 9·3% (95% CI 7·0–11·5) in Gombe State, 23·3% (95% CI 20·5–26·4) in Lagos State, and 18·0% (95% CI 14·4–21·6) in Nasarawa State. Prevalence of current/recent malaria infection ranged from 2·8% in Lagos to 45·8% in Gombe and was not significantly related to SARS-CoV-2 seroprevalence. The prevalence of active SARS-CoV-2 infection in the four states during the survey period was 0·2% (95% CI 0·1–0·4). Approximately eight months after the first reported COVID-19 case in Nigeria, seroprevalence indicated infection levels 194 times higher than the 24,198 officially reported COVID-19 cases across the four states; however, most of the population remained susceptible to COVID-19 in October 2020