6,380 research outputs found

    Control system for hunger and its implications in animals and man

    Get PDF
    No description supplie

    Facility for fast neutron irradiation tests of electronics at the ISIS spallation neutron source

    Get PDF
    The VESUVIO beam line at the ISIS spallation neutron source was set up for neutron irradiation tests in the neutron energy range above 10 MeV. The neutron flux and energy spectrum were shown, in benchmark activation measurements, to provide a neutron spectrum similar to the ambient one at sea level, but with an enhancement in intensity of a factor of 107. Such conditions are suitable for accelerated testing of electronic components, as was demonstrated here by measurements of soft error rates in recent technology field programable gate arrays

    Automated Discrimination of Pathological Regions in Tissue Images: Unsupervised Clustering vs Supervised SVM Classification

    Get PDF
    Recognizing and isolating cancerous cells from non pathological tissue areas (e.g. connective stroma) is crucial for fast and objective immunohistochemical analysis of tissue images. This operation allows the further application of fully-automated techniques for quantitative evaluation of protein activity, since it avoids the necessity of a preventive manual selection of the representative pathological areas in the image, as well as of taking pictures only in the pure-cancerous portions of the tissue. In this paper we present a fully-automated method based on unsupervised clustering that performs tissue segmentations highly comparable with those provided by a skilled operator, achieving on average an accuracy of 90%. Experimental results on a heterogeneous dataset of immunohistochemical lung cancer tissue images demonstrate that our proposed unsupervised approach overcomes the accuracy of a theoretically superior supervised method such as Support Vector Machine (SVM) by 8%

    Active Sampling-based Binary Verification of Dynamical Systems

    Full text link
    Nonlinear, adaptive, or otherwise complex control techniques are increasingly relied upon to ensure the safety of systems operating in uncertain environments. However, the nonlinearity of the resulting closed-loop system complicates verification that the system does in fact satisfy those requirements at all possible operating conditions. While analytical proof-based techniques and finite abstractions can be used to provably verify the closed-loop system's response at different operating conditions, they often produce conservative approximations due to restrictive assumptions and are difficult to construct in many applications. In contrast, popular statistical verification techniques relax the restrictions and instead rely upon simulations to construct statistical or probabilistic guarantees. This work presents a data-driven statistical verification procedure that instead constructs statistical learning models from simulated training data to separate the set of possible perturbations into "safe" and "unsafe" subsets. Binary evaluations of closed-loop system requirement satisfaction at various realizations of the uncertainties are obtained through temporal logic robustness metrics, which are then used to construct predictive models of requirement satisfaction over the full set of possible uncertainties. As the accuracy of these predictive statistical models is inherently coupled to the quality of the training data, an active learning algorithm selects additional sample points in order to maximize the expected change in the data-driven model and thus, indirectly, minimize the prediction error. Various case studies demonstrate the closed-loop verification procedure and highlight improvements in prediction error over both existing analytical and statistical verification techniques.Comment: 23 page

    Uncovering trophic interactions in arthropod predators through DNA shotgun-sequencing of gut contents

    Get PDF
    Characterizing trophic networks is fundamental to many questions in ecology, but this typically requires painstaking efforts, especially to identify the diet of small generalist predators. Several attempts have been devoted to develop suitable molecular tools to determine predatory trophic interactions through gut content analysis, and the challenge has been to achieve simultaneously high taxonomic breadth and resolution. General and practical methods are still needed, preferably independent of PCR amplification of barcodes, to recover a broader range of interactions. Here we applied shotgun-sequencing of the DNA from arthropod predator gut contents, extracted from four common coccinellid and dermapteran predators co-occurring in an agroecosystem in Brazil. By matching unassembled reads against six DNA reference databases obtained from public databases and newly assembled mitogenomes, and filtering for high overlap length and identity, we identified prey and other foreign DNA in the predator guts. Good taxonomic breadth and resolution was achieved (93% of prey identified to species or genus), but with low recovery of matching reads. Two to nine trophic interactions were found for these predators, some of which were only inferred by the presence of parasitoids and components of the microbiome known to be associated with aphid prey. Intraguild predation was also found, including among closely related ladybird species. Uncertainty arises from the lack of comprehensive reference databases and reliance on low numbers of matching reads accentuating the risk of false positives. We discuss caveats and some future prospects that could improve the use of direct DNA shotgun-sequencing to characterize arthropod trophic networks

    Metastasis-inducing proteins are widely expressed in human brain metastases and associated with intracranial progression and radiation response

    Get PDF
    Background:Understanding the factors that drive recurrence and radiosensitivity in brain metastases would improve prediction of outcomes, treatment planning and development of therapeutics. We investigated the expression of known metastasis-inducing proteins in human brain metastases.Methods:Immunohistochemistry on metastases removed at neurosurgery from 138 patients to determine the degree and pattern of expression of the proteins S100A4, S100P, AGR2, osteopontin (OPN) and the DNA repair marker FANCD2. Validation of significant findings in a separate prospective series with the investigation of intra-tumoral heterogeneity using image-guided sampling. Assessment of S100A4 expression in brain metastatic and non-metastatic primary breast carcinomas.Results:There was widespread staining for OPN, S100A4, S100P and AGR2 in human brain metastases. Positive staining for S100A4 was independently associated with a shorter time to intracranial progression after resection in multivariate analysis (hazard ratio for negative over positive staining=0.17, 95% CI: 0.04-0.74, P=0.018). S100A4 was expressed at the leading edge of brain metastases in image guided sampling and overexpressed in brain metastatic vs non-brain metastatic primary breast carcinomas. Staining for OPN was associated with a significant increase in survival time after post-operative whole-brain radiotherapy in retrospective (OPN negative 3.43 months, 95% CI: 1.36-5.51 vs OPN positive, 11.20 months 95% CI: 7.68-14.72, Log rank test, P<0.001) and validation populations.Conclusions:Proteins known to be involved in cellular adhesion and migration in vitro, and metastasis in vivo are significantly expressed in human brain metastases and may be useful biomarkers of intracranial progression and radiosensitivity

    Papers in pidgin and creole linguistics No. 1

    Get PDF

    Asymptotic power law of moments in a random multiplicative process with weak additive noise

    Get PDF
    It is well known that a random multiplicative process with weak additive noise generates a power-law probability distribution. It has recently been recognized that this process exhibits another type of power law: the moment of the stochastic variable scales as a function of the additive noise strength. We clarify the mechanism for this power-law behavior of moments by treating a simple Langevin-type model both approximately and exactly, and argue this mechanism is universal. We also discuss the relevance of our findings to noisy on-off intermittency and to singular spatio-temporal chaos recently observed in systems of non-locally coupled elements.Comment: 11 pages, 9 figures, submitted to Phys. Rev.
    corecore