The noninvasive diagnosis of the malignant tumors is an important issue in research nowadays. Our purpose is to elaborate computerized, texture-based methods for performing computer-aided characterization and automatic diagnosis of these tumors, using only the information from ultrasound images. In this paper, we considered some of the most frequent… (More)
After a brief survey on the parametric deformable models, we develop an iterative method based on the finite difference schemes in order to obtain energy-minimizing snakes. We estimate the approximation error, the residue, and the truncature error related to the corresponding algorithm, then we discuss its convergence, consistency, and stability. Some… (More)
Based on some mathematical and statistical approaches, our study leads to some conclusions concerning the procedures related to the orodental prosthetics. Occlusal equilibration in orodental prosthetics is a major issue because besides motivating patients for a regular daily oral hygiene, it could significantly increase the longevity of FPR. More dental… (More)
This paper employs techniques from metric semantics in defining and relating an operational and a denotational semantics for a simple abstract language which embodies the main control flow notions of Warren's Basic Andorra Model. The both semantic models are designed with the " continuation semantics for concurrency " (CSC) technique.