Model-based software testing generally refers to test case selection and result evaluation based on a behavioral model of the target software. It may not, however, be possible to evaluate test results in some situations. For embedded software in a real-time environment, for instance, the results may only appear in a fraction of a second and cannot be observed by the tester. In this paper, we di...

Blood glucose levels are lower in tadpoles than adults. Transition to adult levels occurs during the later stages of metamorphosis, but the rise is interrupted by a brief decline in blood glucose at the beginning of metamorphic climax. Liver glycogen rises from 4.6% to 8% during larval life, falls to 1.7% at the beginning of metamorphic climax then returns to 5-770 during late climax and in the...

Recent field and geochronological investigations. in conjunction with LITHOPROBE seismic surveys, have led to the recognition of crust&scale, low to moderate-angle, Eocene extensional faults and shear ZOIIL‘S in the southern Omineca Belt. The present study focuses on documentation of the Eagle River fault, an extensional shear zone that delineates the western boundary of the Shuswap metamorphic...

Uranium-lead data indicate that the high-pressure granulitic and charnockitic nuclei within the medium-grade metamorphic complex of the Peruvian coastal area must be related to an orogenic event 2 x 10(9) years ago. As in western Africa and Brazil, this old granulitic basement is reworked by Late Precambrian orogeny. Its presence along the Peru-Chile Trench must be taken into account in interpr...

It is challenging to test machine learning (ML) applications, which are intended to learn properties of data sets where the correct answers are not already known. In the absence of a test oracle, one approach to testing these applications is to use metamorphic testing, in which properties of the application are exploited to define transformation functions on the input, such that the new output ...

The Durkan Complex is a key tectonic element of the Makran accretionary prism (SE Iran) and it has been interpreted as representing continental margin succession. We present here multidisciplinary study western Complex, which based on new geological, stratigraphic, biostratigraphic data, well geochemical data volcanic meta-volcanic rocks forming this complex. Our show that complex consists dist...

To better understand serotonergic modulation of air breathing during bullfrog development, we measured changes in fictive lung ventilation frequency associated with focal stimulation of the rostral region of the medullary Raphé neurons. Electrical (3 to 33 Hz) and chemical (glutamate microinjections; 0.5 mol l(-1), 0.3-10 nl) activation of Raphé neurons was performed in brainstem preparations f...