Results 51 to 60 of about 2,275,576 (232)

The principle of indirect elimination [PDF]

, 1995
The principle of indirect elimination states that an algorithm for solving discretized differential equations can be used to identify its own bad-converging modes.
Bäker, Martin
core   +4 more sources

A semi-field evaluation in Thailand of the use of human landing catches (HLC) versus human-baited double net trap (HDN) for assessing the impact of a volatile pyrethroid spatial repellent and pyrethroid-treated clothing on Anopheles minimus landing

Malaria Journal, 2023
Background The mosquito landing rate measured by human landing catches (HLC) is the conventional endpoint used to evaluate the impact of vector control interventions on human-vector exposure.
Élodie A. Vajda, Manop Saeung, Amanda Ross, David J. McIver, Allison Tatarsky, Sarah J. Moore, Neil F. Lobo, Theeraphap Chareonviriyaphap   +7 more
doaj   +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  

Plasmalogens Eliminate Aging-Associated Synaptic Defects and Microglia-Mediated Neuroinflammation in Mice [PDF]

, 2022
Jinxin Gu, Lixue Chen, Ran Sun, Jieli Wang, Juntao Wang, Yingjun Lin, Shuwen Lei, Yang Zhang, Dan Lv, Faqin Jiang, Yuru Deng, James P. Collman, Lei Fu   +12 more
openalex   +1 more source

Mild structure, low pressure: how might we increase young people’s social connection in the COVID-19-era

International Journal of Adolescence and Youth
This study aimed to understand how COVID-19 affected social connection, barriers to connection, and generated ideas for creating pro-connection activities and spaces.
Megan S. C. Lim, Angela C. Davis, Callan Rowe, Caitlin H. Douglass   +3 more
doaj   +1 more source

Implications of population-level immunity for the emergence of artemisinin-resistant malaria: a mathematical model

Malaria Journal, 2018
Background Artemisinin-resistant Plasmodium falciparum has emerged in the Greater Mekong Subregion, an area of relatively low transmission, but has yet to be reported in Africa.
Nick Scott, Ricardo Ataide, David P. Wilson, Margaret Hellard, Ric N. Price, Julie A. Simpson, Freya J. I. Fowkes   +6 more
doaj   +1 more source

Elimination of Conditions

Journal of Symbolic Computation, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Understanding Long COVID Among Young People in Victoria, Australia: Prevalence, Impact, and Associated Factors

Public Health Challenges
Introduction Long COVID is a significant public health concern. This study aimed to identify the prevalence, impact, and factors associated with long COVID among young people in Victoria, Australia.
Robin Engelberts, Caitlin H. Douglass, Ana Orozco, Sarah Eddy, Anna Lee Wilkinson, Aimée Altermatt, Suzanne van denToren, Megan S. C. Lim   +7 more
doaj   +1 more source

Photoinitiated oxidative addition of CF3I to gold(I) and facile aryl-CF3 reductive elimination. [PDF]

, 2014
Herein we report the mechanism of oxidative addition of CF3I to Au(I), and remarkably fast Caryl-CF3 bond reductive elimination from Au(III) cations. CF3I undergoes a fast, formal oxidative addition to R3PAuR (R = Cy, R = 3,5-F2-C6H4, 4-F-C6H4, C6H5, 4 ...
TOSTE, F. Dean, Winston, Matthew, Wolf, William   +2 more
core   +1 more source

Costing analysis of a Queensland community corrections hepatitis C screening program

BMC Health Services Research
Background People involved with the criminal justice system typically have lower healthcare engagement and higher risk of hepatitis C virus (HCV) infection than the general population. Interventions run at community corrections centres have the potential
Kelly Maynard, Farah Houdroge, Rachael Thompson, Anna L. Hawkes, Alisa Pedrana, Jacqueline A. Richmond, Nick Scott   +6 more
doaj   +1 more source