On the distribution and notation of the Etruscan sibilants

A mechanical rule proposed in 1997 by Massimo Pittau for the distribution of the Etruscan sibilant graphemes sigma and san is investigated and found wanting. The etymological distribution proposed by Helmut Rix is clearly superior, yet many scholars appear reluctant to embrace Rix's findings. It is suggested that this reluctance stems in part from the incompatibility of Rix's notation with the traditional system. Consequently a simple method of reconciling the two systems is Proposed and then demonstrated in exhibiting the data relevant to Pittau's rule.

A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Mathematical constraints on a theory of human memory - Response

Colonius suggests that, in using standard set theory as the language in which to express our computational-level theory of human memory, we would need to violate the axiom of foundation in order to express meaningful memory bindings in which a context is identical to an item in the list. We circumvent Colonius's objection by allowing that a list item may serve as a label for a context without being identical to that context. This debate serves to highlight the value of specifying memory operations in set theoretic notation, as it would have been difficult if not impossible to formulate such an objection at the algorithmic level.

MapScript: A map algebra programming language incorporating neighborhood analysis

Map algebra is a data model and simple functional notation to study the distribution and patterns of spatial phenomena. It uses a uniform representation of space as discrete grids, which are organized into layers. This paper discusses extensions to map algebra to handle neighborhood operations with a new data type called a template. Templates provide general windowing operations on grids to enable spatial models for cellular automata, mathematical morphology, and local spatial statistics. A programming language for map algebra that incorporates templates and special processing constructs is described. The programming language is called MapScript. Example program scripts are presented to perform diverse and interesting neighborhood analysis for descriptive, model-based and processed-based analysis.

Pro re nata medication for psychoses: an audit of practice in two metropolitan hospitals

Objective: To examine the use of pro re nata (PRN) (as needed) medication in hospitalized patients with psychotic disorders. Methods: Retrospective chart reviews were conducted at two large public psychiatry units situated in inner city general hospitals. Pro re nata medication prescription, administration and outcomes were examined during inpatient episodes of care for 184 consecutive admissions of patients diagnosed with a psychotic disorder. Patient demographics, diagnoses, and regularly prescribed medication were also recorded. All admissions were drawn from a three-month period from December 1998-February 1999. Results: The most prevalent diagnoses were schizophrenia related disorders (n = 111) and mania (n = 34). Substance use disorders (n = 49) were the most common comorbid dis-orders. Pro re nata medication was administered during the acute phase of 82% of admissions. Drugs prescribed Pro re nata were mostly typical antipsychotics, benzodiazepines and/or anti-cholinergics. Coprescription of typical antipsychotics PRN with regularly scheduled atypical antipsychotics was common (64%). Pro re nata medications accounted for 31% of the total antipsychotic dose and 28% of the total anxiolytic dose administered during acute treatment. Higher daily doses of PRN medication were given to manic patients, males, younger patients and those with substance use disorders. Pro re nata prescriptions usually specified a maximum daily dose (87%) but rarely gave indications for use (6%). Adminis-tration records frequently lacked a specified reason for use (48%) or a notation of outcome (64%). Unit staff noted medication-related morbidity in 37% of patients receiving PRN medication, compared to 3% of patients receiving only regularly scheduled medication. Extrapyramidal symptoms (EPS) were most frequently associated with administration of PRN haloperidol (Relative Risk vs other PRN medications = 5.61, 95% CI = 2.36-13.73). Conclusions: Pro re nata medications comprised a significant part of the treatment which psychotic patients received. The common practice of coprescribing PRN typical antipsychotics with scheduled atypical antipsychotics is potentially problematical since administration of PRN medication is associated with significant medication related morbidity. Preferential use of benzodiazepines as PRN agents may minimize this morbidity and foster subsequent compliance with regularly prescribed antipsychotics.

Biological monitoring and Biological Limit Values (BLV): The strategy of the European Union

Occupational standards concerning allowable concentrations of chemical compounds in the ambient air of workplaces have been established in several countries worldwide. With the integration of the European Union (EU), there has been a need of establishing harmonised Occupational Exposure Limits (OEL). The European Commission Directive 95/320/EC of 12 July 1995 has given the tasks to a Scientific Committee for Occupational Exposure Limits (SCOEL) to propose, based on scientific data and where appropriate, occupational limit values which may include the 8-h time-weighted average (TWA), short-term limits/excursion limits (STEL) and Biological Limit Values (BLVs). In 2000, the European Union issued a list of 62 chemical substances with Occupational Exposure Limits. Of these, 25 substances received a skin notation, indicating that toxicologically significant amounts may be taken up via the skin. For such substances, monitoring of concentrations in ambient air may not be sufficient, and biological monitoring strategies appear of potential importance in the medical surveillance of exposed workers. Recent progress has been made with respect to formulation of a strategy related to health-based BLVs. (c) 2005 Elsevier Ireland Ltd. All rights reserved.

Formalising behaviour trees with CSP

Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements axe modelled as single trees which later on are integrated into a model of the system as a whole. We develop a formal semantics for a subset of Behaviour Trees using CSP. This work, on one hand, provides tool support for Behaviour Trees. On the other hand, it builds a front-end to a subset of the CSP notation and gives CSP users a new modelling strategy which is well suited to the challenges of requirements engineering.

An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

Do process modelling techniques get better? A comparative ontological analysis of BPMN

Current initiatives in the field of Business Process Management (BPM) strive for the development of a BPM standard notation by pushing the Business Process Modeling Notation (BPMN). However, such a proposed standard notation needs to be carefully examined. Ontological analysis is an established theoretical approach to evaluating modelling techniques. This paper reports on the outcomes of an ontological analysis of BPMN and explores identified issues by reporting on interviews conducted with BPMN users in Australia. Complementing this analysis we consolidate our findings with previous ontological analyses of process modelling notations to deliver a comprehensive assessment of BPMN.

Axiomatisation of an Interval Calculus for Theorem Proving

We provide an axiomatisation of the Timed Interval Calculus, a set-theoretic notation for expressing properties of time intervals. We implement the axiomatisation in the Ergo theorem prover in order to allow the machine-checked proof of laws for reasoning about predicates expressed using interval operators. These laws can be then used in the machine-assisted verification of real-time applications.