Results 121 to 130 of about 133,463 (288)

A SAT Characterization of Boolean-Program Correctness [PDF]

, 2003
Boolean programs, imperative programs where all variables have type boolean, have been used effectively as abstractions of device drivers (in Ball and Rajamani's SLAM project). To find errors in these boolean programs, SLAM uses a model checker based on binary decision diagrams (BDDs). As an alternative checking method, this paper defines the semantics
K. Rustan, M. Leino
openaire   +1 more source

Boolean facility location problem with client preferences

Науковий вісник Ужгородського університету. Серія: Математика і інформатика, 2018
Boolean facility location problem with client preferences is considered. Mathematical model of the problem is built. Branchs and bounds  method to solve the problem is proposed. The lower bound calculation method as the solution of the linear programming
Ю. В. Андрашко, В. В. Максим   +1 more
doaj   +1 more source

Impacts of body donor non‐anonymization on students' educational and humanistic development: A systematic review

Anatomical Sciences Education, EarlyView.
Abstract A recent trend in healthcare education has been the increasing emphasis on the development of humanism and empathy in students. Within anatomy education, some institutions have implemented curricular innovations such as donor non‐anonymization to facilitate this development.
Rodrigo Muscogliati, Eduardo Muscogliati, Weronika Nocun, Kat A. Sanders, Lauren Clunie, Paul J. McKeegan   +5 more
wiley   +1 more source

METHOD OF DISTRIBUTION OF EDUCATIONAL LOAD USING NONLINEAR BOOLEAN PROGRAMMING

Ìнформаційні технології в освіті, 2010
An approach to the allocation of teaching load at the university, which is based on the simultaneous integration of several disciplines teachers. It is shown that the problem reduces to systems of nonlinear Boolean equations and proposed rank method for
S. В. Minuhin
doaj  

Empowering citizens to spontaneously report suspected adverse drug reaction: Systematic literature review of interventions and their impact

British Journal of Clinical Pharmacology, EarlyView.
This systematic literature review aimed to identify and characterize existing interventions designed to empower citizens to spontaneously report adverse drug reactions (ADRs) and to determine which interventions have been shown to be the most effective internationally. The research question was structured using the PICO framework.
Margarida Perdigão, Ana Margarida Advinha, Manuel José Lopes, Sofia de Oliveira Martins   +3 more
wiley   +1 more source

Global and regional knowledge of antibiotic use and resistance among healthcare students: A systematic review and meta‐analysis

British Journal of Clinical Pharmacology, EarlyView.
Aims We synthesized and analysed existing evidence on healthcare students' knowledge of antibiotic use and resistance to provide pooled global and regional estimates. Methods The PubMed®, Embase® and CINAHL databases were searched for studies published between January 2015 and October 2025 that reported the knowledge of antibiotic use and resistance ...
Asa Auta, Erick Wesley Hedima, Emmanuel O. Adewuyi, Shalkur David, Emmanuel Agada David, Lomikga Balachandran, Enoche Florence Oga, Davies Adeloye, Barry Strickland‐Hodge   +8 more
wiley   +1 more source

Applied Type System: An Approach to Practical Programming with Theorem-Proving

, 2017
The framework Pure Type System (PTS) offers a simple and general approach to designing and formalizing type systems. However, in the presence of dependent types, there often exist certain acute problems that make it difficult for PTS to directly ...
Xi, Hongwei
core  

Spatial metrics in fire ecology: seeking consistency amidst complexity

Biological Reviews, EarlyView.
ABSTRACT Technological advances, including remote sensing, have led to a proliferation of metrics used in ecological studies to examine spatial patterns of fire regimes and their ecological effects. Researchers can use many different metrics to analyse spatial variation in both fire events and resulting fire regimes, including fire size, shape ...
Alexander R. Carey, Geoffrey J. Cary, Teigan Cremona, Hugh F. Davies, Brett P. Murphy, Sam C. Banks   +5 more
wiley   +1 more source

The Problem of Planning Neutrosophic Hydropower Systems (Converting Some Nonlinear Neutrosophic Models into Linear Neutrosophic Models)

Neutrosophic Sets and Systems
The core of operations research activity focuses on creating and using models. These models may be linear models, non-linear models, dynamic models, and others.
Maissam Jdid
doaj   +1 more source

Symbolic or Substantive Action: Intent, Effort, and Results

Business Strategy and the Environment, EarlyView.
ABSTRACT Many firms have made ambitious climate pledges since the Paris Agreement of 2015. These pledges may be symbolic or substantive, but the literature is fragmented in defining these two terms. We propose a conceptual framework with three frames to delineate symbolic from substantive action: Intent—underlying motivations for engaging in climate ...
Vincent Xinyi Gu, Daniel Charles Matisoff   +1 more
wiley   +1 more source