Torsion models for tensor-triangulated categories: the one-step case

Given a suitable stable monoidal model category $\mathscr{C}$ and a specialization closed subset $V$ of its Balmer spectrum one can produce a Tate square for decomposing objects into the part supported over $V$ and the part supported over $V^c$ spliced with the Tate object. Using this one can show that $\mathscr{C}$ is Quillen equivalent to a model built from the data of local torsion objects, and the splicing data lies in a rather rich category. As an application, we promote the torsion model for the homotopy category of rational circle-equivariant spectra from [18] to a Quillen equivalence. In addition, a close analysis of the one step case highlights important features needed for general torsion models which we will return to in future work.Comment: 35 pages, minor changes in the introductio

Field deployments of a self-contained subsea platform for acoustic monitoring of the environment around marine renewable energy structurea

The drive towards sustainable energy has seen rapid development of marine renewable energy devices, and current efforts are focusing on wave and tidal stream energy. The NERC/DEFRA collaboration FLOWBEC-4D (Flow, Water column & Benthic Ecology 4D) is addressing the lack of knowledge of the environmental and ecological effects of installing and operating large arrays of wave and tidal energy devices. The FLOWBEC sonar platform combines a number of instruments to record information at a range of physical and multi-trophic levels. Data are recorded at a resolution of several measurements per second, for durations of 2 weeks to capture an entire spring-neap tidal cycle. An upward-facing multifrequency Simrad EK60 echosounder (38, 120 and 200 kHz) is synchronized with an upward-facing Imagenex 837B Delta T multibeam sonar (120° × 20° beamwidth, 260 kHz) aligned with the tidal flow. An ADV is used for local current measurements and a fluorometer is used to measure chlorophyll (as a proxy for plankton) and turbidity. The platform is self-contained with no cables or anchors, facilitating rapid deployment and recovery in high-energy sites and flexibility in allowing baseline data to be gathered. Five 2-week deployments were completed in 2012 and 2013 at wave and tidal energy sites, both in the presence and absence of renewable energy structures. These surveys were conducted at the European Marine Energy Centre, Orkney, UK. Algorithms for noise removal, target detection and target tracking have been written using a combination of LabVIEW, MATLAB and Echoview. Target morphology, behavior and frequency response are used to aid target classification, with concurrent shore-based seabird observations used to ground truth the acoustic data. Using this information, the depth preference and interactions of birds, fish schools and marine mammals with renewable energy structures can be tracked. Seabird and mammal dive profiles, predator-prey interactions a- d the effect of hydrodynamic processes during foraging events throughout the water column can also be analyzed. These datasets offer insights into how fish, seabirds and marine mammals successfully forage within dynamic marine habitats and also whether individuals face collision risks with tidal stream turbines. Measurements from the subsea platform are complemented by 3D hydrodynamic model data and concurrent shore-based marine X-band radar. This range of concurrent fine-scale information across physical and trophic levels will improve our understanding of how the fine-scale physical influence of currents, waves and turbulence at tidal and wave energy sites affect the behavior of marine wildlife, and how tidal and wave energy devices might alter the behavior of such wildlife. Together, the results from these deployments increase our environmental understanding of the physical and ecological effects of installing and operating marine renewable energy devices. These results can be used to guide marine spatial planning, device design, licensing and operation, as individual devices are scaled up to arrays and new sites are considered. The combination of our current technology and analytical approach can help to de-risk the licensing process by providing a higher level of certainty about the behavior of a range of mobile marine species in high energy environments. It is likely that this approach will lead to greater mechanistic understanding of how and why mobile predators use these high energy areas for foraging. If a fuller understanding and quantification can be achieved at single demonstration scales, and these are found to be similar, then the predictive power of the outcomes might lead to a wider strategic approach to monitoring and possibly lead to a reduction in the level of monitoring required at each commercial site

Routine Microsecond Molecular Dynamics Simulations with AMBER on GPUs. 1. Generalized Born

We present an implementation of generalized Born implicit solvent all-atom classical molecular dynamics (MD) within the AMBER program package that runs entirely on CUDA enabled NVIDIA graphics processing units (GPUs). We discuss the algorithms that are used to exploit the processing power of the GPUs and show the performance that can be achieved in comparison to simulations on conventional CPU clusters. The implementation supports three different precision models in which the contributions to the forces are calculated in single precision floating point arithmetic but accumulated in double precision (SPDP), or everything is computed in single precision (SPSP) or double precision (DPDP). In addition to performance, we have focused on understanding the implications of the different precision models on the outcome of implicit solvent MD simulations. We show results for a range of tests including the accuracy of single point force evaluations and energy conservation as well as structural properties pertainining to protein dynamics. The numerical noise due to rounding errors within the SPSP precision model is sufficiently large to lead to an accumulation of errors which can result in unphysical trajectories for long time scale simulations. We recommend the use of the mixed-precision SPDP model since the numerical results obtained are comparable with those of the full double precision DPDP model and the reference double precision CPU implementation but at significantly reduced computational cost. Our implementation provides performance for GB simulations on a single desktop that is on par with, and in some cases exceeds, that of traditional supercomputers

Mitigating agency risk between investors and ventures’ managers

The general management literature has long focused on the agency risks involved in the relationship between general managers and shareholders. Shareholders can deploy contractual and non-contractual mechanisms to reduce these inefficiencies. This study examines - based on a broad international sample of investment contracts - how the use of contractual and non-contractual mechanisms is related to the degree of risks associated with the venture’s development stage as well as how these practices differ across countries. Hypotheses are tested using a proprietary dataset of 265 hand-collected investment contracts associated with ventures in the U.S., Israel and nine European countries. Findings suggest that the use of mitigating contractual and non-contractual mechanisms is related to the degree of agency risks, and that these practices vary across countries. This study draws implications for how investors can best deploy their capital in different institutional settings whilst nurturing their relationships with managers and entrepreneurs

Spring warming in Yukon mountains is not amplified by the snow albedo feedback

Decreasing spring snow cover may amplify Arctic warming through the snow albedo feedback. To examine the impact of snowmelt on increasing temperature we used a 5,000 m elevation gradient in Yukon, Canada, extending from valley-bottom conifer forests, through middle elevation tundra, to high elevation icefields, to compare validated downscaled reanalysis air temperature patterns across elevational bands characterized by different patterns of spring snowmelt. From 2000 to 2014 we observed surface warming of 0.01 °C/a·1,000 m in May (0.14 °C/a at 1,000 m to 0.19 °C/a at 5,000 m), and uniform cooling of 0.09 °C/a in June at all elevations. May temperature trends across elevationally dependent land cover types were highly correlated with each other despite large variations in albedo and snow cover trends. Furthermore, a clear dependency of infrared skin temperature on snow cover mediated albedo decline was observed in tundra, but this was insufficient to influence average diurnal air temperature. We observed negative June temperature trends which we attribute to increasing daytime cloud cover because albedo and snow cover trends were unchanging. We conclude that 8-day and monthly averaged Spring air temperature trends are responding to a synoptic external forcing that is much stronger than the snow albedo feedback in sub-Arctic mountains

Governing software: networks, databases and algorithmic power in the digital governance of public education

This article examines the emergence of ‘digital governance’ in public education in England. Drawing on and combining concepts from software studies, policy and political studies, it identifies some specific approaches to digital governance facilitated by network-based communications and database-driven information processing software that are being discursively promoted in education by cross-sectoral intermediary organizations. Such intermediaries, including National Endowment for Science, Technology and the Arts, Demos, the Innovation Unit, the Education Foundation and the Nominet Trust, are increasingly seeking to participate in new digitally mediated forms of educational governance. Through their promotion of network-based pedagogies and database-driven analytics software, these organizations are seeking to delegate educational decision-making to socio-algorithmic forms of power that have the capacity to predict, govern and activate learners' capacities and subjectivities

Detecting the Companions and Ellipsoidal Variations of RS CVn Primaries: II. omicron Draconis, a Candidate for Recent Low-Mass Companion Ingestion

To measure the stellar and orbital properties of the metal-poor RS CVn binary o Draconis (o Dra), we directly detect the companion using interferometric observations obtained with the Michigan InfraRed Combiner at Georgia State University's Center for High Angular Resolution Astronomy (CHARA) Array. The H-band flux ratio between the primary and secondary stars is the highest confirmed flux ratio (370 +/- 40) observed with long-baseline optical interferometry. These detections are combined with radial velocity data of both the primary and secondary stars, including new data obtained with the Tillinghast Reflector Echelle Spectrograph on the Tillinghast Reflector at the Fred Lawrence Whipple Observatory and the 2-m Tennessee State University Automated Spectroscopic Telescope at Fairborn Observatory. We determine an orbit from which we find model-independent masses and ages of the components (M_A = 1.35 +\- 0.05 M_Sun, M_B = 0.99 +\- 0.02 M_Sun, system age = 3.0 -\+ 0.5 Gyr). An average of a 23-year light curve of o Dra from the Tennessee State University Automated Photometric Telescope folded over the orbital period newly reveals eclipses and the quasi-sinusoidal signature of ellipsoidal variations. The modeled light curve for our system's stellar and orbital parameters confirm these ellipsoidal variations due to the primary star partially filling its Roche lobe potential, suggesting most of the photometric variations are not due to stellar activity (starspots). Measuring gravity darkening from the average light curve gives a best-fit of beta = 0.07 +\- 0.03, a value consistent with conventional theory for convective envelope stars. The primary star also exhibits an anomalously short rotation period, which, when taken with other system parameters, suggests the star likely engulfed a low-mass companion that had recently spun-up the star.Comment: 14 pages, 13 figures, Accepted to Ap

Resonant transmission through an open quantum dot

We have measured the low-temperature transport properties of a quantum dot formed in a one-dimensional channel. In zero magnetic field this device shows quantized ballistic conductance plateaus with resonant tunneling peaks in each transition region between plateaus. Studies of this structure as a function of applied perpendicular magnetic field and source-drain bias indicate that resonant structure deriving from tightly bound states is split by Coulomb charging at zero magnetic field.Comment: To be published in Phys. Rev. B (1997). 8 LaTex pages with 5 figure

Factive and nonfactive mental state attribution

Factive mental states, such as knowing or being aware, can only link an agent to the truth; by contrast, nonfactive states, such as believing or thinking, can link an agent to either truths or falsehoods. Researchers of mental state attribution often draw a sharp line between the capacity to attribute accurate states of mind and the capacity to attribute inaccurate or “reality-incongruent” states of mind, such as false belief. This article argues that the contrast that really matters for mental state attribution does not divide accurate from inaccurate states, but factive from nonfactive ones