This paper studies the relationship between logic programs and term rewrit ing systems TRSs A compositional transform is de ned which given a logic program computes a TRS For a relevant class of logic programs called Simply Well Moded SWM there is a one to one correspondence between computed answer substitutions of the logic program and normal forms of the correspond ing TRS Moreover the transf...

The ability to predict an occurrence of cholera, a water-related disease, offers a significant public health advantage. Satellite based estimates of chlorophyll, a surrogate for plankton abundance, have been linked to cholera incidence. However, cholera bacteria can survive under a variety of coastal ecological conditions, thus constraining the predictive ability of the chlorophyll, since it pr...

Angiographically determined changes in segmental wall motion (SWM) and ejection fraction (EF) are sensitive indices of left ventricular (LV) function. To compare the effects of exercise on LV function, first pass radionuclide angiocardiography was used before and during maximal upright bicycle stress in patients with nonsignificantly stenosed coronary arteries, and in those with greater than 75...

Changes in ejection fraction (EF) and segmental wall motion (SWM) have been shown to be sensitive indicators of left ventricular (LV) function. This information is only obtainable by contrast angiography or gated blood pool scans. Gated studies assume a fixed geometry for the LV for EF determinations, are lengthy and limited primarily to the LAO projection. We correlated contrast and Tc-99m per...

Angiographically determined changes in segmental wall motion (SWM) and ejection fraction (EF) are sensitive indices of left ventricular (LV) function. To compare the effects of exercise on LV function, first pass radionticlide angiocardiography was used before and during maximal upright bicycle stress in patients with nonsignificantly stenosed coronary arteries, and in those with > 75% stenosis...

For large numbers of targets, path planning is a complex and computationally expensive task. Humans, however, usually solve such tasks quickly and efficiently. We present experiments studying human path planning performance and the cognitive processes and heuristics involved. Twenty-five places were arranged on a regular grid in a large room. Participants were repeatedly asked to solve travelin...

Psychiatric disorders are often caused by partial heterogeneous disinhibition in cognitive networks, controlling sequential and spatial working memory (SWM). Such dynamic connectivity changes suggest that the normal relationship between the neuronal components within the network deteriorates. As a result, competitive network dynamics is qualitatively altered. This dynamics defines the robust re...

SRAM cell read stability and write-ability are major concerns in CMOS technologies, due to the progressive increase in VDD and transistor scaling. In this paper, we studied and comparedthe performance of 7TN (with NMOS access transistor), 7TP (with PMOS access transistor) andconventional 6T structure.SRAM cells have been simulated in SPICE with 0.35 μm technology. The techniques that provide th...

In this paper the authors propose a flexible electronic solution, to improve the energetic efficiency of a thermo plant. This is achieved by replacing the mechanical gear box, placed traditionally between a gas turbine and a synchronous generator; by a power electronic converter. After reminding problematic of gear boxes and interest of a proposed electronic solution in high power plants, the a...

Discovering statistical structure from links is a fundamental problem in the analysis of social networks. Choosing a misspecified model, or equivalently, an incorrect inference algorithm will result in an invalid analysis or even falsely uncover patterns that are in fact artifacts of the model. This work focuses on unifying two of the most widely used link-formation models: the stochastic block...