Search results for "Specifications"
showing 9 items of 9 documents
Preparation prerequisites for effective irrigation of apical root canal : a critical review
2017
Background It is well recognized that disinfection of the complex root canal system at the apical root canal remains the most critical therapeutic measure to treat apical periodontitis. Material and Methods Observational and experimental data in relation to the anatomy of the apical root canal in different tooth types and the cross sectional diameters of the apical part of the most commonly used hand and rotary files are critically reviewed. Results The present data analysis confirm that the challenging issue of antibacterial efficacy of modern preparation protocols in non-surgical endodontics requires more attention to apical root canal irrigation as a balance between safety and effectiven…
An Unsupervised Method for Suspicious Regions Detection in Mammogram Images
2015
Over the past years many researchers proposed biomedical imaging methods for computer-aided detection and classification of suspicious regions in mammograms. Mammogram interpretation is performed by radiologists by visual inspection. The large volume of mammograms to be analyzed makes such readings labour intensive and often inaccurate. For this purpose, in this paper we propose a new unsupervised method to automatically detect suspicious regions in mammogram images. The method consists mainly of two steps: preprocessing; feature extraction and selection. Preprocessing steps allow to separate background region from the breast profile region. In greater detail, gray levels mapping transform …
Verification of Well-Formed Communicating Recursive State Machines
2008
AbstractIn this paper we introduce a new (non-Turing equivalent) formal model of recursive concurrent programs called well-formed communicating recursive state machines (CRSM). CRSM extend recursive state machines (RSM) by allowing a restricted form of concurrency: a state of a module can be refined into a finite collection of modules (working in parallel) in a potentially recursive manner. Communication is only possible between the activations of modules invoked on the same fork. We study the model-checking problem of CRSM with respect to specifications expressed in a temporal logic that extends CaRet with a parallel operator (ConCaRet). We propose a decision algorithm that runs in time ex…
Design Procedures for Soil-Lime Stabilization for Road and Railway Embankments. Part 2-Experimental Validation
2012
AbstractAs detailed in Part 1, the most common Italian Technical Specifications refer to different design methodologies for design of lime-soil mixtures, some being quite different from those internationally adopted. Therefore, it seemed appropriate to the Authors to compare these methodologies, via a wide experimental program.It is shown that the Italian methodology of the National Road Agency is different not only from those used in Italy, but also from the main international standards. The experimental results highlight that a revision of that methodology is needed in order to bring it into line with what is prescribed by the European standard.
New Specifications for Territorial Intelligence Community System
2014
International audience; For 25 years now the territorial intelligence method Catalysis offers amultidimensional and multisectorial approach to territory. It integrates quantitativeanalysis, qualitative and spatial methods to co-construct tools available to actors insustainable development. It is an ambitious way of thinking because of the extremelyrapid evolution of information and communication technology and, consequently, ofthese methods.We passed successively to the idea of a "Catalyse toolkit" that put together tools on apersonal computer in the early 2000s, to the concept of "territorial intelligencecommunity systems" at the end of the European program caENTI (2006-2009). SCIT isa soc…
Specifications for the software “PRAGMA” of quantitative collection and treatment software
2006
Path Planning in Inspection Process of 3-D Parts Used the Visibility Technique
2006
International audience; In this paper presents a new method for digitalization of parts with non-contact sensor remains nevertheless complex. It is not completely solved today, in particular from a metrological point of view. In this article, we consider the determination of the trajectory planning within the framework of the control of dimensional and geometrical specifications. The sensor used in this application is a laser planner scanner with CCD camera oriented and moved by a CMM. Thus, we seek to determine which are the best possible orientations of the sensor with respect to the geometrical specifications of the measured part, giving the admissible measurement uncertainties. The deve…