Parasitism, Adult Emergence, Sex Ratio, and Size of \u3ci\u3eAphidius Colemani\u3c/i\u3e (Hymenoptera: Aphidiidae) on Several Aphid Species

Aphidius colemani Viereck parasitizes several economically important aphid pests of small grain crops including the greenbug, Schizaphis graminum and the Russian wheat aphid, Diuraphis noxia. The ability of A. colemani to switch from S. graminum to several species of aphids common to agricultural and associated non-agricultural ecosystems in the Great Plains, and the effects of host-change on several biological parameters that influence population growth rate were determined. Female A. colemani parasitized and developed to adulthood in nine of 14 aphid species to which they were exposed in the laboratory. All small grain feeding aphids except Sipha flava were parasi­tized. Two sunflower feeding species (Aphis nerii and A. helianthi) and two crucifer feeding species (Lipaphis erysimi and Brevicoryne brassicae) were parasitized, as was the cotton aphid. Aphis gossypii. The average percentage of aphids parasitized differed significantly among host aphid species. as did the percentage of parasitoids surviving from the mummy to the adult stage and the time required for immature development. The sex ratio of adults that enclosed from the various hosts did not differ significantly among species. Dry weights of adult parasitoids differed significantly among host species. Adults from S. graminum weighed most (0.054 mg) while those emerging from A. helianthi weighed least (0.020 mg). Results are discussed in terms of strategies for classical biological control of aphid pests of cereals

Probably Safe or Live

This paper presents a formal characterisation of safety and liveness properties \`a la Alpern and Schneider for fully probabilistic systems. As for the classical setting, it is established that any (probabilistic tree) property is equivalent to a conjunction of a safety and liveness property. A simple algorithm is provided to obtain such property decomposition for flat probabilistic CTL (PCTL). A safe fragment of PCTL is identified that provides a sound and complete characterisation of safety properties. For liveness properties, we provide two PCTL fragments, a sound and a complete one. We show that safety properties only have finite counterexamples, whereas liveness properties have none. We compare our characterisation for qualitative properties with the one for branching time properties by Manolios and Trefler, and present sound and complete PCTL fragments for characterising the notions of strong safety and absolute liveness coined by Sistla

Total Syntheses of (S)-(−)-Zearalenone and Lasiodiplodin Reveal Superior Metathesis Activity of Ruthenium Carbene Complexes with Imidazol-2-ylidene Ligands

Total syntheses of the bioactive orsellinic acid derivatives zearalenone 3 and lasiodiplodin 1 are reported based on a ring-closing metathesis (RCM) reaction of styrene precursors as the key steps. These and closely related macrocyclizations are catalyzed with high efficiency by the “second generation” ruthenium carbene catalyst 5 bearing a N-heterocyclic carbene ligand, whereas the standard Grubbs carbene 4 fails to afford any cyclized product. Only the (E)-isomer of the macrocyclic cycloalkene is formed in all cases. The substrates for RCM can be obtained either via a Stille cross-coupling reaction of tributylvinylstannane or, even more efficiently, by Heck reactions of the aryl triflate precursors with pressurized ethene. Furthermore, the synthesis of 1 via RCM is compared with an alternative approach employing a low-valent titanium-induced McMurry coupling of dialdehyde 47 for the formation of the large ring. This direct comparison clearly ends in favor of metathesis which turned out to be superior in all preparatively relevant respects

DS-2 Mars Microprobe Battery

In January of 1999 the NM DS-2 Mars microprobe will be launched to impact on Mars in December. The technical objectives of the missions are to demonstrate: key technologies, a passive atmospheric entry, highly integrated microelectronics which can withstand both low temperatures and high decelerations, and the capability to conduct in-situ, surface and subsurface science data acquisition. The scientific objectives are to determine if ice is present below the Martian surface, measure the local atmospheric pressure, characterize the thermal properties of the martian subsurface soil, and to estimate the vertical temperature gradient of the Martian soil. The battery requirements are 2-4 cell batteries, with voltage of 6-14 volts, capacity of 550 mAh at 80C, and 2Ah at 25C, shelf life of 2.5 years, an operating temperature of 60C and below, and the ability to withstand shock impact of 80,000 g's. The technical challenges and the approach is reviewed. The Li-SOCL2 system is reviewed, and graphs showing the current and voltage is displayed, along with the voltage over discharge time. The problems encountered during the testing were: (1) impact sensitivity, (2) cracking of the seals, and (3) delay in voltage. A new design resulted in no problems in the impact testing phase. The corrective actions for the seal problems involved: (1) pre weld fill tube, (2) an improved heat sink during case to cover weld and (3) change the seal dimensions to reduce stress. To correct the voltage delay problem the solutions involved: (1) drying the electrodes to reduce contamination by water, (2) assemblage of the cells within a week of electrode manufacture, (3) ensure electrolyte purity, and (4) provide second depassivation pulse after landing. The conclusions on further testing were that the battery can: (1) withstand anticipated shock of up to 80,000 g, (2) meet the discharge profile post shock at Mars temperatures, (3) meet the required self discharge rate and (4) meet environmental requirements

An Animal Model of Cutaneous Cyst Development Enables the Identification of Three Quantitative Trait Loci, Including the Homologue of a Human Locus (TRICY1)

Brief Summary Using inbred BN and LE/Stm rats susceptible and resistant, respectively, to chemically induced cutaneous cyst development we were able to further unveil the genetic architecture of inherited multiple cyst formation. N-methyl-N-nitrosourea-treated (BN x LE) F2 intercross rats proved to develop differential numbers of cutaneous cysts, demonstrating epidermal, trichilemmal and verrucous keratinization types. Male rats developed significantly more cysts per animal than females. QTL interval mapping yielded three loci on rat chromosomes 1, 8 and 11 (Ccd1, Ccd2, Ccd3) linked to cutaneous cyst formation. Ccd2 proved to be homologous to the human TRICY1 region which could further be narrowed down by genome comparison in both species. It contains 11 genes with evidence of expression in human keratinocytes.Non peer reviewe

A Logical Verification Methodology for Service-Oriented Computing

We introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain