Towards a Notion of Distributed Time for Petri Nets

We set the ground for research on a timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. The novelty is that, rather than a single global clock, we use a set of unrelated clocks --- possibly one per place --- allowing a local timing as well as distributed time synchronisation. We give a formal definition of the model and investigate properties of local versus global timing, including decidability issues and notions of processes of the respective models

The Wnt pathway controls cell death engulfment, spindle orientation, and migration through CED-10/Rac

Wnt signalling pathways have extremely diverse functions in animals, including induction of cell fates or tumours, guidance of cell movements during gastrulation, and the induction of cell polarity. Wnt can induce polar changes in cellular morphology by a remodelling of the cytoskeleton. However, how activation of the Frizzled receptor induces cytoskeleton rearrangement is not well understood. We show, by an in depth 4-D microscopy analysis, that the Caenorhabditis elegans Wnt pathway signals to CED-10/Rac via two separate branches to regulate modulation of the cytoskeleton in different cellular situations. Apoptotic cell clearance and migration of the distal tip cell require the MOM-5/Fz receptor, GSK-3 kinase, and APC/APR-1, which activate the CED-2/5/12 branch of the engulfment machinery. MOM-5 (Frizzled) thus can function as an engulfment receptor in C. elegans. Our epistatic analyses also suggest that the two partially redundant signalling pathways defined earlier for engulfment may act in a single pathway in early embryos. By contrast, rearrangement of mitotic spindles requires the MOM-5/Fz receptor, GSK-3 kinase, and beta-catenins, but not the downstream factors LIT-1/NLK or POP-1/Tcf. Taken together, our results indicate that in multiple developmental processes, CED-10/Rac can link polar signals mediated by the Wnt pathway to rearrangements of the cytoskeleton

Proposed Beam Test of a Transverse Gradient Undulator at the SINBAD Facility at DESY

While Laser Plasma Accelerators produce beams with the high output energy required for FELs, up to now the relatively high energy spread has prohibited FEL lasing. Therefore it was proposed to replace the normal FEL undulators by Transverse Gradient Undulators (TGUs). For a first, small scale test of the TGU concept, a 40 period prototype high gradient superconductive TGU was built at KIT and will be tested with beam at the ARES-linac in the new accelerator test facility SINBAD (Short Innovative Bunches and Accelerators at Desy) at DESY. The proposed tests are summarized in this paper

Linking Demand with Supply for Tropical Forage Genetic Resources to Reach Impact at Scale

Over the last decades a wealth of information on tropical forage genetic resources has been collated and is accessible to users ranging from farmers, development practitioners and researchers to decision makers and academia, e.g. through online tools such as Tropical Forages: An interactive selection tool (www.tropicalforages.info). However, while genetic diversity is being conserved by international gene banks, adoption of improved tropical forages is still far from reaching its full potential. Major bottlenecks in our view include lack of awareness of available forage genetic resources, confirmation of adaptation in a wide range of bio-physical, socio-economic, political and cultural contexts and functionality of financing, extension and seed supply systems. This paper discusses the potential for adoption of tropical forages in the context of new opportunities by market driven innovation, and presents early successes using as examples improved Urochloa spp., Megathyrsus maximus and other grass and legume germplasm, while describing possible pathways to go to scale with small and medium size livestock producers. We use examples of approaches from the tropical Americas, tropical Africa and tropical Asia, including partnerships with the private sector in diverse market environments (e.g. Africa and Latin America) and network approaches (Asia)

Effects of Endurance Exercise Training and Crataegus Extract WS® 1442 in Patients with Heart Failure with Preserved Ejection Fraction - A Randomized Controlled Trial

Impaired exercise capacity is the core symptom of heart failure with preserved ejection fraction (HFpEF). We assessed effects of exercise training and Crataegus extract WS 1442 in HFpEF and aimed to identify mechanisms of action in an exploratory trial (German Clinical Trials Register DRKS00000259). 140 sedentary HFpEF NYHA II patients on standard treatment received eight weeks of aerobic endurance training and half were randomized to WS 1442 900 mg/day. Symptoms, 2 km walking time (T2km), parameters of exercise tolerance, cardiac and vascular function, muscular efficiency and skeletal muscular haemoglobin oxygen saturation (SO2) measured during a treadmill protocol were captured at baseline and after eight weeks. Adverse events were recorded during the trial. Mechanisms of action were explored by correlation and path analyses of changes. Symptoms and exercise capacity improved with training, but correlations between improvements were low and path models were rejected. SO2 increased, decreased or undulated with increasing exercise intensity in individual patients and was not altered by training. WS 1442 improved T2km (-12.7% vs. -8.4%, p = 0.019), tended to improve symptoms and to pronounce SO2-decrease with increasing exercise, an indicator of oxygen utilisation. Endurance training and WS 1442 were safe and well tolerated in combination with standard drug treatment

Asteroseismology of Eclipsing Binary Stars in the Kepler Era

Eclipsing binary stars have long served as benchmark systems to measure fundamental stellar properties. In the past few decades, asteroseismology - the study of stellar pulsations - has emerged as a new powerful tool to study the structure and evolution of stars across the HR diagram. Pulsating stars in eclipsing binary systems are particularly valuable since fundamental properties (such as radii and masses) can determined using two independent techniques. Furthermore, independently measured properties from binary orbits can be used to improve asteroseismic modeling for pulsating stars in which mode identifications are not straightforward. This contribution provides a review of asteroseismic detections in eclipsing binary stars, with a focus on space-based missions such as CoRoT and Kepler, and empirical tests of asteroseismic scaling relations for stochastic ("solar-like") oscillations.Comment: 28 pages, 12 figures, 2 tables; Proceedings of the AAS topical conference "Giants of Eclipse" (AASTCS-3), July 28 - August 2 2013, Monterey, C

The Extent and Role of Domestic Tourism in a Small Island: The Case of the Isle of Man

This article presents a case concerning microdomestic tourism on the Isle of Man, British Isles. Despite being a small island, research highlights that considerable domestic tourism occurs (referred to as microdomestic tourism to reflect the small island size and distinguish from wider British Isles tourism), including day trips and overnight stays. Participants identified such behavior as touristic, and distinct from other leisure activities. Qualitative interviews with residents explore the nature of and reasons for microdomestic tourism within a small island. Breaks from routine, entertaining friends and family, and exploring less well known landscapes are shown to underpin. Highlighted is that microdomestic tourism has a variety of potential benefits, which may counter some of the restrictions typically faced by a small island community. Support for an otherwise ailing tourism industry may help to protect facilities and infrastructure used by the wider community, maintain tourism capacity, and provide atmosphere attractive to foreign visitors

Old divergence and restricted gene flow between torrent duck ( Merganetta armata ) subspecies in the Central and Southern Andes

Aim: To investigate the structure and rate of gene flow among populations of habitat‐specialized species to understand the ecological and evolutionary processes underpinning their population dynamics and historical demography, including speciation and extinction.Location: Peruvian and Argentine Andes.Taxon: Two subspecies of torrent duck (Merganetta armata).Methods: We sampled 156 individuals in Peru (M. a. leucogenis; Chillón River, n = 57 and Pachachaca River, n = 49) and Argentina (M. a. armata; Arroyo Grande River, n = 33 and Malargüe River, n = 17), and sequenced the mitochondrial DNA (mtDNA) control region to conduct coarse and fine‐scale demographic analyses of population structure. Additionally, to test for differences between subspecies, and across genetic markers with distinct inheritance patterns, a subset of individuals (Peru, n = 10 and Argentina, n = 9) was subjected to partial genome resequencing, obtaining 4,027 autosomal and 189 Z‐linked double‐digest restriction‐associated DNA sequences.Results: Haplotype and nucleotide diversities were higher in Peru than Argentinaacross all markers. Peruvian and Argentine subspecies showed concordant species‐level differences (ΦST mtDNA= 0.82;ΦST autosomal = 0.30;ΦST Z chromosome = 0.45),including no shared mtDNA haplotypes. Demographic parameters estimated formtDNA using IM and IMa2 analyses, and for autosomal markers using ∂a∂i (isolation‐with‐migration model), supported an old divergence (mtDNA = 600,000 years before present (ybp), 95% HPD range = 1.2 Mya to 200,000 ybp; and autosomal ∂a∂i = 782,490 ybp), between the two subspecies, characteristic of deeply divergedlineages. The populations were well‐differentiated in Argentina but moderately differentiated in Peru, with low unidirectional gene flow in each country.Main conclusions: We suggest that the South American Arid Diagonal was preexisting and remains a current phylogeographic barrier between the ranges of the two torrent duck subspecies, and the adult territoriality and breeding site fidelity to the rivers define their population structure.Fil: Alza, Luis. University of Alaska; Estados Unidos. University of Miami. Department of Biology; Estados Unidos. División de Ornitología. Centro de Ornitología y Diversidad; PerúFil: Lavretsky, Philip. University of Texas at El Paso; Estados UnidosFil: Peters, Jeffrey L.. Wright State University; Estados UnidosFil: Cerón, Gerardo. Universidad Nacional del Comahue. Centro Regional Universitario Bariloche. Departamento de Zoología. Laboratorio de Parasitología; ArgentinaFil: Smith, Matthew. University of Alaska; Estados UnidosFil: Kopuchian, Cecilia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Centro de Ecología Aplicada del Litoral. Universidad Nacional del Nordeste. Centro de Ecología Aplicada del Litoral; Argentina. Museo Argentino de Ciencias Naturales, División Ornitología,; ArgentinaFil: Astié, Andrea Alejandra. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto Argentino de Investigaciones de las Zonas Áridas. Provincia de Mendoza. Instituto Argentino de Investigaciones de las Zonas Áridas. Universidad Nacional de Cuyo. Instituto Argentino de Investigaciones de las Zonas Áridas; ArgentinaFil: McCracken, Kevin G.. División de Ornitología. Centro de Ornitología y Diversidad; Perú. University of Miami. Department of Biology; Estados Unidos. University of Miami; Estados Unidos. University of Alaska; Estados Unido

Analyzing Childlessness

Childlessness has been on the rise in many European societies. In Germany, the UK, Austria, the Netherlands, and Switzerland, childlessness has increased starting with the 1950s cohorts. In these countries, about 20 % of the women born around 1965 will remain childless. In southern Europe and the former state-socialist countries of Central and Eastern Europe, the rise in levels of childlessness is a more recent phenomenon. Yet among younger cohorts in these countries, childlessness has reached levels of 15 % or higher. In this introductory chapter, we summarize the long-term trends in childlessness and discuss the differences between European countries in the prevalence of childlessness. We also outline the structure and the logic of this volume

Conceptual design report for the LUXE experiment

This Conceptual Design Report describes LUXE (Laser Und XFEL Experiment), an experimental campaign that aims to combine the high-quality and high-energy electron beam of the European XFEL with a powerful laser to explore the uncharted terrain of quantum electrodynamics characterised by both high energy and high intensity. We will reach this hitherto inaccessible regime of quantum physics by analysing high-energy electron-photon and photon-photon interactions in the extreme environment provided by an intense laser focus. The physics background and its relevance are presented in the science case which in turn leads to, and justifies, the ensuing plan for all aspects of the experiment: Our choice of experimental parameters allows (i) field strengths to be probed where the coupling to charges becomes non-perturbative and (ii) a precision to be achieved that permits a detailed comparison of the measured data with calculations. In addition, the high photon flux predicted will enable a sensitive search for new physics beyond the Standard Model. The initial phase of the experiment will employ an existing 40 TW laser, whereas the second phase will utilise an upgraded laser power of 350 TW. All expectations regarding the performance of the experimental set-up as well as the expected physics results are based on detailed numerical simulations throughout