OBJECTIVE This study evaluated the cost-effectiveness of a 100% human milk-based diet composed of mother's milk fortified with a donor human milk-based human milk fortifier (HMF) versus mother's milk fortified with bovine milk-based HMF to initiate enteral nutrition among extremely premature infants in the neonatal intensive care unit (NICU). METHODS A net expected costs calculator was develo...

BACKGROUND Preterm birth is a rising health problem in Europe generally, and in Austria specifically. Decision makers require objective information on the effects and costs of measures to prevent preterm birth. METHODS We undertook a budget impact analysis from a public payer perspective and for a 1-year and 5-year time horizon for five prevention approaches to reduce preterm birth. These wer...

Next location prediction anticipates a person’s movement based on the history of previous sojourns. It is useful for proactive actions taken to assist the person in an ubiquitous environment. This paper evaluates next location prediction methods: dynamic Bayesian network, multi-layer perceptron, Elman net, Markov predictor, and state predictor. For the Markov and state predictor we use addition...

The Congressional Budget Office’s analyses of the long-term effects of changes in federal fiscal policy include the effects of changes in federal budget deficits on aggregate output and income. Those effects depend on the responses of private saving and net inflows of foreign capital to changes in deficits. This paper reviews empirical estimates of those two effects and explains how changes in ...

Abstract In this paper, an inventory problem where the cycle must be integer multiple of a known basic period is considered. Furthermore, demand rate in each power time-dependent function. Shortages are allowed but, taking necessities or interests customers into account, only fixed proportion during stock-out satisfied with arrival next replenishment. The costs related to management system orde...

BACKGROUND There are few cost-minimisation studies in telemedicine. We have compared the actual costs of providing a telepaediatric service to the potential costs if patients had travelled to see the specialist in person. METHODS In November 2000, we established a novel telepaediatric service for selected regional hospitals in Queensland. Instead of transferring patients to Brisbane, the majo...

We make a novel connection between an energy-efficient wireless transmission scheduling problem and a multi-period, multi-item inventory control problem with stochastic convex ordering costs, deterministic demands, and a joint budget constraint. In the special case of a single item, we show that a state-dependent modified base-stock policy is optimal when the stochastic ordering costs are linea...

This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given by a Petri net. Scenarios can be graphically specified by means of Labeled Partial Orders (LPOs). A specified LPO is an execution of a Petri net if it is a (partial) sequentialization of an LPO generated by a process...