Ultimate periodicity of b-recognisable sets : a quasilinear procedure

It is decidable if a set of numbers, whose representation in a base b is a regular language, is ultimately periodic. This was established by Honkala in 1986. We give here a structural description of minimal automata that accept an ultimately periodic set of numbers. We then show that it can verified in linear time if a given minimal automaton meets this description. This thus yields a O(n log(n)) procedure for deciding whether a general deterministic automaton accepts an ultimately periodic set of numbers.Comment: presented at DLT 201

Precision Medicine: From Science To Value.

Precision medicine is making an impact on patients, health care delivery systems, and research participants in ways that were only imagined fifteen years ago when the human genome was first sequenced. Discovery of disease-causing and drug-response genetic variants has accelerated, while adoption into clinical medicine has lagged. We define precision medicine and the stakeholder community required to enable its integration into research and health care. We explore the intersection of data science, analytics, and precision medicine in the formation of health systems that carry out research in the context of clinical care and that optimize the tools and information used to deliver improved patient outcomes. We provide examples of real-world impact and conclude with a policy and economic agenda necessary for the adoption of this new paradigm of health care both in the United States and globally

The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems

International audienceBounded languages have recently proved to be an important class of languages for the analysis of Turing-powerful models. For instance, bounded context-free languages are used to under-approximate the behav-iors of recursive programs. Ginsburg and Spanier have shown in 1966 that a bounded language L ⊆ a * 1 · · · a * d is context-free if, and only if, its Parikh image is a stratifiable semilinear set. However, the question whether a semilinear set is stratifiable, hereafter called the stratifiability problem, was left open, and remains so. In this paper, we give a partial answer to this problem. We focus on semilinear sets that are given as finite systems of linear inequalities, and we show that stratifiability is coNP-complete in this case. Then, we apply our techniques to the context-freeness problem for flat counter systems, that asks whether the trace language of a counter system intersected with a bounded regular language is context-free. As main result of the paper, we show that this problem is coNP-complete

Sofic-Dyck shifts

We define the class of sofic-Dyck shifts which extends the class of Markov-Dyck shifts introduced by Inoue, Krieger and Matsumoto. Sofic-Dyck shifts are shifts of sequences whose finite factors form unambiguous context-free languages. We show that they correspond exactly to the class of shifts of sequences whose sets of factors are visibly pushdown languages. We give an expression of the zeta function of a sofic-Dyck shift

Feedback from massive stars at low metallicities : MUSE observations of N44 and N180 in the Large Magellanic Cloud

Accepted for publication in MNRAS, 27 pages, 21 figuresWe present MUSE integral field data of two HII region complexes in the Large Magellanic Cloud (LMC), N44 and N180. Both regions consist of a main superbubble and a number of smaller, more compact HII regions that formed on the edge of the superbubble. For a total of 11 HII regions, we systematically analyse the radiative and mechanical feedback from the massive O-type stars on the surrounding gas. We exploit the integral field property of the data and the coverage of the HeII$\lambda$5412 line to identify and classify the feedback-driving massive stars, and from the estimated spectral types and luminosity classes we determine the stellar radiative output in terms of the ionising photon flux $Q_{0}$. We characterise the HII regions in terms of their sizes, morphologies, ionisation structure, luminosity and kinematics, and derive oxygen abundances via emission line ratios. We analyse the role of different stellar feedback mechanisms for each region by measuring the direct radiation pressure, the pressure of the ionised gas, and the pressure of the shock-heated winds. We find that stellar winds and ionised gas are the main drivers of HII region expansion in our sample, while the direct radiation pressure is up to three orders of magnitude lower than the other terms. We relate the total pressure to the star formation rate per unit area, $\Sigma_{SFR}$, for each region and find that stellar feedback has a negative effect on star formation, and sets an upper limit to $\Sigma_{SFR}$ as a function of increasing pressure.Peer reviewe

VLASSICK: The VLA Sky Survey in the Central Kiloparsec

At a distance of 8 kpc, the center of our Galaxy is the nearest galactic nucleus, and has been the subject of numerous key projects undertaken by great observatories such as Chandra, Spitzer, and Herschel. However, there are still no surveys of molecular gas properties in the Galactic center with less than 30" (1 pc) resolution. There is also no sensitive polarization survey of this region, despite numerous nonthermal magnetic features apparently unique to the central 300 parsecs. In this paper, we outline the potential the VLASS has to fill this gap. We assess multiple considerations in observing the Galactic center, and recommend a C-band survey with 10 micro-Jy continuum RMS and sensitive to molecular gas with densities greater than 10^4 cm^{-3}, covering 17 square degrees in both DnC and CnB configurations ( resolution ~5"), totaling 750 hours of observing time. Ultimately, we wish to note that the upgraded VLA is not just optimized for fast continuum surveys, but has a powerful correlator capable of simultaneously observing continuum emission and dozens of molecular and recombination lines. This is an enormous strength that should be fully exploited and highlighted by the VLASS, and which is ideally suited for surveying the center of our Galaxy.Comment: 13 pages, 3 figures, a White Paper submitted to provide input in planning the Very Large Array Sky Surve

On the Commutative Equivalence of Context-Free Languages

The problem of the commutative equivalence of context-free and regular languages is studied. In particular conditions ensuring that a context-free language of exponential growth is commutatively equivalent with a regular language are investigated

Hypervelocity Stars. I. The Spectroscopic Survey

We discuss our targeted search for hypervelocity stars (HVSs), stars traveling with velocities so extreme that dynamical ejection from a massive black hole is their only suggested origin. Our survey, now half complete, has successfully identified a total of four probable HVSs plus a number of other unusual objects. Here we report the most recently discovered two HVSs: SDSS J110557.45+093439.5 and possibly SDSS J113312.12+010824, traveling with Galactic rest-frame velocities at least +508+-12 and +418+-10 km/s, respectively. The other late B-type objects in our survey are consistent with a population of post main-sequence stars or blue stragglers in the Galactic halo, with mean metallicity [Fe/H]=-1.3 and velocity dispersion 108+-5 km/s. Interestingly, the velocity distribution shows a tail of objects with large positive velocities that may be a mix of low-velocity HVSs and high-velocity runaway stars. Our survey also includes a number of DA white dwarfs with unusually red colors, possibly extremely low mass objects. Two of our objects are B supergiants in the Leo A dwarf, providing the first spectroscopic evidence for star formation in this dwarf galaxy within the last ~30 Myr.Comment: 10 pages, uses emulateapj, accepted by Ap

Characterizing precursors to stellar clusters with Herschel

Context. Despite their profound effect on the universe, the formation of massive stars and stellar clusters remains elusive. Recent advances in observing facilities and computing power have brought us closer to understanding this formation process. In the past decade, compelling evidence has emerged that suggests infrared dark clouds (IRDCs) may be precursors to stellar clusters. However, the usual method for identifying IRDCs is biased by the requirement that they are seen in absorption against background mid-IR emission, whereas dust continuum observations allow cold, dense pre-stellar-clusters to be identified anywhere. Aims: We aim to understand what dust temperatures and column densities characterize and distinguish IRDCs, to explore the population of dust continuum sources that are not IRDCs, and to roughly characterize the level of star formation activity in these dust continuum sources. Methods: We use Hi-GAL 70 to 500 $m data to identify dust continuum sources in the ell = 30deg and ell = 59deg Hi-GAL science demonstration phase (SDP) fields, to characterize and subtract the Galactic cirrus emission, and perform pixel-by-pixel modified blackbody fits on cirrus-subtracted Hi-GAL sources. We utilize archival Spitzer data to indicate the level of star-forming activity in each pixel, from mid-IR-dark to mid-IR-bright. Results: We present temperature and column density maps in the Hi-GAL ell = 30deg and ell = 59deg SDP fields, as well as a robust algorithm for cirrus subtraction and source identification using Hi-GAL data. We report on the fraction of Hi-GAL source pixels which are mid-IR-dark, mid-IR-neutral, or mid-IR-bright in both fields. We find significant trends in column density and temperature between mid-IR-dark and mid-IR-bright pixels; mid-IR-dark pixels are about 10 K colder and have a factor of 2 higher column density on average than mid-IR-bright pixels. We find that Hi-GAL dust continuum sources span a range of evolutionary states from pre- to star-forming, and that warmer sources are associated with more star formation tracers. Additionally, there is a trend of increasing temperature with tracer type from mid-IR-dark at the coldest, to outflow/maser sources in the middle, and finally to 8 and 24$m bright sources at the warmest. Finally, we identify five candidate IRDC-like sources on the far-side of the Galaxy. These are cold (20 K), high column density (N(H$_2$) gt 10$^22$ cm$^-2$) clouds identified with Hi-GAL which, despite bright surrounding mid-IR emission, show little to no absorption at 8 $m. These are the first inner Galaxy far-side candidate IRDCs of which the authors are aware. Herschel in an ESA space observatory with science instruments provided by European-led Principal Investigator consortia and with important participation by NASA.The FITS files discussed in the paper would be released publicly WITH the Hi-GAL data (on the Hi-GAL website) when the Hi-GAL data is released publicly.Peer reviewe