Learn More
The aim of our study was to evaluate the relationships between endothelial function, small resistance artery structure, and blood pressure in patients with primary or secondary hypertension. Sixty subjects were included in the study: 9 patients with pheochromocytoma, 10 with primary aldosteronism, 17 with renovascular hypertension, and 13 with essential(More)
BACKGROUND AND AIM High leptin (LPT) is associated with high blood pressure (BP), insulin resistance and systemic inflammation but also excess body weight and adiposity. To disentangle these multiple relations, we analyzed BP, HOMA and circulating C-reactive protein concentration (hs-CRP) in white male adults with different LPT levels but similar age, body(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)