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.     

Preferential exclusion of sucrose from recombinant interleukin-1 receptor antagonist: role in restricted conformational mobility and compaction of native state

Understanding the mechanism for sucrose-induced protein stabilization is important in many diverse fields, ranging from biochemistry and environmental physiology to pharmaceutical science. Timasheff and Lee [Lee, J. C. & Timasheff, S. N. (1981) J. Biol. Chem. 256, 7193-7201] have established that thermodynamic stabilization of proteins by sucrose is due to preferential exclusion of the sugar from the protein's surface, which increases protein chemical potential. The current study measures the preferential exclusion of 1 M sucrose from a protein drug, recombinant interleukin 1 receptor antagonist (rhIL-1ra). It is proposed that the degree of preferential exclusion and increase in chemical potential are directly proportional to the protein surface area and that, hence, the system will favor the protein state with the smallest surface area. This mechanism explains the observed sucrose-induced restriction of rhIL-1ra conformational fluctuations, which were studied by hydrogen-deuterium exchange and cysteine reactivity measurements. Furthermore, infrared spectroscopy of rhlL-1ra suggested that a more ordered native conformation is induced by sucrose. Electron paramagnetic resonance spectroscopy demonstrated that in the presence of sucrose, spin-labeled cysteine 116 becomes more buried in the protein's interior and that the hydrodynamic diameter of the protein is reduced. The preferential exclusion of sucrose from the protein and the resulting shift in the equilibrium between protein states toward the most compact conformation account for sucrose-induced effects on rhIL-1ra.     

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.