skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Psychologism Reconsidered
Material Type:
Artigo
Adicionar ao Meu Espaço

Psychologism Reconsidered

AACH, JOHN

Synthese (Dordrecht), 1990-11, Vol.85 (2), p.315 [Periódico revisado por pares]

Dordrecht: D. Reidel Pub. Co., etc

Texto completo disponível

2
Dijet Resonance Search with Weak Supervision Using √s = 13     TeV pp Collisions in the ATLAS Detector
Material Type:
Artigo
Adicionar ao Meu Espaço

Dijet Resonance Search with Weak Supervision Using √s = 13     TeV pp Collisions in the ATLAS Detector

Aad, G

Physical review letters, 2020, Vol.125 (13), p.1 [Periódico revisado por pares]

College Park: American Physical Society

Texto completo disponível

3
Image CAPTCHA: Based on human understanding of real world distances
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Image CAPTCHA: Based on human understanding of real world distances

Aadhirai, R. ; Kumar, P. J. S. ; Vishnupriya, S.

2012 4th International Conference on Intelligent Human Computer Interaction (IHCI), 2012, p.1-6

IEEE

Texto completo disponível

4
High-performance computing for SKA transient search: Use of FPGA-based accelerators
Material Type:
Artigo
Adicionar ao Meu Espaço

High-performance computing for SKA transient search: Use of FPGA-based accelerators

Aafreen, R. ; Abhishek, R. ; Ajithkumar, B. ; Vaidyanathan, Arunkumar M. ; Barve, Indrajit V. ; Bhattramakki, Sahana ; Bhat, Shashank ; Girish, B. S. ; Ghalame, Atul ; Gupta, Y. ; Hayatnagarkar, Harshal G. ; Kamini, P. A. ; Karastergiou, A. ; Levin, L. ; Madhavi, S. ; Mekhala, M. ; Mickaliger, M. ; Mugundhan, V. ; Naidu, Arun ; Oppermann, J. ; Pandian, B. Arul ; Patra, N. ; Raghunathan, A. ; Roy, Jayanta ; Sethi, Shiv ; Shaw, B. ; Sherwin, K. ; Sinnen, O. ; Sinha, S. K. ; Srivani, K. S. ; Stappers, B. ; Subrahmanya, C. R. ; Prabu, Thiagaraj ; Vinutha, C. ; Wadadekar, Y. G. ; Wang, Haomiao ; Williams, C.

Journal of astrophysics and astronomy, 2023-02, Vol.44 (1), Article 11 [Periódico revisado por pares]

New Delhi: Springer India

Texto completo disponível

5
Petri Nets
Material Type:
Verbete
Adicionar ao Meu Espaço

Petri Nets

Aalst, W. M. P

Encyclopedia of Database Systems, 2009, p.2103-2108

Texto completo disponível

6
Pseudonymization of patient identifiers for translational research
Material Type:
Artigo
Adicionar ao Meu Espaço

Pseudonymization of patient identifiers for translational research

Aamot, Harald ; Kohl, Christian Dominik ; Richter, Daniela ; Knaup-Gregori, Petra

BMC medical informatics and decision making, 2013-07, Vol.13 (1), p.75-75, Article 75 [Periódico revisado por pares]

England: BioMed Central Ltd

Texto completo disponível

7
A universal Turing machine
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A universal Turing machine

Aanderaa, Stål

Computer Science Logic, 2005, p.1-4 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Decision problems for tag systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Decision problems for tag systems

Aanderaa, Stål ; Belsnes, Dag

The Journal of symbolic logic, 1971-06, Vol.36 (2), p.229-239 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

9
The Solvability of the Halting Problem for 2-State Post Machines
Material Type:
Artigo
Adicionar ao Meu Espaço

The Solvability of the Halting Problem for 2-State Post Machines

Aanderaa, Stal ; Fischer, Patrick C

Journal of the ACM, 1967-10, Vol.14 (4), p.677-682 [Periódico revisado por pares]

Texto completo disponível

10
Improvements in paint manufacture
Material Type:
Artigo
Adicionar ao Meu Espaço

Improvements in paint manufacture

Aarons, B.L

Pigment & resin technology, 1976-11, Vol.5 (11), p.12-17 [Periódico revisado por pares]

MCB UP Ltd

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (55.624)
  2. Revistas revisadas por pares (34.057)
  3. Disponível na Biblioteca (32)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (35.189)
  2. Anais de Congresso  (5.719)
  3. Book Chapters  (5.114)
  4. magazinearticle  (3.346)
  5. Resenhas  (1.795)
  6. Newsletter Articles  (1.477)
  7. Verbetes  (1.242)
  8. Livros  (990)
  9. Artigos de Jornal  (321)
  10. Reports  (222)
  11. Dissertações  (129)
  12. Conjunto de Dados  (32)
  13. Standards  (27)
  14. Web Resources  (12)
  15. Videos  (11)
  16. Recursos Textuais  (10)
  17. Produções Acadêmicas  (4)
  18. Imagens  (4)
  19. Audio  (3)
  20. Outros  (2)
  21. Mapas  (2)
  22. Mais opções open sub menu

Assunto 

  1. Science & Technology  (23.136)
  2. Technology  (17.802)
  3. Computer Science  (14.487)
  4. Artificial Intelligence  (7.088)
  5. Computer Science, Theory & Methods  (6.773)
  6. Physical Sciences  (5.809)
  7. Exact Sciences And Technology  (5.524)
  8. Engineering  (5.474)
  9. Applied Sciences  (5.217)
  10. Mathematics  (5.121)
  11. Algorithms  (4.898)
  12. Computer Science; Control Theory; Systems  (4.790)
  13. Theoretical Computing  (4.234)
  14. Social Sciences  (3.894)
  15. Automata. Abstract Machines. Turing Machines  (3.574)
  16. Computer Science, Artificial Intelligence  (3.143)
  17. Machine Learning  (3.128)
  18. Turing Machines  (3.123)
  19. Science & Technology - Other Topics  (2.539)
  20. Life Sciences & Biomedicine  (2.487)
  21. Computational Complexity  (725)
  22. Recursive Functions  (186)
  23. Logic, Symbolic And Mathematical  (128)
  24. Computable Functions  (42)
  25. Lógica Matemática  (13)
  26. Inteligência Artificial  (10)
  27. Computabilidade E Complexidade  (9)
  28. Inteligência Artificial  (6)
  29. Computational Complexity  (5)
  30. Ciência Da Computação  (4)
  31. Computable Functions  (4)
  32. Lógica Matemática  (4)
  33. Recursive Functions  (3)
  34. Teoria Da Computação  (3)
  35. Turing, Alan 1912-1954  (2)
  36. Computabilidade E Complexidade  (2)
  37. Filosofia Da Ciência  (2)
  38. Logic, Symbolic And Mathematical  (2)
  39. Computação Quântica  (2)
  40. Computação Quântica  (2)
  41. Turing, Alan Mathison 1912-1954  (2)
  42. Raspagem De Dados  (1)
  43. The Imitation Game  (1)
  44. Jogo Da Imitação  (1)
  45. Teoria Da Computação  (1)
  46. Ciência Da Computação  (1)
  47. Gödel, Kurt ; SWD-ID: 40936570  (1)
  48. The Imitation Game  (1)
  49. Gödel, Kurt 1906-1978  (1)
  50. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1959  (852)
  2. 1959Até1974  (1.053)
  3. 1975Até1990  (3.748)
  4. 1991Até2007  (16.183)
  5. Após 2007  (33.918)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (54.665)
  2. Japonês  (2.158)
  3. Alemão  (579)
  4. Espanhol  (266)
  5. Francês  (235)
  6. Português  (132)
  7. Russo  (60)
  8. Turco  (41)
  9. Tcheco  (29)
  10. Polonês  (25)
  11. Norueguês  (24)
  12. Chinês  (23)
  13. Catalão  (19)
  14. Indonésio  (11)
  15. Italiano  (11)
  16. Lituano  (9)
  17. Sueco  (9)
  18. Holandês  (7)
  19. Ucraniano  (7)
  20. Africâner  (6)
  21. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Millican, P
  2. Clark, A
  3. Kurzweil, R
  4. Hao, J
  5. Marek, W

Buscando em bases de dados remotas. Favor aguardar.