Departamento de Ciência da Computação - IME - USP

Demais tipos de produção bibliográfica



Número total de itens: 146

2015

1.   DURHAM, A. M. ToPS/MYOP: um sistema para caracterização probabilisitca e seu uso na construção rápida de preditores de genes. 2015. Palestra
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2014

1.   de Oliveira Filho, Fernando Mário; VALLENTIN, F.. Mathematical optimization for packing problems. 2014. Preprint
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   Finger, Marcelo; FERNANDEZ, M.. Preface of Proceedings of the 8th Workshop on Logical and Semantic Frameworks (LSFA). 2014. LSFA), 2014. (Prefácio, Pósfacio/Prefácio
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2013

1.   ANTONUCCI, A. ; CORANI, GIORGIO ; MAUÁ, D. D.. Bayesian networks with imprecise probabilities: theory and applications to knowledge-based systems and classification. 2013. Curso de curta duração ministrado/Outra
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   CORREA DA SILVA, F. S. Information - Special Issue: Philosophy of Information: Views and Reflections on the Work of Luciano Floridi. Basel: MDPI. 2013. Editor convidado - número especial de períodico internacional
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   de Carli Silva, Marcel K. Geometric Ramifications of the Lovász Theta Function and Their Interplay with Duality. 2013. Tese de Doutorado
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   Oliveira Filho, F.M. de; VALLENTIN, F.. Computing upper bounds for the packing density of congruent copies of a convex body I. 2013. Preprint
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2012

1.   KON, F.; BLAIR, G. ; GRANVILLE, L. ; BOUTABA, R. ; WANG, L. ; TAO, J. ; STREIT, A. ; KRANZLMULLE, D. ; VEIGA, L.. The path to openness: letter from the editors. Journal of Internet Services and Applications. Heidelberg: Springer. 2012. Carta do editor
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   VEIGA, L. ; KON, F. ; Blair, Gordon. A virtual stone soup: letter from the editors. Journal of Internet Services and Applications. Heidelberg: Springer. 2012. Carta do editor
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2011

1.   GEROSA, M.A.; ISSARNY, V.. Web Service Choreographies. IEEE. 2011. Guest Editor de tema da IEEE Computing Now, outubro 2011
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   KON, F.; BLAIR, G.. One year of JISA - letter from the editors-in-chief. Journal of Internet Services and Applications. Heidelberg: Springer. 2011. Carta do editor
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   KON, F.; BLAIR, G.. The Internet's deep impact - Letter from the Editors-in-Chief. Journal of Internet Services and Applications. Heidelberg: Springer. 2011. Carta do editor
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   KON, F.; BLAIR, G.. Future directions in the Internet - cloud computing and beyond. Journal of Internet Services and Applications. Heidelberg: Springer. 2011. Carta do editor
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   OSHIRO, M. T. I. ; MELO, E. L. ; FEOFILOFF, P. ; FERNANDES, C. G. ; RONCONI, D. P. ; BIRGIN, E. G.. New MIP models for an extended version of flexible job shop problem. INFORMS 2011 Annual Meeting. Institute for Operations Research and the Management Sciences. 2011. poster
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   Wassermann, R. Membro do comitê de programa da IJCAI. 2011. Membro do comitê de programa
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   Wassermann, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2011. Automated Reasoning about Context and Ontology Evolution). 2011. (Membro do comitê de programa
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   WASSERMANN, R. Membro do comitê de programa do RuleML (5th International Symposium on Rules). 2011. 5th International Symposium on Rules). 2011. (Membro do comitê de programa
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   WASSERMANN, R. Membro do comitê de programa do OntoBras-MOST. 2011. Membro do comitê de programa
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   WASSERMANN, R. Membro do comitê de programa do EvoDyn (Joint Workshop on Knowledge Evolution and Ontology Dynamics). 2011. Joint Workshop on Knowledge Evolution and Ontology Dynamics). 2011. (Membro do comitê de programa
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   WASSERMANN, R. Membro do comitê de programa do Australasian Joint Conference on Artificial Intelligence. 2011. Membro do comitê de programa
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   WASSERMANN, R. Membro do comitê de programa do ENIA (Encontro Nacional de Inteligência Artificial). 2011. Encontro Nacional de Inteligência Artificial). 2011. (Membro do comitê de programa
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2010

1.   BLAIR, G. ; KON, F.. The software in the middle - Letter from the Editors-in-Chief. Journal of Internet Services and Applications. Heidelberg: Springer. 2010. Carta do editor
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   CORREA DA SILVA, F. S. Matemática discreta - uma introdução. São Paulo: Cengage Learning. 2010. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   CORREA DA SILVA, F. S. Programação em MATLAB para engenheiros (segunda edição). São Paulo: Cengage Learning. 2010. segunda edição). São Paulo: Cengage Learning, 2010. (Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   CORREA DA SILVA, F. S. Princípios de sistemas de informação (nona edição). São Paulo: Cengage Learning. 2010. nona edição). São Paulo: Cengage Learning, 2010. (Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   FEOFILOFF, P.; FERNANDES, C. G. ; FERREIRA, C. E. ; PINA JUNIOR, J. C.. A note on Johnson, Minkoff and Phillips algorithm for the prize-collecting Steiner tree problem. arXiv.org e-Print Archive, arXiv:1004.1437. 2010. artigo
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   KON, F.; BLAIR, G.. Bootstrapping JISA - Letter from the Editors-in-Chief. Journal of Internet Services and Applications. Heidelberg: Springer. 2010. Carta do editor
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   WASSERMANN, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2010. Automated Reasoning about Context and Ontology Evolution). 2010. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   WASSERMANN, R. Membro do comitê de programa do IBERAMIA (Ibero-American International Congress on Artiticial Intelligence). 2010. Ibero-American International Congress on Artiticial Intelligence). 2010. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2010. International Workshop on Ontology Dynamics). 2010. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   WASSERMANN, R. Chair do NMROnto (Non-monotonic Reasoning for Ontologies). 2010. Non-monotonic Reasoning for Ontologies). 2010. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   WASSERMANN, R. Membro do comitê de programa do VORTE (The Joint 5th International Workshop on Vocabularies, Ontologies and Rules for The Enterprise). 2010. The Joint 5th International Workshop on Vocabularies, Ontologies and Rules for The Enterprise). 2010. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2009

1.   WASSERMANN, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2009. Automated Reasoning about Context and Ontology Evolution). 2009. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2009. International Workshop on Ontology Dynamics). 2009. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   WASSERMANN, R. Membro do comitê de programa do MOST-ONISW (The Joint International workshop on Metamodels, Ontologies, Semantic Technologies, and Information Systems for the Semantic Web). 2009. The Joint International workshop on Metamodels, Ontologies, Semantic Technologies, and Information Systems for the Semantic Web). 2009. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2008

1.   BATISTA, D. M.; FONSECA, N. L. S.. Um Framework para Tratamento de Incertezas e Flutuações em Grades. 2008. Relatórios Técnicos do Instituto de Computação da Unicamp
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   FEOFILOFF, P. ; FIGUEIREDO, C. M. H. ; Y. WAKABAYASHI. Discrete Applied Mathematics, Vol.156, Issue 7 -- Special Issue: 2nd Brazilian Symposium on Graphs, Algorithms and Combinatorics GRACO 2005. 2008. Editoração/Periódico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   WASSERMANN, R. Membro do comitê de programa do SBIA (Simpósio Brasileiro de Inteligência Artificial). 2008. Simpósio Brasileiro de Inteligência Artificial). 2008. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   WASSERMANN, R. Membro do comitê de programa da 21st Australasian Joint Conference on Artificial Intelligence. 2008. Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2008. International Workshop on Ontology Dynamics). 2008. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   WASSERMANN, R. Membro do comitê de programa do WONTO (Workshop on Ontologies and their Application). 2008. Workshop on Ontologies and their Application). 2008. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2007

1.   de Carli Silva, Marcel K. Relações min-max em otimização combinatória. 2007. Dissertação de Mestrado
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   VALLE, P. H. C. (tradutor) ; CORREA DA SILVA, F. S.. Fundamentos de Programação - Algoritmos, Estruturas de Dados e Objetos. São Paulo: McGraw-Hill. 2007. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   WASSERMANN, R. Revisora da IJCAI 07 (International Joint Conference in Artificial Intelligence). 2007. International Joint Conference in Artificial Intelligence). 2007. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2006

1.   Alexandre da Silva ; MAUÁ, D. D. ; Rafael Lopez. Reconhecimento Automático de Dígitos Falados. 2006. Trabalho de Formatura
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   DURHAM, A. M. Programming Perl for Bioinformatics. 2006. Curso de curta duração ministrado/Extensão
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   FEOFILOFF, P. ; FERNANDES, C. G. ; FERREIRA, C. E. ; PINA, J.. A Note on Johnson, Minkoff and Phillips' Algorithm for the Prize-Collecting Steiner Tree Problem. 2006. Relatório técnico arquivado
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   FERREIRA, J. E.; TAKAI, O. K.. PROJETO E MODELAGEM DE BANCO DE DADOS - revisão técnica. Rio de Janeiro: Editora Campus/Elsevier. 2006. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   WASSERMANN, R. Membro do comitê de programa do SBIA/IBERAMIA. 2006. Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   WASSERMANN, R. Membro do comitê de programa do STAIRS (European STarting AI Researcher Symposium). 2006. European STarting AI Researcher Symposium). 2006. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   WASSERMANN, R. Membro do comitê de programa do WONTO (Workshop on Ontologies and their Applications ). 2006. Workshop on Ontologies and their Applications ). 2006. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   WASSERMANN, R. Membro do comitê de programa do KSCE (Knowledge Sharing and Collaborative Engineering). 2006. Knowledge Sharing and Collaborative Engineering). 2006. (Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   WASSERMANN, R. Membro do comitê de programa do Workshop on Rationality and Knowledge. 2006. Revisor de trabalhos para conferências
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2005

1.   CHOFFRUT, C. ; Y. WAKABAYASHI. Imre Simon, the tropical computer scientist. 2005. Prefácio, Pósfacio/Prefácio
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   Christian Choffrut ; Y. WAKABAYASHI. Imre Simon, the tropical scientist. 2005. Editoração/Periódico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   CORREA DA SILVA, F. S.; MEGA, Giuliano ; SUCUPIRA, Igor Ribeiro. Sistemas de Informação. São Paulo: Thomson. 2005. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   de Carli Silva, Marcel K.; CARDONHA, C. H. ; FERNANDES, C. G.. Computação Quântica: Complexidade e Algoritmos. 2005. Relatório Técnico Arquivado
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   DURHAM, A. M. Perl for Bioinformatics. 2005. Curso de curta duração ministrado/Extensão
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   FEOFILOFF, P. ; FIGUEIREDO, C. M. H. ; Y. WAKABAYASHI. Electronic Notes in Discrete Mathematics, Vol.19. 2005. Editoração/Anais
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   WASSERMANN, R. Raciocínio Aproximado. 2005. Curso de curta duração ministrado/Extensão
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2004

1.   CORREA DA SILVA, F. S. Construção de Compiladores. São Paulo: Thomson. 2004. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   DURHAM, A. M. Programming Perl for Bioinformatics. 2004. Curso de curta duração ministrado/Extensão
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   DURHAM, A. M. Unix for Bioinformatics. 2004. Curso de curta duração ministrado/Extensão
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   FEOFILOFF, P. ; KOHAYAKAWA, Y. ; Y. WAKABAYASHI. Uma introdução sucinta à teoria dos grafos. SBM (Sociedade Brasileira de Matemática). 2004. Notas de aula - minicurso na II Bienal da SBM - Salvador 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   FERNANDES, C. G.; PINA, J. ; H. van der Holst. Multilength Single Pair Shortest Disjoint Paths. São Paulo: Universidade de São Paulo. 2004. Relatório técnico arquivado
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   HASHIMOTO, R. F. Manual do Linux Red Hat 9.0. São Paulo. 2004. Prefácio, Pósfacio/Prefácio
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   TAKAI, O. K. ; FERREIRA, J. E.. Naked Objects. 2004. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2003

1.   DURHAM, A. M. Programming in perl for bioinformatics. 2003. Curso de curta duração ministrado/Extensão
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   DURHAM, A. M. Programming Perl for Bioinformatics. 2003. Curso de curta duração ministrado/Extensão
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   DURHAM, A. M. Programming Perl for Bioinformatics. 2003. Curso de curta duração ministrado/Extensão
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   MANDEL, A.; FERNANDES, C. G. ; GREEN, E. L.. From monomials, to words to graphs. 2003. Relatório técnico arquivado
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   STERN, J. M. Paraconsistent Sensitivity Analysis for Bayesian Significance Tests. São Paulo: MAC-IME-USP. 2003. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   ZACKS, S. ; STERN, J. M.. Sequential Estimation of Ratios, with Application to Bayesian Analysis. São Paulo: MAC-IME-USP. 2003. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2002

1.   CORREA DA SILVA, F. S. Programação MATLAB Para Engenheiros. São Paulo: Thomson. 2002. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   CORREA DA SILVA, F. S.; MELO, Ana Cristina Vieira de ; CARNEIRO, M. R. F.. Comunicação entre Computadores e Tecnologias de Redes. São Paulo: Thomson Pioneira. 2002. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   DURHAM, A. M. Programming Perl For Bioinformatics. 2002. Curso de curta duração ministrado/Extensão
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   DURHAM, A. M. Programming Perl for Bioinformatics. 2002. Curso de curta duração ministrado/Extensão
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   DURHAM, A. M.; LIMA, A. M.. A conecionless protocol for mobile agents. 2002. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   DURHAM, A. M.; LIMA, A. M. ; TEGLIA, J. ; SANTOS, M. B.. O Desenvolvimento de um Interpretador Orientado a Objetos para Ensino de Linguagens. 2002. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   FEOFILOFF, P.; FERNANDES, C. G. ; FERREIRA, C. E. ; PINA JUNIOR, J. C.. O(n^2 log n) implementation of an approximation for the Prize-Collecting Steiner Tree Problem. 2002. relatório técnico DCC-IME-USP
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   MENDES, M. A. ; CORREA DA SILVA, F. S.. Introdução Aos Sistemas Operacionais. São Paulo: Pioneira / Thomson Learning. 2002. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   NUNES, M. ; CORREA DA SILVA, F. S.. Estruturas de Dados e Algoritmos em C++. São Paulo: Pioneira / Thomson Learning. 2002. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   SILVA, Flávio Soares Corrêa da ; MELO, Ana C. V. de ; CARNEIRO, M. R. F.. Comunicação entre Computadores e Tecnologias de Redes. São Paulo: Thomson. 2002. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   STERN, J. M. Significance Tests, Belief Calculi and Burden of Proof in Legal and Scientific Discourse. São Paulo: MAC-IME-USP. 2002. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   STERN, J. M.; PEREIRA, C. A. B.. Full Bayesian Significance Test: Invariant Formulation. São Paulo: MAE-IME-USP. 2002. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   STERN, J. M.; ZACKS, S.. Testing the Independence of Poisson Variates under the Holgate Bivariate Distribution: The Power of a New Evidence Test. São Paulo: MAC-IME-USP. 2002. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2001

1.   FINGER, M.; CEZAR, F. A. M. C.. Banco de dados obsolescentes e uma proposta de implementação. 2001. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   FINGER, M.; NASSU, E. A.. O significado de "aqui'' em sistemas transacionais móveis. 2001. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   MANDEL, A.; SANDALO, F. ; ABAURRE, M. B. M. ; GALVES, C. M. C.. The Sotaq optimality based computer program and secondary stress in two varieties of Portuguese. 2001. Relatório técnico arquivado
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   STERN, J. M. The Fully Bayesian Significance Test for the Covariance Problem. São Paulo: MAC-IME-USP. 2001. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   STERN, J. M. Full Bayesian Significance Tests for Multivariate Normal Structure Models. São Paulo: MAC-IME-USP. 2001. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   WASSERMANN, R.; Herzig, Andreas. Belief Change, from AGM to realistic models. 2001. Curso de curta duração ministrado/Extensão
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2000

1.   BARROS, L. N.; CESAR JUNIOR, R. M. ; COZMAN, F. ; COSTA, A. H. R.. Workshop Proceedings - PRAI, WAICV, MAPPEL. São Paulo: Tec Art Editora. 2000. Edição de Anais
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   FERNANDES, C. G.; THOMAS, R.. Edge-Coloring Series-Parallel Multigraphs. 2000. Relatório técnico arquivado
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   IRONY, T. Z. ; LAURETTO, M. S. ; PEREIRA, C. A. B. ; STERN, J. M.. A Weibull Wearout Test: Full Bayesian Approach. São Paulo: IME-USP. 2000. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   KARPISCHEK, R. U. ; SIMON, I.. Ferramentas computacionais para um esforço cooperativo de digitalização de textos impressos. 2000. artigo submetido
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   NEVES, E. J. ; BARRERA, J. ; GUBITOSO, M. D. ; HIRATA JUNIOR, R. ; HIRATA, N. S. T. ; CESAR JUNIOR, R. M. ; FERREIRA, J. E.. An Integrated Environment for Storage and Analysis of Genetic Data.. São Paulo: BIOINFO-USP. 2000. Techical Report
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   PEREIRA, C. A. B. ; NAKANO, F. ; STERN, J. M.. Actuarial Analysis via Branching Processes. São Paulo: IME-USP. 2000. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   PEREIRA, C. A. B. ; STERN, J. M.. Full Bayesian Significance Test for Coefficients of Variation. São Paulo: IME-USP. 2000. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   PEREIRA, C. A. B. ; STERN, J. M.. Model Selection: Full Bayesian Approach. São Paulo: IME-USP. 2000. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   PEREIRA, C. A. B. ; STERN, J. M.. Intrinsic Regularization in Model Selection Using the Full Bayesian Significance Test. São Paulo: IME-USP. 2000. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   PEREIRA, C. A. B. ; STERN, J. M.. Full Bayesian Significance Test: The Behrens-Fisher and Coefficiens of Variation Problems. São Paulo: MAC-IME-USP. 2000. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   SIMON, I. A propriedade intelectual na era da Internet. 2000. Trabalho em vias de publicação
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   WASSERMANN, R.; FERME, E. ; CHOPRA, S.. Belief Revision: From AGM to Computational Models. 2000. Curso de curta duração ministrado/Extensão
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1999

1.   BANON, G. J. F. ; BARRERA, Junior. Set mapping decomposition by Mathematical Morphology. Sao Jose dos Campos: INPE. 1999. Relatorio tecnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   LAGO, A. P. ; SIMON, I.. Free Burnside semigroups. 1999. Trabalho em vias de publicação
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   MORAES, F. F. ; SIMON, I.. Computer networks and the internationalization of higher education. 1999. Trabalho em vias de publicação
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   PEREIRA, C. A. B. ; NAKANO, F. ; STERN, J. M.. A Dynamic Software Certification and Verification Procedure. São Paulo: IME-USP. 1999. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   PEREIRA, C. A. B. ; STERN, J. M.. Evidence and Credibility: Full Bayesian Significance Test for Precise Hypotheses. São Paulo: IME-USP. 1999. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   SILVA, Fávio Soares Corrêa da ; MELO, Ana C. V. de ; AGUSTI, J. ; ARAÚJO, Roberto C de. Knowledge Sharing between a Probabilistic Logic and Bayesian Network. Sã Paulo: Unversidade de São Paulo - IME. 1999. relatório técnico - universidade
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   WASSERMANN, R.; FERME, E.. A Note on Prototype Revision. 1999. artigo
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1998

1.   MELO, Ana C. V. de; SILVA, Fávio Soares Corrêa da ; VASCONCELOS, Wamberto W ; AGUSTI, J. ; ROBERTSON, D.. Why Ontologies are not enough for Knowledge Sharing. São Paulo: Universidade de São Paulo - IME. 1998. relatório técnico - universidade
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1997

1.   FORSLUND, D. W. ; LEE, S. H. ; REVERBEL, F. ; GEORGE, J. E. ; KILMAN, D. G. ; WILKINS, S. F. ; TOMLINSON, R. D. ; YANTIS, B. C. ; IJADI, M. ; MCPHERSON, A. L.. Distributed Telemedicine for the National Information Infrastructure. Los Alamos, NM: Los Alamos National Laboratory. 1997. Technical Report LA-UR-97-1047
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   KOBAYASHI, N. A hierarchy for the recognizable M-subsets. São Paulo: Departamento de Ciência da Computação - IME - USP. 1997. relatório técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   REVERBEL, F. Object Database Adapter Programmer's Guide and Reference Manual. Los Alamos, NM: Advanced Computing Laboratory, Los Alamos National Laboratory. 1997. Technical Report LA-UR-97-680
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   STERN, J. M.; DUNDER, C.. Portfólios Eficientes Incluindo Opções. São Paulo: IME-USP. 1997. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   STERN, J. M.; ZIMBARG SOBRINHO, J.. GAMS: Sistema Geral de Modelagem Algébrica. São Paulo: Edgard Blücher. 1997. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1996

1.   DURHAM, A. M. Sistemas Operacionais. São Paulo: Makron Books. 1996. Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   STERN, J. M.; NAKANO, F. ; LAURETTO, M. S. ; RIBEIRO, C. O.. REAL: Real Attribute Learning for Strategic Market Operations.. São Paulo: IME-USP. 1996. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1995

1.   GUBITOSO, M. D.; CORDSEN, J.. Performance considerations in vote for peace. (Rt-Mac-9514). São Paulo: USP-IME. 1995. Rt-Mac-9514). São Paulo: USP-IME, 1995 (Publicação Seriada
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   STERN, J. M. Modelos Matemáticos para Formação de Portfólios. São Paulo: IME-USP. 1995. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1994

1.   KOBAYASHI, N. The closure under division and a characterization of recognizable Z-subsets. São Paulo: Departamento de Ciência da Computação - IME - USP. 1994. relatório técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1993

1.   HUMES C. Vinte e Cinco anos de Pesquisa Operacional no Brasil. Rio de Janeiro: SOBRAPO-Sociedade Brasileira de Pesquisa Operacional. 1993. Depoimento em livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1992

1.   GUBITOSO, M. D. Autocad : referência rapida (cobre versões 10 e 11). São Paulo: Pioneira. 1992. cobre versões 10 e 11). São Paulo: Pioneira, 1992. (Tradução/Livro
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   STERN, J. M. Regionalização da Matriz de Insumo-Produto para o Estado de São Paulo. São Paulo: IME-USP. 1992. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1991

1.   GUBITOSO, M. D. Parallelizing a new class of large applications over high speed net works. (Rt-Mac ; 9108). São Paulo: USP-IME. 1991. Rt-Mac ; 9108). São Paulo: USP-IME, 1991 (Publicação Seriada
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   SIMON, I. News from Latin America. Leiden: Bulletin of the European Association for Theoretical Computer Science. 1991. Coluna em revista científica
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   STERN, J. M. Simulated Annealing with a Dependent Temperature Penalty Function. 1991. Technical Report
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1990

1.   BANON, G. J. F. ; BARRERA, Junior. Study of a pair of dual minimal representations for translation invariant set mappings by mathematical morphology. Sao Jose dos Campos: INPE. 1990. Relatorio tecnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   SIMON, I. Palavras, autômatos e algoritmos, uma bibliografia. São Paulo: IME-USP. 1990. Bibliografia
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   STERN, J. M. Simulated Annealing with a Temperature Dependent Cost Function. Ithaca: Cornell Computational Optimization Project, Cornell University. 1990. Technical Report
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   STERN, J. M.; VAVASIS, S. A.. Nested Dissection for Sparse Nullspace Bases. Ithaca: Department of Computer Science, Cornell University. 1990. Technical Report
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1989

1.   BARRERA, Junior; VINCENT, L. ; MEYER, F. ; RAPHAELA, M.. Etude de la proliferation cellulaire par analyse morphologique d images. Fontainebleau: CMM-ENSMP. 1989. Relatorio tecnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   GUBITOSO, M. D.; PINHANEZ, C. S.. Maquina worm : simulador de máquinas paralelas (Rt-Mac ; 8908 ). São Paulo: USP-IME. 1989. Rt-Mac ; 8908 ). São Paulo: USP-IME, 1989 (Publicação Seriada
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   SERRA, J. ; BARRERA, Junior. Elements of functional analysis in mathematical morphology. Fontainebleau: CMM-ENSMP. 1989. Relatorio tecnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1987

1.   STERN, J. M. Algoritmos Eficientes de Programação Linear. São Paulo: IME-USP. 1987. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1986

1.   STERN, J. M. Fatoração LU e Aplicações. São Paulo-SP: IME-USP. 1986. Relatório Técnico
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1979

1.   KARHUMAKI, J. ; SIMON, I.. A note on elementary homomorphisms and their regularity of equality sets. Leiden: Bulletin of the European Association for Theoretical Computer Science. 1979. artigo em revista sem referee
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1971

1.   SIMON, I. On the time required by the Davis-Putnam tautology recognition algorithm. Providence: Notices of the American Mathematical Society. 1971. Artigo em revista sem referee
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

*itens sem ano

1.   BARRERA, Junior. Morfologia Matematica: teoria, sistemas e aplicacoes. Sao Paulo: IME-USP, 1998 (Sistematizacao de atividades para livre doscencia).. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BARRERA, Junior. Processamento Digital de Imagens. Sao Jose dos Campos: INPE, 1985 (Relatorio tecnico).. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BARRERA, Junior. Uma abordagem unificada para os problemas de processamento digital de imagens: a morfologia matematica. Sao Jose dos Campos: INPE, 1987 (Dissertacao de mestrado).. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   BARRERA, Junior. Uma abordagem unificada para os problemas de visao computacional: a Morfologia Matematica. Sao Jose dos campos: INPE, 1992 (Tese de doutorado).. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   MELO, Ana C. V. de. Formal Reuse of Hardware Design. Manchester - UK: University of Manchester, 1995 (relatório técnico - universidade).. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   Y. WAKABAYASHI. Aggregation of Binary Relations: Algorithmic and Polyhedral Investigations 1986 (Tese de Doutorado).. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   Y. WAKABAYASHI. Contribuição a Teoria dos Grafos e Otimização Combinatória 1995 (Monografia - Concurso de Livre-docência- USP).. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]


Data de processamento: 31/03/2016 13:54:43