Robustness of a bisimulation-type faster-than preorder

TACS is an extension of CCS where upper time bounds for delays can be specified. Luettgen and Vogler defined three variants of bismulation-type faster-than relations and showed that they all three lead to the same preorder, demonstrating the robustness of their approach. In the present paper, the operational semantics of TACS is extended; it is shown that two of the variants still give the same preorder as before, underlining robustness. An explanation is given why this result fails for the third variant. It is also shown that another variant, which mixes old and new operational semantics, can lead to smaller relations that prove the same preorder.Comment: Express Worksho

A Catalog of Candidate Intermediate-luminosity X-ray Objects

ROSAT, and now Chandra, X-ray images allow studies of extranuclear X-ray point sources in galaxies other than our own. X-ray observations of normal galaxies with ROSAT and Chandra have revealed that off-nuclear, compact, Intermediate-luminosity (Lx[2-10 keV] >= 1e39 erg/s) X-ray Objects (IXOs, a.k.a. ULXs [Ultraluminous X-ray sources]) are quite common. Here we present a catalog and finding charts for 87 IXOs in 54 galaxies, derived from all of the ROSAT HRI imaging data for galaxies with cz <= 5000 km/s from the Third Reference Catalog of Bright Galaxies (RC3). We have defined the cutoff Lx for IXOs so that it is well above the Eddington luminosity of a 1.4 Msun black hole (10^38.3 erg/s), so as not to confuse IXOs with ``normal'' black hole X-ray binaries. This catalog is intended to provide a baseline for follow-up work with Chandra and XMM, and with space- and ground-based survey work at wavelengths other than X-ray. We demonstrate that elliptical galaxies with IXOs have a larger number of IXOs per galaxy than non-elliptical galaxies with IXOs, and note that they are not likely to be merely high-mass X-ray binaries with beamed X-ray emission, as may be the case for IXOs in starburst galaxies. Approximately half of the IXOs with multiple observations show X-ray variability, and many (19) of the IXOs have faint optical counterparts in DSS optical B-band images. Follow-up observations of these objects should be helpful in identifying their nature.Comment: 29 pages, ApJS, accepted (catalog v2.0) (full resolution version of paper and future releases of catalog at http://www.xassist.org/ixocat_hri

Engaging inhabitants into energy transition in climate and energy model (CEM) regions: case studies of Freistadt, Ebreichsdorf and Baden

Austria has settled a target to reach 34% of renewable energy sources in final energy consumption by 2020. The Climate and Energy Model (CEM) regions are the major vehicles for implementation of this target. Until now little research was done on existing participatory governance measures in the Austrian CEM regions, which involve not only stakeholders but also inhabitants into decision-making processes on energy transition. The aim of this paper is to collect information about existing participatory governance measures in three CEMs, such as Freistadt, Baden and Ebreichsdorf, and to analyze these measures by using methodologies developed by Arnstein in his ladder of participation. Our results show that the majority of existing measures are at the level of providing information and awareness building. However, there are also some measures, such as energy groups, which allow all interested inhabitants for providing feedback about proposed in their CEM projects. Other measures, such as Helios or Badener Sonnerkraft, allow for financial participation of inhabitants in deployment of renewable energy projects in their region

Bipolar-Hyper-Shell Galactic Center Statrburst Model: Further Evidence from ROSAT Data and New Radio and X-ray Simulations

Using the all-sky ROSAT soft X-ray and 408-MHz radio continuum data, we show that the North Polar Spur and its western and southern counter-spurs draw a giant dumbbell-shape necked at the galactic plane. We interpret these features as due to a shock front originating from a starburst 15 million years ago with a total energy of the order of $\sim 10^{56}$ ergs or $10^5$ type II supernovae. We simulate all-sky distributions of radio continuum and soft X-ray intensities based on the bipolar-hyper-shell galactic center starburst model. The simulations can well reproduce the radio NPS and related spurs, as well as radio spurs in the tangential directions of spiral arms. Simulated X-ray maps in 0.25, 0.75 and 1.5 keV bands reproduce the ROSAT X-ray NPS, its western and southern counter-spurs, and the absorption layer along the galactic plane. We propose to use the ROSAT all-sky maps to probe the physics of gas in the halo-intergalactic interface, and to directly date and measure the energy of a recent Galactic Center starburst.Comment: To appear in ApJ, Latex MS in ApJ macro, 8 figures in jpg (original quality ps figs available on request

Bulk de novo mitogenome assembly from pooled total DNA elucidates the phylogeny of weevils (Coleoptera: Curculionoidea)

Complete mitochondrial genomes have been shown to be reliable markers for phylogeny reconstruction among diverse animal groups. However, the relative difficulty and high cost associated with obtaining de novo full mitogenomes have frequently led to conspicuously low taxon sampling in ensuing studies. Here, we report the successful use of an economical and accessible method for assembling complete or near-complete mitogenomes through shot-gun next-generation sequencing of a single library made from pooled total DNA extracts of numerous target species. To avoid the use of separate indexed libraries for each specimen, and an associated increase in cost, we incorporate standard polymerase chain reaction-based “bait” sequences to identify the assembled mitogenomes. The method was applied to study the higher level phylogenetic relationships in the weevils (Coleoptera: Curculionoidea), producing 92 newly assembled mitogenomes obtained in a single Illumina MiSeq run. The analysis supported a separate origin of wood-boring behavior by the subfamilies Scolytinae, Platypodinae, and Cossoninae. This finding contradicts morphological hypotheses proposing a close relationship between the first two of these but is congruent with previous molecular studies, reinforcing the utility of mitogenomes in phylogeny reconstruction. Our methodology provides a technically simple procedure for generating densely sampled trees from whole mitogenomes and is widely applicable to groups of animals for which bait sequences are the only required prior genome knowledge

Millimeter wave satellite concepts. Volume 1: Executive summary

The objectives of the program were: (1) development of methodology based on the technical requirements of potential services that might be assigned to millimeter wave bands for identifying the viable and appropriate technologies for future NASA millimeter research and development programs, and (2) testing of this methodology with user applications and services. The scope of the program included the entire communications network, both ground and space subsystems. The reports include: (1) cost, weight, and performance models for the subsystems, (2) conceptual design for point-to-point and broadcast communications satellites, (3) analytic relationships between subsystem parameters and an overall link performance, (4) baseline conceptual systems, (5) sensitivity studies, (6) model adjustment analyses, (7) identification of critical technologies and their risks, (8) brief R&D program scenarios for the technologies judged to be moderate or extensive risks

Intraspecific genetic variation in complex assemblages from mitochondrial metagenomics: comparison with DNA barcodes

Metagenomic shotgun sequencing, using Illumina technology, and de novo genome assembly of mixed field-collected amples of invertebrates readily produce mitochondrial genome sequences, allowing rapid identification and quantification of species diversity. However, intraspecific genetic variability present in the specimen pools is lost during mitogenome assembly, which limits the utility of ‘mitochondrial metagenomics’ for studies of population diversity. 2. Using 10 natural communities (>2600 individuals) of leaf beetles (Chrysomelidae), DNA variation in the mitochondrial cox1-5’ ‘barcode’ was compared for Sanger sequenced individuals and Illumina shotgun sequenced specimen pools. 3. Generally, only a single mitochondrial contig was assembled per species, even in the presence of intraspecific variation. Ignoring ambiguity from the use of two different assemblers, the cox1 barcode regions from these assemblies were exact nucleotide matches of a Sanger sequenced barcode in 90.7% of cases, which dropped to 76.0% in assemblies from samples with large intra and interspecific variability. Nucleotide differences between barcodes from both data types were almost exclusively in synonymous 3rd codon position, although the number of affected sites was very low, and the greatest discrepancies were correlated with poor quality of Sanger sequences. 4. Unassembled shotgun reads were also used to score single nucleotide polymorphisms and to calculate intraspecific nucleotide diversity (pi) for all available populations at each site. These values correlated with Sanger sequenced cox1 variation but were significantly higher. 5. Overall, the assemblage-focused shotgun sequencing of pooled samples produced nucleotide variation data comparable to the well-established specimen-focused Sanger approach. The findings thus extend the application of mitochondrial metagenomics of complex biodiversity samples to the estimation of diversity below the species level

Material Modelling of Short Fiber Reinforced Thermoplastic for the FEA of a Clinching Test

In modern car body construction, multi-material and hybrid design is used, whereby short fibre reinforced plastics combined with light metals represent an interesting class of work-piece materials. In order to realize modern hybrid construction, suitable joining techniques are therefore required. Clinching represents a cost-effective and easy to implement joining method. In this paper the material modelling of the short fibre reinforced thermoplastic sheets considering the fibre orientation tensor for the FEA of the clinching process is presented