Search Results - (Author, Cooperation:B. T. Smith)

Showing 1 - 6 results of 6, query time: 0.42s Refine Results
  1. 1
    Staff View
    Publication Date:
    2014-09-12
    Publisher:
    Nature Publishing Group (NPG)
    Print ISSN:
    0028-0836
    Electronic ISSN:
    1476-4687
    Topics:
    Biology
    Chemistry and Pharmacology
    Medicine
    Natural Sciences in General
    Physics
    Keywords:
    Animals ; Biodiversity ; Birds/*classification/*genetics ; *Genetic Speciation ; Models, Biological ; Molecular Sequence Data ; Panama ; *Phylogeny ; *Rainforest ; Rivers ; South America ; *Tropical Climate
    Published by:
    http://www.nature.com/

    Latest Papers from Table of Contents or Articles in Press
  2. 2
    S. P. Carroll ; P. S. Jorgensen ; M. T. Kinnison ; C. T. Bergstrom ; R. F. Denison ; P. Gluckman ; T. B. Smith ; S. Y. Strauss ; B. E. Tabashnik
    American Association for the Advancement of Science (AAAS)
    Published 2014
    Staff View
    Publication Date:
    2014-09-13
    Publisher:
    American Association for the Advancement of Science (AAAS)
    Print ISSN:
    0036-8075
    Electronic ISSN:
    1095-9203
    Topics:
    Biology
    Chemistry and Pharmacology
    Computer Science
    Medicine
    Natural Sciences in General
    Physics
    Keywords:
    *Adaptation, Biological ; Animals ; *Biodiversity ; *Biological Evolution ; Climate Change ; Conservation of Natural Resources/*methods ; *Environment ; Environmental Monitoring ; Food Supply ; Genetic Engineering ; Health ; Humans ; Phenotype ; Policy
    Published by:
    http://www.aaas.org/

    Latest Papers from Table of Contents or Articles in Press
  3. 3
    W. F. Laurance ; D. C. Useche ; J. Rendeiro ; M. Kalka ; C. J. Bradshaw ; S. P. Sloan ; S. G. Laurance ; M. Campbell ; K. Abernethy ; P. Alvarez ; V. Arroyo-Rodriguez ; P. Ashton ; J. Benitez-Malvido ; A. Blom ; K. S. Bobo ; C. H. Cannon ; M. Cao ; R. Carroll ; C. Chapman ; R. Coates ; M. Cords ; F. Danielsen ; B. De Dijn ; E. Dinerstein ; M. A. Donnelly ; D. Edwards ; F. Edwards ; N. Farwig ; P. Fashing ; P. M. Forget ; M. Foster ; G. Gale ; D. Harris ; R. Harrison ; J. Hart ; S. Karpanty ; W. J. Kress ; J. Krishnaswamy ; W. Logsdon ; J. Lovett ; W. Magnusson ; F. Maisels ; A. R. Marshall ; D. McClearn ; D. Mudappa ; M. R. Nielsen ; R. Pearson ; N. Pitman ; J. van der Ploeg ; A. Plumptre ; J. Poulsen ; M. Quesada ; H. Rainey ; D. Robinson ; C. Roetgers ; F. Rovero ; F. Scatena ; C. Schulze ; D. Sheil ; T. Struhsaker ; J. Terborgh ; D. Thomas ; R. Timm ; J. N. Urbina-Cardona ; K. Vasudevan ; S. J. Wright ; G. J. Arias ; L. Arroyo ; M. Ashton ; P. Auzel ; D. Babaasa ; F. Babweteera ; P. Baker ; O. Banki ; M. Bass ; I. Bila-Isia ; S. Blake ; W. Brockelman ; N. Brokaw ; C. A. Bruhl ; S. Bunyavejchewin ; J. T. Chao ; J. Chave ; R. Chellam ; C. J. Clark ; J. Clavijo ; R. Congdon ; R. Corlett ; H. S. Dattaraja ; C. Dave ; G. Davies ; M. Beisiegel Bde ; N. da Silva Rde ; A. Di Fiore ; A. Diesmos ; R. Dirzo ; D. Doran-Sheehy ; M. Eaton ; L. Emmons ; A. Estrada ; C. Ewango ; L. Fedigan ; F. Feer ; B. Fruth ; J. G. Willis ; U. Goodale ; S. Goodman ; J. C. Guix ; P. Guthiga ; W. Haber ; K. Hamer ; I. Herbinger ; J. Hill ; Z. Huang ; I. F. Sun ; K. Ickes ; A. Itoh ; N. Ivanauskas ; B. Jackes ; J. Janovec ; D. Janzen ; M. Jiangming ; C. Jin ; T. Jones ; H. Justiniano ; E. Kalko ; A. Kasangaki ; T. Killeen ; H. B. King ; E. Klop ; C. Knott ; I. Kone ; E. Kudavidanage ; J. L. Ribeiro ; J. Lattke ; R. Laval ; R. Lawton ; M. Leal ; M. Leighton ; M. Lentino ; C. Leonel ; J. Lindsell ; L. Ling-Ling ; K. E. Linsenmair ; E. Losos ; A. Lugo ; J. Lwanga ; A. L. Mack ; M. Martins ; W. S. McGraw ; R. McNab ; L. Montag ; J. M. Thompson ; J. Nabe-Nielsen ; M. Nakagawa ; S. Nepal ; M. Norconk ; V. Novotny ; S. O'Donnell ; M. Opiang ; P. Ouboter ; K. Parker ; N. Parthasarathy ; K. Pisciotta ; D. Prawiradilaga ; C. Pringle ; S. Rajathurai ; U. Reichard ; G. Reinartz ; K. Renton ; G. Reynolds ; V. Reynolds ; E. Riley ; M. O. Rodel ; J. Rothman ; P. Round ; S. Sakai ; T. Sanaiotti ; T. Savini ; G. Schaab ; J. Seidensticker ; A. Siaka ; M. R. Silman ; T. B. Smith ; S. S. de Almeida ; N. Sodhi ; C. Stanford ; K. Stewart ; E. Stokes ; K. E. Stoner ; R. Sukumar ; M. Surbeck ; M. Tobler ; T. Tscharntke ; A. Turkalo ; G. Umapathy ; M. van Weerd ; J. V. Rivera ; M. Venkataraman ; L. Venn ; C. Verea ; C. V. de Castilho ; M. Waltert ; B. Wang ; D. Watts ; W. Weber ; P. West ; D. Whitacre ; K. Whitney ; D. Wilkie ; S. Williams ; D. D. Wright ; P. Wright ; L. Xiankai ; P. Yonzon ; F. Zamzani
    Nature Publishing Group (NPG)
    Published 2012
    Staff View
    Publication Date:
    2012-07-27
    Publisher:
    Nature Publishing Group (NPG)
    Print ISSN:
    0028-0836
    Electronic ISSN:
    1476-4687
    Topics:
    Biology
    Chemistry and Pharmacology
    Medicine
    Natural Sciences in General
    Physics
    Keywords:
    Agriculture/statistics & numerical data ; Animals ; *Biodiversity ; Conservation of Natural Resources/*statistics & numerical data ; Data Collection ; Ecology/statistics & numerical data ; Endangered Species/*statistics & numerical data ; Environmental Pollution/adverse effects/statistics & numerical data ; Fires/statistics & numerical data ; Forestry/statistics & numerical data ; Interviews as Topic ; Mining/statistics & numerical data ; Population Growth ; Rain ; Reproducibility of Results ; Research Personnel ; Surveys and Questionnaires ; Temperature ; Trees/*physiology ; *Tropical Climate
    Published by:
    http://www.nature.com/

    Latest Papers from Table of Contents or Articles in Press
  4. 4
    Smith, B. T. D. 〈Rev〉

    London : Periodicals Archive Online (PAO)
    Published 1915
    Staff View
    ISSN:
    0022-5185
    Topics:
    Theology and Religious Studies
    Notes:
    NOTES AND STUDIES
    URL:
    http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pao:&rft_dat=xri:pao:article:f198-1915-016-00-000013

    Articles: DFG German National Licenses
  5. 5
    Johnston, R. L. ; Smith, B. T.
    Springer
    Published 1970
    Staff View
    ISSN:
    0945-3245
    Source:
    Springer Online Journal Archives 1860-2000
    Topics:
    Mathematics
    Type of Medium:
    Electronic Resource
    URL:
    http://dx.doi.org/10.1007/BF02162404

    Articles: DFG German National Licenses
  6. 6
    Chisholm, G. H. ; Smith, B. T. ; Wojcik, A. S.
    Springer
    Published 1989
    Staff View
    ISSN:
    1573-0670
    Keywords:
    Formal methods ; fault tolerance ; case analysis ; program verification ; Floyd-Hoare techniques ; proving claims about systems
    Source:
    Springer Online Journal Archives 1860-2000
    Topics:
    Computer Science
    Notes:
    Abstract Proving claims about behavior of software is essential for the qualification of computer-based systems used in the control of nuclear reactors. For this Problem Corner, we select one of the verification conditions for a C program that initializes an array to zero. We add assertions about the initial conditions and state of the program and about the expected behavior of the program in terms of its state. The modeling and specification technique is the inductive assertion technique of Floyd-Hoare. The program with assertions is then transformed by the source-to-source program transformation system TAMPR into a set of separate verification conditions to be proven by the automated reasoning system. Our experience with this program demonstrates the typical automated reasoning problems we have encountered and illustrates how we have approached solutions to the problems.
    Type of Medium:
    Electronic Resource
    URL:
    http://dx.doi.org/10.1007/BF00243137

    Articles: DFG German National Licenses