Results 61 to 70 of about 709,504 (268)
Inprocessing techniques have become one of the most promising advancements in SAT solving over the last decade. Some inprocessing techniques modify a propositional formula in non model-perserving ways. These operations are very problematic when Craig inter- polants must be extracted: existing methods take resolution proofs as an input, but these ...
Adrián Rebola-Pardo +1 more
openaire +2 more sources
The process of internalization of the Shiga toxin A subunit via formation of a complex with the Shiga toxin B subunit, which specifically binds to the Gb3 receptor. The peptide is designed to act as a carrier of drugs into cancer cells. Here, we explored the potential of peptides derived from the catalytic A subunit of Shiga toxin (STxA) to be drug ...
Giulia Opassi +6 more
wiley +1 more source
Insecticide-treated nets mass distribution campaign: benefits and lessons in Zambia
Background Zambia was an early adopter of insecticide-treated nets strategy in 2001, and policy for mass distribution with long-lasting insecticidal nets (LLINs) in 2005. Since then, the country has implemented mass distribution supplemented with routine
Freddie Masaninga +11 more
doaj +1 more source
Background Zambia has set itself the ambitious target of eliminating malaria by 2021. To continue tracking transmission to zero, new interventions, tools and approaches are required.
Daniel J. Bridges +10 more
doaj +1 more source
Although too much iron in the brain promotes neurodegeneration, iron ion chelators have had mixed effects in clinical trials. This review explains why; some chelators do not render the iron redox‐inactive (e.g., L1) whereas others do (e.g., desferrioxamine).
Barry Halliwell
wiley +1 more source
Genotype Complexity Modulates Antimalarial Susceptibility in vitro
Chinedu Ogbonnia Egwu,1,2,* Olusola Ajibaye,1,3,* Fatoumata Bojang,1 Haddijatou Mbye,1 Vincent Ntui Ntui-Njock,1 Ndey Fatou Drammeh,1 Eniyou Cheryll Oriero,1 Alfred Amambua-Ngwa1,* 1Disease Control and Elimination, Medical ...
Egwu CO +7 more
doaj
Background Routine data quality audits (RDQA) are a critical activity conducted by many country malaria programs to assess the reliability of reported malaria data, but it requires significant human and financial resources.
An Nguyen +9 more
doaj +1 more source
Discerning protein pools by selective staining with self‐labeling tags
Cell surface proteins have an intra‐ and extracellular pool. Combining genetic fusion to self‐labeling tags that can be addressed with small molecule fluorophores allows separating these pools. We highlight recent developments and techniques for state‐of‐the‐art interrogation of cell surface proteins in the complex tissue setting.
Kati Fischermanns, Johannes Broichhagen
wiley +1 more source
Background Globally, 56.8 million people are living with hepatitis C and over three-quarters of those reside in low and middle-income countries (LMICs). Barriers and enablers to hepatitis C care among people who inject drugs in high-income countries are ...
Bridget Draper +8 more
doaj +1 more source
Eliminating Ditransitives [PDF]
We discuss how higher arity verbs such as give or promise can be treated in an algebraic framework that admits only unary and binary relations and does not rely on event variables.
openaire +1 more source

