Voltar

Programa de Pós Graduaç&atilte;o em Ciência da Computação

2023

1.	DURHAM, A. M. Algoritmos em Genômica Computacional. 2023. Curso de curta duração ministrado/Extensão [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2022

1.	DURHAM, A. M. Algoritmos em Genômica Computacional. 2022. Curso de curta duração ministrado/Extensão [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.	GAUY, M. M. ; Finger, Marcelo. Pretrained audio neural networks for Speech emotion recognition in Portuguese. arXiv. 2022. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.	GAUY, M. M. ; Finger, Marcelo. Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. arXiv. 2022. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.	IOSTE, A. R. ; DURHAM, A. M. ; Finger, Marcelo. Combined Learning of Neural Network Weights for Privacy in Collaborative Tasks. arXiv. 2022. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.	PRETO, S. ; FERME, E. ; Finger, Marcelo. Coherence of probabilistic constraints on Nash equilibria. arXiv. 2022. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.	SERRAS, F. ; Finger, Marcelo. verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT. arXiv. 2022. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.	SILVA, D. ; CASANOVA, E. ; GRIS, LUCAS RAFAEL STEFANEL ; CANDIDO JR., ARNALDO ; Finger, Marcelo ; FERNANDES-SVARTMAN, FLAVIANE ROMANI ; MEDEIROS, B. R. ; MARTINS, M. ; ALUISIO, SANDRA ; BERTI, LARISSA CRISTINA. Interpretability Analysis of Deep Models for COVID-19 Detection. arXiv. 2022. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2021

1.	CAMARGO NETO, A. C. ; CARVALHO, W. S. ; PERESSIM, F. ; Finger, Marcelo. Text-to-hashtag Generation using Seq2seq Learning. arXiv. 2021. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.	DURHAM, A. M. Algoritmos em Genômica Computacional. 2021. Curso de curta duração ministrado/Extensão [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.	Mascarenhas, W.F. Computing the exact sign of sums of products with floating point arithmetic. 2021. artigo no arxiv [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.	Mascarenhas, W.F. Solving systems of inequalities in two variables with floating point arithmetic. 2021. artigo no arxiv [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.	Mascarenhas, W.F. Root Finding With Interval Arithmetic. 2021. artigo no arxiv [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.	Mascarenhas, W.F. On the differentiability of interval functions. 2021. artigo no arxiv [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2020

1.	BOSSE, Yorah ; Igor Scaliante Wiese ; Marco Aurélio Graciotto Silva ; Nelson Lago ; BRANDÃO, LEÔNIDAS ; David Redmiles ; Fabio Kon ; GEROSA, M.A.. Catalogs of C and Python: Antipatterns by CS1 Students. São Paulo: Technical Report RT-MAC-2021-01 / Department of Computer Science - IME / USP. 2020. Technical Report RT-MAC-2021-01 / Department of Computer Science - IME / USP [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.	CARLOTTI, D. ; NUNES, F. L. S. ; FERREIRA, J.E.. Relational data model and programs to use and view data from the FAPESP COVID-19 Data Sharing/BR repository. Repositório de Dados Científicos da USP. 2020. Repositório de Dados Cientíticos [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.	MELLO, L. E. ; SUMAN, A. ; MEDEIROS, C. B. ; PRADO, C. ; RIZZATTI, E. ; NUNES, F. L. S. ; BARNABE, G. ; FERREIRA, J. E. ; SA, J. ; REIS, L. F. ; RIZZO, L. V. ; SARNO, L. ; LAMONICA, R. ; MACIEL, R. M. B. ; CESAR JR, R. M. ; CARVALHO, R.. Opening Brazilian COVID-19 patient data to support world research on pandemics. Zenodo. 2020. Open access [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.	Wakabayashi, Y. Partições conexas balanceadas de grafos. Computação Brasil No. 43 - Revista da SBC. 2020. Artigo de divulgação [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2019

1.	DURHAM, A. M. Algoritmos em Genômica Computacional. 2019. Curso de curta duração ministrado/Extensão [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.	Finger, Marcelo. Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms. Ithaca: ArXiv. 2019. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.	SAA, O. ; Stern, Julio Michael. Auditable Blockchain Randomization Tool. Ithaca: Cornell University (arXiv.org). 2019. arXiv.org), 2019 (Technical Report [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2018

1.	ESTEVES, L. G. ; IZBICKI, R. ; STERN, R. B. ; Stern, Julio Michael. Pragmatic hypotheses in the evolution of science. Ithaca: arXiv. 2018. Technical Report [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.	LUZ, F. F. ; Finger, Marcelo. Semantic Parsing Natural Language into {SPARQL:} Improving Target Language Representation with Neural Attention. Computing Research Repository -- ArXiv. 2018. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.	LUZ, F. F. ; Finger, Marcelo. Semantic Parsing: Syntactic assurance to target sentence using {LSTM} Encoder CFG-Decoder. Computing Research Repository -- ArXiv. 2018. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.	Mascarenhas, W.F. On the rate of convergence of Berrut's interpolant at equally spaced nodes Walter F. Mascarenhas. 2018. Artigo no arxiv [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.	MORIMOTO, C. H.; J. C. de Pina ; SOARES, J. A.. Como Pensar Como um Cientista da Computação - Aprendendo com Python: Versão Interativa.. 2018. Tradução/Livro [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2017

1.	FERNANDES, C. G. ; FERREIRA, C. E. ; MIAZAWA, F. K. ; WAKABAYASHI, Y.. Prices of anarchy of selfish 2D bin packing games. Ithaca, NY: Cornell University Library. 2017. Publicação em arquivo livre de artigos científicos [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.	Mascarenhas, W.F. Floating point numbers are real numbers. 2017. Artigo no arxiv [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2016

1.	Mascarenhas, W.F. A rational Rodrigues formula to intepolate rotation. 2016. Artigo no arxiv [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.	Mascarenhas, W.F. Moore: Interval Arithmetic in Modern C++. 2016. Artigo no arxiv [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

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 ]
2.	KON, F.; CORDEIRO, D.. Construindo Software como Serviço (SaaS): Uma Abordagem Ágil Usando Computação em Nuvem. 2015. SaaS): Uma Abordagem Ágil Usando Computação em Nuvem, 2015. (Tradução/Livro [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2014

1.	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.	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 ]
2.	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 ]
3.	Mota, G.O. Dois resultados em combinatória contemporânea. 2013. Tese [ 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 ]

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.	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 ]

2009

1.	Mota, G.O. Uma generalização do Teorema de Hall e suas implicações para a Teoria de Fatores. 2009. Dissertação [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.	MULLER, G. ; SICHMAN, J. S.. Toward a generic and reuseable plaform for RPG+MABS. São Paulo: Escola Politécnica da USP. 2009. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.	MULLER, G. ; SICHMAN, J. S.. Selecting learning algorithms for the design of virtual players in natural resources management problems. São Paulo: Escola Politécnica da USP. 2009. Relatório Técnico [ 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.	GUEBEROFF, Inácio ; SICHMAN, J. S.. Strategy Representation Complexity in an Evolutionary n-Players Prisoner's Dilemma Model. São Paulo: Escola Politécnica da Universidade de São Paulo. 2008. Relatório Técnico [ 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 ]

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.	BRANDÃO, A. A. F. Um método para estruturação e análise de modelos de sistemas multi-agentes baseado em ontologias. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro. 2006. Tese de doutorado [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.	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 ]
4.	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 ]
5.	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 ]

2005

1.	BRANDÃO, A. A. F.; SILVA, V. T. ; LUCENA, C. J. P.. A Model-Driven Approach to Develop Multi-Agent Systems. Rio de Janeiro: Departamento de Informática. 2005. monografia [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.	BRANDÃO, A. A. F.; SILVA, V. T. ; LUCENA, C. J. P.. An ontology-based method for structuring MAS formal specifications. 2005. monografia [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.	Brandão, Anarosa Alves Franco; SILVA, V. T. ; LUCENA, C. J. P.. Multi-Agent System Design Verification Using Knowledge-based Reasoning. Rio de Janeiro: PUC-Rio. 2005. Monografia [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.	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 ]
5.	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 ]
6.	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 ]
7.	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 ]
8.	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 ]
9.	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 ]
10.	MONTEIRO, Júlio de Lima Do Rego ; SICHMAN, J. S.. PartNet+: simulando parcerias entre múltiplos agentes. São Paulo: Escola Politécnica da Universidade de São Paulo. 2005. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2004

1.	BRANDÃO, A. A. F.; ALENCAR, P. ; LUCENA, C. J. P.. Extending Object-Z for Multi-Agent Systems Specifications. Rio de Janeiro: PUC-Rio Departamento de Informatica. 2004. monografia [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.	BRANDÃO, A. A. F.; SILVA, V. T. ; LUCENA, C. J. P.. Ontologies as Specifications for the Verification of Multi-Agent Systems Design. 2004. Workshop position paper with URL [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.	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 ]
4.	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 ]
5.	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 ]
6.	FEOFILOFF, P. ; KOHAYAKAWA, Y. ; Y. WAKABAYASHI. Uma introdução sucinta à teoria dos grafos. 2004. Notas de aula - minicurso na II Bienal da SBM - Salvador 2004. [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.	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 ]
8.	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 ]
9.	LUGO, Gustavo Alberto Giménez ; SICHMAN, J. S.. Integration of ontologies and organization models: a MAS view. São Paulo: Escola Politécnica da Universidade de São Paulo. 2004. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.	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.	BOUSQUET, François ; DAVIDSSON, Paul ; SICHMAN, J. S.. Report on the Multi-Agent Based Simulation (MABS) 2002 workshop, Bologna, Italy, July 2002. Londres: Journal of Artificial Societies and Social Simulation 6(2). 2003. MABS) 2002 workshop, Bologna, Italy, July 2002. Londres: Journal of Artificial Societies and Social Simulation 6(2), 2003 (Resenha de conferência [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.	BRAUNER, D. F. ; BRANDÃO, A. A. F. ; CUNHA, L. M. ; LUCENA, C. J. P.. Um Estudo de Caso para Avaliacao do Knowledge Unified Process para o Desenvolvimento de Ontologias. Rio de Janeiro: PUC-Rio Departamento de Informatica. 2003. monografia [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.	CASTRO, Paulo André Lima de ; SICHMAN, J. S.. Uma infra-estrutura para agentes arrematantes em múltiplos leilões simultâneos. São Paulo: Escola Politécnica da Universidade de São Paulo. 2003. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.	CUNHA, L. M. ; BRANDÃO, A. A. F. ; ORLEAN, D. ; ALBARELLO, A. B. ; SCHROEDER, B. ; LUCENA, C. J. P.. Following up a Case Study for the Semantic Web. Rio de Janeiro: PUC-Rio Departamento de Informatica. 2003. monografia [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.	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 ]
6.	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 ]
7.	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 ]
8.	FERNANDES, C. G.; A. Mandel ; E.L. Green. From monomials, to words to graphs. 2003. Relatório técnico arquivado [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.	HÜBNER, Jomi Fred ; SICHMAN, J. S.. Using the MOISE+ model for a cooperative framework of MAS reorganization. São Paulo: Escola Politécnica da Universidade de São Paulo. 2003. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.	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 ]
11.	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.	BRANDÃO, A. A. F.; LUCENA, C. J. P.. Uma Introducao a Engenharia de Ontologias no Contexto da Web Semantica. Rio de Janeiro: PUC-Rio Departamento de Informatica. 2002. Monografia [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.	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 ]
3.	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 ]
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. Programming Perl For Bioinformatics. 2002. Curso de curta duração ministrado/Extensão [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.	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 ]
7.	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 ]
8.	FEOFILOFF, P. ; FERNANDES, C. G. ; FERREIRA, C. E. ; PINA, J.. O(n^2 log n) implementation of an approximation for the Prize-Collecting Steiner Tree Problem. 2002. Relatório técnico arquivado [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.	LUGO, Gustavo Alberto Giménez ; AMANDI, Analia ; SICHMAN, J. S.. Comparação de perfis de usuários coletados através do agente de interface PersonalSearcher. São Paulo: Escola Politécnica da Universidade de São Paulo. 2002. Relatório Técnico [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.	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 ]
11.	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 ]
12.	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 ]
13.	SILVA, V. T. ; GARCIA, A. F. ; BRANDÃO, A. A. F. ; CHAVEZ, C. ; ALENCAR, P. ; LUCENA, C. J. P.. Theoretical Foundations for Agents and Objects in Software Engineering. Rio de Janeiro: PUC-Rio Departamento de Informatica. 2002. Monografia [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.	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 ]
15.	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 ]
16.	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.	SICHMAN, J. S. A dependence-based model for social reasoning in multi-agent systems. São Paulo: Escola Politécnica da Universidade de São Paulo. 2001. Relatório Técnico [ 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 ]

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.	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 ]
5.	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 ]
6.	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 ]
7.	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 ]
8.	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 ]
9.	WAZLAWICK, Raul Sidnei ; WANGENHEIM, Aldo Von ; BUCHSBAUM, Arthur R V ; GAUTHIER, Fernando A Ostuni ; BITTENCOURT, Guilherme ; SICHMAN, J. S. ; ALVES, João Bosco da Mota ; BARRETO, Jorge Muniz ; ROISENBERG, Mauro ; BORGES, Paulo Sérgio da Silva ; BASTOS, Rogério Cid ; VICCARI, Rosa Maria ; NASSAR, Sílvia Modesto ; LIMA, Vera Lúcia Strube de. Proposta para ensino da matéria de inteligência artificial em cursos de graduação. 2000. Artigo [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

Relatório gerado por scriptLattes V8.11. Os resultados estão sujeitos a falhas devido a inconsistências no preenchimento dos CVs Lattes. E-mail de contato: webmaster@ime.usp.br