Results 31 to 40 of about 2,298,074 (328)

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

Transfer Function Synthesis without Quantifier Elimination [PDF]

, 2011
Traditionally, transfer functions have been designed manually for each operation in a program, instruction by instruction. In such a setting, a transfer function describes the semantics of a single instruction, detailing how a given abstract input state ...
Brauer, Jörg, King, Andy
core   +5 more sources

Shea Butter Application to the Umbilical Stump Resulting in Omphalitis and Leclercia adecarboxylata Bacteremia in a Neonate: A Case Report

Case Reports in Infectious Diseases
Leclercia adecarboxylata is a gram-negative, rod-shaped bacterium commonly found in nature. Its pathogenicity is mild and often results in asymptomatic carriage.
Mayowa Banke Omotosho, Williams Oluwatosin Adefila, Abdulsalam Olawale Yusuf, Isaac Osei, Baleng Mahama Wutor, Momodu Lamin Keita, Molfa Minteh, Ousman Barjo, Muhammed Wally, Rasheed Salaudeen, Grant Mackenzie   +10 more
doaj   +1 more source

Shrinking the Malaria Map: A Prospectus on Malaria Elimination [PDF]

, 2009
\ud Thirty-nine countries across the world are making progress toward malaria elimination. Some are committed to nationwide elimination, while others are pursuing spatially progressive elimination within their borders.
Feachem, Richard G.A., Phillips, Allison A., Targett, Geoff rey A.   +2 more
core  

Prognostic Impact of Treatment Modalities, Including Targeted Compartmental Radio‐Immunotherapy, in a Cohort of Neuroblastoma Patients With CNS Metastases at Relapse

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Neuroblastoma (NB) with central nervous system (CNS) metastases is rare at diagnosis, but occurs more often during relapse/progression. Patients with CNS metastases face a dismal prognosis, with no standardized curative treatment available.
Vicente Santa‐Maria Lopez, Anna Felip‐Badia, Marina Caballero‐Bellon, Nazaret Sanchez‐Sierra, Alicia Castañeda, Moira Garraus, Maite Gorostegui, Margarida Simão‐Rafael, Juan Pablo Muñoz, Marta Perez‐Somarriba, Salvador Mañe, Mariana Cecilia Planells, Sara Perez‐Jaume, Jaume Mora   +13 more
wiley   +1 more source

Characterizing Parental Concerns About Lasting Impacts of Treatment in Children With B‐Acute Lymphoblastic Leukemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background B‐acute lymphoblastic leukemia (B‐ALL) is the most common pediatric cancer, and while most children in high‐resource settings are cured, therapy carries risks for long‐term toxicities. Understanding parents’ concerns about these late effects is essential to guide anticipatory support and inform evolving therapeutic approaches ...
Kellee N. Parker, Sarah W. Alexander, Lisa M. Jacola, Kimberly A. Buff, Kyobin Hwang, Elham Hashemi, Gregory Stoddard, Lindsay A. Jibb   +7 more
wiley   +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  

Cut-elimination for the mu-calculus with one variable [PDF]

, 2012
We establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of Buchholz' Omega-rule.Comment: In Proceedings FICS 2012, arXiv:1202 ...
Alwen Tiu, Brian Hill, Dale Miller, David Baelde, Dexter Kozen, Gaisi Takeuti, Gerhard Jäger, Gerhard Jäger, Grigori Mints, Grigori Mints, Kai Brünnler, Regimantas Pliuskevicius, Thomas Studer, Wilfried Buchholz, Wilfried Buchholz, Wilfried Buchholz, Zoltán Ésik   +16 more
core   +5 more sources

DELP Treatment on Vision and Retinal Microcirculation in Patients With Acute Ischemic Stroke: Report of Five Cases and Literature Review

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background The delipid extracorporeal lipoprotein filter from plasma (DELP) treatment can effectively reduce blood lipid, increase blood flow, and improve neurological deficits in patients with acute ischemic stroke (AIS). However, its effect on vision and retinal microcirculation in stroke patients has never been reported.
Ning Li, Ronghua Hong, Hua You, Feiping Xu, Qingjun Zhang, Yiwen Lin, Yuting Su, Danmei Lan, Lingjing Jin, Junhui She   +9 more
wiley   +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