Analytical Solutions and type curves for the constant rate radial flow of fluid in both conventional and naturally fractured reservoirs including the effect of wellbore phase redistribution are presented. An automated procedure for non-linear least square minimization using the analytical solutions and their derivatives with respect to the unknown parameters developed to analyze the pressur...

Introduction: [18F]-6-thia-14-fluoro-heptadecanoic acid 3b, a free fatty acid, has been used in myocardial PET imaging. In order to establish an automated synthesis module for routine production in the country, a study performed for optimization of the production conditions as well as making modifications. Methods: [18F] Benzyl-14-Fluoro-6-thia-heptadecanoate 2b was prepared in no-carrier...

Background: With advances in medical imaging systems, digital dermoscopy has become one of the major imaging modalities in the analysis of skin lesions. Thus, automated segmentation or border detection has a great impact on the subsequent steps of skin cancer computer-aided diagnosis using demoscopy images. Since dermoscopy images suffer from artifacts such as shading and hair, there is a need ...

The exact delineation of chronic brain lesions is a crucial step when investigating the relationship between brain structure and (dys-)function. For this, manual tracing, although very time-consuming, is still the gold standard. In order to assess the possible contributions from other methods, we compared manual tracing of lesion boundaries with a newly developed semi-automated and a fully auto...

Success: • Algorithmic methods: temporal specifications and finite-state programs. • Impact on industrial design practice is increasing.

The use of power screwdrivers and drills for tapping and screw insertion in surgery is becoming more common. It has been established from clinical observations that the use of a small air drill for inserting self-tapping screws provides improved coaxial alignment and precision, and that the drill should be stopped before the screw head is completely seated on the plate, presumably to reduce the...

In this paper we compare two approaches to automated reasoning about metric and topology in the framework of the logicMT introduced in [10].MT -formulas are built from set variables p1, p2, . . . (for arbitrary subsets of a metric space) using the Booleans ∧, ∨, →, and ¬, the distance operators ∃ and ∃≤a, for a ∈ Q, and the topological interior and closure operators I and C. Intended models for...

I discuss the question whether portfolio solvers support advances in automated reasoning. A portfolio solver is the combination of a collection of core solvers. I distinguish syntactic combinations from semantic combinations and argue that the former are useful for competitions where the latter foster progress in automated reasoning.