Agent architectures and parallelization are, with a few exceptions, rarely to encounter in traditional automated theorem proving systems. This situation is motivating our ongoing work in the higher-order theorem prover Leo-III . In contrast to its predecessor – the well established prover LEO-II – and most other modern provers, Leo-III is designed from the very beginning for concurrent proof se...

Superior memorizers often employ the method of loci (MoL) to memorize large amounts of information. The MoL, known since ancient times, relies on a complex process where information to be memorized is bound to landmarks along mental routes in a previously memorized environment. However, functional magnetic resonance imaging data on groups of trained superior memorizer are rare. Based on the mem...

Reactive oxidants generated by phagocytes are of central importance in host defenses, tumor surveillance, and inflammation. One important pathway involves the generation of potent halogenating agents by the myeloperoxidase-hydrogen peroxide-chloride system. The chlorinating intermediate in these reactions is generally believed to be HOCl or its conjugate base, ClO-. However, HOCl is also in equ...

Women make up over one-half of all doctoral recipients in biology-related fields but are vastly underrepresented at the faculty level in the life sciences. To explore the current causes of women's underrepresentation in biology, we collected publicly accessible data from university directories and faculty websites about the composition of biology laboratories at leading academic institutions in...