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

Visual, Motor and Attentional Influences on Proprioceptive Contributions to Perception of Hand Path Rectilinearity during Reaching

We examined how proprioceptive contributions to perception of hand path straightness are influenced by visual, motor and attentional sources of performance variability during horizontal planar reaching. Subjects held the handle of a robot that constrained goal-directed movements of the hand to the paths of controlled curvature. Subjects attempted to detect the presence of hand path curvature during both active (subject driven) and passive (robot driven) movements that either required active muscle force production or not. Subjects were less able to discriminate curved from straight paths when actively reaching for a target versus when the robot moved their hand through the same curved paths. This effect was especially evident during robot-driven movements requiring concurrent activation of lengthening but not shortening muscles. Subjects were less likely to report curvature and were more variable in reporting when movements appeared straight in a novel “visual channel” condition previously shown to block adaptive updating of motor commands in response to deviations from a straight-line hand path. Similarly, compromised performance was obtained when subjects simultaneously performed a distracting secondary task (key pressing with the contralateral hand). The effects compounded when these last two treatments were combined. It is concluded that environmental, intrinsic and attentional factors all impact the ability to detect deviations from a rectilinear hand path during goal-directed movement by decreasing proprioceptive contributions to limb state estimation. In contrast, response variability increased only in experimental conditions thought to impose additional attentional demands on the observer. Implications of these results for perception and other sensorimotor behaviors are discussed

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]<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]>>1), and potentially silent aura occurring below a second bifurcation point at [sigma]=0 on the susceptible scale

Magnetism, FeS colloids, and Origins of Life

A number of features of living systems: reversible interactions and weak bonds underlying motor-dynamics; gel-sol transitions; cellular connected fractal organization; asymmetry in interactions and organization; quantum coherent phenomena; to name some, can have a natural accounting via $physical$ interactions, which we therefore seek to incorporate by expanding the horizons of `chemistry-only' approaches to the origins of life. It is suggested that the magnetic 'face' of the minerals from the inorganic world, recognized to have played a pivotal role in initiating Life, may throw light on some of these issues. A magnetic environment in the form of rocks in the Hadean Ocean could have enabled the accretion and therefore an ordered confinement of super-paramagnetic colloids within a structured phase. A moderate H-field can help magnetic nano-particles to not only overcome thermal fluctuations but also harness them. Such controlled dynamics brings in the possibility of accessing quantum effects, which together with frustrations in magnetic ordering and hysteresis (a natural mechanism for a primitive memory) could throw light on the birth of biological information which, as Abel argues, requires a combination of order and complexity. This scenario gains strength from observations of scale-free framboidal forms of the greigite mineral, with a magnetic basis of assembly. And greigite's metabolic potential plays a key role in the mound scenario of Russell and coworkers-an expansion of which is suggested for including magnetism.Comment: 42 pages, 5 figures, to be published in A.R. Memorial volume, Ed Krishnaswami Alladi, Springer 201

Stereoscopic vision in the absence of the lateral occipital cortex.

Both dorsal and ventral cortical visual streams contain neurons sensitive to binocular disparities, but the two streams may underlie different aspects of stereoscopic vision. Here we investigate stereopsis in the neurological patient D.F., whose ventral stream, specifically lateral occipital cortex, has been damaged bilaterally, causing profound visual form agnosia. Despite her severe damage to cortical visual areas, we report that DF's stereo vision is strikingly unimpaired. She is better than many control observers at using binocular disparity to judge whether an isolated object appears near or far, and to resolve ambiguous structure-from-motion. DF is, however, poor at using relative disparity between features at different locations across the visual field. This may stem from a difficulty in identifying the surface boundaries where relative disparity is available. We suggest that the ventral processing stream may play a critical role in enabling healthy observers to extract fine depth information from relative disparities within one surface or between surfaces located in different parts of the visual field

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

No evidence for cardiac dysfunction in Kif6 mutant mice.

A KIF6 variant in man has been reported to be associated with adverse cardiovascular outcomes after myocardial infarction. No clear biological or physiological data exist for Kif6. We sought to investigate the impact of a deleterious KIF6 mutation on cardiac function in mice. Kif6 mutant mice were generated and verified. Cardiac function was assessed by serial echocardiography at baseline, after ageing and after exercise. Lipid levels were also measured. No discernable adverse lipid or cardiac phenotype was detected in Kif6 mutant mice. These data suggest that dysfunction of Kif6 is linked to other more complex biological/biochemical parameters or is unlikely to be of material consequence in cardiac function

A PSTOL-like gene, TaPSTOL, controls a number of agronomically important traits in wheat

Background Phosphorus (P) is an essential macronutrient for plant growth, and is required in large quantities by elite varieties of crops to maintain yields. Approximately 70% of global cultivated land suffers from P deficiency, and it has recently been estimated that worldwide P resources will be exhausted by the end of this century, increasing the demand for crops more efficient in their P usage. A greater understanding of how plants are able to maintain yield with lower P inputs is, therefore, highly desirable to both breeders and farmers. Here, we clone the wheat (Triticum aestivum L.) homologue of the rice PSTOL gene (OsPSTOL), and characterize its role in phosphate nutrition plus other agronomically important traits. Results TaPSTOL is a single copy gene located on the short arm of chromosome 5A, encoding a putative kinase protein, and shares a high level of sequence similarity to OsPSTOL. We re-sequenced TaPSTOL from 24 different wheat accessions and (3) three T. durum varieties. No sequence differences were detected in 26 of the accessions, whereas two indels were identified in the promoter region of one of the durum wheats. We characterised the expression of TaPSTOL under different P concentrations and demonstrated that the promoter was induced in root tips and hairs under P limiting conditions. Overexpression and RNAi silencing of TaPSTOL in transgenic wheat lines showed that there was a significant effect upon root biomass, flowering time independent of P treatment, tiller number and seed yield, correlating with the expression of TaPSTOL. However this did not increase PUE as elevated P concentration in the grain did not correspond to increased yields. Conclusions Manipulation of TaPSTOL expression in wheat shows it is responsible for many of the previously described phenotypic advantages as OsPSTOL except yield. Furthermore, we show TaPSTOL contributes to additional agronomically important traits including flowering time and grain size. Analysis of TaPSTOL sequences from a broad selection of wheat varieties, encompassing 91% of the genetic diversity in UK bread wheat, showed that there is very little genetic variation in this gene, which would suggest that this locus may have been under high selection pressure