26,238 research outputs found
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
- âŠ