Results 31 to 40 of about 1,729,221 (329)

NP-Logic Systems and Model-Equivalence Reductions

, 2010
In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence problem in NP.
Shen, Yuping, Zhao, Xishun
core   +2 more sources

The expressive power of modal logic with inclusion atoms [PDF]

, 2015
Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams. A team of a Kripke model is just a subset of its domain. In this paper we give a complete characterisation for the
Hella, Lauri, Stumpf, Johanna
core   +2 more sources

A model checking approach to the parameter estimation of biochemical pathways [PDF]

, 2008
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed ‘acceptable’.
A. Aziz, A. Pnueli, D. Gilbert, D. Gilbert, D.E. Goldberg, E.M. Clarke, F. Brightman, F. Fages, G. Maria, H. Hansson, L. Calzone, M. Hucka, O. Wolkenhauer, V. Vyshemirsky, W. Kolch   +14 more
core   +1 more source

Standardized reporting on studies of psychiatric pharmacist interventions [PDF]

Mental Health Clinician
Reporting interventions thoroughly and consistently in the literature allows for study reproducibility or implementation of the intervention into practice.
Brittany L. Parmentier, PharmD, MPH, BCPS, BCPP, Jonathan F. Lister, PharmD, BCPP, Tera D. Moore, PharmD, BCACP, Kristina Reinstatler, PharmD, MBA, BCPP, Ranel Troy Santos, PharmD, BCPP, Gregory H. Payne, MBA, CAE   +5 more
doaj   +1 more source

Improving the use of health data for health system strengthening [PDF]

Global Health Action, 2013
Background: Good quality and timely data from health information systems are the foundation of all health systems. However, too often data sit in reports, on shelves or in databases and are not sufficiently utilised in policy and program development ...
Tara Nutley, Heidi W. Reynolds
doaj   +1 more source

Programming in logic without logic programming [PDF]

, 2015
In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial ...
Kowalski, Robert, Sadri, Fariba
core   +3 more sources

Sarcopenia interventions in long‐term care facilities targeting sedentary behaviour and physical inactivity: A systematic review

Journal of Cachexia, Sarcopenia and Muscle
Background Sedentary behaviour and physical inactivity are independent risk factors for sarcopenia for long‐term care facility residents. Understanding the components, mechanisms and context of interventions that target change in these risk factors can ...
Yihan Mo, Linghui Chen, Yuxin Zhou, Anna Bone, Matthew Maddocks, Catherine J. Evans   +5 more
doaj   +1 more source

MODEL EVALUASI PEMBELAJARAN AKIDAH DAN AKHLAK DI MADRASAH TSANAWIYAH (MTs)

Jurnal Penelitian dan Evaluasi Pendidikan, 2016
Penelitian ini bertujuan: (1) menghasilkan model evaluasi pembelajaran Akidah dan Akhlak di MTs, (2) menghasilkan instrumen evaluasi yang memiliki reliabilitas dan validitas, (3) mengetahui kelayakan Model Logik Evaluasi Pembelajaran Akidah dan Akhlak ...
Darodjat Darodjat, Darmiyati Zuchdi
doaj   +1 more source

An upstream open reading frame regulates expression of the mitochondrial protein Slm35 and mitophagy flux

FEBS Letters, EarlyView.
This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva, Ariann E. Mendoza‐Martínez, P. Abril Medina‐Flores, Carlos Campero‐Basaldua, Alexander DeLuna, Soledad Funes   +5 more
wiley   +1 more source

Promoting Community Pharmacy Practice for Chronic Obstructive Pulmonary Disease (COPD) Management: A Systematic Review and Logic Model

International Journal of COPD, 2020
Yuqi Hu, Dongning Yao, Carolina Oi Lam Ung, Hao Hu State Key Laboratory of Quality Research in Chinese Medicine, Institute of Chinese Medical Sciences, University of Macau, Macau, People’s Republic of ChinaCorrespondence: Carolina Oi Lam Ung; Hao ...
Hu Y, Yao D, Ung COL, Hu H
doaj