The expenditures for hospital drugs are continuously increasing, and grow much faster than the global hospital budgets do. This explosive growth is caused mainly by a few so-called 'expensive drugs' of which the oncolytics form the main part. The global budgets should stimulate more effective provision of care ('technical efficiency'), however the room for technical efficiency is decreasing. Ho...

Historically, United States drug policy has focused on use reduction; harm reduction is a prominent alternative. This paper aims to provoke and inform more debate about the relative merits of these two. Since harm is not necessarily proportional to use, use reduction and harm reduction differ. Both terms are somewhat ambiguous; precisely defining them clarifies thinking and policy implications....

We generalize the scope of random allocation mechanisms, in which the mechanism first identifies a feasible “expected allocation” and then implements it by randomizing over nearby feasible integer allocations. Previous literature had shown that the cases in which this is possible are sharply limited. We show that if some of the feasibility constraints can be treated as goals rather than hard co...

Goals are often used to represent stakeholder’s objectives. The intentionality inherited by a goal drives stakeholders to pursuit the fulfillment of their goals either by themselves or by delegating this fulfillment to third parties. In Service-Oriented Computing, service client’s requirements are commonly expressed in terms of inputs, outputs, preconditions and effects, also known as IOPE. End...

It is widely recognized that abstraction and modularization are indispensable for specification of real-world programs. In source-code level program specification and verification, model fields are a common means for those goals. However, it remains a challenge to provide a wellfounded formal semantics for the general case in which the abstraction relation defining a model field is non-function...

1 Mileta Tomovic, Purdue University, West Lafayette, IN 47907 [email protected] Abstract The industrial involvement with universities can range from defining the goals for the entire programs to more limited involvement in a single course. This paper presents a case study on the author’s experience with industrial involvement in defining, developing and delivering graduate level course for st...

— Cybersecurity research demands extensive experimentation to be validated. This experimentation is inherently risky: it may involve any combination of live malicious code, disruptive actions and connectivity to the active Internet. Previously, risky experiments were heavily contained to reduce danger to the experimental infrastructure and the Internet. We argue that such an approach unnecessar...

Dependence on intuitive and experiences would add more complexity in the design process. Novice designers would follow the design of any existing systems without direction. This paper proposed a systematic design approach that provides guidance for novice designers in achieving the targeted usability goal using patterns, and evaluating the prototypes in achieving the determined usability goals....