Educação matemática pela arte
Gusmão, Lucimar Donizete
2013-08-28
Search results
440 records were found.
Comment: 11 pages, 18 figures, accepted on A&A. New version fixing some typos.
This is the version actually in press
Comment: Manuscript (5 pages, 3 figures) and supplementary material (8 pages,
9 figures); v2 includes additional supplementary material and references; to
be published in Phys. Rev. Lett
Comment: 18 pages, 16 figures; v2: 3 plots added. The version to appear in PRD
Comment: 8 pages. v2 minor typos corrected
We study alternating register automata on data words and data trees in
relation to logics. A data word (resp. data tree) is a word (resp. tree) whose
every position carries a label from a finite alphabet and a data value from an
infinite domain. We investigate one-way automata with alternating control over
data words or trees, with one register for storing data and comparing them for
equality. This is a continuation of the study started by Demri, Lazic and
Jurdzinski. From the standpoint of register automata models, this work aims at
two objectives: (1) simplifying the existent decidability proofs for the
emptiness problem for alternating register automata; and (2) exhibiting
decidable extensions for these models. From the logical perspective, we show
that (a) in the case of data words, satisfiability of LTL with one register and
qua...
Comment: 15 pages; based on a talk at QTS-7 Conference, Prague, August 7-13,
2011
Comment: 8 pages, 3 figures, http://link.aps.org/doi/10.1103/PhysRevB.56.12238
The chemical composition of the interstellar medium is determined by gas
phase chemistry, assisted by grain surface reactions, and by shock chemistry.
The aim of this study is to measure the abundance of the hydroxyl radical (OH)
in diffuse spiral arm clouds as a contribution to our understanding of the
underlying network of chemical reactions. Owing to their high critical density,
the ground states of light hydrides provide a tool to directly estimate column
densities by means of absorption spectroscopy against bright background
sources. We observed onboard the SOFIA observatory the 2Pi3/2, J = 5/2 3/2 2.5
THz line of ground-state OH in the diffuse clouds of the Carina-Sagittarius
spiral arm. OH column densities in the spiral arm clouds along the sightlines
to W49N, W51 and G34.26+0.15 were found to be of the order of 10^14 cm^-2,
w...
Comment: LaTex 11 pages, 3 figures
Comment: 7 Pages,1 table for Results, 1 table for Cryptanalysis and 6 figures
