Most terrestrial mammals have colour vision based on two spectrally different visual pigments located in two types of retinal cone photoreceptors, i.e. they are cone dichromats with long-to-middle-wave-sensitive (commonly green) L-cones and short-wave-sensitive (commonly blue) S-cones. With visual pigment-specific antibodies, we here demonstrate an absence of S-cones in the retinae of all whale...

The Etiology of Pernicious and Related Macrocytic and J. Biscois. Oral Imamunization to Colds: DR. Anemias: DR. WILLIAM B. CASTLE ................ 159 GEORGE E. RocKwErLL, HERMANN C. VAN KIRK and DP. H. M. POWELL. A "Growth Substance ": PROScientific Events: 'ESsoR RoGFa J. WILLIAMS and BERT E. CHRISCourses in Game Management at the State UniverTENSEN ..... ........................................

The Neotropical otter is one of the least known otter species, and it is considered to be threatened to various degrees throughout its geographic range. Little information exists on the ecological characteristics of this species, and no genetic study has been published about it until now, hampering the design of adequate conservation strategies for its populations. To contribute with genetic in...

This article presents examples of the monumental contributions of Bill McCune to mathematics, logic, computer science, and especially automated reasoning. The examples are presented in the form of short stories and recollections of the author during his long association with Bill. In addition to Bill’s accomplishments as a researcher, the author provides personal memories giving glimpses into B...

SCOTT (Semantically Constrained Otter) is a resolution-based automatic theorem prover for first order logic. It is based on the high performance prover OTTER by W. McCune and also incorporates a model generator. This finds finite models which SCOTT is able to use in a variety of ways to direct its proof search. Clauses generated by the prover are in turn used as axioms of theories to be modelle...

This paper contains the results of experiments with several search strategies on problems involving condensed detachment The problems are taken from nine di erent logic calculi three versions of the two valued sentential calculus the many valued sentential calculus the implicational calculus the equivalential calculus the R calculus the left group calculus and the right group calculus Each prob...

The number of Sarcocystis species that infect sea otters (Enhydra lutris) is unknown. Sea otter tissues were recently shown to harbor sarcocysts of S. neurona and of unidentified species of Sarcocystis. Whereas sarcocysts of S. neurona have walls 1-3 microm thick with type 9 villar protrusions, ultrastructure of a distinct thin-walled sarcocyst (0.5-0.7 microm thick) lacking villar protrusions,...

Some of the most fundamental quantities in population ecology describe the growth and spread of populations. Population dynamics are often characterized by the annual rate of increase, λ, or the generational rate of increase, R0. Analyses involving R0 have deepened our understanding of disease dynamics and life-history complexities beyond that afforded by analysis of annual growth alone. While ...