Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Relatório Técnico
|
![]() |
ThePrologPlay an introductive virtual environment for artificial intelligence and related fieldsFlávio Soares Corrêa da SilvaSão Paulo IME-USP 2007Localização: IME - Inst. Matemática e Estatística (RT-MAC 2007 v.10 ) e outros locais(Acessar) |
2 |
Material Type: Relatório Técnico
|
![]() |
Paraconsistent logics artificial intelligence and roboticsJair Minoro Abe Flávio Soares Corrêa da Silva; Márcio Rillo 1953-2010São Paulo IME-USP 1994Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1994 v.12 e.1 ) e outros locais(Acessar) |
3 |
Material Type: Artigo de Congresso
|
![]() |
Remarks on reasoning with progressively obsolete informationFlávio Soares Corrêa da Silva Sirley Ambrosia Vitorio; Ibero-American Conference on Artificial Intelligence - IBERAMIA (7. 2000 Atibaia, SP); Brazilian Symposium on Artificial Intelligence - SBIA (15. 2000 Atibaia, SP)Proceedings New York : ACM, 2000New York ACM 2000Localização: IME - Inst. Matemática e Estatística (PROD-1412417 ) e outros locais(Acessar) |
4 |
Material Type: Artigo de Congresso
|
![]() |
The kolmogorov-sinai entropy as a measure of anaerobic threshold in dynamic exerciseFátima Maria Helena Simões Pereira da Silva Lourenço Gallo Júnior; Antonio Carlos da Silva Filho; Congress of Pharmaceutical Sciences (3. 2001 Águas de Lindóia, SP)European Journal of Pharmaceutical Sciences Amsterdam v. 13, suppl. 1, p. S29 res. P2.4, 2001Amsterdam 2001Localização: FCFRP - Fac. Ciên. Farm. Ribeirão Preto (pcd R108 p.029 1214487 ) e outros locais(Acessar) |
5 |
Material Type: Relatório Técnico
|
![]() |
Making of an intelligent tutoring system (or methodological issues of artificial intelligence research by exemple)Flávio Soares Corrêa da Silva Yara Maria MichelacciSão Paulo IME-USP 1997Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1997 v.10 e.1 ) e outros locais(Acessar) |
6 |
Material Type: Relatório Técnico
|
![]() |
Governamental virtual institutionsClaudia J. Abro de Arajo Flávio Soares Corrêa da SilvaSão Paulo IME-USP 2009Localização: IME - Inst. Matemática e Estatística (RT-MAC 2009 v.3 ) e outros locais(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
Cooperation between knowledge based systemsFlávio Soares Corrêa da Silva Wamberto Weber Miranda Peixoto de Vasconcelos; Dave S Robertson; World Congress of Expert Systems (4. 1998 Mexico City)Proceedings Mexico City : 1998Mexico 1998Localização: IME - Inst. Matemática e Estatística (PROD-1025015 ) e outros locais(Acessar) |
8 |
Material Type: Relatório Técnico
|
![]() |
Where am I? Where are you?Flávio Soares Corrêa da SilvaSão Paulo IME-USP 2005Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 2005 v.03 e.1 ) e outros locais(Acessar) |
9 |
Material Type: Tese de Doutorado
|
![]() |
Um modelo formal para a Quinta DisciplinaSilva, Lourival Paulino DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2004-04-12Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Dissertação de Mestrado
|
![]() |
Alto nível em redes neuraisBraz, Rodrigo De SalvoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1998-01-14Acesso online. A biblioteca também possui exemplares impressos. |