1 Institute AIFB, University of Karlsruhe Postfach, 76128 Karlsruhe, Germany http://www.aifb.uni-karlsruhe.de Contact: [email protected] 2 Ontoprise GmbH Karlsruhe, Germany http://www.ontoprise.de 3 FZI Research Center for Information Technologies Knowledge Management Department (WIM) Karlsruhe, Germany http://www.fzi.de/wim 4 L3S Learning Lab Hannover/Karlsruhe, Germany http://www.lea...

Michael Devos1,2 and Wim Declercq1,2* 1Molecular Signaling and Cell Death Unit, VIB Center for Inflammation Research, Ghent, Belgium 2Department of Biomedical Molecular Biology, Ghent University, Ghent, Belgium *Corresponding author: Wim Declercq, Department of Biomedical Molecular Biology, Ghent University, Ghent, Belgium, Tel: +32-(0)9 33 13721; Fax: +32-(0)9 22 17673; E-mail: wim.declercq@ir...

Cohen, G.D. and G. Zemor, Write-isolated memories (WIMs), Discrete Mathematics 114 (1993) 105-113. A write-isolated memory (WIM) is a binary storage medium on which no change of two consecutive positions is allowed when updating the information stored. We prove that the optimal rate for writing on a WIM is log,(l +$);‘2 =0.69. We give asymptotic constructions achieving 0.6.

WIM H. VAN BRAKEL*, PAUL SAUNDERSON**, VANAJA SHETTY***, J. WIM BRANDSMA****, ERIK POST*****, REMKE JELLEMA****** & JASON MCKNIGHT******* *Royal Tropical Institute (KIT), Leprosy Unit, Amsterdam, Netherlands **American Leprosy Missions, Ålesund, Norway ***The Foundation for Medical Research, Mumbai, India ****ALERT, Addis Abeba, Ethiopia *****German Leprosy and Tuberculosis Relief Association, ...

Wc establish constructive refinements of several well-known theorems in elementary model theory. The additive group of the real numbers may be embedded elementarily into the additive group of pairs of real numbers, constructively as well as classically. Introduction. Intuitionistic model theory, as we understand it, is part of intuitionistic mathematics. We study intuitionistic structures from ...

This paper describes the three TREC tasks we participated in this year, which are, Genomics track’s categorization task and ad hoc task, and Enterprise track’s known item search task. For the categorization task, we adopt a domain-specific terms extraction method and an ontology-based method for feature selection. A SVM classifier and a Rocchio based two staged classifier were also used in this...

We discuss the role of turbulence in establishing the observed emission measures and ionization of the warm ionized medium. A Monte Carlo radiative transfer code applied to a snapshot of a simulation of a supernova-driven, multi-temperature, stratified ISM reproduces the essential observed features of the WIM. In recent years, it has become clear that turbulence plays a central role in establis...