Beate Bollig , Martin Sauerho , Detlef Sieling , and Ingo Wegener FB Informatik, LS II, Univ. Dortmund, 44221 Dortmund, Germany bollig-, sauerhof-, sieling-, [email protected] Abstract Almost the same types of restricted branching programs (or binary decision diagrams BDDs) are considered in complexity theory and in applications like hardware veri cation. These models are r...

*Alfred Wegener Institute for Polar and Marine Research, Telegrafenberg A43, D-14473 Potsdam, Germany {State Key Laboratory of Vegetation and Environmental Change, Institute of Botany, Chinese Academy of Sciences, Xiangshan Nanxincun 20, 100093 Beijing, China {Department of Plant Ecology and Natural Conservation, Institute of Biochemistry and Biology, University of Potsdam, Maulbeerallee 2, D-1...

TRANSFORMED BDDs Detlef Sieling and Ingo Wegener FB Informatik, LS 2, Univ. Dortmund, 44221 Dortmund, Germany sieling, [email protected] Abstract Ordered binary decision diagrams (OBDDs) introduced by Bryant (1986) have found a lot of applications in veri cation and CAD. Their use is limited if the OBDD size of the considered functions is too large. Therefore, a variety of generali...

We report the case of a 57-year-old man with a known history of antineutrophil cytoplasmic antibody-positive Wegener granulomatosis with initial involvement of the upper and lower respiratory tract. MR imaging of the brain was performed because of new onset CNS symptoms (nausea, altered mental status). The images revealed a mass in the fourth ventricle. The mass diminished in size after systemi...

Transalar encephaloceles are rare lesions that do not fit the standard classification of basal encephaloceles. Typically, these lesions present in adulthood, with nonspecific symptoms. We report here a case of a patient with Wegener disease in whom a large transalar encephalocele posterior to the sinus was noted when he was preoperative for left maxillary sinus surgery. The encephalocele demons...