1,710 research outputs found
Moduli and periods of simply connected Enriques surfaces
We describe a period map for those simply connected Enriques surfaces in
characteristic 2 whose canonical double cover is K3. The moduli stack for these
surfaces has a Deligne-Mumford quotient that is an open substack of a -bundle over the period space. We also give some general results relating
local and global moduli for algebraic varieties and describe the difference in
their dimensions in terms of the failure of the automorphism group scheme to be
reduced
Observations of deep coral and sponge assemblages in Olympic Coast National Marine Sanctuary, Washington. Cruise Report: NOAA Ship McArthur II Cruise AR06-07/07
From May 22 to June 4, 2006, NOAA scientists led a research cruise using the ROPOS Remotely Operated Vehicle (ROV) to conduct a series of dives at targeted sites in the
Olympic Coast National Marine Sanctuary (OCNMS) with the goal of documenting deep coral and sponge communities. Dive sites were selected from areas for which OCNMS had side scan sonar data indicating the presence of hard or complex substrate. The team completed 11 dives in sanctuary waters ranging from six to 52 hours in length, at depths ranging from 100 to 650 meters. Transect surveys were completed at 15 pre-selected sites, with additional observations made at five other sites. The survey locations included sites both inside and outside the Essential Fish Habitat (EFH) Conservation Area, known as Olympic 2, established by the Pacific Fishery Management Council, enacted on June 12, 2006. Bottom trawling is prohibited in the Olympic 2 Conservation Area for nontribal fishermen. The Conservation Area covers 159.4 square nautical miles or about 15
percent of the sanctuary. Several species of corals and sponges were documented at 14 of the 15 sites surveyed, at sites both inside and outside the Conservation Area, including numerous gorgonians and the stony corals Lophelia pertusa and Desmophyllum dianthus, as well as small patches of the reef building sponge Farrea occa. The team also
documented Lophelia sp. and Desmophyllum sp. coral rubble, dead gorgonians, lost fishing gear, and other anthropogenic debris, supporting concerns over potential risks of
environmental disturbances to coral health. (PDF contains 60 pages.
Effect of an oil spill on benthic animals in the lower York River, Virginia
Although considerable study has been centered upon intertidal organisms with respect to their response to oil spills, most investigations have been conducted on exposed rocky intertidal habitats (1). Few studies are available which describe the response of benthic animal communities in mid-Atlantic estuaries and particularly in its largest estuary, Chesapeake Bay. This study documents both from field survey data and laboratory bioassay studies the effects of an accidental oil spill on the intertidal benthic communities of the Lower York River, Virginia
Layer by layer - Combining Monads
We develop a method to incrementally construct programming languages. Our
approach is categorical: each layer of the language is described as a monad.
Our method either (i) concretely builds a distributive law between two monads,
i.e. layers of the language, which then provides a monad structure to the
composition of layers, or (ii) identifies precisely the algebraic obstacles to
the existence of a distributive law and gives a best approximant language. The
running example will involve three layers: a basic imperative language enriched
first by adding non-determinism and then probabilistic choice. The first
extension works seamlessly, but the second encounters an obstacle, which
results in a best approximant language structurally very similar to the
probabilistic network specification language ProbNetKAT
Intervention and revision: Expertise and interaction in text mediation
Many EAL (English as an Additional Language) scholars enlist text mediators’ support when faced with the challenges of writing for international publication. However, the contributions these individuals are able to make in improving scientific manuscripts remains unclear, especially when language professionals such as English teachers do this work. In this article, we explore this topic by examining how three mediators employed their very different expertise and brought different processes to bear on the same discussion section of a medical manuscript written by a novice scholar in China. We find that successfully mediated texts are often the result of an interplay between the mediator’s expertise and the relationship between the participants. Our findings contradict those of previous studies that question the role of English teachers in this process and have the potential to inform both text mediation practices and revision studies
Axial Symmetry and Rotation in the SiO Maser Shell of IK Tauri
We observed v=1, J=1-0 43-GHz SiO maser emission toward the Mira variable IK
Tauri (IK Tau) using the Very Long Baseline Array (VLBA). The images resulting
from these observations show that SiO masers form a highly elliptical ring of
emission approximately 58 x 32 mas with an axial ratio of 1.8:1. The major axis
of this elliptical distribution is oriented at position angle of ~59 deg. The
line-of-sight velocity structure of the SiO masers has an apparent axis of
symmetry consistent with the elongation axis of the maser distribution.
Relative to the assumed stellar velocity of 35 km/s, the blue- and red-shifted
masers were found to lie to the northwest and southeast of this symmetry axis
respectively. This velocity structure suggests a NW-SE rotation of the SiO
maser shell with an equatorial velocity, which we determine to be ~3.6 km/s.
Such a NW-SE rotation is in agreement with a circumstellar envelope geometry
invoked to explain previous water and OH maser observations. In this geometry,
water and OH masers are preferentially created in a region of enhanced density
along the NE-SW equator orthogonal to the rotation/polar axis suggested by the
SiO maser velocities.Comment: 17 Pages, 4 figures (2 color); accepted for publication in Ap
Interferometric Observatories in Earth Orbit
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/76217/1/AIAA-1728-623.pd
Substitution, jumps, and algebraic effects
Contains fulltext :
129931.pdf (author's version ) (Open Access
Hubble Space Telescope Photometry of Hodge 301: An "Old" Star Cluster in 30 Doradus
We present Hubble Space Telescope Planetary Camera UVI data for the
little-studied cluster Hodge 301 3' northwest of 30 Doradus' central ionizing
cluster R136. The average reddening of Hodge 301 is found to be =
(0.28+-0.05) mag from published infrared and ultraviolet photometry. Using two
different sets of evolutionary models, we derive an age of ~ 20-25 Myr for
Hodge 301, which makes it roughly 10 times as old as R136. Hodge 301 is the
most prominent representative of the oldest population in the 30 Dor starburst
region; a region that has undergone multiple star formation events. This range
of ages is an important consideration for the modelling of starburst regions.
Hodge 301 shows a widened upper main sequence largely caused by Be stars. We
present a list of Be star candidates. The slope of the initial mass function
for intermediate-mass main sequence stars ranging from 10 to 1.3 solar masses
is found to be -1.4+-0.1 in good agreement with a Salpeter law. There is no
indication for a truncation or change of slope of the IMF within this mass
range. In accordance with the age of Hodge 301 no obvious pre-main-sequence
stars are seen down to 1 solar mass. We estimate that up to 41+-7 stars with
more than 12 solar masses may have turned into supernovae since the formation
of the cluster. Multiple supernova explosions are the most likely origin of the
extremely violent gas motions and the diffuse X-ray emission observed in the
cluster surroundings.Comment: To appear in the Astronomical Journal (Feb 2000 issue). 16 pages in
two-column style. 9 separate figures, in part in significantly reduced
resolution for space reasons (bitmapped postscript or jpg
Extended Initiality for Typed Abstract Syntax
Initial Semantics aims at interpreting the syntax associated to a signature
as the initial object of some category of 'models', yielding induction and
recursion principles for abstract syntax. Zsid\'o proves an initiality result
for simply-typed syntax: given a signature S, the abstract syntax associated to
S constitutes the initial object in a category of models of S in monads.
However, the iteration principle her theorem provides only accounts for
translations between two languages over a fixed set of object types. We
generalize Zsid\'o's notion of model such that object types may vary, yielding
a larger category, while preserving initiality of the syntax therein. Thus we
obtain an extended initiality theorem for typed abstract syntax, in which
translations between terms over different types can be specified via the
associated category-theoretic iteration operator as an initial morphism. Our
definitions ensure that translations specified via initiality are type-safe,
i.e. compatible with the typing in the source and target language in the
obvious sense. Our main example is given via the propositions-as-types
paradigm: we specify propositions and inference rules of classical and
intuitionistic propositional logics through their respective typed signatures.
Afterwards we use the category--theoretic iteration operator to specify a
double negation translation from the former to the latter. A second example is
given by the signature of PCF. For this particular case, we formalize the
theorem in the proof assistant Coq. Afterwards we specify, via the
category-theoretic iteration operator, translations from PCF to the untyped
lambda calculus
- …