skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Aligning gene expression time series with time warping algorithms
Material Type:
Artigo
Adicionar ao Meu Espaço

Aligning gene expression time series with time warping algorithms

Aach, John ; Church, George M.

Bioinformatics, 2001-06, Vol.17 (6), p.495-508 [Periódico revisado por pares]

Oxford: Oxford University Press

Texto completo disponível

2
A denotationally-based program logic for higher-order store
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A denotationally-based program logic for higher-order store

Aagaard, Frederik Lerbjerg ; Sterling, Jonathan ; Birkedal, Lars

Proceedings of MFPS XXXIX

Texto completo disponível

3
Relating Multi-step and Single-Step Microprocessor Correctness Statements
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Relating Multi-step and Single-Step Microprocessor Correctness Statements

Aagaard, Mark D. ; Day, Nancy A. ; Lou, Meng Aagaard, Mark D. ; O’Leary, John W.

Formal Methods in Computer-Aided Design, 2002, p.123-141 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

4
Quantum Computing since Democritus
Quantum Computing since Democritus
Material Type:
Livro
Adicionar ao Meu Espaço

Quantum Computing since Democritus

Scott Aaronson

Cambridge Cambridge University Press 2013

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

5
Evolutionary Learning Processes to Design the Dilation-Erosion Perceptron for Weather Forecasting
Material Type:
Artigo
Adicionar ao Meu Espaço

Evolutionary Learning Processes to Design the Dilation-Erosion Perceptron for Weather Forecasting

ARAUJO, Ricardo de A

Neural processing letters, 2013-06, Vol.37 (3), p.303-333 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

6
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Ferramental matemático e computacional para apoio a gestão de pequenos supermercados

Barros, Cristian Julio De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2019-12-12

Acesso online

7
Computational Methods in Transport: Verification and Validation
Material Type:
Livro
Adicionar ao Meu Espaço

Computational Methods in Transport: Verification and Validation

Barth, Timothy J ; Griebel, Michael ; Keyes, David E ; Nieminen, Risto M ; Roose, Dirk ; Schlick, Tamar

Springer-Verlag 2008

Texto completo disponível

8
Codici Cifrati: Arne Beurling e la Crittografia Nella II Guerra Mondiale
Material Type:
Livro
Adicionar ao Meu Espaço

Codici Cifrati: Arne Beurling e la Crittografia Nella II Guerra Mondiale

Beckman, Bengt

Milano: Springer Milan 2005

Texto completo disponível

9
Modeling, Simulation and Optimization of Complex Processes: Proceedings of the International Conference on High Performance Scientific Computing, March 10-14, 2003, Hanoi, Vietnam
Material Type:
Livro
Adicionar ao Meu Espaço

Modeling, Simulation and Optimization of Complex Processes: Proceedings of the International Conference on High Performance Scientific Computing, March 10-14, 2003, Hanoi, Vietnam

Bock, Hans Georg ; Kostina, Ekaterina ; Hoang, Xuan Phu ; Rannacher, Rolf

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

10
Scientific Visualization: The Visual Extraction of Knowledge from Data
Material Type:
Livro
Adicionar ao Meu Espaço

Scientific Visualization: The Visual Extraction of Knowledge from Data

Bonneau, Georges-Pierre ; Ertl, Thomas ; Nielson, Gregory M

Springer-Verlag 2006

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (121.741)
  2. Revistas revisadas por pares (74.059)
  3. Disponível na Biblioteca (13)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (83.985)
  2. Anais de Congresso  (32.777)
  3. Livros  (2.853)
  4. magazinearticle  (838)
  5. Book Chapters  (689)
  6. Reports  (225)
  7. Conjunto de Dados  (199)
  8. Newsletter Articles  (61)
  9. Resenhas  (32)
  10. Dissertações  (25)
  11. Web Resources  (24)
  12. Videos  (19)
  13. Imagens  (14)
  14. Verbetes  (4)
  15. Recursos Textuais  (3)
  16. Standards  (2)
  17. Produções Acadêmicas  (1)
  18. Artigos de Jornal  (1)
  19. Mais opções open sub menu

Assunto 

  1. Science & Technology  (73.652)
  2. Mathematics  (61.387)
  3. Physical Sciences  (50.798)
  4. Technology  (48.486)
  5. Computer Science  (45.115)
  6. Mathematics, Applied  (30.948)
  7. Exact Sciences And Technology  (30.580)
  8. Applied Sciences  (22.694)
  9. Algorithms  (22.113)
  10. Computer Science; Control Theory; Systems  (20.185)
  11. Theoretical Computing  (18.733)
  12. Sciences And Techniques Of General Use  (18.482)
  13. Computer Science, Theory & Methods  (17.668)
  14. Mathematical Analysis  (14.835)
  15. Engineering  (14.711)
  16. Mathematics Of Computing  (13.335)
  17. Mathematics And Statistics  (11.743)
  18. Computer Science, Software Engineering  (11.685)
  19. Algorithmics. Computability. Computer Arithmetics  (11.395)
  20. General And Miscellaneous//mathematics, Computing, And Information Science  (11.372)
  21. Statistics  (6.342)
  22. Quantum Theory  (1.743)
  23. Internet  (580)
  24. Mathematical Computing  (405)
  25. Models, Biological  (296)
  26. Models, Theoretical  (212)
  27. Biomedical Engineering  (97)
  28. Image Processing, Computer-Assisted  (35)
  29. Mustererkennung  (25)
  30. Processamento De Dados  (25)
  31. Estatística  (18)
  32. Física  (14)
  33. Mathematical Computing  (7)
  34. Equações Diferenciais Parciais  (4)
  35. Processamento De Imagens  (2)
  36. Processamento De Dados  (2)
  37. Internet  (2)
  38. Image Processing, Computer-Assisted  (2)
  39. Mustererkennung  (2)
  40. Statistics  (2)
  41. Models, Theoretical  (2)
  42. Models, Biological  (1)
  43. Aprendizado Computacional  (1)
  44. Física  (1)
  45. Biomedical Engineering  (1)
  46. Citometria De Fluxo (Estatísticas E Dados Numéricos)  (1)
  47. Equações Diferenciais Parciais  (1)
  48. Electomagnetic Theory  (1)
  49. Sequences (Mathematics)  (1)
  50. Redes E Comunicação De Dados  (1)
  51. Matemática Aplicada  (1)
  52. Quantum Theory  (1)
  53. Estatística  (1)
  54. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1965  (139)
  2. 1965Até1978  (597)
  3. 1979Até1992  (11.209)
  4. 1993Até2007  (32.746)
  5. Após 2007  (78.624)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (121.710)
  2. Japonês  (6.704)
  3. Alemão  (162)
  4. Francês  (38)
  5. Norueguês  (22)
  6. Chinês  (19)
  7. Português  (12)
  8. Espanhol  (10)
  9. Russo  (8)
  10. Italiano  (7)
  11. Ucraniano  (3)
  12. Polonês  (2)
  13. Coreano  (2)
  14. Serbian  (1)
  15. Croatian  (1)
  16. Búlgaro  (1)
  17. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Meyer-Bäse, A
  2. Yalamov, P
  3. Modersitzki, J
  4. Marques, E
  5. ICLSSC 2001

Buscando em bases de dados remotas. Favor aguardar.