Winning regions of higher-order pushdown games

International audienceIn this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ``stack of stacks'' structures. Representing higher-order stacks as well-bracketed words in the usual way, we show that the winning regions of these games are regular sets of words. Moreover a finite automaton recognising this region can be effectively computed. A novelty of our work are abstract pushdown processes which can be seen as (ordinary) pushdown automata but with an infinite stack alphabet. We use the device to give a uniform presentation of our results. From our main result on winning regions of parity games we derive a solution to the Modal Mu-Calculus Global Model-Checking Problem for higher-order pushdown graphs as well as for ranked trees generated by higher-order safe recursion schemes

Magnetothermodynamics: Measurements Of The Thermodynamic Properties In A Relaxed Magnetohydrodynamic Plasma

We have explored the thermodynamics of compressed magnetized plasmas in laboratory experiments and we call these studies ‘magnetothermodynamics’. The experiments are carried out in the Swarthmore Spheromak eXperiment device. In this device, a magnetized plasma source is located at one end and at the other end, a closed conducting can is installed. We generate parcels of magnetized plasma and observe their compression against the end wall of the conducting cylinder. The plasma parameters such as plasma density, temperature and magnetic field are measured during compression using HeNe laser interferometry, ion Doppler spectroscopy and a linear dot{B} probe array, respectively. To identify the instances of ion heating during compression, a PV diagram is constructed using measured density, temperature and a proxy for the volume of the magnetized plasma. Different equations of state are analysed to evaluate the adiabatic nature of the compressed plasma. A three-dimensional resistive magnetohydrodynamic code (NIMROD) is employed to simulate the twisted Taylor states and shows stagnation against the end wall of the closed conducting can. The simulation results are consistent to what we observe in our experiments

Identification of YWHAH as a Novel Brain-Derived Extracellular Vesicle Marker Post Long-Term Midazolam Exposure during Early Development

Recently, the long-term use of sedative agents in the neonatal intensive care unit (NICU) has raised concerns about neurodevelopmental outcomes in exposed neonates. Midazolam (MDZ), a common neonatal sedative in the NICU, has been suggested to increase learning disturbances and cognitive impairment in children. However, molecular mechanisms contributing to such outcomes with long-term MDZ use during the early stages of life remain unclear. In this study, we for the first time elucidate the role of brain-derived extracellular vesicles (BDEVs), including mining the BDEV proteome post long-term MDZ exposure during early development. Employing our previously established rodent model system that mimics the exposure of MDZ in the NICU using an increasing dosage regimen, we isolated BDEVs from postnatal 21-days-old control and MDZ groups using a differential sucrose density gradient. BDEVs from the control and MDZ groups were then characterized using a ZetaView nanoparticle tracking analyzer and transmission electron microscopy analysis. Next, using RT-qPCR, we examined the expression of key ESCRT-related genes involved in EV biogenesis. Lastly, using quantitative mass spectrometry-based proteomics, we mined the BDEV protein cargo that revealed key differentially expressed proteins and associated molecular pathways to be altered post long-term MDZ exposure. Our study characterized the proteome in BDEV cargo from long-term MDZ exposure at early development. Importantly, we identified and validated the expression of YWHAH as a potential target for further characterization of its downstream mechanism and a potential biomarker for the early onset of neurodevelopment and neurodegenerative diseases. Overall, the present study demonstrated long-term exposure to MDZ at early development stages could influence BDEV protein cargo, which potentially impact neural functions and behavior at later stages of development

Mobile On-board Vehicle Event Recorder: MOVER

The rapid development of smart-phone technology in recent years has lead to many smart-phone owners owning out-of-date devices, equipped with useful technologies, which are no longer in use. These devices are valuable resources that can be harnessed to improve users’ lives. This project aims at leveraging these older, unused devices to help improve road safety, specifically through the improved response time of emergency services to accident locations. An Android application — Mobile On-board Vehicle Event Recorder (MOVER) — was designed and built for the purpose of detecting car accidents through the use of acceleration thresholds. Driving data was gathered and crash simulations were run. With this data, testing and analysis were conducted in order to determine an acceleration threshold that separates normal driving from accident situations as accurately as possible. With this application, users can leverage their previous or current mobile devices to improve road safety - for themselves, and their area as a whole. A promising level of accuracy was achieved, but significant improvements can be made to the application. Large opportunity for future work exists in the field, and hopefully through the development of this application, other researchers may be more inclined to investigate and test such future work

Renormalization of the effective theory for heavy quarks at small velocity

The slope of the Isgur-Wise function at the normalization point, $\xi^{(1)}(1)$,is one of the basic parameters for the extraction of the $CKM$ matrix element $V_{cb}$ from exclusive semileptonic decay data. A method for measuring this parameter on the lattice is the effective theory for heavy quarks at small velocity $v$. This theory is a variant of the heavy quark effective theory in which the motion of the quark is treated as a perturbation. In this work we study the lattice renormalization of the slow heavy quark effective theory. We show that the renormalization of $\xi^{(1)}(1)$ is not affected by ultraviolet power divergences, implying no need of difficult non-perturbative subtractions. A lattice computation of $\xi^{(1)}(1)$ with this method is therefore feasible in principle. The one-loop renormalization constants of the effective theory for slow heavy quarks are computed to order $v^2$ together with the lattice-continuum renormalization constant of $\xi^{(1)}(1)$ . We demonstrate that the expansion in the heavy-quark velocity reproduces correctly the infrared structure of the original (non-expanded) theory to every order. We compute also the one-loop renormalization constants of the slow heavy quark effective theory to higher orders in $v^2$ and the lattice-continuum renormalization constants of the higher derivatives of the $\xi$ function. Unfortunately, the renormalization constants of the higher derivatives are affected by ultraviolet power divergences, implying the necessity of numerical non-perturbative subtractions. The lattice computation of higher derivatives of the Isgur-Wise function seems therefore problematic.Comment: Latex, 43 pages, 5 figures available by fax upon request. To be published in Nucl. Phys

CHILES: HI morphology and galaxy environment at z=0.12 and z=0.17

We present a study of 16 HI-detected galaxies found in 178 hours of observations from Epoch 1 of the COSMOS HI Large Extragalactic Survey (CHILES). We focus on two redshift ranges between 0.108 <= z <= 0.127 and 0.162 <= z <= 0.183 which are among the worst affected by radio frequency interference (RFI). While this represents only 10% of the total frequency coverage and 18% of the total expected time on source compared to what will be the full CHILES survey, we demonstrate that our data reduction pipeline recovers high quality data even in regions severely impacted by RFI. We report on our in-depth testing of an automated spectral line source finder to produce HI total intensity maps which we present side-by-side with significance maps to evaluate the reliability of the morphology recovered by the source finder. We recommend that this become a common place manner of presenting data from upcoming HI surveys of resolved objects. We use the COSMOS 20k group catalogue, and we extract filamentary structure using the topological DisPerSE algorithm to evaluate the \hi\ morphology in the context of both local and large-scale environments and we discuss the shortcomings of both methods. Many of the detections show disturbed HI morphologies suggesting they have undergone a recent interaction which is not evident from deep optical imaging alone. Overall, the sample showcases the broad range of ways in which galaxies interact with their environment. This is a first look at the population of galaxies and their local and large-scale environments observed in HI by CHILES at redshifts beyond the z=0.1 Universe.Comment: 23 pages, 12 figures, 1 interactive 3D figure, accepted to MNRA

WALLABY Early Science - I. The NGC 7162 Galaxy Group

We present Widefield ASKAP L-band Legacy All-sky Blind Survey (WALLABY) early science results from the Australian Square Kilometre Array Pathfinder (ASKAP) observations of the NGC 7162 galaxy group. We use archival HIPASS and Australia Telescope Compact Array (ATCA) observations of this group to validate the new ASKAP data and the data reduction pipeline ASKAPsoft. We detect six galaxies in the neutral hydrogen (HI) 21-cm line, expanding the NGC 7162 group membership from four to seven galaxies. Two of the new detections are also the first HI detections of the dwarf galaxies, AM 2159-434 and GALEXASC J220338.65-431128.7, for which we have measured velocities of $cz=2558$ and $cz=2727$ km s$^{-1}$, respectively. We confirm that there is extended HI emission around NGC 7162 possibly due to past interactions in the group as indicated by the $40^{\circ}$ offset between the kinematic and morphological major axes for NGC 7162A, and its HI richness. Taking advantage of the increased resolution (factor of $\sim1.5$) of the ASKAP data over archival ATCA observations, we fit a tilted ring model and use envelope tracing to determine the galaxies' rotation curves. Using these we estimate the dynamical masses and find, as expected, high dark matter fractions of $f_{\mathrm{DM}}\sim0.81-0.95$ for all group members. The ASKAP data are publicly available.Comment: 20 pages, 11 figures, accepted for publication in MNRA

Assembly of the algal CO2-fixing organelle, the pyrenoid, is guided by a Rubisco-binding motif

Approximately one-third of the Earth's photosynthetic CO2 assimilation occurs in a pyrenoid, an organelle containing the CO2-fixing enzyme Rubisco. How constituent proteins are recruited to the pyrenoid and how the organelle's subcompartments-membrane tubules, a surrounding phase-separated Rubisco matrix, and a peripheral starch sheath-are held together is unknown. Using the model alga Chlamydomonas reinhardtii, we found that pyrenoid proteins share a sequence motif. We show that the motif is necessary and sufficient to target proteins to the pyrenoid and that the motif binds to Rubisco, suggesting a mechanism for targeting. The presence of the Rubisco-binding motif on proteins that localize to the tubules and on proteins that localize to the matrix-starch sheath interface suggests that the motif holds the pyrenoid's three subcompartments together. Our findings advance our understanding of pyrenoid biogenesis and illustrate how a single protein motif can underlie the architecture of a complex multilayered phase-separated organelle