Introduction: Substantive amount of work has been done in modeling and analyzing the scintillation camera system processes including positioning and image formation. The goal of this work is to develop a framework for analyzing performance of nonlinear positioning methods upon construction of a mathematical model of the system. In this study, the photodetector array counts are ...

Synthetic Aperture Radar (SAR) is the only way to evaluate deformation of the Earth’s surface from space on the order of centimeters and millimeters due to its coherent nature and short wavelengths. Hence, by this means the long term risk monitoring and security are performed as precisely as possible. Traditional SAR imaging delivers a projection of the 3-D object to the two dimensional (2-D) a...

This paper presents a high time-resolution strategy to estimate multiple fundamental frequencies in musical signals. The signal is first divided into overlapping blocks, and a high-resolution estimate made of the short-term spectrum. The resulting spectrum is modified such that only the most relevant spectral components are considered, and an iterative algorithm based on earlier work by Klapuri...

Background: The High Resolution Melting (HRM) method is a new scanning method for detecting unknown changes in DNA and its advantages have persuaded researchers to recruit it as a screening method. Objectives: Here, we developed a HRM method to screen R188H SNP (rs3218536) of XRCC2 and compared the results with a well known PCR-RFLP technique. Materials and Methods: Genomic ...

Background: Pyogenic granuloma is a benign vascular proliferation that is often related to minor trauma by the patient. Objective: Evaluation of the efficacy of cryotherapy in the treatment of pyogenic granuloma. Patients and Methods: Hundred and forty-six patients with pyogenic granuloma were treated by cryosurgery using liquid nitrogen and cotton tip applicator in an open clinical trial. This...

We discuss the general scheme of building resolution calculi (also called the inverse method) originating from S. Maslov and G. Mints. A survey of resolution calculi for various nonclassical logic is presented, along with several common properties these calculi possess.

We provide a resolution-based proof procedure for modal and description logics that improves on previous proposals in a number of important ways. First, it avoids translations into large undecidable logics , and works directly on modal or description logic formulas instead. Second, by using labeled formulas it avoids the complexities of earlier propositional resolution-based methods for modal l...