17,277 research outputs found
Static and dynamic semantics of NoSQL languages
We present a calculus for processing semistructured data that spans
differences of application area among several novel query languages, broadly
categorized as "NoSQL". This calculus lets users define their own operators,
capturing a wider range of data processing capabilities, whilst providing a
typing precision so far typical only of primitive hard-coded operators. The
type inference algorithm is based on semantic type checking, resulting in type
information that is both precise, and flexible enough to handle structured and
semistructured data. We illustrate the use of this calculus by encoding a large
fragment of Jaql, including operations and iterators over JSON, embedded SQL
expressions, and co-grouping, and show how the encoding directly yields a
typing discipline for Jaql as it is, namely without the addition of any type
definition or type annotation in the code
Photometric type Ia supernova surveys in narrow band filters
We study the characteristics of a narrow band type Ia supernova survey
through simulations based on the upcoming Javalambre Physics of the
accelerating universe Astrophysical Survey (J-PAS). This unique survey has the
capabilities of obtaining distances, redshifts, and the SN type from a single
experiment thereby circumventing the challenges faced by the resource-intensive
spectroscopic follow-up observations. We analyse the flux measurements
signal-to-noise ratio and bias, the supernova typing performance, the ability
to recover light curve parameters given by the SALT2 model, the photometric
redshift precision from type Ia supernova light curves and the effects of
systematic errors on the data. We show that such a survey is not only feasible
but may yield large type Ia supernova samples (up to 250 supernovae at
per month of search) with low core collapse contamination ( per
cent), good precision on the SALT2 parameters (average ,
and ) and on the distance modulus (average
, assuming an intrinsic scatter
), with identified systematic uncertainties
. Moreover, the
filters are narrow enough to detect most spectral features and obtain excellent
photometric redshift precision of , apart from 2 per
cent of outliers. We also present a few strategies for optimising the survey's
outcome. Together with the detailed host galaxy information, narrow band
surveys can be very valuable for the study of supernova rates, spectral feature
relations, intrinsic colour variations and correlations between supernova and
host galaxy properties, all of which are important information for supernova
cosmological applications.Comment: 20 pages, 12 tables and 26 figures. Version accepted by MNRAS, with
results slightly different from previous on
A Foundational View on Integration Problems
The integration of reasoning and computation services across system and
language boundaries is a challenging problem of computer science. In this
paper, we use integration for the scenario where we have two systems that we
integrate by moving problems and solutions between them. While this scenario is
often approached from an engineering perspective, we take a foundational view.
Based on the generic declarative language MMT, we develop a theoretical
framework for system integration using theories and partial theory morphisms.
Because MMT permits representations of the meta-logical foundations themselves,
this includes integration across logics. We discuss safe and unsafe integration
schemes and devise a general form of safe integration
From Stars to Super-planets: the Low-Mass IMF in the Young Cluster IC348
We investigate the low-mass population of the young cluster IC348 down to the
deuterium-burning limit, a fiducial boundary between brown dwarf and planetary
mass objects, using a new and innovative method for the spectral classification
of late-type objects. Using photometric indices, constructed from HST/NICMOS
narrow-band imaging, that measure the strength of the 1.9 micron water band, we
determine the spectral type and reddening for every M-type star in the field,
thereby separating cluster members from the interloper population. Due to the
efficiency of our spectral classification technique, our study is complete from
approx 0.7 Msun to 0.015 Msun. The mass function derived for the cluster in
this interval, dN/dlogM \propto M^{0.5}, is similar to that obtained for the
Pleiades, but appears significantly more abundant in brown dwarfs than the mass
function for companions to nearby sun-like stars. This provides compelling
observational evidence for different formation and evolutionary histories for
substellar objects formed in isolation vs. as companions. Because our
determination of the IMF is complete to very low masses, we can place
interesting constraints on the role of physical processes such as fragmentation
in the star and planet formation process and the fraction of dark matter in the
Galactic halo that resides in substellar objects.Comment: 37 pages, 16 figs, 6 tables (Table 4 is a separate LaTeX file)
Accepted for publication in Astrophysical Journal (Oct 1, 2000 issue
Good practice guidance for search service providers and advice to the public on how to search safely
Limb-darkening measurements for a cool red giant in microlensing event OGLE 2004-BLG-482
Aims: We present a detailed analysis of OGLE 2004-BLG-482, a relatively
high-magnification single-lens microlensing event which exhibits clear
extended-source effects. These events are relatively rare, but they potentially
contain unique information on the stellar atmosphere properties of their source
star, as shown in this study. Methods: Our dense photometric coverage of the
overall light curve and a proper microlensing modelling allow us to derive
measurements of the OGLE 2004-BLG-482 source star's linear limb-darkening
coefficients in three bands, including standard Johnson-Cousins I and R, as
well as in a broad clear filter. In particular, we discuss in detail the
problems of multi-band and multi-site modelling on the expected precision of
our results. We also obtained high-resolution UVES spectra as part of a ToO
programme at ESO VLT from which we derive the source star's precise fundamental
parameters. Results: From the high-resolution UVES spectra, we find that OGLE
2004-BLG-482's source star is a red giant of MK type a bit later than M3, with
Teff = 3667 +/- 150 K, log g = 2.1 +/- 1.0 and an assumed solar metallicity.
This is confirmed by an OGLE calibrated colour-magnitude diagram. We then
obtain from a detailed microlensing modelling of the light curve linear
limb-darkening coefficients that we compare to model-atmosphere predictions
available in the literature, and find a very good agreement for the I and R
bands. In addition, we perform a similar analysis using an alternative
description of limb darkening based on a principal component analysis of ATLAS
limb-darkening profiles, and also find a very good agreement between
measurements and model predictions.Comment: Accepted in A&
ADsafety: Type-Based Verification of JavaScript Sandboxing
Web sites routinely incorporate JavaScript programs from several sources into
a single page. These sources must be protected from one another, which requires
robust sandboxing. The many entry-points of sandboxes and the subtleties of
JavaScript demand robust verification of the actual sandbox source. We use a
novel type system for JavaScript to encode and verify sandboxing properties.
The resulting verifier is lightweight and efficient, and operates on actual
source. We demonstrate the effectiveness of our technique by applying it to
ADsafe, which revealed several bugs and other weaknesses.Comment: in Proceedings of the USENIX Security Symposium (2011
Stellar SEDs from 0.3-2.5 Microns: Tracing the Stellar Locus and Searching for Color Outliers in SDSS and 2MASS
The Sloan Digital Sky Survey (SDSS) and Two Micron All Sky Survey (2MASS) are
rich resources for studying stellar astrophysics and the structure and
formation history of the Galaxy. As new surveys and instruments adopt similar
filter sets, it is increasingly important to understand the properties of the
ugrizJHKs stellar locus, both to inform studies of `normal' main sequence stars
as well as for robust searches for point sources with unusual colors. Using a
sample of ~600,000 point sources detected by SDSS and 2MASS, we tabulate the
position and width of the ugrizJHKs stellar locus as a function of g-i color,
and provide accurate polynomial fits. We map the Morgan-Keenan spectral type
sequence to the median stellar locus by using synthetic photometry of spectral
standards and by analyzing 3000 SDSS stellar spectra with a custom spectral
typing pipeline. We develop an algorithm to calculate a point source's minimum
separation from the stellar locus in a seven-dimensional color space, and use
it to robustly identify objects with unusual colors, as well as spurious
SDSS/2MASS matches. Analysis of a final catalog of 2117 color outliers
identifies 370 white-dwarf/M dwarf (WDMD) pairs, 93 QSOs, and 90 M giant/carbon
star candidates, and demonstrates that WDMD pairs and QSOs can be distinguished
on the basis of their J-Ks and r-z colors. We also identify a group of objects
with correlated offsets in the u-g vs. g-r and g-r vs. r-i color-color spaces,
but subsequent follow-up is required to reveal the nature of these objects.
Future applications of this algorithm to a matched SDSS-UKIDSS catalog may well
identify additional classes of objects with unusual colors by probing new areas
of color-magnitude space.Comment: 23 pages in emulateapj format, 17 figures, 7 tables. Accepted for
publication in the Astronomical Journal. To access a high-resolution version
of this paper, as well as machine readable tables and an archive of 'The
Hammer' spectral typing suite, see http://www.cfa.harvard.edu/~kcovey v2 --
fixed typos in Table 7 (mainly affecting lines for M8-M10 III stars
A theory of contracts for web services
<p>Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a service with another service. The use of contracts statically ensures the successful completion of every possible interaction between compatible clients and services.</p>
<p>The technical device that underlies the theory is the definition of filters, which are explicit coercions that prevent some possible behaviours of services and, in doing so, they make services compatible with different usage scenarios. We show that filters can be seen as proofs of a sound and complete subcontracting deduction system which simultaneously refines and extends Hennessy's classical axiomatisation of the must testing preorder. The relation is decidable and the decision algorithm is obtained via a cut-elimination process that proves the coherence of subcontracting as a logical system.</p>
<p>Despite the richness of the technical development, the resulting approach is based on simple ideas and basic intuitions. Remarkably, its application is mostly independent of the language used to program the services or the clients. We also outline the possible practical impact of such a work and the perspectives of future research it opens.</p>
- âŠ