Implementing Early Kangaroo Mother Care: A Quality Improvement Initiative.

Background: Kangaroo Mother Care (KMC) has numerous maternal and neonatal benefits. KMC is often overlooked as a vital neonatal stabilization tool. Factors that influence the initiation of KMC by bedside staff include a lack of specific education on KMC, low confidence, and hesitancy due to the infant's clinical illness.

Price elasticity of demand for voluntary health insurance plans in Colombia.

Background: Since 1993, Colombia has had a mandatory social health insurance scheme that aims to provide universal health coverage to all citizens. However, some contributory regime participants purchase voluntary private health insurance (VPHI) to access better quality health services (i. e.

An overview of existing modeling tools making use of model checking in the analysis of biochemical networks.

Model checking is a well-established technique for automatically verifying complex systems. Recently, model checkers have appeared in computer tools for the analysis of biochemical (and gene regulatory) networks. We survey several such tools to assess the potential of model checking in computational biology.

"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.

Background: In Thomas' formalism for modeling gene regulatory networks (GRNs), branching time, where a state can have more than one possible future, plays a prominent role. By representing a certain degree of unpredictability, branching time can model several important phenomena, such as (a) asynchrony, (b) incompletely specified behavior, and (c) interaction with the environment. Introducing more than one possible future for a state, however, creates a difficulty for ordinary simulators, because infinitely many paths may appear, limiting ordinary simulators to statistical conclusions.