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.     

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.     

Gastrointestinal autonomic nerve tumour presenting as small bowel volvulus: a rare disease with a rare presentation

A 78-year-old Chinese woman presented with recurrent postprandial abdominal pain. Computerised tomography revealed a small bowel tumour causing volvulus of a segment of the small bowel. Laparotomy confirmed an extraluminal ileal tumour with partial volvulus of the involved small bowel segment. Small bowel resection was done. Histological and ultrastructural studies confirmed a gastrointestinal autonomic nerve tumour. We review the medical literature on this rare tumour.     

Insertion/deletion polymorphism in the angiotensin-converting enzyme gene associated with macroangiopathy and blood pressure in patients with non-insulin-dependent diabetes mellitus

In the search for new risk factors for diabetic macroangiopathy the insertion/deletion (I/D) polymorphism in the angiotensin-converting enzyme gene was studied in 237 consecutive patients (125 men and 112 women) with non-insulin-dependent diabetes. The female population showed an excess of ischemic electrocardiographic changes or definite myocardial infarctions in the patients homozygous for the deletion [D/D; odds ratio (OR) 2.8; 95% confidence interval (CI) 1.4-5.3] and in the insertion/deletion heterozygotes (I/D; OR 1.8; CI 1.1-3.1) compared with the patients homozygous for the insertion (I/I). In the total series coronary heart disease, cerebrovascular disease, and claudication were more often observed in the patients with I/D (OR 1.5; CI 1.0-2.2) or the D/D genotype patients (OR 1.7; CI 1.1-2.6) than in those with the genotype I/I. The systolic blood pressure was lower in patients with genotype I/I (138 +/- 19 mmHg) than in those with the genotype I/D (149 +/- 22 mmHg) or D/D (150 +/- 21 mmHg; P < 0.02). The prevalence of hypertension and the median urinary albumin excretion rate also tended to be lowest in the I/I genotype patients. Multiple logistic analysis revealed that in women the angiotensin-converting enzyme D/D genotype is independently associated with coronary heart disease. Our findings suggest that variation at the angiotensin-converting enzyme gene locus is one of the factors involved in the predisposition of diabetic patients to the development of arterial disease and hypertension.     

Functional and defective components of avian endogenous virus long terminal repeat enhancer sequences

Oncogenic avian retroviruses, such as Rous sarcoma virus (RSV) and the avian leukosis viruses, contain a strong enhancer in the U3 portion of the proviral long terminal repeat (LTR). The LTRs of a second class of avian retroviruses, the endogenous viruses (ev) lack detectable enhancer activity. By creating ev-RSV hybrid LTRs, we previously demonstrated that, despite the lack of independent enhancer activity in the ev U3 region, ev LTRs contain sequences that are able to functionally replace essential enhancer domains from the RSV enhancer. A hypothesis proposed to explain these data was that ev LTRs contain a partial enhancer that includes sequences necessary but not sufficient for enhancer activity and that these sequences were complemented by RSV enhancer domains present in the original hybrid constructs to generate a functional enhancer. Studies described in this report were designed to define sequences from both the ev and RSV LTRs required to generate this composite enhancer. This was approached by generating additional ev-RSV hybrid LTRs that exchanged defined regions between ev and RSV and by directly testing the requirement for specific motifs by site-directed mutagenesis. Results obtained demonstrate that ev enhancer sequences are present in the same relative location as upstream enhancer sequences from RSV, with which they share limited sequence similarity. In addition, a 67-bp region from the internal portion of the RSV LTR that is required to complement ev enhancer sequences was identified. Finally, data showing that CArG motifs are essential for high-level activity, a finding that has not been previously demonstrated for retroviral LTRs, are presented.