Global flow analysis as a practical compilation tool

This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of speed of the analysis, precisión, and usefulness of the information obtained. To this end, design and implementation aspects are discussed for two practical abstract interpretation-based flow analysis systems: MA , the MCC And-parallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained (rom these implementations and, as an example of an application, a study of the usefulness of the mode information obtained in reducing run-time checks in independent and-parallelism.Based on the results obtained, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful

On the Portability of Prolog Applications

The non-portability of Prolog programs is widely considered one of the main problems facing Prolog programmers. Although since 1995, the core of the language is covered by the ISO standard 13211-1, this standard has not been sufficient to support large Prolog applications. As an approach to address this problem, since 2007, YAP and SWI-Prolog have established a basic compatibility framework. The aim of the framework is running the same code on Edinburgh-based Prolog systems rather than having to migrate an application. This article describes the implementation and evaluates this framework by studying how it can be used on a number of libraries and an important application. © 2011 Springer-Verlag

On termination of logic programs with floating point computations

Numerical computations form an essential part of almost any real-world program. Traditional approaches to termination of logic programs are restricted to domains isomorphic to N, more recent works study termination of integer computations. Termination of computations involving real numbers is cumbersome and counter-intuitive due to rounding errors and implementation conventions. We present a novel technique that allows us to prove termination of such computations. Our approach extends the previous work on termination of integer computations

Differential extrageniculostriate and amygdala responses to presentation of emotional faces in a cortically blind field.

Patient G.Y. is able to discriminate emotional facial expressions presented in his blind (right) hemifield despite an extensive lesion of the corresponding (left) striate cortex. One proposal is that this residual ability (affective "blindsight") depends on a subcortical visual pathway comprising the superior colliculus, posterior (extrageniculate) thalamus and amygdala. Here we report differential amygdala responses in G.Y. to presentation of fearful and fear-conditioned faces in his blind (right) hemifield. These amygdala responses exhibited condition-dependent covariation with neural activity in the posterior thalamus and superior colliculus. Our results provide further evidence that an extrageniculostriate (colliculo-thalamo-amygdala) neural pathway can process fear-related stimuli independently of both the striate cortex and normal phenomenal visual awareness

Disturbance compensation for servo-control applications using a discrete adaptive neural network feedforward method

10.1109/CDC.2007.4434253Proceedings of the IEEE Conference on Decision and Control5965-5972PCDC