In this paper we present a comparative study of path feasibility queries generated during path exploration based software engineering methods. Symbolic execution based methods are gaining importance in different aspects of software engineering e.g. proving properties about programs, test case generation, comparing different executions of programs. These methods use SMT solvers to check the sati...

Molecular docking is the most practical approach to leverage protein structure for ligand discovery, but the technique retains important liabilities that make it challenging to deploy on a large scale. We have therefore created an expert system, DOCK Blaster, to investigate the feasibility of full automation. The method requires a PDB code, sometimes with a ligand structure, and from that alone...

The electric power industry is undergoing rapid and significant change with the advent of deregulation. In a networked environment, it is desirable that the agent be mobile. In the envisaged market scenario, the customer’s agent (load) attempts to get the best value for money and minimize costs and the seller’s (generator) agent attempts to maximize profit and minimize costs. The success of the...

The feasibility of producing a modular Active Power Factor Correction (APFC) system was studied analytically and experimentally. It is shown that the novel control scheme that does not need the sensing of the input voltage is highly compatible with the modular concept. Modularity is achieved by aggregating practically all the electronic in an IC or hybrid unit that may also include the power sw...

We present a non-destructive approach to sense inclusion objects embedded in a solid medium remotely from force sensors applied to the medium and boundary displacements that could be measured via a digital image correlation system using a set of cameras. We provide a rationale and strategy to uniquely identify the heterogeneous sample composition based on stiffness (here, shear modulus) maps. T...

We introduce a cardiac rehabilitation program (CRP) that utilizes only a smartphone, with no external devices. As an efficient guide for cardiac rehabilitation exercise, we developed an application to automatically indicate the exercise intensity by comparing the estimated heart rate (HR) with the target heart rate zone (THZ). The HR is estimated using video images of a fingertip taken by the s...

MR imaging can provide cross-sectional images in multiple imaging planes with equal resolution and improve localization of abnormal tissue over that afforded by CT [1, 2]. MRdirected biopsy of the body has already been safely performed [3]; however, MR-directed biopsy of the brain is potentially more difficult and risky because of the problems involved in identifying possible intracranial hemor...

Abastract Helicon thrusters have been recently considered a possible new electric propulsion system thanks to the acceleration mechanism called “current free double layer “ which allows specific impulse up to 1300 s applying Argon and 4000 s applying hydrogen. Although the primary interest of this technology was always regarding primary propulsion , on this paper is explored the possibility of ...

The feasibility study on fully automatic high quality translation was held in 1971 under the auspices of the Linguistics Research Center of The University of Texas at Austin with support from KAFB. The participants were twenty experts in the areas of linguistics and computer software, representing a wide range of opinions on the feasibility of MT. Among the recommendations made in the report on...