skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computability, Enumerability, Unsolvability: Directions in recursion theory
Computability, Enumerability, Unsolvability: Directions in recursion theory
Material Type:
Livro
Adicionar ao Meu Espaço

Computability, Enumerability, Unsolvability: Directions in recursion theory

S. C. Bruce, J. W. Coutinho S. B Cooper; S. Barry Cooper; T. A Slaman; Theodore Allen Slaman; S. S Wainer S. S. Wainer T. A. Slaman

Cambridge Cambridge University Press 1996

Acesso online. A biblioteca também possui exemplares impressos.

2
Theory and applications of models of computation third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Theory and applications of models of computation third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings

TAMC 2006 (2006 Beijing, China) Jin-yi Cai 1961; S. B Cooper (S. Barry); Angsheng Li

Berlin Springer 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3959 ) e outros locais(Acessar)

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Wefold a coopetition for protein structure prediction

George A Khoury Adam Liwo; Firas Khatib; Hongyi Zhou; Gaurav Chopra; Jaume Bacardit; Leandro O Bortot (Leandro Oliveira Bortot); Rodrigo A Faccioli (Faccioli, Rodrigo Antonio); Xin Deng; Yi He; Pawel Krupa; Jilong Li; Magdalena A Mozolewska; Adam K Sieradzan; James Smadbeck; Tomasz Wirecki; Seth Cooper; Jeff Flatten; Kefan Xu; David Baker; Jianlin Cheng; Alexandre Cláudio Botazzo Delbem; Christodoulos A Floudas; Chen Keasar; Michael Levitt; Zoran Popovic; Harold A Scheraga; Silvia N Crivelli

Proteins Hoboken : Wiley-Liss v. 82, n. 9, p. 1850-1868, set 2014

Hoboken, NJ, EUA 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2659716 )(Acessar)

4
Material Type:
Artigo
Adicionar ao Meu Espaço

An analysis and evaluation of the WeFold collaborative for protein structure prediction and its pipelines in CASP11 and CASP12

George A Khoury Adam Liwo; Firas Khatib; Hongyi Zhou; Gaurav Chopra; Jaume Bacardit; Leandro O Bortot (Leandro Oliveira Bortot); Rodrigo A Faccioli (Faccioli, Rodrigo Antonio); Xin Deng; Yi He; Pawel Krupa; Jilong Li; Magdalena A Mozolewska; Adam K Sieradzan; James Smadbeck; Tomasz Wirecki; Seth Cooper; Jeff Flatten; Kefan Xu; David Baker; Jianlin Cheng; Alexandre Cláudio Botazzo Delbem; Christodoulos A Floudas; Chen Keasar; Michael Levitt; Zoran Popovic; Harold A Scheraga; Silvia N Crivelli

Scientific Reports Hoboken : Springer Nature Publishing AG v. 8, n. 9939, p. 1850-1868, 2018

Basel 2018

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2929990 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (2)
  2. Artigos  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até

Nome da Publicação 

  1. Proteins  (1)
  2. Scientific Reports  (1)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.