Results 41 to 50 of about 2,275,576 (232)

Practical solutions to resolve social barriers to hepatitis C treatment initiation among people who inject drugs: a qualitative study

Harm Reduction Journal
Background We aimed to identify motivators for people who inject drugs to pursue treatment for hepatitis C virus (HCV) infection and uncover opportunities that could make treatment more appealing.
Phyo Aung, Margaret Hellard, Paul Dietze, Bek Petrovic, Peter Higgs, Mark Stoové   +5 more
doaj   +1 more source

Coverage, determinants of use and repurposing of long-lasting insecticidal nets two years after a mass distribution in Lihir Islands, Papua New Guinea: a cross-sectional study

Malaria Journal, 2021
Background Universal coverage with long-lasting insecticidal nets (LLINs) is an essential component of malaria control programmes. Three-yearly mass distribution of LLINs in Papua New Guinea (PNG) has been successful in reducing infection transmission ...
Pere Millat-Martínez, Rebecca Gabong, Núria Balanza, Sakaia Luana, Sergi Sanz, Silvia Raulo, Arthur Elizah, Chilaka Wali, Benjamin Paivu, Julian Dalmas, Samson Tabie, Stephan Karl, Moses Laman, William Pomat, Oriol Mitjà, Bàrbara Baro, Quique Bassat   +16 more
doaj   +1 more source

Partial Quantifier Elimination [PDF]

, 2017
We consider the problem of Partial Quantifier Elimination (PQE). Given formula exists(X)[F(X,Y) & G(X,Y)], where F, G are in conjunctive normal form, the PQE problem is to find a formula F*(Y) such that F* & exists(X)[G] is logically equivalent to exists(
Goldberg, Eugene, Manolios, Panagiotis
core  

Quantum Gauss Jordan Elimination

, 2007
In this paper we construct the Quantum Gau\ss Jordan Elimination (QGJE) Algorithm and estimate the complexity time of computation of Reduced Row Echelon Form (RREF) of an $N\times N$ matrix using QGJE procedure.
A Ekert, DN Diep, Do Hoang Giang, Do Ngoc Diep, J Weygandt, Nguyen Van Minh   +5 more
core   +2 more sources

Tautology Elimination, Cut Elimination, and S5

Logic and Logical Philosophy, 2017
Tautology elimination rule was successfully applied in automated deduction and recently considered in the framework of sequent calculi where it is provably equivalent to cut rule. In this paper we focus on the advantages of proving admissibility of tautology elimination rule instead of cut for sequent calculi.
openaire   +3 more sources

Coping with COVID-19: a prospective cohort study on young Australians' anxiety and depression symptoms from 2020–2021

Archives of Public Health
Background Studies have shown that the coronavirus (COVID-19) pandemic negatively impacted the mental health of young Australians. However, there is limited longitudinal research exploring how individual factors and COVID-19 related public-health ...
Ana Orozco, Alexander Thomas, Michelle Raggatt, Nick Scott, Sarah Eddy, Caitlin Douglass, Cassandra J. C. Wright, Tim Spelman, Megan S. C. Lim   +8 more
doaj   +1 more source

On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study

, 2011
Variable elimination is a general technique for constraint processing. It is often discarded because of its high space complexity. However, it can be extremely useful when combined with other techniques.
Larrosa, J., Morancho, E., Niso, D.
core   +1 more source

Health systems readiness and quality of inpatient malaria case-management in Kano State, Nigeria

Malaria Journal, 2020
Background Nigeria was among the first African countries to adopt and implement change of treatment policy for severe malaria from quinine to artesunate.
Abiodun A. Ojo, Kolawole Maxwell, Olusola Oresanya, Justice Adaji, Prudence Hamade, James K. Tibenderana, Saddiq S. Abubakar, Bala M. Audu, Ahmad Njidda, Aishatu B. Gubio, Robert W. Snow, Dejan Zurovac   +11 more
doaj   +1 more source

Gaussian elimination [PDF]

WIREs Computational Statistics, 2011
AbstractAs the standard method for solving systems of linear equations, Gaussian elimination (GE) is one of the most important and ubiquitous numerical algorithms. However, its successful use relies on understanding its numerical stability properties and how to organize its computations for efficient execution on modern computers.
openaire   +3 more sources

Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination [PDF]

, 1996
This paper is intended to provide an introduction to cut elimination which is accessible to a broad mathematical audience. Gentzen's cut elimination theorem is not as well known as it deserves to be, and it is tied to a lot of interesting mathematical ...
Carbone, Alessandra, Semmes, S.
core   +1 more source