We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed The semantics of the logic is given with respect to sym bolic transition systems Several motivational examples are included The reader is assumed to have passing familiarity with LOTOS

This case study of a serious medication error demonstrates the necessity of a comprehensive methodology for the analysis of failures in interaction between humans and information systems. The authors used a novel approach to analyze a dosing error related to computer-based ordering of potassium chloride (KCl). The method included a chronological reconstruction of events and their interdependenc...

This study aims to deal with a more realistic combined problem of project scheduling and material ordering. The goal is to minimize the total material holding and ordering costs by determining the starting time of activities along with material ordering schedules subject to some constraints. The problem is first mathematically modelled. Then a hybrid simulated annealing and genetic algorithm is...

Objective: We sought to determine the frequency and type of decision support alerts by location and ordering provider role during Computerized Provider Order Entry (CPOE) medication ordering. Using these data we adjusted the decision support tools to reduce the number of alerts. Design: Retrospective analyses were performed of dose range checks (DRC), drug-drug interaction and drug-allergy aler...

The influence of semantic processing on the serial ordering of items in short-term memory was explored using a novel dual-task paradigm. Participants engaged in 2 picture-judgment tasks while simultaneously performing delayed serial recall. List material varied in the presence of phonological overlap (Experiments 1 and 2) and in semantic content (concrete words in Experiment 1 and 3; nonwords i...

‎A common approach to determine efficient solutions of a multiple objective optimization problem‎ ‎is reformulating it to a parameter dependent scalar optimization problem‎. ‎This reformulation is called scalarization approach‎. Here, a well-known scalarization approach named Pascoletti-Serafini scalarization is considered‎. First, some difficulties of this scalarization are discussed and then ...

Congestion management in electricity markets is traditionally done using deterministic values of power system parameters considering a fixed network configuration. In this paper, a stochastic programming framework is proposed for congestion management considering the power system uncertainties. The uncertainty sources that are modeled in the proposed stochastic framework consist of contingencie...