Learn 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)
A 13-year-old boy developed typical features of Kleine-Levin syndrome. Routine investigations and MRI were normal. SPECT, performed both during an attack and during a symptom-fee period, demonstrated clear hypoperfusion of the left mesiotemporal structures. The possible implications of this finding are discussed.
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)
Many radiotracers are available for kidney studies. They are classified into glomerular tracers (DTPA, EDTA), tubular tracers (OIH, MAG3) and cortical tracers (DMSA, GHA). Renal function is best assessed by glomerular filtration rate. Camera studies provide a relative function assessment, whereas clearance techniques provide a precise and reliable(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)
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)
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)
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)