Approved:

at th

Diagnostic and therapeutic strategy in Menière's disease. Guidelines of the French Otorhinolaryngology-Head and Neck Surgery Society (SFORL)

International audienceThe authors present the guidelines of the French Otorhinolaryngology-Head and Neck Surgery Society (Société française d'oto-rhino-laryngologie et de chirurgie de la face et du cou: SFORL) for diagnostic and therapeutic strategy in Menière's disease. METHODS: A work group was entrusted with a review of the scientific literature on the above topic. Guidelines were drawn up, then read over by an editorial group independent of the work group. The guidelines were graded according to the literature analysis and recommendations grading guide published by the French National Agency for Accreditation and Evaluation in Health (January 2000). RESULTS: Menière's disease is diagnosed in the presence of the association of four classical clinical items and after eliminating differential diagnoses on MRI. In case of partial presentation, objective audiovestibular tests are recommended. Therapy comprises medical treatment and surgery, either conservative or sacrificing vestibular function. Medical treatment is based on lifestyle improvement, betahistine, diuretics or transtympanic injection of corticosteroids or gentamicin. The main surgical treatments, in order of increasing aggressiveness, are endolymphatic sac surgery, vestibular neurotomy and labyrinthectomy

Symbolic query exploration

Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theory that includes arithmetic, tuples, and sets, and translate the generation problem into a satisfiability or model generation problem modulo the background theory. We use the satisfiability modulo theories (SMT) solver Z3 in the concrete implementation. We describe an application of model generation in the context of the database unit testing framework of Visual Studio.