Video game experience predicts virtual, but not real navigation performance

In recent years, studies have shown that video game experience is related to improvements across a variety of cognitive and visuospatial tasks. This study investigated the relationship between prior video game experience and spatial performance in virtual and real environments. Across two experiments, gaming experience was related to performance in desktop virtual environments; those with more video game experience were more accurate in pointing to nonvisible targets. In contrast, gaming experience was unrelated to three different real environment tasks, suggesting that video games may primarily influence perceptual and cognitive abilities in the visual domain over abilities that also involve kinesthetic or vestibular input. Contrary to expectations, gaming experience was also related to performance in immersive virtual environments, which may be related to the use of a joystick interface during immersive travel. Video game experience was also positively related to performance in a dynamic spatial task and to verbal SAT and math SAT scores. Sex differences in desktop virtual navigation and dynamic spatial ability were eliminated when game experience was included as a covariate.     

The Shadow Knows: Refinement and security in sequential programs

Stepwise refinement is a crucial conceptual tool for system development, encouraging program construction via a number of separate correctness-preserving stages which ideally can be understood in isolation. A crucial conceptual component of security is an adversary’s ignorance of concealed information. We suggest a novel method of combining these two ideas.Our suggestion is based on a mathematical definition of “ignorance-preserving” refinement that extends classical refinement by limiting an adversary’s access to concealed information: moving from specification to implementation should never increase that access. The novelty is the way we achieve this in the context of sequential programs.Specifically we give an operational model (and detailed justification for it), a basic sequential programming language and its operational semantics in that model, a “logic of ignorance” interpreted over the same model, then a program-logical semantics bringing those together — and finally we use the logic to establish, via refinement, the correctness of a real (though small) protocol: Rivest’s Oblivious Transfer. A previous report^? treated Chaum’s Dining Cryptographers similarly.In passing we solve the Refinement Paradox for sequential programs.     

Monomers of human beta 1 beta 1 alcohol dehydrogenase exhibit activity that differs from the dimer

A previously unreported enzymatic activity is described for monomers of the beta 1 beta 1 isoenzyme of human alcohol dehydrogenase that were prepared from dimeric enzyme by freeze-thaw in liquid nitrogen. Whereas the dimeric enzyme has optimal activity at low substrate concentrations (2.5 mM ethanol, 50 microM NAD+; "low Km" activity), the monomer has its highest activity at high substrate concentrations (1.5 M ethanol, 2.5 mM NAD+; "high Km" activity). While the activity of the monomer does not appear to be saturated at 1.5 M ethanol, its maximal activity at this high ethanol concentration exceeds the Vmax of the dimer by about 3-fold. The apparent Km of NAD+ with monomers is 270 microM, and no activity could be detected with nicotinamide mononucleotide as cofactor. During gel filtration the high Km activity elutes at a lower apparent molecular weight position than the dimer. The kinetics of monomer-to-dimer reassociation are consistent with a second-order process with a rate constant of 240 M-1 s-1. The reassociation rate is markedly enhanced by the presence of NAD+. During refolding of beta 1 beta 1 following denaturation in 6 M guanidine hydrochloride, an enzyme species with high Km activity and spectral properties similar to the freeze-thaw monomer is observed, indicating that a catalytically active monomer is an intermediate in the refolding pathway. The enzymatic activity of the monomer implies that the intersubunit contacts of beta 1 beta 1 are not crucial in establishing a catalytically competent enzyme. However, the differences in specific activity and Km between monomer and dimer suggest that dimerization may serve to modulate the catalytic properties.     

Habituation of the orienting response: a gating mechanism subserving selective attention

Possibilities of involution of changes in lesser circulation after closure of experimental aortopulmonary anastomosis were studied. 37 observations at various intervals after closure of anastomosis (several minutes to 13.5 months) in 25 dogs were analyzed. Before closure the anastomosis had functioned for 1-7 months. The results of histological examinations of lungs, pressure measurements in lesser circulation, heart weight, electrocardiographic and spirographic examinations were analyzed. It was found that complete involution of changes in lesser circulation was possible only in first month of existence of anastomosis, in this case with changes of both "early" and "late" types. "Late"-type changes after four months function of anastomosis had both reversible and irreversible character, whereas "early"-type changes became irreversible already after three-month duration of anastomosis. With the "late"-type changes, the operation itself (closure of anastomosis) was accompanied by symptoms of pulmonary vasomotor paresis and heart failure, whereas in the presence of "early"-type changes the operation elicited no morphological or functional changes.     

Compositional noninterference from first principles

The recently formulated Shadow Semantics for noninterference-style security of sequential programs avoids the Refinement Paradox by preserving demonic nondeterminism in those cases where reducing it would compromise security. The construction (originally) of the semantic domain for The Shadow, and the interpretation of programs in it, relied heavily on intuition, guesswork and the advice of others. That being so, it is natural after the fact to try to reconstruct an idealised “inevitable” path from first principles to where we actually ended up: not only does one learn (more) about semantic principles by doing so, but the “rational reconstruction” helps to expose the choices made, along the way, and to legitimise the decisions that resolved them. Unlike our other papers on noninterference, this one does not contain a significant case study: instead its aim is to provide the most accessible account we can of the methods we use and why our model, in its details, has turned out the way it has. In passing, it might give some insight into the general role and significance of compositionality and testing-with-context for program semantics. Finally, a technical contribution here is a new “Transfer Principle” that captures uniformly a large class of classical refinements that remain valid when noninterference is taken into account in our style.     

Pain and dissociation in the cold pressor test: A study of hypnotic analgesia with "hidden reports" through automatic key pressing and automatic talking.

To test whether pain blocked by hypnotic analgesia may still be perceived at some level, 20 highly hypnotizable undergraduates participated in an experiment involving cold pressor pain in the normal condition and in hypnotically suggested analgesia. 3 reports were obtained reflecting felt pain within the hypnotic analgesia condition: the usual verbal report on a numerical scale, a manual report by "automatic key pressing," and a retrospective verbal report through "automatic talking." 9 Ss who were amnesic for both keypressing and automatic talking reported more pain in the automatic (hidden) reports than in their usual verbal reports. 8 of these 9, following release of amnesia, had a clear perception of 2 levels of awareness of the pain: the usual hypnotic experience of pain attenuated by analgesia suggestions, and a knowledge at another level of a more severe pain. In no case, however, did an S give a retrospective report of normal suffering at this "hidden" level. The hypnotically analgesic S may have reported no pain verbally because he was amnesic for it; when amnesia was removed he recalled the sensory pain, but without a suffering component, because suffering apparently did not occur. (24 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Efficient surface reconstruction from contours based on two‐dimensional Delaunay triangulation

This paper introduces an efficient method for surface reconstruction from sectional contours. The surface between neighbouring sections is reconstructed based on the consistent utilization of the two‐dimensional constrained Delaunay triangulation. The triangulation is used to extract the parametric domain and to solve the problems associated with correspondence, tiling and branching in a general framework. Natural distance interpolations are performed in order to complete the mapping of the added intermediate points. Surface smoothing and remeshing are conducted to optimize the initial surface triangulations. Several examples are presented to demonstrate the effectiveness and efficiency of the proposed approach. Copyright © 2005 John Wiley & Sons, Ltd.     

Remotely sensed indicators of habitat heterogeneity: Use of synthetic aperture radar in mapping vegetation structure and bird habitat

An integrated remote sensing/field ecology project linked the use of synthetic aperture radar (SAR) and aerial photography to studies of landscape spatial heterogeneity and bird community ecology. P-, L-, and C-band SAR data, collected over a section of Kakadu National Park in Australia's Northern Territory during the Joint NASA/Australia DC-8 data acquisition campaign, were analyzed in light of field data integrating vegetation structure and floristics with bird abundances across a heterogeneous study site. Results indicate that SAR data are able to discern structural differences relevant to bird habitat quality within floristically homogeneous stands, while multispectral sensors successfully identified floristic differences among habitat types. Simplifying indices of bird diversity showed ambiguous changes across the site; however, the abundances of individual species were observed to change significantly across both floristic and structural gradients. These results suggest that efforts to map bird diversity should focus on species-specific habitat relationships and that some measure of vegetation structure is needed to understand bird habitat. The approach employed here advances the use of SAR data in the three-dimensional mapping of animal habitats from remotely sensed data, and extends current capabilities for mapping and modeling large-scale patterns in the distribution of biological diversity.     

Gender, Alcohol Consumption, and Differing Alcohol Expectancy Dimensions in College Drinkers.

Examinations of gender differences in alcohol expectancies among college drinkers typically have used self-report measures to assess single expectancy dimensions and often have been confounded by drinking level. This study examined gender differences in alcohol expectancies using 2 assessment methods. College students (N = 88) completed self-report questionnaires, including expectancy likelihood and subjective evaluation endorsements of expectancies, and a computerized expectancy accessibility task. Expectancy accessibility and endorsement were modestly correlated, with higher alcohol consumption and female gender linked to greater accessibility and endorsement of social enhancement expectancies. Gender moderated the relation between consumption and sociability expectancy accessibility; among men, heavier drinking was associated with more rapid activation of expectancies. Findings suggest complexity in associations among these variables and underscore the need to capture the multidimensionality of the expectancy construct and its relationship to alcohol use. (PsycINFO Database Record (c) 2010 APA, all rights reserved)