896 resultados para Automated proof
Resumo:
In this study two commonly used automated methods to detect atmospheric fronts in the lower troposphere are compared in various synoptic situations. The first method is a thermal approach, relying on the gradient of equivalent potential temperature (TH), while the second method is based on temporal changes in the 10 m wind (WND). For a comprehensive objective comparison of the outputs of these methods of frontal identification, both schemes are firstly applied to an idealised strong baroclinic wave simulation in the absence of topography. Then, two case-studies (one in the Northern Hemisphere (NH) and one in the Southern Hemisphere (SH)) were conducted to contrast fronts detected by the methods. Finally, we obtain global winter and summer frontal occurrence climatologies (derived from ERA-Interim for 1979–2012) and compare the structure of these. TH is able to identify cold and warm fronts in strong baroclinic cases that are in good agreement with manual analyses. WND is particularly suited for the detection of strongly elongated, meridionally oriented moving fronts, but has very limited ability to identify zonally oriented warm fronts. We note that the areas of the main TH frontal activity are shifted equatorwards compared to the WND patterns and are located upstream of regions of main WND front activity. The number of WND fronts in the NH shows more interseasonal variations than TH fronts, decreasing by more than 50% from winter to summer. In the SH there is a weaker seasonal variation of the number of observed WND fronts, however TH front activity reduces from summer (DJF) to winter (JJA). The main motivation is to give an overview of the performance of these methods, such that researchers can choose the appropriate one for their particular interest.
Resumo:
PURPOSE Quantification of retinal layers using automated segmentation of optical coherence tomography (OCT) images allows for longitudinal studies of retinal and neurological disorders in mice. The purpose of this study was to compare the performance of automated retinal layer segmentation algorithms with data from manual segmentation in mice using the Spectralis OCT. METHODS Spectral domain OCT images from 55 mice from three different mouse strains were analyzed in total. The OCT scans from 22 C57Bl/6, 22 BALBc, and 11 C3A.Cg-Pde6b(+)Prph2(Rd2) /J mice were automatically segmented using three commercially available automated retinal segmentation algorithms and compared to manual segmentation. RESULTS Fully automated segmentation performed well in mice and showed coefficients of variation (CV) of below 5% for the total retinal volume. However, all three automated segmentation algorithms yielded much thicker total retinal thickness values compared to manual segmentation data (P < 0.0001) due to segmentation errors in the basement membrane. CONCLUSIONS Whereas the automated retinal segmentation algorithms performed well for the inner layers, the retinal pigmentation epithelium (RPE) was delineated within the sclera, leading to consistently thicker measurements of the photoreceptor layer and the total retina. TRANSLATIONAL RELEVANCE The introduction of spectral domain OCT allows for accurate imaging of the mouse retina. Exact quantification of retinal layer thicknesses in mice is important to study layers of interest under various pathological conditions.
Resumo:
Elicitability has recently been discussed as a desirable property for risk measures. Kou and Peng (2014) showed that an elicitable distortion risk measure is either a Value-at-Risk or the mean. We give a concise alternative proof of this result, and discuss the conflict between comonotonic additivity and elicitability.
Resumo:
AMS-14C applications often require the analysis of small samples. Such is the case of atmospheric aerosols where frequently only a small amount of sample is available. The ion beam physics group at the ETH, Zurich, has designed an Automated Graphitization Equipment (AGE III) for routine graphite production for AMS analysis from organic samples of approximately 1 mg. In this study, we explore the potential use of the AGE III for graphitization of particulate carbon collected in quartz filters. In order to test the methodology, samples of reference materials and blanks with different sizes were prepared in the AGE III and the graphite was analyzed in a MICADAS AMS (ETH) system. The graphite samples prepared in the AGE III showed recovery yields higher than 80% and reproducible 14C values for masses ranging from 50 to 300 lg. Also, reproducible radiocarbon values were obtained for aerosol filters of small sizes that had been graphitized in the AGE III. As a study case, the tested methodology was applied to PM10 samples collected in two urban cities in Mexico in order to compare the source apportionment of biomass and fossil fuel combustion. The obtained 14C data showed that carbonaceous aerosols from Mexico City have much lower biogenic signature than the smaller city of Cuernavaca.
Resumo:
Several lake ice phenology studies from satellite data have been undertaken. However, the availability of long-term lake freeze-thaw-cycles, required to understand this proxy for climate variability and change, is scarce for European lakes. Long time series from space observations are limited to few satellite sensors. Data of the Advanced Very High Resolution Radiometer (AVHRR) are used in account of their unique potential as they offer each day global coverage from the early 1980s expectedly until 2022. An automatic two-step extraction was developed, which makes use of near-infrared reflectance values and thermal infrared derived lake surface water temperatures to extract lake ice phenology dates. In contrast to other studies utilizing thermal infrared, the thresholds are derived from the data itself, making it unnecessary to define arbitrary or lake specific thresholds. Two lakes in the Baltic region and a steppe lake on the Austrian–Hungarian border were selected. The later one was used to test the applicability of the approach to another climatic region for the time period 1990 to 2012. A comparison of the extracted event dates with in situ data provided good agreements of about 10 d mean absolute error. The two-step extraction was found to be applicable for European lakes in different climate regions and could fill existing data gaps in future applications. The extension of the time series to the full AVHRR record length (early 1980 until today) with adequate length for trend estimations would be of interest to assess climate variability and change. Furthermore, the two-step extraction itself is not sensor-specific and could be applied to other sensors with equivalent near- and thermal infrared spectral bands.
Resumo:
The limitations of diagnostic echo ultrasound have motivated research into novel modalities that complement ultrasound in a multimodal device. One promising candidate is speed of sound imaging, which has been found to reveal structural changes in diseased tissue. Transmission ultrasound tomography shows speed of sound spatially resolved, but is limited to the acoustically transparent breast. We present a novel method by which speed-of-sound imaging is possible using classic pulse-echo equipment, facilitating new clinical applications and the combination with state-of-the art diagnostic ultrasound. Pulse-echo images are reconstructed while scanning the tissue under various angles using transmit beam steering. Differences in average sound speed along different transmit directions are reflected in the local echo phase, which allows a 2-D reconstruction of the sound speed. In the present proof-of-principle study, we describe a contrast resolution of 0.6% of average sound speed and a spatial resolution of 1 mm (laterally) × 3 mm (axially), suitable for diagnostic applications.
Resumo:
An efficient and reliable automated model that can map physical Soil and Water Conservation (SWC) structures on cultivated land was developed using very high spatial resolution imagery obtained from Google Earth and ArcGIS, ERDAS IMAGINE, and SDC Morphology Toolbox for MATLAB and statistical techniques. The model was developed using the following procedures: (1) a high-pass spatial filter algorithm was applied to detect linear features, (2) morphological processing was used to remove unwanted linear features, (3) the raster format was vectorized, (4) the vectorized linear features were split per hectare (ha) and each line was then classified according to its compass direction, and (5) the sum of all vector lengths per class of direction per ha was calculated. Finally, the direction class with the greatest length was selected from each ha to predict the physical SWC structures. The model was calibrated and validated on the Ethiopian Highlands. The model correctly mapped 80% of the existing structures. The developed model was then tested at different sites with different topography. The results show that the developed model is feasible for automated mapping of physical SWC structures. Therefore, the model is useful for predicting and mapping physical SWC structures areas across diverse areas.
Resumo:
This paper proposed an automated three-dimensional (3D) lumbar intervertebral disc (IVD) segmentation strategy from Magnetic Resonance Imaging (MRI) data. Starting from two user supplied landmarks, the geometrical parameters of all lumbar vertebral bodies and intervertebral discs are automatically extracted from a mid-sagittal slice using a graphical model based template matching approach. Based on the estimated two-dimensional (2D) geometrical parameters, a 3D variable-radius soft tube model of the lumbar spine column is built by model fitting to the 3D data volume. Taking the geometrical information from the 3D lumbar spine column as constraints and segmentation initialization, the disc segmentation is achieved by a multi-kernel diffeomorphic registration between a 3D template of the disc and the observed MRI data. Experiments on 15 patient data sets showed the robustness and the accuracy of the proposed algorithm.
Resumo:
BACKGROUND This first-in-human proof-of-concept study aimed to check whether safety and preclinical results obtained by intratumoral administration of BQ788, an endothelin receptor B (EDNRB) antagonist, can be repeated in human melanoma patients. METHODS Three patients received a single intralesional BQ788 application of 3 mg. After 3-7 days, the lesions were measured and removed for analysis. The administered dose was increased to a cumulative dosage of 8 mg in patient 4 (4 × 2.0 mg, days 0-3; lesion removed on day 4) and to 10 mg in patient 5 (3 × 3.3 mg, days 0, 3, and 10; lesion removed after 14 days). Control lesions were simultaneously treated with phosphate-buffered saline (PBS). All samples were processed and analyzed without knowledge of the clinical findings. RESULTS No statistical evaluation was possible because of the number of patients (n = 5) and the variability in the mode of administration. No adverse events were observed, regardless of administered dose. All observations were in accordance with results obtained in preclinical studies. Accordingly, no difference in degree of tumor necrosis was detected between BQ788- and PBS-treated samples. In addition, both EDNRB and Ki67 showed decreased expression in patients 2 and 5 and, to a lesser extent, in patient 1. Similarly, decreased expression of EDNRB mRNA in patients 2 and 5 and of BCL2A1 and/or PARP3 in patients 2, 3, and 5 was found. Importantly, semiquantitatively scored immunohistochemistry for CD31 and CD3 revealed more blood vessels and lymphocytes, respectively, in BQ788-treated tumors of patients 2 and 4. Also, in all patients, we observed inverse correlation in expression levels between EDNRB and HIF1A. Finally, in patient 5 (the only patient treated for longer than 1 week), we observed inhibition in lesion growth, as shown by size measurement. CONCLUSION The intralesional applications of BQ788 were well tolerated and showed signs of directly and indirectly reducing the viability of melanoma cells.
Resumo:
Meniscal injuries can occur secondary to trauma or be instigated by the changes in knee-joint function that are associated with aging, osteo- and rheumatoid arthritis, disturbances in gait and obesity. Sixty per cent of persons over 50 years of age manifest signs of meniscal pathology. The surgical and arthroscopic measures that are currently implemented to treat meniscal deficiencies bring only transient relief from pain and effect but a temporary improvement in joint function. Although tissue-engineering-based approaches to meniscal repair are now being pursued, an appropriate in-vitro model has not been conceived. The aim of this study was to develop an organ-slice culturing system to simulate the repair of human meniscal lesions in vitro. The model consists of a ring of bovine meniscus enclosing a chamber that represents the defect and reproduces its sequestered physiological microenvironment. The defect, which is closed with a porous membrane, is filled with fragments of synovial tissue, as a source of meniscoprogenitor cells, and a fibrin-embedded, calcium-phosphate-entrapped depot of the meniscogenic agents BMP-2 and TGF-ß1. After culturing for 2 to 6 weeks, the constructs were evaluated histochemically and histomorphometrically, as well as immunohistochemically for the apoptotic marker caspase 3 and collagen types I and II. Under the defined conditions, the fragments of synovium underwent differentiation into meniscal tissue, which bonded with the parent meniscal wall. Both the parent and the neoformed meniscal tissue survived the duration of the culturing period without significant cell losses. The concept on which the in-vitro system is based was thus validated. This article is protected by copyright. All rights reserved.
Resumo:
OBJECTIVE Successful repair of defects in the avascular zone of meniscus remains a challenge in orthopedics. This proof of concept study aimed to investigate a guided tissue regeneration approach for treatment of tears in meniscus avascular zone in a goat model. DESIGN Full-depth longitudinal tear was created in the avascular zone of the meniscus and sutured. In the two treatment groups, porcine collagen membrane was wrapped around the tear without (CM) or with injection of expanded autologous chondrocytes (CM+cells), whereas in the control group the tear remained only sutured. Gait recovery was evaluated during the entire follow-up period. On explantation at 3 and 6 months, macroscopic gross inspection assessed healing of tears, degradation of collagen membrane, potential signs of inflammation, and osteoarthritic changes. Microscopic histology scoring criteria were developed to evaluate healing of tears, the cellular response, and the inflammatory response. RESULTS Gait recovery suggested protective effect of collagen membrane and was supported by macroscopical evaluation where improved tear healing was noted in both treated groups. Histology scoring in CM compared to suture group revealed an increase in tear margins contact, newly formed connective tissue between margins, and cell formations surrounded with new matrix after 3 months yet not maintained after 6 months. In contrast, in the CM+cells group these features were observed after 3 and 6 months. CONCLUSIONS A transient, short-term guided tissue regeneration of avascular meniscal tears occurred upon application of collagen membrane, whereas addition of expanded autologous chondrocytes supported more sustainable longer term tear healing.
Resumo:
In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.
Resumo:
Academic and industrial research in the late 90s have brought about an exponential explosion of DNA sequence data. Automated expert systems are being created to help biologists to extract patterns, trends and links from this ever-deepening ocean of information. Two such systems aimed on retrieving and subsequently utilizing phylogenetically relevant information have been developed in this dissertation, the major objective of which was to automate the often difficult and confusing phylogenetic reconstruction process. ^ Popular phylogenetic reconstruction methods, such as distance-based methods, attempt to find an optimal tree topology (that reflects the relationships among related sequences and their evolutionary history) by searching through the topology space. Various compromises between the fast (but incomplete) and exhaustive (but computationally prohibitive) search heuristics have been suggested. An intelligent compromise algorithm that relies on a flexible “beam” search principle from the Artificial Intelligence domain and uses the pre-computed local topology reliability information to adjust the beam search space continuously is described in the second chapter of this dissertation. ^ However, sometimes even a (virtually) complete distance-based method is inferior to the significantly more elaborate (and computationally expensive) maximum likelihood (ML) method. In fact, depending on the nature of the sequence data in question either method might prove to be superior. Therefore, it is difficult (even for an expert) to tell a priori which phylogenetic reconstruction method—distance-based, ML or maybe maximum parsimony (MP)—should be chosen for any particular data set. ^ A number of factors, often hidden, influence the performance of a method. For example, it is generally understood that for a phylogenetically “difficult” data set more sophisticated methods (e.g., ML) tend to be more effective and thus should be chosen. However, it is the interplay of many factors that one needs to consider in order to avoid choosing an inferior method (potentially a costly mistake, both in terms of computational expenses and in terms of reconstruction accuracy.) ^ Chapter III of this dissertation details a phylogenetic reconstruction expert system that selects a superior proper method automatically. It uses a classifier (a Decision Tree-inducing algorithm) to map a new data set to the proper phylogenetic reconstruction method. ^