14,373 research outputs found
Grid Added Value to Address Malaria
Through this paper, we call for a distributed, internet-based collaboration
to address one of the worst plagues of our present world, malaria. The spirit
is a non-proprietary peer-production of information-embedding goods. And we
propose to use the grid technology to enable such a world wide "open source"
like collaboration. The first step towards this vision has been achieved during
the summer on the EGEE grid infrastructure where 46 million ligands were docked
for a total amount of 80 CPU years in 6 weeks in the quest for new drugs.Comment: 7 pages, 1 figure, 6th IEEE International Symposium on Cluster
Computing and the Grid, Singapore, 16-19 may 2006, to appear in the
proceeding
Amortised resource analysis with separation logic
Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete resource bounds for functional programs, with good support for inference. In this work we translate the idea of amortised resource analysis to imperative languages by embedding a logic of resources, based on Bunched Implications, within Separation Logic. The Separation Logic component allows us to assert the presence and shape of mutable data structures on the heap, while the resource component allows us to state the resources associated with each member of the structure. We present the logic on a small imperative language with procedures and mutable heap, based on Java bytecode. We have formalised the logic within the Coq proof assistant and extracted a certified verification condition generator. We demonstrate the logic on some examples, including proving termination of in-place list reversal on lists with cyclic tails
Interpersonal emotion regulation: a review of social and developmental components
A staple theme in clinical psychology, emotion regulation, or the ability to manage one's emotions, is directly linked with personal wellbeing and the ability to effectively navigate the social world. Until recently, this concept has been limited to a focus on intrapersonal processes, such as suppression. Less emphasis has been placed on developmental, social, and cultural aspects of emotion regulation. We argue here that as social beings, our engagement in emotion regulation may often occur interpersonally, with trusted others helping us to regulate our emotions. This review will highlight recent research on interpersonal emotion regulation processes.Dr Hofmann receives financial support from the Alexander von Humboldt Foundation (as part of the Humboldt Prize), NIH/NCCIH (R01AT007257), NIH/NIMH (R01MH099021, U01MH108168), and the James S. McDonnell Foundation 21st Century Science Initiative in Understanding Human Cognition - Special Initiative. He receives compensation for his work as an advisor from the Palo Alto Health Sciences and for his work as a Subject Matter Expert from John Wiley & Sons, Inc. and SilverCloud Health, Inc. He also receives royalties and payments for his editorial work from various publishers. (Alexander von Humboldt Foundation; R01AT007257 - NIH/NCCIH; R01MH099021 - NIH/NIMH; U01MH108168 - NIH/NIMH; James S. McDonnell Foundation 21st Century Science Initiative in Understanding Human Cognition - Special Initiative)Accepted manuscrip
A powerful computational crystallography method to study ice polymorphism
Classical Molecular Dynamics (MD) simulations are employed as a tool to
investigate structural properties of ice crystals under several temperature and
pressure conditions. All ice crystal phases are analyzed by means of a
computational protocol based on a clustering approach following standard MD
simulations. The MD simulations are performed by using a recently published
classical interaction potential for oxygen and hydrogen in bulk water, derived
from neutron scattering data, able to successfully describe complex phenomena
such as proton hopping and bond formation/breaking. The present study
demonstrates the ability of the interaction potential model to well describe
most ice structures found in the phase diagram of water and to estimate the
relative stability of sixteen known phases through a cluster analysis of
simulated powder diagrams of polymorphs obtained from MD simulations. The
proposed computational protocol is suited for automated crystal structure
identification.Comment: RevTex 4.1, 7 figures - to be published in the Journal of Chemical
Physic
Pygmy dipole resonance in exotic nuclei
The evolution of the PDR strength with the neutron excess is investigated in
Sn isotopic and N=82 isotonic chains with regard to its possible connection
with the neutron skin thickness. For this purpose a recently proposed method
incorporating both HFB and multi-phonon QPM theory is applied. Analysis of the
corresponding neutron and proton dipole transition densities is presented.Comment: International Workshop on Nuclear Physics 28th Course - Radioactive
Beams, Nuclear Dynamics and Astrophysics, Ettore Majorana Center for
Scientific Cultur
Finite resolution measurement of the non-classical polarization statistics of entangled photon pairs
By limiting the resolution of quantum measurements, the measurement induced
changes of the quantum state can be reduced, permitting subsequent measurements
of variables that do not commute with the initially measured property. It is
then possible to experimentally determine correlations between non-commuting
variables. The application of this method to the polarization statistics of
entangled photon pairs reveals that negative conditional probabilities between
non-orthogonal polarization components are responsible for the violation of
Bell's inequalities. Such negative probabilities can also be observed in finite
resolution measurements of the polarization of a single photon. The violation
of Bell's inequalities therefore originates from local properties of the
quantum statistics of single photon polarization.Comment: 15 pages, 5 figures and 1 table, new figure to illustrate results,
improved explanation of statistical analysi
Mean first passage time for nuclear fission and the emission of light particles
The concept of a mean first passage time is used to study the time lapse over
which a fissioning system may emit light particles. The influence of the
"transient" and "saddle to scission times" on this emission are critically
examined. It is argued that within the limits of Kramers' picture of fission no
enhancement over that given by his rate formula need to be considered.Comment: 4 pages, RevTex, 4 postscript figures; with correction of misprints;
appeared in Phys. Rev. Lett.90.13270
Near-Infrared-Spectroscopy with Extremely Large Telescopes: Integral-Field- versus Multi-Object-Instruments
Integral-field-spectroscopy and multi-object-spectroscopy provide the high
multiplex gain required for efficient use of the upcoming generation of
extremely large telescopes. We present instrument developments and designs for
both concepts, and how these designs can be applied to cryogenic near-infrared
instrumentation. Specifically, the fiber-based concept stands out the
possibility to expand it to any number of image points, and its modularity
predestines it to become the new concept for multi-field-spectroscopy. Which of
the three concepts --- integral-field-, multi-object-, or
multi-field-spectroscopy --- is best suited for the largest telescopes is
discussed considering the size of the objects and their density on the sky.Comment: 8 pages, 4 figures (converted to bitmap), to appear in the
proceedings of the Workshop on Extremely Large Telescopes, Sweden, June 1-2,
1999, uses spie.sty (V0.91) and spiebib.bst (V0.91
- …