skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Notes on the logical reconstruction of temporal databases
Notes on the logical reconstruction of temporal databases
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Notes on the logical reconstruction of temporal databases

Marcelo Finger

São Paulo IME-USP 1997

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1997 v.02 e.1 ) e outros locais(Acessar)

2
Computing list combinator solutions for structural equations
Computing list combinator solutions for structural equations
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Computing list combinator solutions for structural equations

Marcelo Finger

São Paulo IME-USP 1997

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1997 v.11 e.1 ) e outros locais(Acessar)

3
Towards polynomial approximations of full propositional logic
Towards polynomial approximations of full propositional logic
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Towards polynomial approximations of full propositional logic

Marcelo Finger

São Paulo IME-USP 2004

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2004 v.04 e.1 ) e outros locais(Acessar)

4
Two-dimensional executable temporal logic for bitemporal databases
Two-dimensional executable temporal logic for bitemporal databases
Material Type:
Livro 		Adicionar ao Meu Espaço

Two-dimensional executable temporal logic for bitemporal databases

Marcelo Finger Mark Reynolds

Barringer Howard et al, ed Advances in temporal logic Dordrecht : Springer, 2000

Dordrecht Springer 2000

Localização: IME - Inst. Matemática e Estatística    (PROD-1024198 ) e outros locais(Acessar)

5
Tableaux for approximate reasoning
Tableaux for approximate reasoning
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Tableaux for approximate reasoning

Marcelo Finger Renata Wassermann

São Paulo IME-USP 2001

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2001 v.04 e.1 ) e outros locais(Acessar)

6
Implementações de tableaux para raciocínio por aproximações
Implementações de tableaux para raciocínio por aproximações
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Implementações de tableaux para raciocínio por aproximações

Dias, Wagner

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2002-10-31

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

7
Extração de informações de narrativas clínicas
Extração de informações de narrativas clínicas
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Extração de informações de narrativas clínicas

Oleynik, Michel

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2013-10-02

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

8
Classificação automática de documentos de características econômicas para defesa jurídica
Classificação automática de documentos de características econômicas para defesa jurídica
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Classificação automática de documentos de características econômicas para defesa jurídica

Leme, Bruno

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-05-14

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

9
Implementação de um fragmento TSQL2 para bancos de dados de tempo de validade
Implementação de um fragmento TSQL2 para bancos de dados de tempo de validade
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Implementação de um fragmento TSQL2 para bancos de dados de tempo de validade

Zavattiero, Loreley

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1998-11-27

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

10
Using natural language processing techniques for automated code refactoring
Using natural language processing techniques for automated code refactoring
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Using natural language processing techniques for automated code refactoring

Barzilay, Alan

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2023-09-01

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1.078.499)
  2. Revistas revisadas por pares (861.728)
  3. Disponível na Biblioteca (299)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (927.368)
  2. magazinearticle  (38.951)
  3. Newsletter Articles  (26.556)
  4. Book Chapters  (24.288)
  5. Anais de Congresso  (17.782)
  6. Artigos de Jornal  (16.399)
  7. Verbetes  (10.970)
  8. Resenhas  (8.855)
  9. Standards  (2.563)
  10. Reports  (2.199)
  11. Livros  (945)
  12. Conjunto de Dados  (749)
  13. Imagens  (522)
  14. Dissertações  (260)
  15. Recursos Textuais  (126)
  16. Web Resources  (95)
  17. Produções Acadêmicas  (84)
  18. Outros  (26)
  19. Videos  (21)
  20. Patentes  (14)
  21. Produções Técnicas  (14)
  22. Revistas  (14)
  23. Produções Artísticas  (1)
  24. Mais opções open sub menu

Autor/Criador 

  1. Finger, M  (234)
  2. De Bona, G  (18)
  3. Finger, J  (16)
  4. Wassermann, R  (16)
  5. Mathes, H  (15)
  6. Kampert, K  (15)
  7. Bozdog, H  (15)
  8. Kang, D  (15)
  9. Doll, P  (15)
  10. Engler, J  (15)
  11. Mayer, H  (15)
  12. Pierog, T  (15)
  13. Ostapchenko, S  (15)
  14. Gils, H  (15)
  15. Zabierowski, J  (15)
  16. Brancus, I  (15)
  17. Haungs, A  (15)
  18. Roth, M  (15)
  19. Rebel, H  (15)
  20. Grupen, C  (15)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1958  (25.565)
  2. 1958Até1974  (11.835)
  3. 1975Até1991  (31.958)
  4. 1992Até2009  (294.093)
  5. Após 2009  (721.030)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.056.427)
  2. Japonês  (120.723)
  3. Alemão  (14.421)
  4. Português  (5.373)
  5. Espanhol  (2.707)
  6. Francês  (2.568)
  7. Turco  (691)
  8. Norueguês  (687)
  9. Russo  (440)
  10. Chinês  (438)
  11. Italiano  (393)
  12. Polonês  (301)
  13. Holandês  (240)
  14. Africâner  (226)
  15. Tcheco  (206)
  16. Eslovaco  (124)
  17. Persa  (111)
  18. Latim  (86)
  19. Coreano  (60)
  20. Croatian  (59)
  21. Árabe  (37)
  22. Indeterminado  (1)
  23. Mais opções open sub menu

Nome da Publicação 

  1. Plos One  (17.602)
  2. New York Times  (15.193)
  3. Scientific Reports  (10.843)
  4. International Journal Of Molecular Sciences  (7.290)
  5. Billboard  (4.681)
  6. Neuroimage  (4.328)
  7. Sensors  (4.032)
  8. Proceedings Of The National Academy Of Sciences - Pnas  (3.869)
  9. American Journal Of Medical Genetics. Part A  (3.412)
  10. The Journal Of Hand Surgery  (3.340)
  11. Journal Of Physics. Conference Series  (1.978)
  12. Proceedings  (46)
  13. Knowledge-Based Systems  (27)
  14. Journal Of Logic And Computation  (26)
  15. Physical Review D  (24)
  16. Proceedings  (21)
  17. Theoretical Computer Science  (20)
  18. Logic Journal Of The Igpl  (19)
  19. Electronic Notes In Theoretical Computer Science  (13)
  20. Logic Journal of the Igpl  (12)
  21. Anais  (12)
  22. Astroparticle Physics  (10)
  23. Journal Of Cranio-Maxillofacial Surgery  (9)
  24. Journal Of The Brazilian Computer Society  (7)
  25. Electronic Notes in Theoretical Computer Science  (6)
  26. Journal of Logic and Computation  (6)
  27. Theoretical Computer Science  (6)
  28. Embo Journal  (6)
  29. International Journal Of Fatigue  (4)
  30. Proceeding  (3)
  31. Journal of physics. Conference series  (3)
  32. Book of Abstracts  (3)
  33. Journal Of Parallel And Distributed Computing  (3)
  34. Physical Review D  (2)
  35. Concurrency and Computation. Practice & Experience  (2)
  36. Série de Monografias da Escola Brasileira de Hematologia  (2)
  37. Journal of Parallel and Distributed Computing  (2)
  38. International Journal of Fatigue : materials, structures, components  (2)
  39. Knowledge-Based Systems  (2)
  40. Astroparticle Physics  (2)
  41. Cadernos de Computação  (2)
  42. Embo Journal  (2)
  43. Journal of Cranio-Maxillofacial Surgery  (2)
  44. Journal of the Brazilian Computer Society  (2)
  45. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. De Bona, G
  3. Finger, J
  4. Wassermann, R
  5. Mathes, H

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Humans
  4. Male
  5. Female

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.