Feasibility Verification of Portable Intelligent Gauge Calibrator

Rigorous verification of feasibility

This paper considers the problem of finding and verifying feasible points for constraint satisfaction problems, including those with uncertain coefficients. The main part is devoted to the problem of finding a narrow box around an approximately feasible solution for which it can be rigorously and automatically proved that it contains a feasible solution. Some examples demonstrate difficulties w...

Feasibility of portable gamma camera imaging in intraoperative radioguided parathyroid adenoma identification

Novel surgical applications include radioguided procedures in parathyroidectomy operations. In order to investigate the feasibility of usage of the portable gamma camera in parathyroidectomy operations; intraoperative radioguided parathyroidectomy operation was performed in three hyperparathyroidism patients with inconclusive preoperative parathyroid scintigraphy results. Intraoperative portabl...

Intelligent Modeling and Verification

Enhancements and Verification Tests for Portable Deflectometers

Flexible Plan Verification: Feasibility Results

Timeline-based planning techniques have demonstrated wide application possibilities in heterogeneous domains. However, a problem for a wider diffusion of such technology still stems in the reduced community that has been studying formal properties of this planning approach. In this sense, we are currently studying the connection between plan generation and execution from the particular perspect...