Eye-Tracking in Virtual Reality: A Visceral Notice Approach for Protecting Privacy

Eye-tracking is in our future. Across many fields, eye-tracking is growing in prominence. This paper focuses on eye-tracking in virtual reality as a case study to illuminate novel privacy risks and propose a governance response to them: a design shift that provides users with an experientially resonant means of understanding privacy threats. It is a strategy that Ryan Calo calls “visceral notice.” To make our case for visceral notice, we proceed as follows. First, we provide a concise account of how eye-tracking works, emphasizing its threat to autonomy and privacy.  Second, we discuss the sensitive personal information that eye-tracking reveals, complications that limit what eye-tracking studies establish, and the comparative advantage large technology companies may have when tracking our eyes.  Third, we explain why eye-tracking will likely be crucial for developing virtual reality technology. Fourth, we review Calo’s conception of visceral notice and offer suggestions for applying it to virtual reality to help users better appreciate eye-tracking risks. Finally, we consider seven objections to our proposals and provide counterpoints to them. &nbsp

Architecture and Information Requirements to Assess and Predict Flight Safety Risks During Highly Autonomous Urban Flight Operations

As aviation adopts new and increasingly complex operational paradigms, vehicle types, and technologies to broaden airspace capability and efficiency, maintaining a safe system will require recognition and timely mitigation of new safety issues as they emerge and before significant consequences occur. A shift toward a more predictive risk mitigation capability becomes critical to meet this challenge. In-time safety assurance comprises monitoring, assessment, and mitigation functions that proactively reduce risk in complex operational environments where the interplay of hazards may not be known (and therefore not accounted for) during design. These functions can also help to understand and predict emergent effects caused by the increased use of automation or autonomous functions that may exhibit unexpected non-deterministic behaviors. The envisioned monitoring and assessment functions can look for precursors, anomalies, and trends (PATs) by applying model-based and data-driven methods. Outputs would then drive downstream mitigation(s) if needed to reduce risk. These mitigations may be accomplished using traditional design revision processes or via operational (and sometimes automated) mechanisms. The latter refers to the in-time aspect of the system concept. This report comprises architecture and information requirements and considerations toward enabling such a capability within the domain of low altitude highly autonomous urban flight operations. This domain may span, for example, public-use surveillance missions flown by small unmanned aircraft (e.g., infrastructure inspection, facility management, emergency response, law enforcement, and/or security) to transportation missions flown by larger aircraft that may carry passengers or deliver products. Caveat: Any stated requirements in this report should be considered initial requirements that are intended to drive research and development (R&D). These initial requirements are likely to evolve based on R&D findings, refinement of operational concepts, industry advances, and new industry or regulatory policies or standards related to safety assurance

Mixing Type Checking and Symbolic Execution (Extended Version)

Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that algorithm is then extensively tweaked to add just enough precision for the coding idioms seen in practice, without sacrificing too much efficiency. There are several downsides to adding precision in this way: the tool's implementation becomes much more complicated; it can be hard for an end-user to interpret the tool's results; and as software systems vary tremendously in their coding styles, it may require significant algorithmic engineering to enhance a tool to perform well in a particular software domain. In this paper, we present Mix, a novel system that mixes type checking and symbolic execution. The key aspect of our approach is that these analyses are applied independently on disjoint parts of the program, in an off-the-shelf manner. At the boundaries between nested type checked and symbolically executed code regions, we use special mix rules to communicate information between the off-the-shelf systems. The resulting mixture is a provably sound analysis that is more precise than type checking alone and more efficient than exclusive symbolic execution. In addition, we also describe a prototype implementation, Mixy, for C. Mixy checks for potential null dereferences by mixing a null/non-null type qualifier inference system with a symbolic executo

Accounting for variability when resurrecting dormant propagules substantiates their use in eco-evolutionary studies

There has been a steady rise in the use of dormant propagules to study biotic responses to environmental change over time. This is particularly important for organisms that strongly mediate ecosystem processes, as changes in their traits over time can provide a unique snapshot into the structure and function of ecosystems from decades to millennia in the past. Understanding sources of bias and variation is a challenge in the field of resurrection ecology, including those that arise because often-used measurements like seed germination success are imperfect indicators of propagule viability. Using a Bayesian statistical framework, we evaluated sources of variability and tested for zero-inflation and overdispersion in data from 13 germination trials of soil-stored seeds of Schoenoplectus americanus, an ecosystem engineer in coastal salt marshes in the Chesapeake Bay. We hypothesized that these two model structures align with an ecological understanding of dormancy and revival: zero-inflation could arise due to failed germinations resulting from inviability or failed attempts to break dormancy, and overdispersion could arise by failing to measure important seed traits. A model that accounted for overdispersion, but not zero-inflation, was the best fit to our data. Tetrazolium viability tests corroborated this result: most seeds that failed to germinate did so because they were inviable, not because experimental methods failed to break their dormancy. Seed viability declined exponentially with seed age and was mediated by seed provenance and experimental conditions. Our results provide a framework for accounting for and explaining variability when estimating propagule viability from soil-stored natural archives which is a key aspect of using dormant propagules in eco-evolutionary studies

Eosinophils Are Recruited in Response to Chitin Exposure and Enhance Th2-Mediated Immune Pathology in Aspergillus fumigatus Infection

In patients infected with the fungus Aspergillus fumigatus, Th1 responses are considered protective, while Th2 responses are associated with increased morbidity and mortality. How host-pathogen interactions influence the development of these protective or detrimental immune responses is not clear. We compared lung immune responses to conidia from two fungal isolates that expressed different levels of the fungal cell wall component chitin. We observed that repeated aspirations of the high-chitin-expressing isolate Af5517 induced increased airway eosinophilia in the lungs of recipient mice compared to the level of eosinophilia induced by isolate Af293. CD4+ T cells in the bronchoalveolar lavage fluid (BALF) of Af5517-aspirated mice displayed decreased gamma interferon secretion and increased interleukin-4 transcription. In addition, repeated aspirations of Af5517 induced lung transcription of the Th2-associated chemokines CCL11 (eotaxin-1) and CCL22 (macrophage-derived chemokine). Eosinophil recruitment in response to conidial aspiration was correlated with the level of chitin exposure during germination and was decreased by constitutive lung chitinase expression. Moreover, eosinophil-deficient mice subjected to multiple aspirations of Af5517 prior to neutrophil depletion and infection exhibited decreased morbidity and fungal burden compared to the levels of morbidity and fungal burden found in wild-type mice. These results suggest that exposure of chitin in germinating conidia promotes eosinophil recruitment and ultimately induces Th2-skewed immune responses after repeated aspiration. Furthermore, our results suggest that eosinophils should be examined as a potential therapeutic target in patients that mount poorly protective Th2 responses to A. fumigatus infection

Carbon budget of the Harvard Forest Long- Term Ecological Research site: pattern, process, and response to global change

How, where, and why carbon (C) moves into and out of an ecosystem through time are long- standing questions in biogeochemistry. Here, we bring together hundreds of thousands of C- cycle observations at the Harvard Forest in central Massachusetts, USA, a mid- latitude landscape dominated by 80- 120- yr- old closed- canopy forests. These data answered four questions: (1) where and how much C is presently stored in dominant forest types; (2) what are current rates of C accrual and loss; (3) what biotic and abiotic factors contribute to variability in these rates; and (4) how has climate change affected the forest- s C cycle? Harvard Forest is an active C sink resulting from forest regrowth following land abandonment. Soil and tree biomass comprise nearly equal portions of existing C stocks. Net primary production (NPP) averaged 680- 750 g C·m- 2·yr- 1; belowground NPP contributed 38- 47% of the total, but with large uncertainty. Mineral soil C measured in the same inventory plots in 1992 and 2013 was too heterogeneous to detect change in soil- C pools; however, radiocarbon data suggest a small but persistent sink of 10- 30 g C·m- 2·yr- 1. Net ecosystem production (NEP) in hardwood stands averaged ~300 g C·m- 2·yr- 1. NEP in hemlock- dominated forests averaged ~450 g C·m- 2·yr- 1 until infestation by the hemlock woolly adelgid turned these stands into a net C source. Since 2000, NPP has increased by 26%. For the period 1992- 2015, NEP increased 93%. The increase in mean annual temperature and growing season length alone accounted for ~30% of the increase in productivity. Interannual variations in GPP and NEP were also correlated with increases in red oak biomass, forest leaf area, and canopy- scale light- use efficiency. Compared to long- term global change experiments at the Harvard Forest, the C sink in regrowing biomass equaled or exceeded C cycle modifications imposed by soil warming, N saturation, and hemlock removal. Results of this synthesis and comparison to simulation models suggest that forests across the region are likely to accrue C for decades to come but may be disrupted if the frequency or severity of biotic and abiotic disturbances increases.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/163495/3/ecm1423_am.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/163495/2/ecm1423-sup-0001-AppendixS1.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/163495/1/ecm1423.pd

Identification of amino acid residues responsible for von Willebrand factor binding to sulfatide by charged-to-alanine-scanning mutagenesis

von Willebrand factor (VWF) performs its hemostatic functions through binding to various proteins. The A1 domain of VWF contains binding sites of not only physiologically important ligands, but also exogenous modulators that induce VWF-platelet aggregation. Sulfatides, 3-sulfated galactosyl ceramides, that are expressed on oligodendrocytes, renal tubular cells, certain tumor cells and platelets, have been suggested to interact with VWF under some pathological conditions. The binding of VWF to sulfatide requires the A1 domain, but its binding sites have not been precisely identified. Here, we report that alanine mutations at Arg1392, Arg1395, Arg1399 and Lys1423 led to decreased VWF–sulfatide binding. These sites have been reported to be the binding sites for platelet membrane glycoprotein (GP) Ib and/or snake venom botrocetin, and, interestingly, are identical to the monoclonal antibody (mAb) NMC4 epitope previously reported to inhibit the VWF-GPIb interaction. We observed that NMC4 also inhibited VWF interaction with sulfatides in a dose-dependent manner. Thus, we conclude that VWF binding sites of sulfatide overlap those of platelet GPIb and botrocetin