Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
2 |
Material Type: Relatório Técnico
|
![]() |
A formal model for the fifth disciplineLourival Paulino da Silva Flávio Soares Corrêa da SilvaSão Paulo IME-USP 2003Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 2003 v.09 e.1 )(Acessar) |
3 |
Material Type: Relatório Técnico
|
![]() |
A Lightweight capability communication mechanismDavid Robertson Flávio Soares Corrêa da Silva; Jaume Agustí; Wamberto Weber Miranda Peixoto de VasconcelosSão Paulo IME-USP 1999Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1999 v.12 e.1 )(Acessar) |
4 |
Material Type: Relatório Técnico
|
![]() |
An algebraic view of combination rulesFlá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.01 e.1 ) e outros locais(Acessar) |
5 |
Material Type: Relatório Técnico
|
![]() |
Arguments in favor of a controlled plurality of office formating standardsFlávio Soares Corrêa da SilvaSão Paulo IME-USP 2007Localização: IME - Inst. Matemática e Estatística (RT-MAC 2007 v.7 ) e outros locais(Acessar) |
6 |
Material Type: Relatório Técnico
|
![]() |
Automated reasoning with uncertaintiesFlávio Soares Corrêa da SilvaSão Paulo IME-USP 1993Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1993 v.2 e.1 ) e outros locais(Acessar) |
7 |
Material Type: Relatório Técnico
|
![]() |
Automatic programming of binary morphological machinesJúnior Barrera Flávio Soares Corrêa da Silva; Gerald J. F Banon (Gerald Jean Francis)São Paulo IME-USP 1994Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1994 v.5 e.1 ) e outros locais(Acessar) |
8 |
Material Type: Relatório Técnico
|
![]() |
Automatic programming of binary morphological machines by pac learningJúnior Barrera Nina Sumiko Tomita Hirata; Flávio Soares Corrêa da Silva; Routo TeradaSão Paulo IME-USP 1995Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1995 v.4 e.1 ) e outros locais(Acessar) |
9 |
Material Type: Relatório Técnico
|
![]() |
Automatic programming of MMachs's for OCR*Júnior Barrera Routo Terada; Flávio Soares Corrêa da Silva; Nina Sumiko Tomita HirataSão Paulo IME-USP 1995Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1995 v.17 e.1 ) e outros locais(Acessar) |
10 |
Material Type: Artigo de Congresso
|
![]() |
Automating the generation of procedures to analyse binary imagesFlávio Soares Corrêa da Silva Júnior Barrera; Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens (7. 1994 Curitiba)Anais Curitiba : Sbc/Ufpr, 1994Curitiba Sbc/Ufpr 1994Acesso online. A biblioteca também possui exemplares impressos. |