1,064 research outputs found
Adaptive Optimisation of Illumination Beam Profiles in Fluorescence Microscopy
Wide-field fluorescence microscope techniques such as single/selective plane illumination microscope (SPIM) are typically configured to image large regions of a sample at once. Here the illumination beam provides uniform excitation of several biological features across the region, `sliced' to a thickness of between 5-10 microns. In this paper we propose a simple alteration to the optical configuration of a SPIM by switching the light-sheet- forming cylindrical lens with a spatial light modulator. This has the potential to adaptively reconfigure the light sheet geometry to improve the optical sectioning of specific biological features, rather than the thicker sectioning of several features at once across a larger observation field-of-view. We present a prototype version of such a system, referred to as an Adaptive-SPIM (A-SPIM) system. We then suggest that the direct recording of illumination beam shapes within the working microscope system can better facilitate the analysis and subsequent re-configuration of the illumination beam to a specific geometry, and summarise the design and operation of a device that we have developed specifically for this purpose. We finally present reconstructed quantitative three dimensional flux maps of illumination beams from three microscope configurations taken using this miniature high-dynamic range beam profiling device, comparing the beam geometry of a regular SPIM system with our prototype A-SPIM system, and suggesting future improvements
Adaptive optimisation of illumination beam profiles in fluorescence microscopy
Wide-field fluorescence microscope techniques such as single/selective plane illumination microscope (SPIM) are typically configured to image large regions of a sample at once. Here the illumination beam provides uniform excitation of several biological features across the region, `sliced' to a thickness of between 5-10 microns. In this paper we propose a simple alteration to the optical configuration of a SPIM by switching the light-sheet- forming cylindrical lens with a spatial light modulator. This has the potential to adaptively reconfigure the light sheet geometry to improve the optical sectioning of specific biological features, rather than the thicker sectioning of several features at once across a larger observation field-of-view. We present a prototype version of such a system, referred to as an Adaptive-SPIM (A-SPIM) system. We then suggest that the direct recording of illumination beam shapes within the working microscope system can better facilitate the analysis and subsequent re-configuration of the illumination beam to a specific geometry, and summarise the design and operation of a device that we have developed specifically for this purpose. We finally present reconstructed quantitative three dimensional flux maps of illumination beams from three microscope configurations taken using this miniature high-dynamic range beam profiling device, comparing the beam geometry of a regular SPIM system with our prototype A-SPIM system, and suggesting future improvements
Preciseness of Subtyping on Intersection and Union Types
Abstract. The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages. The soundness and the complete-ness, together referred to as the preciseness of subtyping, can be consid-ered from two different points of view: denotational and operational. The former preciseness is based on the denotation of a type which is a math-ematical object that describes the meaning of the type in accordance with the denotations of other expressions from the language. The latter preciseness has been recently developed with respect to type safety, i.e. the safe replacement of a term of a smaller type when a term of a bigger type is expected. We propose a technique for formalising and proving operational pre-ciseness of the subtyping relation in the setting of a concurrent lambda calculus with intersection and union types. The key feature is the link between typings and the operational semantics. We then prove sound-ness and completeness getting that the subtyping relation of this calculus enjoys both denotational and operational preciseness.
Recommended from our members
Patient ethnicity and three psychiatric intensive care units compared: the Tompkins Acute Ward Study
Background: Psychiatric Care Units provide care to disturbed patients in a context of higher security and staffing levels. Although such units are numerous, few systematic comparisons have been made, and there are indications that ethnic minority groups may be over-represented.
Aim: To compare the rates of adverse incidents and patterns of usage of three Psychiatric Intensive Care Units.
Method: The study used a triangulation or multi-method design, bringing together data from official statistics, local audit and interviews conducted with staff.
Results: Intensive care patients were more likely to be young, male, and suffering a psychotic disorder, as compared to general acute ward patients. Caribbean patients were twice as likely, and Asian patients half as likely, to receive intensive care (age, gender and diagnosis controlled). There were large differences in service levels, staffing, team functioning and adverse incidents between the three units. Various aspects of physical security were important in preventing absconds.
Conclusions: More evaluative research is required in order to define effective service levels, and to explore the nature of the interaction between ethnicity and inpatient care provision during acute illness
Can forest management based on natural disturbances maintain ecological resilience?
Given the increasingly global stresses on forests, many ecologists argue that managers must maintain ecological resilience: the capacity of ecosystems to absorb disturbances without undergoing fundamental change. In this review we ask: Can the emerging paradigm of natural-disturbance-based management (NDBM) maintain ecological resilience in managed forests? Applying resilience theory requires careful articulation of the ecosystem state under consideration, the disturbances and stresses that affect the persistence of possible alternative states, and the spatial and temporal scales of management relevance. Implementing NDBM while maintaining resilience means recognizing that (i) biodiversity is important for long-term ecosystem persistence, (ii) natural disturbances play a critical role as a generator of structural and compositional heterogeneity at multiple scales, and (iii) traditional management tends to produce forests more homogeneous than those disturbed naturally and increases the likelihood of unexpected catastrophic change by constraining variation of key environmental processes. NDBM may maintain resilience if silvicultural strategies retain the structures and processes that perpetuate desired states while reducing those that enhance resilience of undesirable states. Such strategies require an understanding of harvesting impacts on slow ecosystem processes, such as seed-bank or nutrient dynamics, which in the long term can lead to ecological surprises by altering the forest's capacity to reorganize after disturbance
K -> pi pi and a light scalar meson
We explore the Delta-I= 1/2 rule and epsilon'/epsilon in K -> pi pi
transitions using a Dyson-Schwinger equation model. Exploiting the feature that
QCD penguin operators direct K^0_S transitions through 0^{++} intermediate
states, we find an explanation of the enhancement of I=0 K -> pi pi transitions
in the contribution of a light sigma-meson. This mechanism also affects
epsilon'/epsilon.Comment: 7 pages, REVTE
Recommended from our members
Psychiatric intensive care units: A literature review
Background: Psychiatric Intensive Care Units (PICU) have been part of most inpatient psychiatric services for some time, however information about their functioning and outcome has not previously been collated.
Aim: To conduct a systematic literature review to assess the current state of knowledge about such services.
Method: A search of electronic databases was undertaken, followed by obtaining additional references from items obtained.
Results: Over 50 papers in English containing some empirical data were identified. Most studies were retrospective. Typical PICU patients are: male; younger; single; unemployed; suffering from schizophrenia or mania; from a black Caribbean or African background; legally detained; with a forensic history. The most common reason for admission is for aggression management, and most patients stay a week or less. Evidence of the efficacy of PICU care is very poor.
Conclusions: Most research so far has been small scale, and more substantial work using better methodologies is clearly required
Balloon Measurements of Cosmic Ray Muon Spectra in the Atmosphere along with those of Primary Protons and Helium Nuclei over Mid-Latitude
We report here the measurements of the energy spectra of atmospheric muons
and of the cosmic ray primary proton and helium nuclei in a single experiment.
These were carried out using the MASS superconducting spectrometer in a balloon
flight experiment in 1991. The relevance of these results to the atmospheric
neutrino anomaly is emphasized. In particular, this approach allows
uncertainties caused by the level of solar modulation, the geomagnetic cut-off
of the primaries and possible experimental systematics to be decoupled in the
comparison of calculated fluxes of muons to measured muon fluxes. The muon
observations cover the momentum and depth ranges of 0.3-40 GeV/c and 5-886
g/cmsquared, respectively. The proton and helium primary measurements cover the
rigidity range from 3 to 100 GV, in which both the solar modulation and the
geomagnetic cut-off affect the energy spectra at low energies.Comment: 31 pages, including 17 figures, simplified apparatus figure, to
appear in Phys. Rev.
Controlled mobility in stochastic and dynamic wireless networks
We consider the use of controlled mobility in wireless networks where messages arriving randomly in time and space are collected by mobile receivers (collectors). The collectors are responsible for receiving these messages via wireless transmission by dynamically adjusting their position in the network. Our goal is to utilize a combination of wireless transmission and controlled mobility to improve the throughput and delay performance in such networks. First, we consider a system with a single collector. We show that the necessary and sufficient stability condition for such a system is given by ρ<1 where ρ is the expected system load. We derive lower bounds for the expected message waiting time in the system and develop policies that are stable for all loads ρ<1 and have asymptotically optimal delay scaling. We show that the combination of mobility and wireless transmission results in a delay scaling of Θ([1 over 1−ρ]) with the system load ρ, in contrast to the Θ([1 over (1−ρ)[superscript 2]]) delay scaling in the corresponding system without wireless transmission, where the collector visits each message location. Next, we consider the system with multiple collectors. In the case where simultaneous transmissions to different collectors do not interfere with each other, we show that both the stability condition and the delay scaling extend from the single collector case. In the case where simultaneous transmissions to different collectors interfere with each other, we characterize the stability region of the system and show that a frame-based version of the well-known Max-Weight policy stabilizes the system asymptotically in the frame length.National Science Foundation (U.S.) (Grant CNS-0915988)United States. Army Research Office. Multidisciplinary University Research Initiative (Grant W911NF-08-1-0238
- …