Institute of Physics, University of Freiburg, 7 [email protected] Hermann Staudinger Graduate School, U Germany School of Materials Science & Engineering, Z People's Republic of China Chair of Chemical Materials Science, D Konstanz, 78464 Konstanz, Germany Institute of Macromolecular Chemistry, U Germany Freiburg Materials Research Centre, Univers † Electronic supplementary informa ...

Alberto Dominguez-Rodriguez,* Pedro Abreu-Gonzalez, and Russel J. Reiter a Servicio de Cardiologı́a, Hospital Universitario de Canarias, La Cuesta, La Laguna, Santa Cruz de Tenerife, Canarias, Spain Departamento de Fisiologı́a, Universidad de La Laguna, La Laguna, Santa Cruz de Tenerife, Canarias, Spain Department of Cellular and Structural Biology, The University of Texas Health Science Center a...

Similar antibodies are produced in the serum of patients infected with the pathogenic treponemes T. pallidum and T. pertenue, and for this reason sera from persons with syphilis or yaws react similarly in the conventional tests for syphilis and in the Treponema pallidum immobilization (TPI) and fluorescent treponemal antibody absorption (FTAABS) tests. In the TPI and FTA-ABS tests T. pallidum i...

In the absorption step of the fluorescent treponemal antibody-absorption (FTA-ABS) test (USPHS, 1969) sorbent is used to circumvrent so-called natural antiTreponema pallidum (Tp) reactivity present in a significant proportion of presumed nonsyphilitic individuals (Hunter, Norins, Falcone, and Stout, 1968). It has been postulated that the natural reactivity may be stimulated by nonpathogenic, sa...

Although the treponemal immobilization test (TPI) is now generally accepted as being a sensitive and highly specific test for treponemal disease, difficulties in its execution have restricted its performance to specialized laboratories. Alternative methods of demonstrating specific antibodies by agglutination, immune adherence, and complementfixation tests with virulent treponemes or extracts h...

In a seminal paper, Lin and Reiter introduced a model-theoretic definition for the progression of a basic action theory in the situation calculus, and proved that it implies the intended properties. They also showed that this definition comes with a strong negative result, namely that for certain cases first-order logic is not expressive enough to correctly characterize the progressed theory an...

This chapter is dedicated to the memory of Ray Reiter. It is also an overview of cogni-tive robotics, as we understand it to have been envisaged by him. 1 Of course, nobody can control the use of a term or the direction of research. We apologize in advance to those who feel that other approaches to cognitive robotics and related problems are inadequately represented here. 23.1 Introduction In i...