Armelle Prigent

Learn More
Respiratory bronchiolitis-associated interstitial lung disease (RB-ILD) is a disease that exclusively affects cigarette smokers. Long-term prognosis is good with cessation of smoking, in combination or not with corticosteroid therapy. We report here the case of a 50-year-old patient with RB-IL diagnosed on lung biopsy. Despite corticosteroid and(More)
UNLABELLED 18F-FDG PET has been shown to effectively detect differentiated thyroid carcinoma (DTC) metastases with impaired iodine-trapping ability. This article evaluates the potential contribution of FDG PET in the follow-up of patients with differentiated thyroid carcinoma, elevated thyroglobulin (Tg) levels, and negative whole-body scan results obtained(More)
In this paper, we tackle the problem of model-checking SDL programs that use the save operator. Previous work on model-checking SDL programs with SPIN consists in translating SDL into IF (using sdl2if) and nally IF to Promela (if2pml). Nevertheless the save operator of SDL is not handled by the ((nal) translator if2pml. W e p r o p o s e an extension of the(More)
The case of a 33-yr-old woman with an obstruction of small hepatic veins limited to the right lobe of the liver is reported. Abdominal pain, fever, absence of ascites, and normality of liver biochemical tests were the most striking features. Abnormalities characteristic of lesions were observed on surgical wedge liver biopsy, hepatic phlebography, and(More)
This article evaluates different improvements of Laurent Itti's (Itti et al., 1998) visual attention model. Sixteen persons have participated in a qualitative evaluation protocol on a database of 48 images. Six different methods were evaluated, including a random fixations generation model. A real time conspicuity maps generation algorithm is also(More)
This paper deals with game analysis. We begin by the proposal of a terminology relevant to game scenario. Then, we propose an approach dedicated to analyze game scenarii. This approach consists in expressing a scenario by using a fragment of linear logic. This model is then translated into a Petri net model. This model allows us to generate the possible(More)
The increase of the experiences of the self through the practice of multiple virtual identities ……………………………………………….…… p. 291 ABSTRACT This paper presents a real time, low resource, head tracking system. This system is used for a broad range of applications, the simplest being the control of a car in an arcade racing game. Another use of this system is the(More)
OBJECTIVE To evaluate the efficiency of the new technique colour Doppler tissue imaging (DTI) by studying the concordance between dobutamine DTI, standard grey scale echocardiography (SE), and rest-reinjection TI-201 tomography (TI) in dysfunctional myocardium. PATIENTS 23 patients with chronic wall motion abnormalities and proven coronary artery disease(More)