- Full text PDF available (1)
An effort to automate the debugging of real programs is presented. We discuss possible choices in conceiving a debugging system. In order to detect all the semantic errors, it must have a knowledge of what the program is intended to achieve. Strategies and results are very dependent on the way of giving this knowledge. In the LAURA system that we have… (More)
The knowledge and the information about Renin Angiotensin System and Arginine-Nitric Oxide pathway helped us in understanding more about cardiac, vascular and renal systems, their function, the physiology, and pathophysiology of different diseases that may affect them. The existence of a Nitric Oxide/Angiotensin II axis, brought modification to our ways of… (More)
AIM To investigate whether hepatic progenitor cells (HPC), that reveal the features of oval cells in rodents and small epithelial cells (SEC) in certain human liver disease, were also found in human liver cirrhosis (HLC). METHODS Surgical liver specimens from 20 cases of hepatitis B virus-positive HLC (15 cases containing hepatocellular carcinoma) were… (More)
Endoglin (CD105) is a membrane protein involved in the TGF-beta receptor signalling pathway with predominant expression by proliferating endothelial cells. The aim of this study is to analyze the expression of Endoglin in choroidal neovascularization membranes (CNVM) and to compare it to the overall proliferative status of CNVM. Thirty surgically excised… (More)
An interactive system for understanding programs has been designed. This system provides informations about control structure and data flow. It also performs powerful semantic transformations that are checked for validity. The system relies on previously implemented algorithms that apply to a graph representation of programs.