Biophotonic Tools in Cell and Tissue Diagnostics.

In order to maintain the rapid advance of biophotonics in the U.S. and enhance our competitiveness worldwide, key measurement tools must be in place. As part of a wide-reaching effort to improve the U.S. technology base, the National Institute of Standards and Technology sponsored a workshop titled "Biophotonic tools for cell and tissue diagnostics." The workshop focused on diagnostic techniques involving the interaction between biological systems and photons. Through invited presentations by industry representatives and panel discussion, near- and far-term measurement needs were evaluated. As a result of this workshop, this document has been prepared on the measurement tools needed for biophotonic cell and tissue diagnostics. This will become a part of the larger measurement road-mapping effort to be presented to the Nation as an assessment of the U.S. Measurement System. The information will be used to highlight measurement needs to the community and to facilitate solutions

Combining Static and Dynamic Contract Checking for Curry

Static type systems are usually not sufficient to express all requirements on function calls. Hence, contracts with pre- and postconditions can be used to express more complex constraints on operations. Contracts can be checked at run time to ensure that operations are only invoked with reasonable arguments and return intended results. Although such dynamic contract checking provides more reliable program execution, it requires execution time and could lead to program crashes that might be detected with more advanced methods at compile time. To improve this situation for declarative languages, we present an approach to combine static and dynamic contract checking for the functional logic language Curry. Based on a formal model of contract checking for functional logic programming, we propose an automatic method to verify contracts at compile time. If a contract is successfully verified, dynamic checking of it can be omitted. This method decreases execution time without degrading reliable program execution. In the best case, when all contracts are statically verified, it provides trust in the software since crashes due to contract violations cannot occur during program execution.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

A formalized general theory of syntax with bindings

We present the formalization of a theory of syntax with bindings that has been developed and refined over the last decade to support several large formalization efforts. Terms are defined for an arbitrary number of constructors of varying numbers of inputs, quotiented to alpha-equivalence and sorted according to a binding signature. The theory includes a rich collection of properties of the standard operators on terms, such as substitution and freshness. It also includes induction and recursion principles and support for semantic interpretation, all tailored for smooth interaction with the bindings and the standard operators

The multiple roles of myelin protein genes during the development of the oligodendrocyte

It has become clear that the products of several of the earliest identified myelin protein genes perform functions that extend beyond the myelin sheath. Interestingly, these myelin proteins, which comprise proteolipid protein, 2′,3′-cyclic nucleotide 3′-phosphodiesterase and the classic and golli MBPs (myelin basic proteins), play important roles during different stages of oligodendroglial development. These non-myelin-related functions are varied and include roles in the regulation of process outgrowth, migration, RNA transport, oligodendrocyte survival and ion channel modulation. However, despite the wide variety of cellular functions performed by the different myelin genes, the route by which they achieve these many functions seems to converge upon a common mechanism involving Ca2+ regulation, cytoskeletal rearrangements and signal transduction. In the present review, the newly emerging functions of these myelin proteins will be described, and these will then be discussed in the context of their contribution to oligodendroglial development

Accurate Visuomotor Control below the Perceptual Threshold of Size Discrimination

Background: Human resolution for object size is typically determined by psychophysical methods that are based on conscious perception. In contrast, grasping of the same objects might be less conscious. It is suggested that grasping is mediated by mechanisms other than those mediating conscious perception. In this study, we compared the visual resolution for object size of the visuomotor and the perceptual system. Methodology/Principal Findings: In Experiment 1, participants discriminated the size of pairs of objects once through perceptual judgments and once by grasping movements toward the objects. Notably, the actual size differences were set below the Just Noticeable Difference (JND). We found that grasping trajectories reflected the actual size differences between the objects regardless of the JND. This pattern was observed even in trials in which the perceptual judgments were erroneous. The results of an additional control experiment showed that these findings were not confounded by task demands. Participants were not aware, therefore, that their size discrimination via grasp was veridical. Conclusions/Significance: We conclude that human resolution is not fully tapped by perceptually determined thresholds

How Does Blood-Retinal Barrier Breakdown Relate to Death and Disability in Pediatric Cerebral Malaria?

Background In cerebral malaria, the retina can be used to understand disease pathogenesis. The mechanisms linking sequestration, brain swelling and death remain poorly understood. We hypothesized that retinal vascular leakage would be associated with brain swelling. Methods We used retinal angiography to study blood-retinal barrier integrity. We analyzed retinal leakage, histopathology, brain MRI, and associations with death and neurological disability in prospective cohorts of Malawian children with cerebral malaria. Results Three types of retinal leakage were seen: Large focal leak (LFL), punctate leak (PL) and vessel leak. LFL and PL were associated with death (OR 13.20, 95%CI 5.21-33.78 and 8.58, 2.56-29.08 respectively), and brain swelling (p<0.05). Vessel leak and macular non-perfusion were associated with neurological disability (3.71, 1.26-11.02 and 9.06, 1.79-45.90). LFL was observed as an evolving retinal hemorrhage. A core of fibrinogen and monocytes was found in 39 (93%) white-centered hemorrhages. Conclusions Blood-retina barrier breakdown occurs in three patterns in cerebral malaria. Associations between LFL, brain swelling, and death suggest that the rapid accumulation of cerebral hemorrhages, with accompanying fluid egress, may cause fatal brain swelling. Vessel leak from barrier dysfunction, and non-perfusion were not associated with severe brain swelling, but with neurological deficits, suggesting hypoxic injury in survivors

Attribution and contestation: Relations between elites and other social groups

In this article we explore the often ambiguous relations between elites and other social groups, both subordinate and of relatively equal standing. The article draws on two distinctive ethnographic cases: the white Franco-Mauritian elite, and the expert elite of management consultants in a Western European context. Our analysis of the two cases provides insights into how the power and status of elites is both contested and attributed by the people they interact with and relate to in concrete, yet substantially different contexts and situations. The aim is to show how the position and power of different kinds of elites is relationally negotiated and achieved. As we argue, a better understanding of the role of other social groups in the attribution, maintenance and contestation of status is relevant for understanding both more traditional economic elites and expert elites without tight networks

Embodied Musical Interaction

Music is a natural partner to human-computer interaction, offering tasks and use cases for novel forms of interaction. The richness of the relationship between a performer and their instrument in expressive musical performance can provide valuable insight to human-computer interaction (HCI) researchers interested in applying these forms of deep interaction to other fields. Despite the longstanding connection between music and HCI, it is not an automatic one, and its history arguably points to as many differences as it does overlaps. Music research and HCI research both encompass broad issues, and utilize a wide range of methods. In this chapter I discuss how the concept of embodied interaction can be one way to think about music interaction. I propose how the three “paradigms” of HCI and three design accounts from the interaction design literature can serve as a lens through which to consider types of music HCI. I use this conceptual framework to discuss three different musical projects—Haptic Wave, Form Follows Sound, and BioMuse

Migraine aura: retracting particle-like waves in weakly susceptible cortex

Cortical spreading depression (SD) has been suggested to underlie migraine aura. Despite a precise match in speed, the spatio-temporal patterns of SD and aura symptoms on the cortical surface ordinarily differ in aspects of size and shape. We show that this mismatch is reconciled by utilizing that both pattern types bifurcate from an instability point of generic reaction-diffusion models. To classify these spatio-temporal pattern we suggest a susceptibility scale having the value [sigma]=1 at the instability point. We predict that human cortex is only weakly susceptible to SD ([sigma]&#x3c;1), and support this prediction by directly matching visual aura symptoms with anatomical landmarks using fMRI retinotopic mapping. We discuss the increased dynamical repertoire of cortical tissue close to [sigma]=1, in particular, the resulting implications on migraine pharmacology that is hitherto tested in the regime ([sigma]&#x3e;&#x3e;1), and potentially silent aura occurring below a second bifurcation point at [sigma]=0 on the susceptible scale