Learn More
The syndrome of spatial neglect is typically associated with focal injury to the temporoparietal or ventral frontal cortex. This syndrome shows spontaneous partial recovery, but the neural basis of both spatial neglect and its recovery is largely unknown. We show that spatial attention deficits in neglect (rightward bias and reorienting) after right frontal(More)
Calcineurin (CaN) is a calcium- and calmodulin-dependent protein serine/threonine phosphate which is critical for several important cellular processes, including T-cell activation. CaN is the target of the immunosuppressive drugs cyclosporin A and FK506, which inhibit CaN after forming complexes with cytoplasmic binding proteins (cyclophilin and FKBP12,(More)
This paper examines the role that insurance coupled with mitigation can play in reducing losses from future natural disasters while at the same time providing funds for recovery. After examining the decision processes of three interested parties who will be at the centerpiece of such a program, residents in hazard-prone areas, insurers/reinsurers and the(More)
" Player modeling " is a loose concept. It can equally apply to everything from a predictive model of player actions resulting from machine learning to a designer's description of a player's expected reactions in response to some piece of game content. This lack of a precise terminology prevents practitioners from quickly finding introductions to applicable(More)
DNA sequences are key elements for both identification and classification of living organisms. Mainly for historical reasons, a limited number of genes are currently used for this purpose. From a mathematical point of view, any DNA segment, at any location, even outside of coding regions and even if they do not align, could be used as long as PCR primers(More)
"Player modeling" is a loose concept. It can equally apply to everything from a predictive model of player actions resulting from machine learning to a designer's description of a player's expected reactions in response to some piece of game content. This lack of a precise terminology prevents practitioners from quickly finding introductions to applicable(More)
Formal software verification is a software engineering technique for modeling a software system's source code, and then proving properties about it, such as freedom from security vulnerabilities. Though proofs are largely automated, formal source code model-ing is time consuming and requires substantial human attention. Xylem: The Code of Plants is an iPad(More)
(1) The Secretary of State shall in each year publish such information, as he considers expedient for the purpose of: (a) enabling persons engaged in the administration of justice to become aware of the financial implications of their decisions; or (b) facilitating the performance of such persons of their duty to avoid discriminating against any persons on(More)
While many bug prediction algorithms have been developed by academia, they're often only tested and verified in the lab using automated means. We do not have a strong idea about whether such algorithms are useful to guide human developers. We deployed a bug prediction algorithm across Google, and found no identifiable change in developer behavior.(More)