Results 21 to 30 of about 2,275,576 (232)

Cut-elimination and Redundancy-elimination by Resolution

Journal of Symbolic Computation, 2000
The authors propose a new cut-elimination procedure for classical predicate calculus LK. The basic formulation treats a particular case: \[ \text{if }A,\Gamma\vdash\Delta\text{ is derivable and }A\text{ is valid, then }\Gamma\vdash\Delta\text{ is derivable}.\tag{\(*\)} \] In general a cut like \(\Gamma\vdash B\); \(B,\Gamma\vdash\Delta/\Gamma \vdash ...
Baaz, Matthias, Leitsch, Alexander
openaire   +1 more source

Experiences of liver health related uncertainty and self-reported stress among people who inject drugs living with hepatitis C virus: a qualitative study

BMC Infectious Diseases, 2018
Background People who inject drugs (PWID) are most at risk of hepatitis C virus infection in Australia. The introduction of transient elastography (TE) (measuring hepatitis fibrosis) and direct acting antiviral medications will likely alter the ...
Stelliana Goutzamanis, Joseph S. Doyle, Alexander Thompson, Paul Dietze, Margaret Hellard, Peter Higgs, on behalf of the TAP study group   +6 more
doaj   +1 more source

The provision of malaria services in border districts of four countries in Southern Africa: results from a cross-sectional community assessment of malaria border health posts

Malaria Journal, 2023
Background The importation of parasites across borders remains a threat to malaria elimination. The Southern African Development Community Malaria Elimination Eight (E8) established 39 border health facilities on 5 key international borders between high ...
Mukosha Chisenga, Bongani Dlamini, Nyasha Mwendera, Paulo Maquina, Busiku Hamainza, José Franco Martins, Francisco Saute, Henrico Bock, Roly Gosling, Adam Bennett, Jennifer Smith, Immo Kleinschmidt   +11 more
doaj   +1 more source

Modifying a graph using vertex elimination. [PDF]

, 2013
Vertex elimination is a graph operation that turns the neighborhood of a vertex into a clique and removes the vertex itself. It has widely known applications within sparse matrix computations.
Golovach, P.A., Heggernes, P., Hof, van 't P., Manne, F., Paulusma, D., Pilipczuk, M.   +5 more
core   +2 more sources

Cross-border movement, economic development and malaria elimination in the Kingdom of Saudi Arabia

BMC Medicine, 2018
Malaria at international borders presents particular challenges with regards to elimination. International borders share common malaria ecologies, yet neighboring countries are often at different stages of the control-to-elimination pathway.
Mohammed H. Al Zahrani, Abdiasiis I. Omar, Abdelmohsin M. O. Abdoon, Ali Adam Ibrahim, Abdullah Alhogail, Mohamed Elmubarak, Yousif Eldirdiry Elamin, Mohammed A. AlHelal, Ali M. Alshahrani, Tarig M. Abdelgader, Ibrahim Saeed, Tageddin B. El Gamri, Mohammed S. Alattas, Abdu A. Dahlan, Abdullah M. Assiri, Joseph Maina, Xiao Hong Li, Robert W. Snow   +17 more
doaj   +1 more source

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

Gaps in the care cascade for screening and treatment of refugees with tuberculosis infection in Middle Tennessee: a retrospective cohort study

BMC Infectious Diseases, 2020
Background Treatment of tuberculosis infection (TBI) in individuals at high risk for tuberculosis (TB) disease is a priority for TB elimination in the US.
Adoma Manful, Leslie Waller, Ben Katz, Jason Cummins, Jon Warkentin, Billy Reagon, Joanna Shaw-Kaikai, Yuwei Zhu, Yuri F. van der Heijden   +8 more
doaj   +1 more source

COVID-19 epidemic modelling for policy decision support in Victoria, Australia 2020–2021

BMC Public Health, 2023
Background Policy responses to COVID-19 in Victoria, Australia over 2020–2021 have been supported by evidence generated through mathematical modelling.
Nick Scott, Romesh G Abeysuriya, Dominic Delport, Rachel Sacks-Davis, Jonathan Nolan, Daniel West, Brett Sutton, Euan M Wallace, Margaret Hellard   +8 more
doaj   +1 more source

The Epsilon Calculus and Herbrand Complexity [PDF]

, 2005
Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which ...
A. Blass, A. Leisenring, A. MOSTOWSKI, D. DeViDi, D. Hilbert, G. Kreisel, G. Mints, G. Mints, Georg Moser, J. Avigad, J. L. Bell, J. L. Bell, J. Von Neumann, M. Baaz, M. Fitting, R. Zach, R. Zach, Richard Zach, V. P. Orevkov, W. Ackermann, W. Ackermann   +20 more
core   +2 more sources

The need for larval source management accompanying urban development projects in malaria endemic areas: a case study on Bioko Island

Malaria Journal, 2022
Background In 2017, several new housing districts were constructed on Bioko Island, Equatorial Guinea. This case study assessed the impact construction projects had on mosquito larval habitats and the effectiveness of larval source management in reducing
Guillermo A. García, Godwin Fuseini, Olivier Tresor Donfack, Rachel N. Wofford, Jose Antonio Mba Nlang, Prudencio Bibang Efiri, Valeriano Oluy Nsue Maye, Thomas A. Weppelmann, David Galick, Wonder Philip Phiri, Kylie DeBoer, Jordan M. Smith, Jeremias Nzamio Mba Eyono, Matilde Riloha Rivas, Carlos A. Guerra, Michael E. von Fricken   +15 more
doaj   +1 more source