The virtual colonoscopy technique is a non-invasive technique used to generate high resolution video views of the colon interior structure. The colonic structure consists of a great number of triangle meshes that challenge rendering performance. In contrast to previous work, the proposed approaches allow interactive colonic surface rendering on low-cost PC systems. Our system takes advantage of...

This new edition of a well-known book has been thoroughly revised and brought up-to-date in accordance with the rapid advances made in this department of medicine during the Great War. The book in its present form is divided into five sections, vis., thermotherapy, hydrotherapy, massotherapy (including medical gymnastics), the rest cure, electrotherapeutics, and dieto-therapy. A new chapter has...

A specification language used in the context of an effective theorem prover can provide novel features that enhance precision and expressiveness. In particular, typechecking for the language can exploit the services of the theorem prover. We describe a feature called “predicate subtyping” that uses this capability and illustrate its utility as mechanized in PVS. Keywords—Formal methods, specifi...

Aerosol retrieval from SCIAMACHY data processing at ISAC-CNR has been carried-out to retrieve Aerosol Optical Depth (AOD) at 500 nm wavelength together with a parameter (class) which defines a set of chemico-physical properties pertaining to suspended particles. SCIAMACHY Level 1B data from nadir measurements both over ocean and land are used as input for this processor. SCIAMACHY, onboard ENVI...

The development of an application based on a set of best software engineering practices involves first their selection. This process may become complex due to the variables involved. This paper presents an Operations Research approach for the selection of best software engineering practices for the development of applications or computational systems considering a series of alternatives and sel...

Recent research shows that runtime models can be used to build dynamic systems coping with changing requirements and execution environments. As software systems are getting bigger and more complex, locating malfunctioning software parts is no trivial task because of the vast amount of possible error sources and produced logging information. This information has to be traced back to faulty compo...

The batch execution modes of PVS are powerful, but highly technical, features of the system that are mostly accessible to expert users. This paper presents a PVS tool, called ProofLite, that extends the theorem prover interface with a batch proving utility and a proof scripting notation. ProofLite enables a semi-literate proving style where specification and proof scripts reside in the same fil...

This study was performed to estimate the prevalence of abortions and to evaluate its association with the socio-demographic factors in an urban slum. The data was collected based on recall obstetric history from186 females through systematic random sampling from 01.04.2001 to 30.06.2001. It was found that the abortion rate was 419.35 / 1000 women of reproductive age group. Abortion ratio was 10...

This work accounts for an investigation about the diurnal variation of aerosol spectral transmittance of solar irradiance under dominant wind conditions as case studies. Such a work is carried out in Athens for first time. The spectral transmittance values estimated were derived using Ž . ground-based spectral measurements of beam irradiance in the range 310–575 nm UV and VIS . The data were re...

In the modern understanding an Invisible Hand process, which is widely believed to be present in a Free Market, is perceived as something very general a process in which the outcome is produced in a decentralized way, with no explicit cooperation between the acting agents. The second essential feature is that the process is not intentional; yet its impact on the market is very strong (Joyce, 20...