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

Demais tipos de produção bibliográfica


Número total de itens: 94

2025

1.   ALMEIDA, V. A. ; CAMARGO, V. ; GOMEZ-BRAVO, R. ; HARING, E. V. D. ; BOVEN, K. V. ; Finger, Marcelo ; LOPEZ, L. F.. Large Language Models as Medical Codes Selectors: a benchmark using the International Classification of Primary Care Authors:. arXiv. 2025. Relatório Técnico
2.   BRITO, D. O. ; SOUZA, L. G. ; GAUY, MARCELO MATHEUS ; Finger, Marcelo ; CANDIDO JR, A.. Fine-tuning Pre-trained Audio Models for COVID-19 Detection: A Technical Report Show affiliations. arXiv. 2025. Relatório Técnico
3.   GAUY, MARCELO MATHEUS ; Finger, Marcelo ; FERNANDES-SVARTMAN, F. ; SABINO, E. C. ; LEVIN, A. S. ; CANDIDO JR, A. ; BERTI, L. C. ; STANZIONE, G. R. ; MORITA, R. M. ; KOZA, N. H.. CONTRASTING DEEP LEARNING AUDIO MODELS FOR DIRECT RESPIRATORY INSUFFICIENCY DETECTION VERSUS BLOOD OXYGEN SATURATION ESTIMATION. SSRN. 2025. Relatório Técnico
4.   LAWAND, D. A. E. ; LAM, L. Q. M. ; BOLGHERONI, R. O. ; FERREIRA, R. C. ; GOLDMAN, A. ; Finger, Marcelo. Making a Pipeline Production-Ready: Challenges and Lessons Learned in the Healthcare Domain. arXiv. 2025. Relatório Técnico
5.   PRETO, S. ; Finger, Marcelo. Regional, Lattice and Logical Representations of Neural Networks. arXiv. 2025. Relatório Técnico

2024

1.   GAUY, M. M. ; KOZA, N. H. ; MORITA, R. M. ; STANZIONE, G. R. ; CANDIDO JR, A. ; BERTI, L. C. ; LEVIN, A. S. ; SABINO, E. C. ; FERNANDES-SVARTMAN, F. ; Finger, Marcelo. Contrasting Deep Learning Models for Direct Respiratory Insufficiency Detection Versus Blood Oxygen Saturation Estimation. arXiv. 2024. Relatório Técnico
2.   GAUY, MARCELO MATHEUS ; BERTI, L. C. ; CANDIDO JR, ARNALDO ; CAMARGO NETO, A. C. ; GOLDMAN, A. ; LEVIN, A. S. ; MARTINS, M. ; MEDEIROS, B. R. ; QUEIROZ, M. G. ; SABINO, E. C. ; FERNANDES-SVARTMAN, F. ; Finger, Marcelo. Discriminant audio properties in deep learning based respiratory insufficiency detection in Brazilian Portuguese. Ithaca: arXiv. 2024. Relatório Técnico

2023

1.   SUPREM, ABHIJIT ; FERREIRA, JOAO E. ; Pu, Calton. Continuously Reliable Detection of New-Normal Misinformation: Semantic Masking and Contrastive Smoothing in High-Density Latent Regions. arxiv.org. 2023. Open access

2022

1.   GAUY, M. M. ; Finger, Marcelo. Pretrained audio neural networks for Speech emotion recognition in Portuguese. arXiv. 2022. Relatório Técnico
2.   GAUY, M. M. ; Finger, Marcelo. Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. arXiv. 2022. Relatório Técnico
3.   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
4.   PRETO, S. ; FERME, E. ; Finger, Marcelo. Coherence of probabilistic constraints on Nash equilibria. arXiv. 2022. Relatório Técnico
5.   SERRAS, F. ; Finger, Marcelo. verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT. arXiv. 2022. Relatório Técnico
6.   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
7.   SUPREM, A. ; VAIDYA, A. ; VENUGOPAL, A. ; Ferreira, João Eduardo ; Pu, Calton. EdnaML: A Declarative API and Framework for Reproducible Deep Learning. arxiv.org. 2022. Open access
8.   SUPREM, ABHIJIT ; SINGH, P. ; CHERKADI, S. ; VAIDYA, S. ; FERREIRA, J. E. ; Pu, Calton. ATEAM: Knowledge Integration from Federated Datasets for Vehicle Feature Extraction using Annotation Team of Experts. arxiv.org. 2022. Open access
9.   SUPREM, ABHIJIT ; VAIDYA, SANJYOT ; FERREIRA, J. E. ; Pu, Calton. Time-Aware Datasets are Adaptive Knowledgebases for the New Normal. arxiv.org. 2022. Open access

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

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
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
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
4.   Wakabayashi, Y. Partições conexas balanceadas de grafos. Computação Brasil No. 43 - Revista da SBC. 2020. Artigo de divulgação

2019

1.   Finger, Marcelo. Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms. Ithaca: ArXiv. 2019. Relatório Técnico

2018

1.   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
2.   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
3.   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

2015

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

2014

1.   Finger, Marcelo; FERNANDEZ, M.. Preface of Proceedings of the 8th Workshop on Logical and Semantic Frameworks (LSFA), 2014. (Prefácio. 2014.

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
2.   de Carli Silva, Marcel K. Geometric Ramifications of the Lovász Theta Function and Their Interplay with Duality. 2013. Tese de Doutorado
3.   Mota, G.O. Dois resultados em combinatória contemporânea. 2013. Tese

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

2011

1.   GEROSA, M.A.; ISSARNY, V.. Web Service Choreographies. IEEE. 2011. Guest Editor de tema da IEEE Computing Now, outubro 2011
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
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
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

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
2.   CORREA DA SILVA, F. S. Matemática discreta - uma introdução. São Paulo: Cengage Learning. 2010. Tradução/Livro
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
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
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

2009

1.   Mota, G.O. Uma generalização do Teorema de Hall e suas implicações para a Teoria de Fatores. 2009. Dissertação
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
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

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

2007

1.   de Carli Silva, Marcel K. Relações min-max em otimização combinatória. 2007. Dissertação de Mestrado
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

2006

1.   Alexandre da Silva ; MAUÁ, D. D. ; Rafael Lopez. Reconhecimento Automático de Dígitos Falados. 2006. Trabalho de Formatura
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
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
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

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
2.   BRANDÃO, A. A. F.; SILVA, V. T. ; LUCENA, C. J. P.. An ontology-based method for structuring MAS formal specifications. 2005. monografia
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
4.   CHOFFRUT, C. ; Y. WAKABAYASHI. Imre Simon, the tropical computer scientist, 2005. (Prefácio. 2005.
5.   Christian Choffrut ; Y. WAKABAYASHI. Imre Simon, the tropical scientist. 2005. Editoração/Periódico
6.   CORREA DA SILVA, F. S.; MEGA, Giuliano ; SUCUPIRA, Igor Ribeiro. Sistemas de Informação. São Paulo: Thomson. 2005. Tradução/Livro
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
8.   FEOFILOFF, P. ; FIGUEIREDO, C. M. H. ; Y. WAKABAYASHI. Electronic Notes in Discrete Mathematics, Vol.19. 2005. Editoração/Anais
9.   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

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
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
3.   CORREA DA SILVA, F. S. Construção de Compiladores. São Paulo: Thomson. 2004. Tradução/Livro
4.   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.
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
6.   HASHIMOTO, R. F. Manual do Linux Red Hat 9.0. São Paulo, 2004. (Prefácio. 2004.
7.   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
8.   TAKAI, O. K. ; FERREIRA, J. E.. Naked Objects. 2004. Tradução/Livro

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
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
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
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
5.   FERNANDES, C. G.; A. Mandel ; E.L. Green. From monomials, to words to graphs. 2003. Relatório técnico arquivado
6.   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

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
2.   CORREA DA SILVA, F. S. Programação MATLAB Para Engenheiros. São Paulo: Thomson. 2002. Tradução/Livro
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
4.   DURHAM, A. M.; LIMA, A. M.. A conecionless protocol for mobile agents. 2002. Relatório Técnico
5.   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
6.   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
7.   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
8.   MENDES, M. A. ; CORREA DA SILVA, F. S.. Introdução Aos Sistemas Operacionais. São Paulo: Pioneira / Thomson Learning. 2002. Tradução/Livro
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
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
11.   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

2001

1.   FINGER, M.; CEZAR, F. A. M. C.. Banco de dados obsolescentes e uma proposta de implementação. 2001. Relatório Técnico
2.   FINGER, M.; NASSU, E. A.. O significado de "aqui'' em sistemas transacionais móveis. 2001. Relatório Técnico
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

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
2.   FERNANDES, C. G.; THOMAS, R.. Edge-Coloring Series-Parallel Multigraphs. 2000. Relatório técnico arquivado
3.   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


(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 27/01/2026 13:46:28