Search results for "Automated"
showing 10 items of 236 documents
Polarized multiplex coherent anti-Stokes Raman scattering using a picosecond laser and a fiber supercontinuum
2011
International audience; We perform multiplex coherent anti-Stokes Raman scattering (CARS) micro-spectroscopy with a picosecond pulsed laser and a broadband supercontinuum (SC) generated in photonic crystal fiber. CARS signal stability is achieved using an active fiber coupler that avoids thermal and mechanical drifts. We obtain multiplex CARS spectra for test liquids in the 600–2000 cm−1 spectral range. In addition we investigate the polarization dependence of the CARS spectra when rotating the pump beam linear polarization state relative to the linearly polarized broad stokes SC. From these polarization measurements we deduce the Raman depolarization ratio, the resonant versus nonresonant …
Structural Characterization of Organics Using Manual and Automated Electron Diffraction
2010
In the last decade the importance of transmission electron microscopic studies has become increasingly important with respect to the characterization of organic materials, ranging from small organic molecules to polymers and biological macromolecules. This review will focus on the use of transmission electron microscope to perform electron crystallography experiments, detailing the approaches in acquiring electron crystallographic data. The traditional selected area approach and the recently developed method of automated diffraction tomography (ADT) will be discussed with special attention paid to the handling of electron beam sensitive organic materials.
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 …