Results 91 to 100 of about 2,298,074 (328)

Patient socio-demographics and clinical factors associated with malaria mortality: a case control study in the northern region of Ghana

Malaria Journal
Background Ghana is a malaria-endemic country with the entire population at risk. The Northern region of the country recorded the highest malaria case fatality rate (CFR) for two consecutive years: 1.11% in 2013 and 1.07% in 2014.
Nana Yaw Peprah, Wahjib Mohammed, George Asumah Adu, Dora Dadzie, Sammy Oppong, Seidu Barikisu, Joel Narh, Stephen Appiah, James Frimpong, Keziah L. Malm   +9 more
doaj   +1 more source

Assessing malaria risk at night-time venues in a low-transmission setting: a time-location sampling study in Zambezi, Namibia

Malaria Journal, 2019
Background Identifying efficient and effective strategies to reach and monitor populations at greatest risk of malaria in low-transmission settings is a key challenge for malaria elimination.
Jerry O. Jacobson, Jennifer L. Smith, Carmen Cueto, Mukosha Chisenga, Kathryn Roberts, Michelle Hsiang, Roly Gosling, Davis Mumbengegwi, Adam Bennett   +8 more
doaj   +1 more source

Cytoplasmic p21 promotes stemness of colon cancer cells via activation of the NFκB pathway

Molecular Oncology, EarlyView.
Cytoplasmic p21 promotes colorectal cancer stem cell (CSC) features by destabilizing the NFκB–IκB complex, activating NFκB signaling, and upregulating BCL‐xL and COX2. In contrast to nuclear p21, cytoplasmic p21 enhances spheroid formation and stemness transcription factor CD133.
Arnatchai Maiuthed, Kerstin Huebner, Katharina Erlenbach‐Wuensch, Chuanpit Hampel, Daniela Thalheim, Adriana Vial‐Roehe, Bodee Nutho, Susanne Merkel, Arndt Hartmann, Pithi Chanvorachote, Regine Schneider‐Stock   +10 more
wiley   +1 more source

Supply chain finance credit risk assessment using support vector machine–based ensemble improved with noise elimination [PDF]

, 2020
Ying Liu, Lihua Huang
openalex   +1 more source

Property Checking Without Invariant Generation

, 2020
We introduce a procedure for proving safety properties. This procedure is based on a technique called Partial Quantifier Elimination (PQE). In contrast to complete quantifier elimination, in PQE, only a part of the formula is taken out of the scope of ...
Goldberg, Eugene
core  

Quantifier elimination in C*-algebras [PDF]

, 2016
The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C}, \mathbb{C}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$.
Eagle, Christopher J., Farah, Ilijas, Kirchberg, Eberhard, Vignati, Alessandro   +3 more
core  

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

Strength through diversity: how cancers thrive when clones cooperate

Molecular Oncology, EarlyView.
Intratumor heterogeneity can offer direct benefits to the tumor through cooperation between different clones. In this review, Kuiken et al. discuss existing evidence for clonal cooperativity to identify overarching principles, and highlight how novel technological developments could address remaining open questions.
Marije C. Kuiken, Maartje Witsen, Emile E. Voest, Krijn K. Dijkstra   +3 more
wiley   +1 more source

Distribution of Plasmodium species and assessment of performance of diagnostic tools used during a malaria survey in Southern and Western Provinces of Zambia

Malaria Journal, 2019
Background Zambia continues to make strides in reducing malaria burden through the use of proven malaria interventions and has recently pledged to eliminate malaria by 2021.
Lungowe Sitali, John M. Miller, Mulenga C. Mwenda, Daniel J. Bridges, Moonga B. Hawela, Busiku Hamainza, Elizabeth Chizema-Kawesha, Thomas P. Eisele, James Chipeta, Bernt Lindtjørn   +9 more
doaj   +1 more source

How ordinary elimination became Gaussian elimination

Historia Mathematica, 2011
Newton, in notes that he would rather not have seen published, described a process for solving simultaneous equations that later authors applied specifically to linear equations. This method that Euler did not recommend, that Legendre called "ordinary," and that Gauss called "common" - is now named after Gauss: "Gaussian" elimination.
openaire   +3 more sources