Qualitative Analysis of VASS-Induced MDPs

We consider infinite-state Markov decision processes (MDPs) that are induced by extensions of vector addition systems with states (VASS). Verification conditions for these MDPs are described by reachability and Buchi objectives w.r.t. given sets of control-states. We study the decidability of some qualitative versions of these objectives, i.e., the decidability of whether such objectives can be achieved surely, almost-surely, or limit-surely. While most such problems are undecidable in general, some are decidable for large subclasses in which either only the controller or only the random environment can change the counter values (while the other side can only change control-states).Comment: Extended version (including all proofs) of material presented at FOSSACS 201

Early star-forming galaxies and the reionization of the Universe

Star forming galaxies represent a valuable tracer of cosmic history. Recent observational progress with Hubble Space Telescope has led to the discovery and study of the earliest-known galaxies corresponding to a period when the Universe was only ~800 million years old. Intense ultraviolet radiation from these early galaxies probably induced a major event in cosmic history: the reionization of intergalactic hydrogen. New techniques are being developed to understand the properties of these most distant galaxies and determine their influence on the evolution of the universe.Comment: Review article appearing in Nature. This posting reflects a submitted version of the review formatted by the authors, in accordance with Nature publication policies. For the official, published version of the review, please see http://www.nature.com/nature/archive/index.htm

Asteroseismology and Interferometry

Asteroseismology provides us with a unique opportunity to improve our understanding of stellar structure and evolution. Recent developments, including the first systematic studies of solar-like pulsators, have boosted the impact of this field of research within Astrophysics and have led to a significant increase in the size of the research community. In the present paper we start by reviewing the basic observational and theoretical properties of classical and solar-like pulsators and present results from some of the most recent and outstanding studies of these stars. We centre our review on those classes of pulsators for which interferometric studies are expected to provide a significant input. We discuss current limitations to asteroseismic studies, including difficulties in mode identification and in the accurate determination of global parameters of pulsating stars, and, after a brief review of those aspects of interferometry that are most relevant in this context, anticipate how interferometric observations may contribute to overcome these limitations. Moreover, we present results of recent pilot studies of pulsating stars involving both asteroseismic and interferometric constraints and look into the future, summarizing ongoing efforts concerning the development of future instruments and satellite missions which are expected to have an impact in this field of research.Comment: Version as published in The Astronomy and Astrophysics Review, Volume 14, Issue 3-4, pp. 217-36

The JWST FRESCO Survey: Legacy NIRCam/Grism Spectroscopy and Imaging in the two GOODS Fields

We present the JWST Cycle 1 53.8hr medium program FRESCO, short for “First Reionization Epoch Spectroscopically Complete Observations”. FRESCO covers 62 arcmin2 in each of the two GOODS/CANDELS fields for a total area of 124 arcmin2 exploiting JWST’s powerful new grism spectroscopic capabilities at near-infrared wavelengths. By obtaining ∼2hr deep NIRCam/grism observations with the F444W filter, FRESCO yields unprecedented spectra at R ∼ 1600 covering 3.8 to 5.0 μm for most galaxies in the NIRCam field-of-view. This setup enables emission line measurements over most of cosmic history, from strong PAH lines at z ∼ 0.2 − 0.5, to Paα and Paβ at z ∼ 1 − 3, HeI and [SIII] at z ∼ 2.5 − 4.5, Hα and [NII] at z ∼ 5 − 6.5, up to [OIII] and Hβ for z∼7-9 galaxies. FRESCO’s grism observations provide total line fluxes for accurately estimating galaxy stellar masses and calibrating slit-loss corrections of NIRSpec/MSA spectra in the same field. Additionally, FRESCO results in a mosaic of F182M, F210M, and F444W imaging in the same fields to a depth of ∼28.2 mag (5 σ in 0${_{.}^{\prime\prime}}$32 diameter apertures). Here, we describe the overall survey design and the key science goals that can be addressed with FRESCO. We also highlight several, early science results, including: spectroscopic redshifts of Lyman break galaxies that were identified almost 20 years ago, the discovery of broad-line active galactic nuclei at z > 4, and resolved Paα maps of galaxies at z ∼ 1.4. These results demonstrate the enormous power for serendipitous discovery of NIRCam/grism observations

Omega-3 Fatty Acids Modify Human Cortical Visual Processing—A Double-Blind, Crossover Study

While cardiovascular and mood benefits of dietary omega-3 fatty acids such as docosahexaenoic acid (DHA) and eicosapentaenoic acid (EPA) are manifest, direct neurophysiological evidence of their effects on cortical activity is still limited. Hence we chose to examine the effects of two proprietary fish oil products with different EPA∶DHA ratios (EPA-rich, high EPA∶DHA; DHA-rich) on mental processing speed and visual evoked brain activity. We proposed that nonlinear multifocal visual evoked potentials (mfVEP) would be sensitive to any alteration of the neural function induced by omega-3 fatty acid supplementation, because the higher order kernel responses directly measure the degree of recovery of the neural system as a function of time following stimulation. Twenty-two healthy participants aged 18–34, with no known neurological or psychiatric disorder and not currently taking any nutritional supplementation, were recruited. A double-blind, crossover design was utilized, including a 30-day washout period, between two 30-day supplementation periods of the EPA-rich and DHA-rich diets (with order of diet randomized). Psychophysical choice reaction times and multi-focal nonlinear visual evoked potential (VEP) testing were performed at baseline (No Diet), and after each supplementation period. Following the EPA-rich supplementation, for stimulation at high luminance contrast, a significant reduction in the amplitude of the first slice of the second order VEP kernel response, previously related to activation in the magnocellular pathway, was observed. The correlations between the amplitude changes of short latency second and first order components were significantly different for the two supplementations. Significantly faster choice reaction times were observed psychophysically (compared with baseline performance) under the EPA-rich (but not DHA-rich) supplementation, while simple reaction times were not affected. The reduced nonlinearities observed under the EPA-rich diet suggest a mechanism involving more efficient neural recovery of magnocellular-like visual responses following cortical activation

Most bowel cancer symptoms do not indicate colorectal cancer and polyps: a systematic review

<p>Abstract</p> <p>Background</p> <p>Bowel symptoms are often considered an indication to perform colonoscopy to identify or rule out colorectal cancer or precancerous polyps. Investigation of bowel symptoms for this purpose is recommended by numerous clinical guidelines. However, the evidence for this practice is unclear. The objective of this study is to systematically review the evidence about the association between bowel symptoms and colorectal cancer or polyps.</p> <p>Methods</p> <p>We searched the literature extensively up to December 2008, using MEDLINE and EMBASE and following references. For inclusion in the review, papers from cross sectional, case control and cohort studies had to provide a 2×2 table of symptoms by diagnosis (colorectal cancer or polyps) or sufficient data from which that table could be constructed. The search procedure, quality appraisal, and data extraction was done twice, with disagreements resolved with another reviewer. Summary ROC analysis was used to assess the diagnostic performance of symptoms to detect colorectal cancer and polyps.</p> <p>Results</p> <p>Colorectal cancer was associated with rectal bleeding (AUC 0.66; LR+ 1.9; LR- 0.7) and weight loss (AUC 0.67, LR+ 2.5, LR- 0.9). Neither of these symptoms was associated with the presence of polyps. There was no significant association of colorectal cancer or polyps with change in bowel habit, constipation, diarrhoea or abdominal pain. Neither the clinical setting (primary or specialist care) nor study type was associated with accuracy.</p> <p>Most studies had methodological flaws. There was no consistency in the way symptoms were elicited or interpreted in the studies.</p> <p>Conclusions</p> <p>Current evidence suggests that the common practice of performing colonoscopies to identify cancers in people with bowel symptoms is warranted only for rectal bleeding and the general symptom of weight loss. Bodies preparing guidelines for clinicians and consumers to improve early detection of colorectal cancer need to take into account the limited value of symptoms.</p

Observations of Lyα\alpha Emitters at High Redshift

In this series of lectures, I review our observational understanding of high-$z$ Ly$\alpha$ emitters (LAEs) and relevant scientific topics. Since the discovery of LAEs in the late 1990s, more than ten (one) thousand(s) of LAEs have been identified photometrically (spectroscopically) at $z\sim 0$ to $z\sim 10$. These large samples of LAEs are useful to address two major astrophysical issues, galaxy formation and cosmic reionization. Statistical studies have revealed the general picture of LAEs' physical properties: young stellar populations, remarkable luminosity function evolutions, compact morphologies, highly ionized inter-stellar media (ISM) with low metal/dust contents, low masses of dark-matter halos. Typical LAEs represent low-mass high-$z$ galaxies, high-$z$ analogs of dwarf galaxies, some of which are thought to be candidates of population III galaxies. These observational studies have also pinpointed rare bright Ly$\alpha$ sources extended over $\sim 10-100$ kpc, dubbed Ly$\alpha$ blobs, whose physical origins are under debate. LAEs are used as probes of cosmic reionization history through the Ly$\alpha$ damping wing absorption given by the neutral hydrogen of the inter-galactic medium (IGM), which complement the cosmic microwave background radiation and 21cm observations. The low-mass and highly-ionized population of LAEs can be major sources of cosmic reionization. The budget of ionizing photons for cosmic reionization has been constrained, although there remain large observational uncertainties in the parameters. Beyond galaxy formation and cosmic reionization, several new usages of LAEs for science frontiers have been suggested such as the distribution of {\sc Hi} gas in the circum-galactic medium and filaments of large-scale structures. On-going programs and future telescope projects, such as JWST, ELTs, and SKA, will push the horizons of the science frontiers.Comment: Lecture notes for `Lyman-alpha as an Astrophysical and Cosmological Tool', Saas-Fee Advanced Course 46. Verhamme, A., North, P., Cantalupo, S., & Atek, H. (eds.) --- 147 pages, 103 figures. Abstract abridged. Link to the lecture program including the video recording and ppt files : https://obswww.unige.ch/Courses/saas-fee-2016/program.cg

The JWST FRESCO survey: legacy NIRCam/grism spectroscopy and imaging in the two GOODS fields

We present the JWST cycle 1 53.8 h medium program FRESCO, short for 'First Reionization Epoch Spectroscopically Complete Observations'. FRESCO covers 62 arcmin2 in each of the two GOODS/CANDELS fields for a total area of 124 arcmin2 exploiting JWST's powerful new grism spectroscopic capabilities at near-infrared wavelengths. By obtaining ∼2 h deep NIRCam/grism observations with the F444W filter, FRESCO yields unprecedented spectra at R ∼1600 covering 3.8-5.0 μm for most galaxies in the NIRCam field of view. This setup enables emission line measurements over most of cosmic history, from strong PAH lines at z ∼0.2-0.5, to Pa α and Pa β at z ∼1-3, He i and [S iii] at z ∼2.5-4.5, H α and [N ii] at z ∼5-6.5, up to [O iii] and H β for z ∼7-9 galaxies. FRESCO's grism observations provide total line fluxes for accurately estimating galaxy stellar masses and calibrating slit-loss corrections of NIRSpec/MSA spectra in the same field. Additionally, FRESCO results in a mosaic of F182M, F210M, and F444W imaging in the same fields to a depth of ∼28.2 mag (5σ in 032 diameter apertures). Here, we describe the overall survey design and the key science goals that can be addressed with FRESCO. We also highlight several, early science results, including: spectroscopic redshifts of Lyman break galaxies that were identified almost 20 yr ago, the discovery of broad-line active galactic nuclei at z > 4, and resolved Pa α maps of galaxies at z ∼1.4. These results demonstrate the enormous power for serendipitous discovery of NIRCam/grism observations