All Outputs (10)

Cardiac training simulator using pump with electronic pressure sensor to trigger ventricular fibrillation (2003)
Conference Proceeding

Cardiac surgery training in a realistic surgical environment is assisted by a simulator based on an electromechanical pneumatic pump with associated control and display software. In this paper we describe a feedback mechanism for controlling the beat... Read More about Cardiac training simulator using pump with electronic pressure sensor to trigger ventricular fibrillation.

Using simulated annealing to study behaviour of various exam timetabling data sets (2003)
Conference Proceeding

Fuzzy Recognition of Cricket Batting Strokes Based on Sequences of Body and Bat Postures (2003)
Conference Proceeding

A mathematical classification of two cricket batting strokes, using fuzzy set theory, is presented. A system is proposed within this paper, to capture the motion of a batsman/batswoman whilst playing a stroke. This is then compared to known strokes,... Read More about Fuzzy Recognition of Cricket Batting Strokes Based on Sequences of Body and Bat Postures.

Using SVG as the Rendering Model for Structured and Graphically Complex Web Material (2003)
Conference Proceeding

This paper reports some experiments in using SVG (Scalable Vector Graphics), rather than the browser default of (X)HTML/CSS, as a potential Web-based rendering technology, in an attempt to create an approach that integrates the structural and display... Read More about Using SVG as the Rendering Model for Structured and Graphically Complex Web Material.

A Bayesian optimization algorithm for the nurse scheduling problem (2003)
Conference Proceeding

A Bayesian optimization algorithm for the nurse scheduling problem is presented, which involves choosing a suitable scheduling rule from a set for each nurse’s assignment. Unlike our previous work that used GAs to implement implicit learning, the lea... Read More about A Bayesian optimization algorithm for the nurse scheduling problem.

'Explicit Learning: an Effort towards Human Scheduling Algorithms' (2003)
Conference Proceeding

Abstract Scheduling problems are generally NP-hard combinatorial problems, and a lot of research has been done to solve these problems heuristically. However, most of the previous approaches are problem-specific and research into the development o... Read More about 'Explicit Learning: an Effort towards Human Scheduling Algorithms'.

'A Bayesian Optimisation Algorithm for the Nurse Scheduling Problem' (2003)
Conference Proceeding

Abstract- A Bayesian optimization algorithm for the nurse scheduling problem is presented, which involves choosing a suitable scheduling rule from a set for each nurse's assignment. Unlike our previous work that used GAs to implement implicit learnin... Read More about 'A Bayesian Optimisation Algorithm for the Nurse Scheduling Problem'.

Similarity Measures for Exam Timetabling Problems (2003)
Conference Proceeding

A large number of heuristic algorithms have been developed over the years which have been aimed at solving examination timetabling problems. However, many of these algorithms have been developed specifically to solve one particular problem instance o... Read More about Similarity Measures for Exam Timetabling Problems.

Creating reusable well-structured pdf as a sequence of component object graphic (cog) elements (2003)
Conference Proceeding

Portable Document Format (PDF) is a page-oriented, graphically rich format based on PostScript semantics and it is also the format interpreted by the Adobe Acrobat viewers. Although each of the pages in a PDF document is an independent graphic objec... Read More about Creating reusable well-structured pdf as a sequence of component object graphic (cog) elements.

Rippling in PVS (2003)
Conference Proceeding

Rippling is a method of controlling rewriting of the terms in an induction step of an inductive proof, to ensure that a position is reached whereby the induction hypothesis can be applied. Rippling was developed primarily by the Mathematical Reasoni... Read More about Rippling in PVS.