Planck pre-launch status: HFI ground calibration

Context. The Planck satellite was successfully launched on May 14th 2009. We have completed the pre-launch calibration measurements of the High Frequency Instrument (HFI) on board Planck and their processing. Aims. We present the results of the pre-launch calibration of HFI in which we have multiple objectives. First, we determine instrumental parameters that cannot be measured in-flight and predict parameters that can. Second, we take the opportunity to operate and understand the instrument under a wide range of anticipated operating conditions. Finally, we estimate the performance of the instrument built. Methods. We obtained our pre-launch calibration results by characterising the component and subsystems, then by calibrating the focal plane at IAS (Orsay) in the Saturne simulator, and later from the tests at the satellite level carried out in the CSL (Liège) cryogenic vacuum chamber. We developed models to estimate the instrument pre-launch parameters when no measurement could be performed. Results. We reliably measure the Planck-HFI instrument characteristics and behaviour, and determine the flight nominal setting of all parameters. The expected in-flight performance exceeds the requirements and is close or superior to the goal specifications

Development of a real-time full-field range imaging system

This article describes the development of a full-field range imaging system employing a high frequency amplitude modulated light source and image sensor. Depth images are produced at video frame rates in which each pixel in the image represents distance from the sensor to objects in the scene. The various hardware subsystems are described as are the details about the firmware and software implementation for processing the images in real-time. The system is flexible in that precision can be traded off for decreased acquisition time. Results are reported to illustrate this versatility for both high-speed (reduced precision) and high-precision operating modes

Altered muscarinic and nicotinic receptor densities in cortical and subcortical brain regions in Parkinson's disease

Muscarinic and nicotinic cholinergic receptors and choline acetyltransferase activity were studied in postmortem brain tissue from patients with histopathologically confirmed Parkinson's disease and matched control subjects. Using washed membrane homogenates from the frontal cortex, hippocampus, caudate nucleus, and putamen, saturation analysis of specific receptor binding was performed for the total number of muscarinic receptors with [3H]quinuclidinyl benzilate, for muscarinic M1 receptors with [3H]pirenzepine, for muscarinic M2 receptors with [3H]oxotremorine-M, and for nicotinic receptors with (-)-[3H]nicotine. In comparison with control tissues, choline acetyl-transferase activity was reduced in the frontal cortex and hippocampus and unchanged in the caudate nucleus and putamen of parkinsonian patients. In Parkinson's disease the maximal binding site density for [3H]quinuclidinyl benzilate was increased in the frontal cortex and unaltered in the hippocampus, caudate nucleus, and putamen. Specific [3H]pirenzepine binding was increased in the frontal cortex, unaltered in the hippocampus, and decreased in the caudate nucleus and putamen. In parkinsonian patients Bmax values for specific [3H]oxotremorine-M binding were reduced in the cortex and unchanged in the hippocampus and striatum compared with controls. Maximal (-)-[3H]nicotine binding was reduced in both the cortex and hippocampus and unaltered in both the caudate nucleus and putamen. Alterations of the equilibrium dissociation constant were not observed for any ligand in any of the brain areas examined. The present results suggest that both the innominatocortical and the septohippocampal cholinergic systems degenerate in Parkinson's disease.(ABSTRACT TRUNCATED AT 250 WORDS

Word contexts enhance the neural representation of individual letters in early visual cortex

Visual context facilitates perception, but how this is neurally implemented remains unclear. One example of contextual facilitation is found in reading, where letters are more easily identified when embedded in a word. Bottom-up models explain this word advantage as a post-perceptual decision bias, while top-down models propose that word contexts enhance perception itself. Here, we arbitrate between these accounts by presenting words and nonwords and probing the representational fidelity of individual letters using functional magnetic resonance imaging. In line with top-down models, we find that word contexts enhance letter representations in early visual cortex. Moreover, we observe increased coupling between letter information in visual cortex and brain activity in key areas of the reading network, suggesting these areas may be the source of the enhancement. Our results provide evidence for top-down representational enhancement in word recognition, demonstrating that word contexts can modulate perceptual processing already at the earliest visual regions

Brain muscarinic cholinergic receptors in Huntington's disease

Muscarinic cholinergic receptors and choline acetyltransferase (ChAT) activity were studied in postmortem brain tissue from patients with Huntington's disease and matched control subjects. In comparison with controls, reductions in ChAT activity were found in the hippocampus, but not in the temporal cortex in Huntington's disease. Patients with Huntington's disease showed reduced densities of the total number of muscarinic receptors and of M-2 receptors in the hippocampus while the density of M-1 receptors was unaltered. Muscarinic receptor binding was unchanged in the temporal cortex. These results indicate a degeneration in Huntington's disease of the septo-hippocampal cholinergic pathway, but no impairment of the innominato-cortical cholinergic system

The swiss army knife of job submission tools: grid-control

Grid-control is a lightweight and highly portable open source submission tool that supports virtually all workflows in high energy physics (HEP). Since 2007 it has been used by a sizeable number of HEP analyses to process tasks that sometimes consist of up 100k jobs. grid-control is built around a powerful plugin and configuration system, that allows users to easily specify all aspects of the desired workflow. Job submission to a wide range of local or remote batch systems or grid middleware is supported. Tasks can be conveniently specified through the parameter space that will be processed, which can consist of any number of variables and data sources with complex dependencies on each other. Dataset information is processed through a configurable pipeline of dataset filters, partition plugins and partition filters. The partition plugins can take the number of files, size of the work units, metadata or combinations thereof into account. All changes to the input datasets or variables are propagated through the processing pipeline and can transparently trigger adjustments to the parameter space and the job submission. While the core functionality is completely experiment independent, integration with the CMS computing environment is provided by a small set of plugins.Comment: 8 pages, 7 figures, Proceedings for the 22nd International Conference on Computing in High Energy and Nuclear Physic

Microsaccade-rate indicates absorption by music listening

The power of music is a literary topos, which can be attributed to intense and personally significant experiences, one of them being the state of absorption. Such phenomenal states are difficult to grasp objectively. We investigated the state of musical absorption by using eye tracking. We utilized a load related definition of state absorption: multimodal resources are committed to create a unified representation of music. Resource allocation was measured indirectly by microsaccade rate, known to indicate cognitive processing load. We showed in Exp. 1 that microsaccade rate also indicates state absorption. Hence, there is cross-modal coupling between an auditory aesthetic experience and fixational eye movements. When removing the fixational stimulus in Exp. 2, saccades are no longer generated upon visual input and the cross-modal coupling disappeared. Results are interpreted in favor of the load hypothesis of microsaccade rate and against the assumption of general slowing by state absorption

Isolation of microsatellite loci in the Capricorn silvereye, Zosterops lateralis chlorocephalus (Aves : Zosteropidae)

The Capricorn silvereye (Zosterops lateralis chlorocephalus ) is ideally suited to investigating the genetic basis of body size evolution. We have isolated and characterized a set of microsatellite markers for this species. Seven out of 11 loci were polymorphic. The number of alleles detected ranged from two to five and observed heterozygosities between 0.12 and 0.67. One locus, ZL49, was found to be sex-linked. This moderate level of diversity is consistent with that expected in an isolated, island population

Bias in the journal impact factor

The ISI journal impact factor (JIF) is based on a sample that may represent half the whole-of-life citations to some journals, but a small fraction (<10%) of the citations accruing to other journals. This disproportionate sampling means that the JIF provides a misleading indication of the true impact of journals, biased in favour of journals that have a rapid rather than a prolonged impact. Many journals exhibit a consistent pattern of citation accrual from year to year, so it may be possible to adjust the JIF to provide a more reliable indication of a journal's impact.Comment: 9 pages, 8 figures; one reference correcte

Algorithmic Verification of Asynchronous Programs

Asynchronous programming is a ubiquitous systems programming idiom to manage concurrent interactions with the environment. In this style, instead of waiting for time-consuming operations to complete, the programmer makes a non-blocking call to the operation and posts a callback task to a task buffer that is executed later when the time-consuming operation completes. A co-operative scheduler mediates the interaction by picking and executing callback tasks from the task buffer to completion (and these callbacks can post further callbacks to be executed later). Writing correct asynchronous programs is hard because the use of callbacks, while efficient, obscures program control flow. We provide a formal model underlying asynchronous programs and study verification problems for this model. We show that the safety verification problem for finite-data asynchronous programs is expspace-complete. We show that liveness verification for finite-data asynchronous programs is decidable and polynomial-time equivalent to Petri Net reachability. Decidability is not obvious, since even if the data is finite-state, asynchronous programs constitute infinite-state transition systems: both the program stack and the task buffer of pending asynchronous calls can be potentially unbounded. Our main technical construction is a polynomial-time semantics-preserving reduction from asynchronous programs to Petri Nets and conversely. The reduction allows the use of algorithmic techniques on Petri Nets to the verification of asynchronous programs. We also study several extensions to the basic models of asynchronous programs that are inspired by additional capabilities provided by implementations of asynchronous libraries, and classify the decidability and undecidability of verification questions on these extensions.Comment: 46 pages, 9 figure