Search results for "tomate"
showing 10 items of 261 documents
Robotic path planning for non-destructive testing – A custom MATLAB toolbox approach
2016
AbstractThe requirement to increase inspection speeds for non-destructive testing (NDT) of composite aerospace parts is common to many manufacturers. The prevalence of complex curved surfaces in the industry provides motivation for the use of 6 axis robots in these inspections. The purpose of this paper is to present work undertaken for the development of a KUKA robot manipulator based automated NDT system. A new software solution is presented that enables flexible trajectory planning to be accomplished for the inspection of complex curved surfaces often encountered in engineering production. The techniques and issues associated with conventional manual inspection techniques and automated s…
Automated Weaning from Mechanical Ventilation after Off-Pump Coronary Artery Bypass Grafting
2017
Background The discontinuation of mechanical ventilation after coronary surgery may prolong and significantly increase the load on intensive care unit personnel. We hypothesized that automated mode using INTELLiVENT-ASV can decrease duration of postoperative mechanical ventilation, reduce workload on medical staff, and provide safe ventilation after off-pump coronary artery bypass grafting (OPCAB). The primary endpoint of our study was to assess the duration of postoperative mechanical ventilation during different modes of weaning from respiratory support (RS) after OPCAB. The secondary endpoint was to assess safety of the automated weaning mode and the number of manual interventions to the…
Automated segmentation and description of the internal morphology of human permanent teeth by means of micro-CT
2020
High-resolution micro-computed tomography is a powerful tool to analyze and visualize the internal morphology of human permanent teeth. It is increasingly used for investigation of epidemiological questions to provide the dentist with the necessary information required for successful endodontic treatment. The aim of the present paper was to propose an image processing method to automate parts of the work needed to fully describe the internal morphology of human permanent teeth. One hundred and four human teeth were scanned on a high-resolution micro-CT scanner using an automatic specimen changer. Python code in a Jupyter notebook was used to verify and process the scans, prepare the dataset…
Automatic Biological Cell Counting Using a Modified Gradient Hough Transform
2017
AbstractWe present a computational method for pseudo-circular object detection and quantitative characterization in digital images, using the gradient accumulation matrix as a basic tool. This Gradient Accumulation Transform (GAT) was first introduced in 1992 by Kierkegaard and recently used by Kaytanli & Valentine. In the present article, we modify the approach by using the phase coding studied by Cicconet, and by adding a “local contributor list” (LCL) as well as a “used contributor matrix” (UCM), which allow for accurate peak detection and exploitation. These changes help make the GAT algorithm a robust and precise method to automatically detect pseudo-circular objects in a microscop…
Detection of bacteria and yeast species by the BACTEC 9120 automated system with the routine use of aerobic, anaerobic, and fungal media
2008
ABSTRACT During the period 2006 and 2007, all blood cultures required by four units at high infective risk and most of those required by other units of the University Hospital of Palermo, Palermo, Italy were performed using a Bactec 9120 automated blood culture system with a complete set of Plus Aerobic/F, Plus Anaerobic/F, and Mycosis IC/F bottles. The aim of the study was to enable the authors to gain firsthand experience of the culture potentialities of the three different media, to obtain information regarding the overall and specific recovery of bacteria and yeasts from blood cultures in the hospital, and to reach a decision as to whether and when to utilize anaerobic and fungal bottle…
Survey of Formal Verification Methods for Smart Contracts on Blockchain
2019
Due to the immutable nature of distributed ledger technology such as blockchain, it is of utter importance that a smart contract works as intended before employment outside test network. This is since any bugs or errors will become permanent once published to the live network, and could lead to substantial economic losses; as manifested in the infamous DAO smart contract exploit hack in 2016. In order to avoid this, formal verification methods can be used to ensure that the contract behaves according to given specifications. This paper presents a survey of the state of the art of formal verification of smart contracts. Being a relatively new research area, a standard or best practice for fo…
Design and Synthesis of 4-Substituted Indolo[3,2-e][1,2,3]triazolo[1,5-a]pyrimidine Derivatives with Antitumor Activity
2008
New derivatives of the indolo[3,2- e][1,2,3]triazolo[1,5- a]pyrimidine system, substituted in the 4 position, were designed as novel antitumor agents because of their theoretical capability to form stable complexes with DNA fragments. The calculated free energies of binding were found in the range -12.76 --> -39.68 Kcal/mol. The docking studies revealed a common binding mode with the chromophore intercalated between GC base pairs, whereas the side chain lies along the minor groove. Compounds, selected on the basis of the docking studies and suitably synthesized, showed antiproliferative activity against each type of tumor cell line investigated, generally in the low micromolar range. The mo…
Isolation of the left atrial surface from cardiac multi-detector CT images based on marker controlled watershed segmentation
2006
The delineation of left atrium (LA) and pulmonary veins (PVs) anatomy from high resolution images holds importance for atrial fibrillation (AF) investigation and treatment. In this study, a semiautomatic segmentation procedure for LA and PVs inner surface from contrast enhanced CT data was developed. The procedure consists of a three dimensional marker controlled watershed segmentation applied to the external morphological gradient, followed by variable threshold surface extraction from the original intensity image. A preliminary anisotropic non-linear filtering was implemented to improve the S/N ratio of CT images. The performance of segmentation was evaluated on cardiac CT scans of 12 AF …
Multiproject–multicenter evaluation of automatic brain tumor classification by magnetic resonance spectroscopy
2008
[EN] Automatic brain tumor classification by MRS has been under development for more than a decade. Nonetheless, to our knowledge, there are no published evaluations of predictive models with unseen cases that are subsequently acquired in different centers. The multicenter eTUMOUR project (2004-2009), which builds upon previous expertise from the INTERPRET project (2000-2002) has allowed such an evaluation to take place. A total of 253 pairwise classifiers for glioblastoma, meningioma, metastasis, and low-grade glial diagnosis were inferred based on 211 SV short TE INTERPRET MR spectra obtained at 1.5 T (PRESS or STEAM, 20-32 ms) and automatically pre-processed. Afterwards, the classifiers …
Extended causal modeling to assess Partial Directed Coherence in multiple time series with significant instantaneous interactions.
2010
The Partial Directed Coherence (PDC) and its generalized formulation (gPDC) are popular tools for investigating, in the frequency domain, the concept of Granger causality among multivariate (MV) time series. PDC and gPDC are formalized in terms of the coefficients of an MV autoregressive (MVAR) model which describes only the lagged effects among the time series and forsakes instantaneous effects. However, instantaneous effects are known to affect linear parametric modeling, and are likely to occur in experimental time series. In this study, we investigate the impact on the assessment of frequency domain causality of excluding instantaneous effects from the model underlying PDC evaluation. M…