periodicals all over the world. Before further advance in tuberculosis research can be made, it is necessary to summarize the results already achieved; this is one of the aims of this book. Another of my objectives is to point out unsolved problems in the bacteriology of tuberculosis and to indicate recently developed experimental methods for the study of the tubercle bacilli." For the young sc...

The history of machine translation (MT) research at the University of Washington in Seattle from its beginnings in November, 1949 until June 30, 1958 has already been outlined in our previous Technical Report.1 This research, which was inspired by Dr. Warren Weaver's memorandum Translation2 of July 15, 1949, and which was in 1952 and 1953 supported by grants from the Rockefeller Foundation, has...

Purpose. Medical Oncology is a rapidly growing specialty, not only in its membership, but in its knowledge base as well. In order to keep pace with the changing profile of health care delivery and still ensure uniform quality subspecialty training, a template for education is needed. Design and Results. An Ad Hoc Committee was created from the American Society of Clinical Oncology (ASCO) member...

Formulas of Proof Outline Logic are program texts annotated with assertions. Assertions may contain control predicates as well as terms whose values depend on previous states, making the assertion language rather expressive. The logic is complete for proving safety properties of concurrent programs. A deductive system for the logic is presented. Solutions to the mutual exclusion and readers/wri...

I suggest that neutron clusters of sufficient size are bound and stable against strong decay; and that they can react with ordinary nuclei by transferring neutrons to them, accepting neutrons from them, and binding with them to form composite nuclei. Implications of this enlarged scope of nuclear physics are explored, including a chain reaction with nuclear fuel H that produces energy, He, H, a...

Tensor products of SM bosons and fermions form a spin-2 selfrealization of SU(5), and because every quark can be interpreted as a lepton that has coupled to an appropriate element of this adjoint representation, and inversely, SUGRA GUT interactions between proposed spin-2 elements and baryons of spin-(3/2) can exist as residual manifestations of quark-lepton transitions that occur within baryo...

This first chapter is mostly informal. The rest of this book has no dependency on this chapter, save the definitions in §7 concerning asymptotic notations. Hence a light reading may be sufficient. We recommend re-reading this chapter after finishing the rest of the book, when many of the remarks here may take on more concrete meaning. An appendix collects useful mathematical concepts that are u...

In this paper we propose an approach for preparing HPC applications for Exascale. A high-level application model capturing nonfunctional properties combined with an abstract machine model will enable application improvements, and will serve as input to runtime systems to handle performance and energy optimizations, and self-aware fault management. A tunable abstract machine model includes curre...

Crowdsourcing has been proposed as an inexpensive and often efficient way of outsourcing work tasks to a large group of people. In this paper, we propose to use crowdsourcing as strategy for acquiring users interactions within interactive information retrieval (IIR) systems. We are interested to understand whether crowdsourcing represents a robust strategy that can be used in conjunction with c...

This paper presents recent methodological developments aimed at establishing the daily spatiotemporal behaviour of individual people from their activity on social-networking services. Ultimately, the methods will be used to provide supplementary data to a complex agent-based model of urban dynamics. This work will review recent developments in the use of crowd-source data for understanding soci...