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 $\mathbb P^1$-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.

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

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

Interferometric Observatories in Earth Orbit

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/76217/1/AIAA-1728-623.pd

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

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

Application of maximum entropy optimal projection design synthesis to a benchmark problem

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/76995/1/AIAA-20955-739.pd

Matriptase regulates c-Met mediated proliferation and invasion in inflammatory breast cancer.

The poor prognosis for patients with inflammatory breast cancer (IBC) compared to patients with other types of breast cancers emphasizes the need to better understand the molecular underpinnings of this disease with the goal of developing effective targeted therapeutics. Dysregulation of matriptase expression, an epithelial-specific member of the type II transmembrane serine protease family, has been demonstrated in many different cancer types. To date, no studies have assessed the expression and potential pro-oncogenic role of matriptase in IBC. We examined the functional relationship between matriptase and the HGF/c-MET signaling pathway in the IBC cell lines SUM149 and SUM190, and in IBC patient samples. Matriptase and c-Met proteins are localized on the surface membrane of IBC cells and their expression is strongly correlated in infiltrating cancer cells and in the cancer cells of lymphatic emboli in patient samples. Abrogation of matriptase expression by silencing with RNAi or inhibition of matriptase proteolytic activity with a synthetic inhibitor impairs the conversion of inactive pro-HGF to active HGF and subsequent c-Met-mediated signaling, leading to efficient impairment of proliferation and invasion of IBC cells. These data show the potential of matriptase inhibitors as a novel targeted therapy for IBC, and lay the groundwork for the development and testing of such drugs