Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Universal Quantum SimulatorsLloyd, SethScience (American Association for the Advancement of Science), 1996-08, Vol.273 (5278), p.1073-1078 [Periódico revisado por pares]Washington, DC: American Society for the Advancement of ScienceTexto completo disponível |
|
2 |
Material Type: Artigo
|
Computational logic: its origins and applicationsPaulson, Lawrence C.Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences, 2018-02, Vol.474 (2210), p.20170872-20170872 [Periódico revisado por pares]England: The Royal Society PublishingTexto completo disponível |
|
3 |
Material Type: Artigo
|
The problem of proof identity, and why computer scientists should care about Hilbert's 24th problemStrassburger, LutzPhilosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2019-03, Vol.377 (2140), p.20180038-20180038 [Periódico revisado por pares]England: Royal Society, TheTexto completo disponível |
|
4 |
Material Type: Artigo
|
Improving Conservation Outcomes with Insights from Local Experts and BureaucraciesHAENN, NORA ; SCHMOOK, BIRGIT ; REYES, YOL ; CALMÉ, SOPHIEConservation biology, 2014-08, Vol.28 (4), p.951-958 [Periódico revisado por pares]Hoboken, NJ: Blackwell Scientific PublicationsTexto completo disponível |
|
5 |
Material Type: Artigo
|
An intermediate level of abstraction for computational systems chemistryAndersen, Jakob L. ; Flamm, Christoph ; Merkle, Daniel ; Stadler, Peter F.Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-12, Vol.375 (2109), p.20160354-20160354 [Periódico revisado por pares]England: The Royal Society PublishingTexto completo disponível |
|
6 |
Material Type: Artigo
|
Revealing the spatial distribution of a disease while preserving privacyWieland, Shannon C ; Cassa, Christopher A ; Mandl, Kenneth D ; Berger, BonnieProceedings of the National Academy of Sciences - PNAS, 2008-11, Vol.105 (46), p.17608-17613 [Periódico revisado por pares]United States: National Academy of SciencesTexto completo disponível |
|
7 |
Material Type: Artigo
|
Pattern perception and computational complexity: introduction to the special issueFitch, W. Tecumseh ; Friederici, Angela D. ; Hagoort, PeterPhilosophical transactions of the Royal Society of London. Series B. Biological sciences, 2012-07, Vol.367 (1598), p.1925-1932 [Periódico revisado por pares]England: The Royal SocietyTexto completo disponível |
|
8 |
Material Type: Artigo
|
Individual variation in local interaction rules can explain emergent patterns of spatial organization in wild baboonsFarine, D. R. ; Strandburg-Peshkin, A. ; Couzin, I. D. ; Berger-Wolf, T. Y. ; Crofoot, M. C.Proceedings of the Royal Society. B, Biological sciences, 2017-04, Vol.284 (1853), p.20162243-20162243 [Periódico revisado por pares]England: The Royal SocietyTexto completo disponível |
|
9 |
Material Type: Artigo
|
Approximate Likelihood-Ratio Test for Branches: A Fast, Accurate, and Powerful AlternativeAnisimova, Maria ; Gascuel, Olivier ; Sullivan, Jack Sullivan, JackSystematic biology, 2006-08, Vol.55 (4), p.539-552 [Periódico revisado por pares]England: Society of Systematic ZoologyTexto completo disponível |
|
10 |
Material Type: Artigo
|
The role of taxonomy in language engineeringSampson, GeoffreyPhilosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2000-04, Vol.358 (1769), p.1339-1355 [Periódico revisado por pares]The Royal SocietyTexto completo disponível |