1,064 research outputs found

    Adaptive Optimisation of Illumination Beam Profiles in Fluorescence Microscopy

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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.

    Can forest management based on natural disturbances maintain ecological resilience?

    Get PDF
    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

    Get PDF
    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

    Balloon Measurements of Cosmic Ray Muon Spectra in the Atmosphere along with those of Primary Protons and Helium Nuclei over Mid-Latitude

    Get PDF
    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

    Get PDF
    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
    corecore