Results 1 to 10 of about 8,534 (169)

Abstract Hilbertian deductive systems, infon logic, and Datalog

Information and Computation, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andreas Blass, Yuri Gurevich
openaire   +1 more source

Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems

Logic Journal of IGPL, 2007
Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas   +2 more
openaire   +2 more sources

Real-Time system verification techniques based on abstraction/deduction and model checking

, 2005
Our research focuses on verification techniques for real-time systems based on predicate abstractions. These techniques aim to combine abstract interpretation, model checking, and theorem proving in order to obtain a powerful and highly automatic verification environment for real-time systems. One drawback of current real-time model checking approaches
openaire   +1 more source

Tool supported real-time system verification with combination of abstraction/deduction and model checking

, 2007
This thesis provides an efficient formal scheme for the tool-supported real-time system verification by combination of abstraction-based deductive and model checking techniques in order to handle the limitations of the applied verification techniques.
openaire   +1 more source

Developing middle-range theories for the implementation of clinical practice guideline recommendations for pre-eclampsia prevention and management in eastern, central and southern Africa: a realist synthesis protocol. [PDF]

BMJ Open
Solnes Miltenburg A, Uwamahoro NS, Mwanga JR, Lindskog BV, Misje R, Kihunrwa A, Pembe AB, Gilmore B, Mukumbang FC.   +8 more
europepmc   +1 more source

Evaluating Nursing Work Systems and Identifying Barriers for Robotic Technology Integration: Observational Study. [PDF]

J Med Internet Res
Georgadarellis GL, Benjamin E, Roberts SC, Vital CJ, Sup Iv FC.   +4 more
europepmc   +1 more source

Exploring Barriers and Facilitators to Incorporating New Practices and Innovations in the Pediatric Perioperative Ecosystem in Sub-Saharan Africa: A Mixed Methods Study. [PDF]

Paediatr Anaesth
Bhettay A, Parker R, Maswime S, Korsah EK, Cunningham C, Trifa M, Gray R.   +6 more
europepmc   +1 more source

Pharmacist prescribing in hospital inpatient settings: what works, for whom, why and in what circumstances-a realist review protocol. [PDF]

BMJ Open
El Nsouli D, Timmons S, Anderson C, Gordon A, Arakawa N.   +4 more
europepmc   +1 more source

Evaluating a sexual and reproductive health and rights programme within Swedish for Immigrants education: a study protocol. [PDF]

Glob Health Action
Lukin TT, Andren A, Holter H, Bogren M.
europepmc   +1 more source

Symptom Management in Chronic Heart Failure: Strategies and Behaviours From Patients' Perspectives-A Scoping Review. [PDF]

Health Expect
Pietsch S, Köpke S, Büker C, Müller I.   +3 more
europepmc   +1 more source