Learn More
MRI demonstrated extensive cortical involvement in a patient with pathologically proven Creutzfeldt-Jacob disease. The whole brain was atrophic; some of the supratentorial cortex, putamen and caudate nucleus gave high signal on T2-weighted images; the changes were more extensive on diffusion-weighted images (DWI). Comparison of the history, and the sites of(More)
This paper summarizes the lessons learned from the integration of two Java constraint solvers: a set solver (namely JSetL) and a finite domains solver (namely JFD). The most relevant outcome of this experience is the definition of a generic master-slave architecture that can be used to support the cooperation of different solvers. Each slave is responsible(More)
The description of the midpontine pretrigemi-nal preparation in the cat by Giuseppe Moruzzi and his associates Cesira Batini, Mario Palestini, Gianfranco Rossi and Alberto Zanchetti goes back to more than fifty years ago (Batini et al., 1959). I have always thought that their work proved no less important for neuroscience than Moruzzi and Magoun's(More)
We present a method for the automatic analysis of whole slide his-tological images of equine tendinopathy. This computer-aided analysis is a pre-screening tool that helps veterinarians doctors to evaluate the efficacy of new treatments. A set of textural, arrangement, and alignment features are extracted to reproduce visual histological criteria, each of(More)
Specifying the eeect of actions is a relevant application of logic programming to knowledge representation. We argue that extensions of logic programming that support sets as rst-class objects make it elegant and succint to describe actions and reason about plans and plan execution. This discussion is carried out in the framework of the language flogg of(More)
— The DInSAR technique enables to determine with precision the surface displacements, using a combination of multiple interferograms. The DInSAR processing steps generate different kinds of errors, which propagate in the entire chain. This work is focused on a particular type of error generated during the DInSAR processing: the unwrapping related errors.(More)
In this paper we present a Java library---called JSetL---that offers a number of facilities to support declarative programming like those usually found in logic or functional declarative languages: logical variables, list and set data structures (possibly partially specified), unification and constraint solving over sets, nondeterminism. The paper describes(More)