1,645 research outputs found
Predictors of nonâadherence to prescribed prophylactic clottingâfactor treatment regimens among adolescent and young adults with a bleeding disorder
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/133588/1/hae12951_am.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/133588/2/hae12951.pd
Equations over free inverse monoids with idempotent variables
We introduce the notion of idempotent variables for studying equations in
inverse monoids.
It is proved that it is decidable in singly exponential time (DEXPTIME)
whether a system of equations in idempotent variables over a free inverse
monoid has a solution. The result is proved by a direct reduction to solve
language equations with one-sided concatenation and a known complexity result
by Baader and Narendran: Unification of concept terms in description logics,
2001. We also show that the problem becomes DEXPTIME hard , as soon as the
quotient group of the free inverse monoid has rank at least two.
Decidability for systems of typed equations over a free inverse monoid with
one irreducible variable and at least one unbalanced equation is proved with
the same complexity for the upper bound.
Our results improve known complexity bounds by Deis, Meakin, and Senizergues:
Equations in free inverse monoids, 2007.
Our results also apply to larger families of equations where no decidability
has been previously known.Comment: 28 pages. The conference version of this paper appeared in the
proceedings of 10th International Computer Science Symposium in Russia, CSR
2015, Listvyanka, Russia, July 13-17, 2015. Springer LNCS 9139, pp. 173-188
(2015
Classical Structures Based on Unitaries
Starting from the observation that distinct notions of copying have arisen in
different categorical fields (logic and computation, contrasted with quantum
mechanics) this paper addresses the question of when, or whether, they may
coincide. Provided all definitions are strict in the categorical sense, we show
that this can never be the case. However, allowing for the defining axioms to
be taken up to canonical isomorphism, a close connection between the classical
structures of categorical quantum mechanics, and the categorical property of
self-similarity familiar from logical and computational models becomes
apparent.
The required canonical isomorphisms are non-trivial, and mix both typed
(multi-object) and untyped (single-object) tensors and structural isomorphisms;
we give coherence results that justify this approach.
We then give a class of examples where distinct self-similar structures at an
object determine distinct matrix representations of arrows, in the same way as
classical structures determine matrix representations in Hilbert space. We also
give analogues of familiar notions from linear algebra in this setting such as
changes of basis, and diagonalisation.Comment: 24 pages,7 diagram
The White Dwarf Luminosity Function: The Shape of Things to Come
We describe a new survey for cool white dwarfs that supplements Sloan Digital Sky Survey photometry with USNO proper motions and followup spectroscopy. To date we have discovered and spectroscopically confirmed 80 new moderate temperature and cool white dwarfs. We have also found a handful of high-velocity white dwarfs and we expect a sizable fraction of these to be thick disk or possibly halo objects. Our survey is designed to find 104 new white dwarfs, although only 60 will be among the faintest white dwarfs (MV 16), where most of the age-sensitivity resides. We discuss an extension of our survey to V 22
Identification of A-colored Stars and Structure in the Halo of the Milky Way from SDSS Commissioning Data
A sample of 4208 objects with magnitude 15 < g* < 22 and colors of main
sequence A stars has been selected from 370 square degrees of Sloan Digital Sky
Survey (SDSS) commissioning observations. The data is from two long, narrow
stripes, each with an opening angle of greater than 60 deg, at Galactic
latitudes 36 < abs(b) < 63 on the celestial equator. An examination of the
sample's distribution shows that these stars trace considerable substructure in
the halo. Large overdensities of A-colored stars in the North at (l,b,R) =
(350, 50, 46 kpc) and in the South at (157, -58, 33 kpc) and extending over
tens of degrees are present in the halo of the Milky Way. Using photometry to
separate the stars by surface gravity, both structures are shown to contain a
sequence of low surface gravity stars consistent with identification as a blue
horizontal branch (BHB). Both structures also contain a population of high
surface gravity stars two magnitudes fainter than the BHB stars, consistent
with their identification as blue stragglers (BSs). From the numbers of
detected BHB stars, lower limits to the implied mass of the structures are
6x10^6 M_sun and 2x10^6 M_sun. The fact that two such large clumps have been
detected in a survey of only 1% of the sky indicates that such structures are
not uncommon in the halo. Simple spheroidal parameters are fit to a complete
sample of the remaining unclumped BHB stars and yield (at r < 40 kpc) a fit to
a halo distribution with flattening (c/a = 0.65+/-0.2) and a density falloff
exponent of alpha = -3.2+/-0.3.Comment: AASTeX v5_0, 26 pages, 1 table, 20 figures, ApJ accepte
On the Munn-Silbey approach to polaron transport with off-diagonal coupling
Improved results using a method similar to the Munn-Silbey approach have been
obtained on the temperature dependence of transport properties of an extended
Holstein model incorporating simultaneous diagonal and off-diagonal
exciton-phonon coupling. The Hamiltonian is partially diagonalized by a
canonical transformation, and optimal transformation coefficients are
determined in a self-consistent manner. Calculated transport properties exhibit
substantial corrections on those obtained previously by Munn and Silbey for a
wide range of temperatures thanks to a numerically exact evaluation and an
added momentum-dependence of the transformation matrix. Results on the
diffusion coefficient in the moderate and weak coupling regime show distinct
band-like and hopping-like transport features as a function of temperature.Comment: 12 pages, 6 figures, accpeted in Journal of Physical Chemistry B:
Shaul Mukamel Festschrift (2011
High-Redshift Quasars Found in Sloan Digital Sky Survey Commissioning Data III: A Color Selected Sample at i^*<20 in the Fall Equatorial Stripe
This is the third paper in a series aimed at finding high-redshift quasars
from five-color (u'g'r'i'z') imaging data taken along the Celestial Equator by
the SDSS during its commissioning phase. In this paper, we first present the
observations of 14 bright high-redshift quasars (3.66<z<4.77, i^*<20)
discovered in the SDSS Fall Equatorial Stripe, and the SDSS photometry of two
previously known high-redshift quasars in the same region of the sky. Combined
with the quasars presented in previous papers, we define a color-selected
flux-limited sample of 39 quasars at 3.6 < z < 5.0 and i^*<20, covering a total
effective area of 182 deg^2. From this sample, we estimate the average spectral
power law slope in the rest-frame ultraviolet for quasars at z~4 to be -0.79
with a standard deviation of 0.34, and the average rest-frame equivalent width
of the Ly alpha+N V emission line to be 69 A with a standard deviation of 18 A.
The selection completeness of this multicolor sample is determined from the
model colors of high-redshift quasars, taking into account the distributions of
emission line strengths, intrinsic continuum slope, the line and continuum
absorption from intervening material, and the effects of photometric errors.
The average completeness of this sample is about 75%. The selection function
calculated in this paper will be used to correct the incompleteness of this
color-selected sample and to derive the high-redshift quasar luminosity
function in a subsequent paper. In the Appendix, we present the observations of
an additional 18 faint quasars (3.57<z<4.80, 20.1<i^*<20.8) discovered in the
region on the sky that has been imaged twice. Several quasars presented in this
paper exhibit interesting properties, including a radio-loud quasar at z=4.77,
and a narrow-line quasar (FWHM = 1500 km s^-1) at z=3.57.Comment: AJ accepted (Jan 2001), with minor changes; high-resolution finding
charts available at http://www.sns.ias.edu/~fan/papers/q3.p
- âŠ