Test Case Generation as an AI Planning Problem

While Artificial Intelligence techniques have been applied to a variety of software engineering applications, the area of automated software testing remains largely unexplored. Yet, test cases for certain types of systems (e.g., those with command language interfaces and transaction based systems) are similar to plans. We have exploited this similarity by constructing an automated test case generator with an AI planning system at its core. We compared the functionality and output of two systems, one based on Software Engineering techniques and the other on planning, for a real application: the StorageTek robot tape library command language. From this, we showed that AI planning is a viable technique for test case generation and that the two approaches are complementary in their capabilities.     

Immunohistochemical localization of p21(WAF1/CIP1) in normal, hyperplastic, and neoplastic uterine tissues

Assuming that the chemical reactions used to synthesize a combinatorial library member are successful, then knowledge of the specific reaction sequence is equivalent to knowing the member's chemical identity. Because the determination of chemical identity is typically not automatable and requires a substantial amount of material, schemes that encode a member's reaction history onto the reaction platform are of value. The primary benefits of encoding are relational nomenclature (all methods) and automated handling (some methods). Encoding methods evaluated to date are spatial, graphical, chemical, spectrometric, electronic, and physical.     

Intubation conditions: importance of the rate of repetition of the train-of-four

OBJECTIVES: To assess that neuromuscular relaxation onset of the adductor pollicis (AP) is related to neuromuscular stimulation rate. To assess that train-of-four (TOF) at 0.05 Hz is a more accurate indicator of optimal tracheal intubation time and conditions, than TOF at 0.08 Hz. STUDY DESIGN: Prospective, comparative, randomized double-blind study. PATIENTS: Forty adults, physical class ASA 1 or 2, undergoing general anaesthesia with tracheal intubation were allocated to two groups (n = 20) according to the sequence of stimulation of the AP: either TOF at 0.05 Hz (test group) or TOF at 0.08 Hz (control group). METHODS: Induction of anaesthesia was achieved with thiopentone, fentanyl and vecuronium (0.1 mg.kg-1). Neuromuscular monitoring was obtained with force displacement transducers attached to each AP. Tracheal intubation was performed once AP muscular response obtained with TOF at 0.05 Hz for test group and TOF at 0.08 Hz for control group was abolished. Results are expressed as mean +/- SEM. Fisher exact test was used for intubation conditions comparison. Curarization time between groups was compared with unpaired Student's t test (P < 0.05 accepted). RESULTS: TOF with 0.05 Hz stimulation significantly increased curarization time: 217 +/- 7 versus 162 +/- 6 s (P < 0.001). Intubation conditions were excellent in 95% and good in 5% of patients in the study group, compared to 15 and 40% in the control group, respectively (P < 0.01) in 45% of the control group patients coughing at intubation occurred. CONCLUSION: Low stimulation rate (TOF at 0.05 Hz) of AP is a reliable technique to determine the appropriate intubation time for patients paralyzed with vecuronium.     

Comment and discussion on digital processing of PD pulses

Some of the more salient aspects of the digital processing technology of PD signals are examined. Most of the efforts in this field are concentrated on the application of digital analyzers for pulse height analysis, pattern recognition and identification of the physical phenomena. It is demonstrated that errors in the signal processing unit can lead to dominant mistakes in the interpretation of the test results     

Classification of hand postures against complex backgrounds using elastic graph matching

A system for person-independent classification of hand postures against complex backgrounds in video images is presented. The system employs elastic graph matching, which has already been successfully applied for object and face recognition. We use the bunch graph technique to model variance in hand posture appearance between different subjects and variance in backgrounds. Our system does not need a separate segmentation stage but closely integrates finding the object boundaries with posture classification.     

Amtshaftung bei Bauführung im Hochwassergebiet; fehlerhafter Flächenwidmungsplan; Nachforschungspflichten der Gemeinde

Bestehen ausreichende Anhaltspunkte für die Hochwassergef?hrdung, ist die Gemeinde verpflichtet, sich durch Nachforschungen Gewissheit über das Vorliegen oder Nichtvorliegen eines Hochwasserabflussgebietes gem § 38 Abs 3 WRG zu verschaffen. Liegt ein solches vor, hat sie gem § 12 Abs 1 Z 2 krnt GplG dieses im Fl?chenwidmungsplan ersichtlich zu machen. Erteilt die Gemeinde eine Baubewilligung ohne diese von der Erteilung einer wasserrechtlichen Bewilligung abh?ngig zu machen, haftet sie für die Kosten der Bauführung, die bei gesetzes-konformer Vorgangsweise unterlassen worden w?re.     

Three dimensional boundary element analysis of internal cracks under sliding contact load with a spherical indenter

Using boundary element based three dimensional modelling for linear fracture mechanics, we present an analysis of cracking in a homogeneous medium subject to contact load. The proposed iterative solution procedure allows a simultaneous treatment of a reasonable number of partially closed cracks. It is shown that the most probable direction of propagation of a vertical internal crack is strongly dependent on its size compared to the contact radius and its location with respect to the axis of maximum normal load.