The precise computation of abstractions is a bottleneck in many approaches to CEGAR-based verification. In this paper, we propose a novel approach, based on the use of structural information. Rather than computing the abstraction as a single, monolithic quantification, we provide a structure-aware abstraction algorithm, based on two complementary steps. The first, highlevel step exploits the st...

Conclusions, and Implications The purpose of this research was to determine whether or not poetry (i.e., poems, ballads, and songs) could be used as a source of knowledge on historic dress in a social, political, or economic context, using the dress of Scottish Highlanders from 1603 through 1830 as an example, and to triangulate the findings with other sources that portray dress through the wri...

In Part 1 of the experiment, rats responded under a variable-interval (VI) 30-s schedule and a VI 120-s schedule, with each in effect for a block of consecutive sessions. That is, the two VI schedules were presented in successive conditions. In Part 2 the VI schedules alternated each day, and in Part 3 the schedules alternated within the session as a multiple schedule. For half of the rats in P...

The assay for serum antibody to the Salmonella typhi capsular polysaccharide (Vi) antigen has recently been revised because of the availability of a purified, highly polymerized Vi antigen. We compared this revised Vi antibody assay to the traditional one for potential usefulness in the surveillance of chronic enteric carriers of S. typhi. The purified Vi antigen of Citrobacter freundii was inc...

The VI-Ts diagram determined by the scatter points of the vegetation index (VI) and surface temperature (Ts) has been widely applied in land surface studies. In the VI-Ts diagram, dry point is defined as a pixel with maximum Ts and minimum VI, while wet point is defined as a pixel with minimum Ts and maximum VI. If both dry and wet points can be obtained simultaneously, a triangular VI-Ts diagr...

OBJECTIVES The purpose of this study was to test the hypothesis that cardiac-directed expression of adenylyl cyclase VI (AC(VI)) facilitates atrioventricular (AV) nodal conduction. BACKGROUND Cardiac-directed expression of AC(VI), unlike other strategies to increase cyclic adenosine monophosphate generation, reduces mortality in murine cardiomyopathy. Recent reports suggest that AC(VI) expres...

The measurement of absorption over short distances in the local interstellar medium (LISM) provides an excellent opportunity to study the properties of O VI absorption and its kinematic relationship to absorption by tracers of cool and warm gas. We report on the properties of LISM O VI absorption observed with 20 km s −1 resolution Far Ultraviolet Spectroscopic Explorer (FUSE) observations of 3...

−Cross-linked chitosan/bentonite composite (CCB) was prepared, and characterized by Fourier transform infrared (FTIR) spectroscopy, BET surface area and pore diameter analyses, X-ray diffraction (XRD) patterns and thermal gravimetric analyses (TGA). The adsorption of hexavalent chromium Cr(VI) onto CCB as a function of adsorbent dosage, initial Cr(VI) concentration, solution pH, and contact tim...

.........................................................................................i ACKNOWLEDGEMENTS ......................................................................ii LIST OF FIGURES................................................................................vi LIST OF TABLES.................................................................................vi LIST OF ABBREVIATION...

Myosin VI is thought to function as both a transporter and an anchor. While in vitro studies suggest possible mechanisms for processive stepping, a biochemical basis for anchoring has not been demonstrated. Using optical trapping, we observed myosin VI stepping against applied forces. Step size is not strongly affected by such loads. At saturating ATP, myosin VI kinetics shows little dependence...