In this report we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite automata are the simplest devices to recognise regular languages, and deterministic Büchi, Co-Büchi, and parity automata play a similar role in the recognition of ω-regular languages. While it is well known that the minimisation of deterministic finite and weak automata ...

OBJECTIVES To identify prescribing indicators based on prescribing analysis and cost (PACT) data that have face validity for measuring quality or cost minimisation. DESIGN Modified two round Delphi questionnaire requiring quantitative and qualitative answers. SETTING Health authorities in England. PARTICIPANTS All health authority medical and pharmaceutical advisers in the first round and...

OBJECTIVE To determine the extent of aggression directed towards Australian doctors and the implementation of aggression prevention and minimisation strategies in medical workplaces. METHODS Data were obtained from the pilot phase (n=321) of the Medicine in Australia: Balancing Employment and Life survey of the clinical medical workforce in 2010. Descriptive statistics were generated in relat...

The construction, demolition and excavation waste arising in England was estimated at 91 million tonnes in 2003. The current thinking on construction waste minimisation is heavily focussed on several issues relating to physical construction waste and recycling guides. Indeed, much had been published on ways to improve on-site waste management and recycling activities but very few attempts made ...

We address the problem of estimating a fundamental matrix from a given set of corresponding pixels in two perspective images of a 3D scene that form a stereopair. The 3x3 fundamental matrix of rank 2 determines the corresponding epipolar lines in both images. Experiments with real stereo pairs have established the main reasons for instabilities of the well-known linear estimation based on the 8...