Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Relatório Técnico
|
![]() |
3-Nested institutions - an organizational design to pattern to optimize distributed workflows in electronic governmentFlávio Soares Corrêa da SilvaSão Paulo IME-USP 2010Localização: IME - Inst. Matemática e Estatística (IME-RT-MAC 2010 v.4 ) e outros locais(Acessar) |
12 |
Material Type: Relatório Técnico
|
![]() |
Categorical grammar and harmonic analysisFlávio Soares Corrêa da Silva Fábio Kon 1969-São Paulo IME-USP 1995Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1995 v.05 e.1 ) e outros locais(Acessar) |
13 |
Material Type: Relatório Técnico
|
![]() |
Towards efficient modelling of distributed knowledge using equational and order-sorted logicRenata Wassermann Flávio Soares Corrêa da SilvaSão Paulo IME-USP 1994Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1994 v.11 e.1 ) e outros locais(Acessar) |
14 |
Material Type: Relatório Técnico
|
![]() |
Facts, anotations, arguments and reasoningDaniela Vasconcelos Carbogim Flávio Soares Corrêa da SilvaSão Paulo IME-USP 1996Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1996 v.01 e.1 ) e outros locais(Acessar) |
15 |
Material Type: Relatório Técnico
|
![]() |
A two-sorted interpretation for annotated logicFlávio Soares Corrêa da Silva Daniela Vasconcelos CarbogimSão Paulo IME-USP 1998Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1998 v.01 e.1 ) e outros locais(Acessar) |
16 |
Material Type: Relatório Técnico
|
![]() |
A system for reasoning with fuzzy predicatesFlávio Soares Corrêa da Silva Daniela Vasconcelos CarbogimSão Paulo IME-USP 1994Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1994 v.13 e.1 ) e outros locais(Acessar) |
17 |
Material Type: Relatório Técnico
|
![]() |
Relatório de análise estatística sobre o projeto “estudo da associação entre as etiologias da miocardiopatia dilatada e determinantes genéticos da hemacromatose - gene HFE”Júlia Maria Pavan Soler Fábio Fernando da SilvaSão Paulo IME-USP 2000Localização: IME - Inst. Matemática e Estatística (IME-RAE-CEA S685r 2000 v.13 ) e outros locais(Acessar) |
18 |
Material Type: Dissertação de Mestrado
|
![]() |
Logica das estruturas de features e suas aplicacoesWassermann, RenataBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1995-06-30Acesso online. A biblioteca também possui exemplares impressos. |
19 |
Material Type: Dissertação de Mestrado
|
![]() |
Programação em lógica anotada: teoria e aplicaçõesCarbogim, Daniela VasconcelosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1996-11-22Acesso online. A biblioteca também possui exemplares impressos. |
20 |
Material Type: Relatório Técnico
|
![]() |
Semantic information extraction from scanned images of complex documentsClaudio Antonio Peanho Henrique Stagni; Flávio Soares Corrêa da SilvaSão Paulo IME-USP 2011Localização: IME - Inst. Matemática e Estatística (IME-RT-MAC 2011 v.4 ) e outros locais(Acessar) |