50 research outputs found
Streamability of nested word transductions
We consider the problem of evaluating in streaming (i.e., in a single
left-to-right pass) a nested word transduction with a limited amount of memory.
A transduction T is said to be height bounded memory (HBM) if it can be
evaluated with a memory that depends only on the size of T and on the height of
the input word. We show that it is decidable in coNPTime for a nested word
transduction defined by a visibly pushdown transducer (VPT), if it is HBM. In
this case, the required amount of memory may depend exponentially on the height
of the word. We exhibit a sufficient, decidable condition for a VPT to be
evaluated with a memory that depends quadratically on the height of the word.
This condition defines a class of transductions that strictly contains all
determinizable VPTs
The wide-field, multiplexed, spectroscopic facility WEAVE : survey design, overview, and simulated implementation
Funding for the WEAVE facility has been provided by UKRI STFC, the University of Oxford, NOVA, NWO, Instituto de Astrofísica de Canarias (IAC), the Isaac Newton Group partners (STFC, NWO, and Spain, led by the IAC), INAF, CNRS-INSU, the Observatoire de Paris, Région Île-de-France, CONCYT through INAOE, Konkoly Observatory (CSFK), Max-Planck-Institut für Astronomie (MPIA Heidelberg), Lund University, the Leibniz Institute for Astrophysics Potsdam (AIP), the Swedish Research Council, the European Commission, and the University of Pennsylvania.WEAVE, the new wide-field, massively multiplexed spectroscopic survey facility for the William Herschel Telescope, will see first light in late 2022. WEAVE comprises a new 2-degree field-of-view prime-focus corrector system, a nearly 1000-multiplex fibre positioner, 20 individually deployable 'mini' integral field units (IFUs), and a single large IFU. These fibre systems feed a dual-beam spectrograph covering the wavelength range 366-959 nm at R ∼ 5000, or two shorter ranges at R ∼ 20,000. After summarising the design and implementation of WEAVE and its data systems, we present the organisation, science drivers and design of a five- to seven-year programme of eight individual surveys to: (i) study our Galaxy's origins by completing Gaia's phase-space information, providing metallicities to its limiting magnitude for ∼ 3 million stars and detailed abundances for ∼ 1.5 million brighter field and open-cluster stars; (ii) survey ∼ 0.4 million Galactic-plane OBA stars, young stellar objects and nearby gas to understand the evolution of young stars and their environments; (iii) perform an extensive spectral survey of white dwarfs; (iv) survey ∼ 400 neutral-hydrogen-selected galaxies with the IFUs; (v) study properties and kinematics of stellar populations and ionised gas in z 1 million spectra of LOFAR-selected radio sources; (viii) trace structures using intergalactic/circumgalactic gas at z > 2. Finally, we describe the WEAVE Operational Rehearsals using the WEAVE Simulator.PostprintPeer reviewe
The wide-field, multiplexed, spectroscopic facility WEAVE: Survey design, overview, and simulated implementation
WEAVE, the new wide-field, massively multiplexed spectroscopic survey
facility for the William Herschel Telescope, will see first light in late 2022.
WEAVE comprises a new 2-degree field-of-view prime-focus corrector system, a
nearly 1000-multiplex fibre positioner, 20 individually deployable 'mini'
integral field units (IFUs), and a single large IFU. These fibre systems feed a
dual-beam spectrograph covering the wavelength range 366959\,nm at
, or two shorter ranges at . After summarising the
design and implementation of WEAVE and its data systems, we present the
organisation, science drivers and design of a five- to seven-year programme of
eight individual surveys to: (i) study our Galaxy's origins by completing
Gaia's phase-space information, providing metallicities to its limiting
magnitude for 3 million stars and detailed abundances for
million brighter field and open-cluster stars; (ii) survey million
Galactic-plane OBA stars, young stellar objects and nearby gas to understand
the evolution of young stars and their environments; (iii) perform an extensive
spectral survey of white dwarfs; (iv) survey
neutral-hydrogen-selected galaxies with the IFUs; (v) study properties and
kinematics of stellar populations and ionised gas in cluster galaxies;
(vi) survey stellar populations and kinematics in field galaxies
at ; (vii) study the cosmic evolution of accretion
and star formation using million spectra of LOFAR-selected radio sources;
(viii) trace structures using intergalactic/circumgalactic gas at .
Finally, we describe the WEAVE Operational Rehearsals using the WEAVE
Simulator.Comment: 41 pages, 27 figures, accepted for publication by MNRA
The wide-field, multiplexed, spectroscopic facility WEAVE: Survey design, overview, and simulated implementation
WEAVE, the new wide-field, massively multiplexed spectroscopic survey facility for the William Herschel Telescope, will see first light in late 2022. WEAVE comprises a new 2-degree field-of-view prime-focus corrector system, a nearly 1000-multiplex fibre positioner, 20 individually deployable 'mini' integral field units (IFUs), and a single large IFU. These fibre systems feed a dual-beam spectrograph covering the wavelength range 366−959\,nm at R∼5000, or two shorter ranges at R∼20000. After summarising the design and implementation of WEAVE and its data systems, we present the organisation, science drivers and design of a five- to seven-year programme of eight individual surveys to: (i) study our Galaxy's origins by completing Gaia's phase-space information, providing metallicities to its limiting magnitude for ∼3 million stars and detailed abundances for ∼1.5 million brighter field and open-cluster stars; (ii) survey ∼0.4 million Galactic-plane OBA stars, young stellar objects and nearby gas to understand the evolution of young stars and their environments; (iii) perform an extensive spectral survey of white dwarfs; (iv) survey ∼400 neutral-hydrogen-selected galaxies with the IFUs; (v) study properties and kinematics of stellar populations and ionised gas in z1 million spectra of LOFAR-selected radio sources; (viii) trace structures using intergalactic/circumgalactic gas at z>2. Finally, we describe the WEAVE Operational Rehearsals using the WEAVE Simulator
Faibles perturbations des transaminases en médecine générale (analyse des pratiques et étude prospective descriptive des principales étiologies dans la région annécienne de mars à octobre 2010)
GRENOBLE1-BU Médecine pharm. (385162101) / SudocSudocFranceF
Streamability of nested word transductions
We consider the problem of evaluating in streaming (i.e., in a single
left-to-right pass) a nested word transduction with a limited amount of memory.
A transduction T is said to be height bounded memory (HBM) if it can be
evaluated with a memory that depends only on the size of T and on the height of
the input word. We show that it is decidable in coNPTime for a nested word
transduction defined by a visibly pushdown transducer (VPT), if it is HBM. In
this case, the required amount of memory may depend exponentially on the height
of the word. We exhibit a sufficient, decidable condition for a VPT to be
evaluated with a memory that depends quadratically on the height of the word.
This condition defines a class of transductions that strictly contains all
determinizable VPTs
Introduire les enjeux environnementaux et sociétaux du numérique en L3 informatique
National audienc