| 1. | HIRATA, N. S. T. Inteligência Artificial como Ferramenta de Transformação Digital. 2024. Apresentação de Trabalho/Seminário |
| 2. | KON, F. Palestra na Sorbonne Université: Urban Public Policies based on evidence from Computer and Data Science. 2024. Apresentação de Trabalho/Conferência ou palestra |
| 1. | de Carli Silva, Marcel K. Introduction to Semidefinite Programming. 2023. Apresentação de Trabalho/Conferência ou palestra |
| 2. | DURHAM, A. M. Alinhamento de Sequências. 2023. Apresentação de Trabalho/Conferência ou palestra |
| 3. | KON, F. Cidades Inteligentes: Ciências de Dados para a elaboração e monitoramento de Políticas Públicas. 2023. Apresentação de Trabalho/Conferência ou palestra |
| 4. | KON, F. Ciência de Dados para Cidades. 2023. Apresentação de Trabalho/Seminário |
| 1. | A. M. Durham. Alinhamento de Sequências. 2022. Apresentação de Trabalho/Conferência ou palestra |
| 2. | KON, F. Keynote Speech no The Future of Research Software Workshop. 2022. Apresentação de Trabalho/Conferência ou palestra |
| 3. | MATHEUS GAUY, MARCELO; FINGER, MARCELO. Pretrained audio neural networks for Speech emotion recognition in Portuguese. 2022. Apresentação de Trabalho/Outra |
| 4. | Santos, V. B. ; BARROS, L. N. ; PEREIRA, S. L. ; Menezes, M. V.. Symbolic FOND planning for temporally extended goals. 2022. Apresentação de Trabalho/Conferência ou palestra |
| 5. | VALLE, P. H. D. Gamificação na Educação - Benefícios e Aplicações. 2022. Apresentação de Trabalho/Conferência ou palestra |
| 6. | VALLE, PEDRO H. D. 'Gamificação na Educação - Desafios e Aplicações. 2022. Apresentação de Trabalho/Conferência ou palestra |
| 1. | BANDIERA PAIVA, THALES ; Yaissa Siqueira ; Daniel Macedo Batista ; HIRATA JR., R. ; TERADA, Routo. BGP Anomalies Classification using Features based on AS Relationship Graphs. 2021. Apresentação de Trabalho/Conferência ou palestra |
| 2. | DE CARLI SILVA, MARCEL K. Some Discrete Aspects of Semidefinite Programming. 2021. Apresentação de Trabalho/Conferência ou palestra |
| 3. | DURHAM, A. M. Alinhamento de Sequências. 2021. Apresentação de Trabalho/Conferência ou palestra |
| 1. | DURHAM, A. M. Alinhamento de Sequências. 2020. Apresentação de Trabalho/Conferência ou palestra |
| 2. | KON, F. Keynote Speech no ACM/IFIP International Middleware Conference'2020: Developing and Assessing Middleware and Applications for Smart Cities. 2020. Apresentação de Trabalho/Conferência ou palestra |
| 3. | PERES, S. M. ; DELGADO, K. V.. Mulheres na Computação. 2020. Apresentação de Trabalho/Outra |
| 4. | Queiroz, M. Percepção de Ritmos Assimétricos na Música Tradicional Grega (MusicTec2 e Areté Centro de Estudos Helênicos). 2020. Apresentação de Trabalho/Conferência ou palestra |
| 5. | Sichman, J.S. Inteligência Artificial: Histórico e Perspectivas. 2020. Apresentação de Trabalho/Conferência ou palestra |
| 1. | BANDIERA PAIVA, THALES ; NAVARIDAS, J. ; TERADA, Routo. Robust Covert Channels Based on DRAM Power Consumption. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 2. | BANDIERA PAIVA, THALES ; TERADA, Routo. A Timing Attack on the HQC Encryption Scheme. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 3. | Benedetto Proença, Nathan ; DE CARLI SILVA, MARCEL K. ; Coutinho, Gabriel. Dual Hoffman Bounds for the Stability and Chromatic Numbers Based on SDP. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 4. | BRAGHETTO, K. R. Tecnologias emergentes e disruptivas para as cidades inteligentes. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 5. | DURHAM, A. M. Alinhamento de Sequências. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 6. | Finger, Marcelo. Artificial intelligence symposium: where do we stand in the substitution of physicians by machines. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 7. | Hirata, N.S.T. Imagens na era do Big Data: Potenciais e Desafios. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 8. | Hirata, Nina S. T. Big Data and Machine Learning: An introduction. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 9. | Hirata, Nina S. T. Machine Learning. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 10. | Hirata, Nina S. T. Uma aula sobre Machine Learning. 2019. Apresentação de Trabalho/Outra |
| 11. | Mota, G. O. Teoria de Ramsey: Introdução e avanços recentes. 2019. Apresentação de Trabalho/Conferência ou palestra |
| 12. | Queiroz, M. Computação Musical e Sonologia (Palestra de divulgação nos Seminários do IC/UNICAMP). 2019. Apresentação de Trabalho/Conferência ou palestra |
| 13. | Queiroz, M. Percepção de Ritmos Assimétricos na Música Tradicional Grega (Conversas Neuromusicais na UFABC). 2019. Apresentação de Trabalho/Conferência ou palestra |
| 14. | VALLE, P. H. D.; GARCÉS, LINA ; NAKAGAWA, ELISA YUMI. A Typology of Architectural Strategies for Interoperability. 2019. Apresentação de Trabalho/Simpósio |
| 1. | Hirata, Nina S. T. Machine learning e alguns exemplos de aplicação em dados astronômicos. 2018. Apresentação de Trabalho/Seminário |
| 2. | Jaime Sichman. A Inteligência Artificial e o Direito. 2018. Apresentação de Trabalho/Seminário |
| 3. | Jaime Sichman. Programming Multi-Agent Systems: How to Cope with Autonomy and Normative Compliance}. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 4. | KON, F. Palestra no MIT (EUA): 10 Best Practices for Agile Software Development. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 5. | KON, F. Seminário na Texas A&M University (EUA): Software and science making cities better through university-city collaborations. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 6. | KON, F. Seminário na Brown University (EUA): Improving the Quality of Life in Cities with Computer Science. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 7. | LIMA, R. A. ; PU, C. ; TAKECIAN, P. L. ; KAMAURA, L. T. ; PADILHA, BRUNO ; FERREIRA, J.E.. Modeling Time-Critical Processes with WED-flow. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 8. | Mota, G.O. Monochromatic trees in random graphs. 2018. Apresentação de Trabalho/Conferência ou palestra |
| 9. | Queiroz, M. Perception of asymmetric rhythms in traditional Greek music. 2018. Apresentação de Trabalho/Comunicação |
| 10. | Queiroz, M; FIGUEIREDO, N. ; KOCH, T. ; YOSHIMURA, G.. A comparative study on filtering and classification of bird songs; Towards Flexible Audio Processing; Relative DTW Embedding for Binary Classification of Audio Data. 2018. Apresentação de Trabalho/Congresso |
| 1. | Hirata, N.S.T. Machine Learning and Big Data. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 2. | Hirata, N.S.T. Image Processing, Pattern Recognition and Machine Learning at IME / USP. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 3. | Hirata, Nina S. T. Machine Learning e aplicações em processamento de imagens. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 4. | Hirata, Nina S. T. Machine Learning: um panorama geral. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 5. | Mota, G. O. Advances in Anti-Ramsey Theory for sparse graphs. 2017. Apresentação de Trabalho/Congresso |
| 6. | Mota, G. O. Monochromatic trees in random graphs. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 7. | Mota, G. O. On the number of r-transitive orientations of random graphs. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 8. | Mota, G.O. O número de tamanho-Ramsey para potências de caminhos. 2017. Apresentação de Trabalho/Congresso |
| 9. | Mota, G.O. On the local density problem for graphs of given odd-girth. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 10. | Queiroz, M. Computação Musical e Sonologia (Palestra de divulgação no IX Encontro do BCC-IME-USP). 2017. Apresentação de Trabalho/Conferência ou palestra |
| 11. | Queiroz, M. Computação Musical e Sonologia (Palestra de divulgação na SEMCOMP - Semana da Computação do ICMC/USP). 2017. Apresentação de Trabalho/Conferência ou palestra |
| 12. | Sichman, J.S. Inteligência Artificial e seu Desenvolvimento - Uma Visão. 2017. Apresentação de Trabalho/Conferência ou palestra |
| 13. | VALLE, P. H. D.; TODA, A. M. ; BARBOSA, E. F. ; MALDONADO, J. C.. Educational Games: A Contribution to Software Testing Education. 2017. Apresentação de Trabalho/Congresso |
| 14. | VALLE, PEDRO H. D.; ROCHA, R. V. ; MALDONADO, J. C.. Testing Game: An Educational Game to Support Software Testing Education. 2017. Apresentação de Trabalho/Simpósio |
| 1. | BOTLER, F.; TALON, A.. Decomposing 8-regular graphs into paths of length 4. 2016. Apresentação de Trabalho/Congresso |
| 2. | BRAGHETTO, K. R. Workflows Científicos em Plataformas de Computação de Alto Desempenho. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 3. | Hirata, N.S.T. Machine Learning in the Era of Data Science. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 4. | KELLY, BRAGHETTO; Vargas, C.D.. NeuroMat's open database project. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 5. | Mota, G.O. Thresholds for anti-Ramsey properties of cycles and cliques - 6th Polish Combinatorial Conference. 2016. Apresentação de Trabalho/Congresso |
| 6. | Queiroz, M. Computação Musical e Sonologia (Palestra de divulgação na XXI Semana de Informática da Universidade Federal de Viçosa). 2016. Apresentação de Trabalho/Conferência ou palestra |
| 7. | ROQUE, A. C. ; GUBITOSO, M. D. ; BRAGHETTO, K. R.. Promotion of the use of mathematical sciences as a resource for neuroscience applications. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 8. | SICHMAN, J. S. Designing and Programming Multiagent Organizations. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 9. | SICHMAN, J. S. Multi-Agent Organizations. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 10. | SICHMAN, J. S. Designing and Programming Multi-Agent Organizations with Moise. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 11. | SICHMAN, J. S. Designing and Programming Multi-Agent Organizations. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 12. | SICHMAN, J. S. Designing and Programming Multi-Agent Organizations. 2016. Apresentação de Trabalho/Conferência ou palestra |
| 1. | BOTLER, F.; JIMÉNEZ, ANDREA. On path decompositions of 2k-regular graphs. 2015. Apresentação de Trabalho/Congresso |
| 2. | BOTLER, F.; MOTA, G.O. ; OSHIRO, M.T.I. ; WAKABAYASHI, Y.. Decompositions of highly connected graphs into paths of length five. 2015. Apresentação de Trabalho/Congresso |
| 3. | BOTLER, F.; MOTA, G.O. ; OSHIRO, M.T.I. ; WAKABAYASHI, Y.. Decompositions of highly connected graphs into paths of any given length. 2015. Apresentação de Trabalho/Congresso |
| 4. | BRAGHETTO, K. R. Data Management in NeuroMat and the Neuroscience Experiments System (NES). 2015. Apresentação de Trabalho/Conferência ou palestra |
| 5. | DE CARLI SILVA, MARCEL K.; Tunçel, Levent. An Axiomatic Duality Framework for the Theta Body and Related Convex Corners. 2015. Apresentação de Trabalho/Simpósio |
| 6. | GEORGAKI, A. ; Queiroz, M. ?Virtual Tettix? : Cicadas? sound analysis and modeling at Plato's Academy. 2015. Apresentação de Trabalho/Congresso |
| 7. | HANAZUMI, S. ; de Melo, Ana C. V.. On the Testability of Properties Patterns. 2015. Apresentação de Trabalho/Conferência ou palestra |
| 8. | Mota, G.O. A counting lemma for sparse pseudorandom hypergraphs - VIII Latin-American Algorithms, Graphs and Optimization Symposium. 2015. Apresentação de Trabalho/Congresso |
| 9. | Mota, G.O. Anti-Ramsey threshold for sparse graphs - Kolloquium über Kombinatorik. 2015. Apresentação de Trabalho/Simpósio |
| 10. | Mota, G.O. Path decompositions of regular graphs with prescribed girth - European Conference on Combinatorics, Graph Theory and Applications. 2015. Apresentação de Trabalho/Congresso |
| 11. | Mota, G.O. Decompositions of highly connected graphs into paths - Berlin-Poznan-Hamburg Seminar - 20th Anniversary. 2015. Apresentação de Trabalho/Simpósio |
| 12. | Queiroz, M. Keynote Talk (SBCM 2015): Paisagens sonoras, harmonização automática e fusão conceitual. 2015. Apresentação de Trabalho/Conferência ou palestra |
| 13. | Queiroz, M. Computer Music and Sonology at the University of São Paulo, Brazil (Palestra na Aristotle University of Thessaloniki). 2015. Apresentação de Trabalho/Conferência ou palestra |
| 14. | Queiroz, M. Computer Music and Sonology at the University of São Paulo, Brazil (Palestra na University of Athens). 2015. Apresentação de Trabalho/Conferência ou palestra |
| 15. | Queiroz, M. Computer Music and Sonology at the University of São Paulo, Brazil (Palestra na Ionian University/Corfu). 2015. Apresentação de Trabalho/Conferência ou palestra |
| 16. | Queiroz, M. Computer Music and Sonology at the University of São Paulo, Brazil (Palestra na National University of Ireland - Maynooth). 2015. Apresentação de Trabalho/Conferência ou palestra |
| 17. | SICHMAN, J. S. Improving the performance of BDI Jason agents through perception filters. 2015. Apresentação de Trabalho/Seminário |
| 18. | SICHMAN, J. S. Improving the performance of BDI Jason agents through perception filters. 2015. Apresentação de Trabalho/Seminário |
| 19. | SICHMAN, J. S. Improving the performance of BDI Jason agents through perception filters. 2015. Apresentação de Trabalho/Seminário |
| 20. | SICHMAN, J. S.; COZMAN, Fabio Gagliardi ; PINHANEZ, C.. A Discussion about the Potential and the Risks of Artificial Intelligence. 2015. Apresentação de Trabalho/Conferência ou palestra |
| 21. | Stern, Julio Michael. Ética e Planejamento Estatístico em Ensaios Clínicos. 2015. Apresentação de Trabalho/Conferência ou palestra |
| 1. | BOTLER, F.; MOTA, G.O. ; WAKABAYASHI, Y.. Path decompositions of triangle-free 5-regular graphs. 2014. Apresentação de Trabalho/Congresso |
| 2. | DE CARLI SILVA, MARCEL K.; Harvey, Nicholas J. A. ; Sato, Cristiane M.. Somas esparsas de matrizes positivas semidefinidas. 2014. Apresentação de Trabalho/Congresso |
| 3. | MARTINS, ALEXANDRE L. ; HANAZUMI, SIMONE ; de Melo, Ana C.V.. Testing Java Exceptions: an instrumentation technique. 2014. Apresentação de Trabalho/Congresso |
| 4. | Mota, G.O. Decomposition of highly connected graphs into paths of length five - Lyon-São Paulo Workshop. 2014. Apresentação de Trabalho/Outra |
| 5. | Mota, G.O. Counting uniform linear hypergraphs in sparse pseudorandom hypergraphs - Graph Theory and Combinatorics at FoCM. 2014. Apresentação de Trabalho/Congresso |
| 6. | Mota, G.O. On an anti-Ramsey threshold for sparse graphs with one triangle - 9th International colloquium on graph theory and combinatorics. 2014. Apresentação de Trabalho/Congresso |
| 7. | Queiroz, M. A Protocol for creating Multiagent Systems in Ensemble with Pure Data. 2014. Apresentação de Trabalho/Congresso |
| 8. | SICHMAN, J. S. Multi-Agent Organizations. 2014. Apresentação de Trabalho/Conferência ou palestra |
| 9. | SICHMAN, J. S. Operationalizing Complex Systems. 2014. Apresentação de Trabalho/Conferência ou palestra |
| 10. | SICHMAN, J. S. Multi-Agent Organizations. 2014. Apresentação de Trabalho/Conferência ou palestra |
| 11. | STERN, JULIO M. Cognitive-Constructivism, Art & Ontology: Living Forms of the Active Logos. 2014. Apresentação de Trabalho/Conferência ou palestra |
| 12. | STERN, JULIO M. Statistics and Innovation - Technological and Theoretical. 2014. Apresentação de Trabalho/Conferência ou palestra |
| 13. | Stern, Julio Michael. Ética e Planejamento Estatístico em Ensaios Clínicos. 2014. Apresentação de Trabalho/Conferência ou palestra |
| 1. | ARANGO, J. J. ; TOMIYOSHI, M. M. ; QUEIROZ, M. ; Iazzetta, Fernando. Brazilian Challenges for Network Music. 2013. Apresentação de Trabalho/Congresso |
| 2. | BIANCHI, A. J. ; QUEIROZ, M.. Real time digital audio processing with Arduino. 2013. Apresentação de Trabalho/Congresso |
| 3. | Chui, M. ; FERREIRA, J. E. ; PU, C.. Web Services Composition through Data Events Approach. 2013. Apresentação de Trabalho/Conferência ou palestra |
| 4. | de Carli Silva, Marcel K.; Harvey, Nicholas J. A. ; Sato, Cristiane M.. Sparse Sums of Positive Semidefinite Matrices. 2013. Apresentação de Trabalho/Simpósio |
| 5. | HASHIMOTO, R. F. Gene Interactions Modeled by Boolean Networks. 2013. Apresentação de Trabalho/Conferência ou palestra |
| 6. | KON, F. Palestra no Google Campus Tel-Aviv (Israel): The Power of Open Source. 2013. Apresentação de Trabalho/Conferência ou palestra |
| 7. | KON, F. Aulas convidadas em Technion (Israel). 2013. Apresentação de Trabalho/Conferência ou palestra |
| 8. | LIMA, W. A. ; VILELA, R. F. ; VALLE, P. H. D. ; MUNIZ, R. J. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Sistematização da Etapa de Implementação de um Framework para Jogos Educacionais Digitais. 2013. Apresentação de Trabalho/Outra |
| 9. | Mota, G.O. Ramsey number for bipartite graphs - 29º Colóquio Brasileiro de Matemática. 2013. Apresentação de Trabalho/Conferência ou palestra |
| 10. | Mota, G.O. Conjectura das fontes monocromáticas - Workshop em Estruturas Combinatórias, Otimização e Algoritmos. 2013. Apresentação de Trabalho/Outra |
| 11. | Mota, G.O. Ramsey number for bipartite graphs with small bandwidth - Mathematical Congress of the Americas. 2013. Apresentação de Trabalho/Congresso |
| 12. | Mota, G.O. Ramsey number for graphs with small bandwidth - European Conference on Combinatorics, Graph Theory and Applications. 2013. Apresentação de Trabalho/Congresso |
| 13. | MUNIZ, R. J. ; VILELA, R. F. ; VALLE, P. H. D. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Um Perfil UML para Modelagem de Jogos Educacionais. 2013. Apresentação de Trabalho/Outra |
| 14. | Nakamura, Ricardo. Serious Games. 2013. Apresentação de Trabalho/Congresso |
| 15. | OLIVEIRA, L. S. ; GRUBER, A. ; DURHAM, A. M.. Development of integrated environment for analysis and annotation of DNA sequences. 2013. Apresentação de Trabalho/Outra |
| 16. | Queiroz, M. Computação Musical e Aplicações (Palestra de Divulgação na SIFSC 3 - Terceira Semana do Instituto de Física de São Carlos - IFSC/USP). 2013. Apresentação de Trabalho/Conferência ou palestra |
| 17. | REIS, D. F. ; SANTOS, J. P. M. ; VALLE, P. H. D. ; VILELA, R. F. ; INOCENCIO, A. C. G.. Uma Proposta de Avaliação Heurísticas para Ambientes Virtuais de Aprendizagem com Enfoque em Pessoas com Necessidades Educativas Especiais. 2013. Apresentação de Trabalho/Outra |
| 18. | SANTOS, J. P. M. ; REIS, D. F. ; VALLE, P. H. D. ; VILELA, R. F. ; INOCENCIO, A. C. G.. Proposta de um Método de Análise Comparativa de Tecnologias Assistivas para utilização em Ambientes Virtuais de Aprendizagem. 2013. Apresentação de Trabalho/Outra |
| 19. | SCHIAVONI, F. L. ; WANDERLEY, M. ; Queiroz, Marcelo. Network Music with Medusa - a Comparison of Tempo Alignment in Existing MIDI APIs. 2013. Apresentação de Trabalho/Congresso |
| 20. | SICHMAN, J. S. SOARI: A Service Oriented Architecture for Agent Reputation Models Interoperability. 2013. Apresentação de Trabalho/Conferência ou palestra |
| 21. | VALLE, P. H. D.; MUNIZ, R. J. ; VILELA, R. F. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Proposto de Sistematização da Etapa de Arquitetura e Design para o Desenvolvimento de Jogos Educacionais. 2013. Apresentação de Trabalho/Outra |
| 22. | VALLE, P. H. D.; REIS, D. F. ; VILELA, R. F. ; SANTOS, J. P. M. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Uma Proposta para Avaliação de Ambiente Virtuais de Aprendizagem por Meio de Heurísticas. 2013. Apresentação de Trabalho/Outra |
| 23. | VALLE, P. H. D.; VILELA, R. F. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. HEDEG - Heurísticas para avaliação de jogos educacionais digitais. 2013. Apresentação de Trabalho/Conferência ou palestra |
| 24. | VILELA, R. F. ; VALLE, P. H. D. ; MUNIZ, R. J. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Processo para Levantamento e Análise de Requisitos para Produção de Jogos Educacionais. 2013. Apresentação de Trabalho/Outra |
| 25. | VILELA, R. F. ; VALLE, P. H. D. ; REIS, D. F. ; SANTOS, J. P. M. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Proposta de uma técnica de levantamento de requisitos para produção de ambientes virtuais de aprendizagem. 2013. Apresentação de Trabalho/Outra |
| 1. | de Carli Silva, Marcel K.; Tunçel, Levent. Optimization problems over unit-distance representations of graphs. 2012. Apresentação de Trabalho/Simpósio |
| 2. | de Melo, Ana C.V. Software Confiável: como garantir a qualidade do software deenvolvido? (palestra convidada). 2012. Apresentação de Trabalho/Conferência ou palestra |
| 3. | Ferreira, Joao Eduardo. Transactional Recovery Support for Robust Exception Handling in Business Process Services. 2012. Apresentação de Trabalho/Conferência ou palestra |
| 4. | Ferreira, Joao Eduardo. Transaction Processing for e-Science Applications. 2012. Apresentação de Trabalho/Conferência ou palestra |
| 5. | MUNIZ, R. J. ; VILELA, R. F. ; VALLE, P. H. D. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Um Perfil Uml Para Modelagem De Jogos Educacionais. 2012. Apresentação de Trabalho/Seminário |
| 6. | OLIVEIRA, L. S. ; GRUBER, A. ; DURHAM, A. M.. Development of integrated for analysis and annotation of DNA sequences. 2012. Apresentação de Trabalho/Outra |
| 7. | SICHMAN, J. S. Interoperability in Multiagent Systems: Preliminary Results. 2012. Apresentação de Trabalho/Conferência ou palestra |
| 8. | Sichman, Jaime Simao. Analysis of von Neumann Neighborhoods Parallel Simulations. 2012. Apresentação de Trabalho/Conferência ou palestra |
| 9. | Sichman, Jaime Simao. Interoperability in Multiagent Systems:. 2012. Apresentação de Trabalho/Conferência ou palestra |
| 10. | VALLE, P. H. D.; VILELA, R. F. ; MUNIZ, R. J. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Sistematização da etapa de arquitetura e design para o desenvolvimento de jogos educacionais digitais. 2012. Apresentação de Trabalho/Seminário |
| 11. | VILELA, R. F. ; VALLE, P. H. D. ; MUNIZ, R. J. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Sistematização Da Etapa De Análise De Requisitos Para O Desenvolvimento De Jogos Educacionais. 2012. Apresentação de Trabalho/Seminário |
| 12. | VILELA, R. F. ; VALLE, P. H. D. ; MUNIZ, R. J. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. SCATeDi: Sistema Inteligente para Avaliação de Desempenho Escolar em Avaliações Discursivas. 2012. Apresentação de Trabalho/Outra |
| 1. | BARROS, L. N.; PEREIRA, S. L.. Tutorial em Planejamento Automatizado (4 horas)- SBIA 2010. 2011. Apresentação de Trabalho/Conferência ou palestra |
| 2. | de Carli Silva, Marcel K.; Tunçel, Levent. Geometric Representations of Graphs, Semidefinite Optimization and Min-Max Theorems. 2011. Apresentação de Trabalho/Simpósio |
| 3. | Mota, G.O. A note on counting orientations - Latin-American Algorithms, Graphs and Optimization Symposium. 2011. Apresentação de Trabalho/Congresso |
| 4. | ONUCHIC, V. ; Durham, Alan Mitchell. Using gene prediction models in order to improve the quality of multiple sequence alignments of homologous genes. 2011. Apresentação de Trabalho/Outra |
| 5. | QUEIROZ, M. Computação Musical e Aplicações (Palestra de Divulgação na 14º SEMCOMP - Semana da Computação no ICMC/USP). 2011. Apresentação de Trabalho/Conferência ou palestra |
| 6. | ROZESTRATEN, A.S. ; MARTINEZ, M. L. ; GEROSA, M. A. ; KON, Fabio ; SANTOS, A.P.O. ; MICHALSKY, S. ; ALVES, R. ; FUKUMOTO, S.. ARQUIGRAFIA- Ambiente Colaborativo para o compartilhamento de imagens de arquitetura. 2011. Apresentação de Trabalho/Seminário |
| 7. | Sichman, Jaime S. SOARI: A Service Oriented Architecture to Support Agent Reputation Models Interoperability. 2011. Apresentação de Trabalho/Conferência ou palestra |
| 8. | STERN, J. M. Testing for Diagonal and Point Symmetry in Contingency Tables: A Bayesian Approach. 2011. Apresentação de Trabalho/Congresso |
| 1. | BENASSI-WERKE, M. ; QUEIROZ, M. ; GERMANO, N. ; OLIVEIRA, M. G. M.. Melodic Memory and its Dependence on Familiarity and Difficulty. 2010. Apresentação de Trabalho/Congresso |
| 2. | Ferreira, Joao Eduardo. Fourth International Workshop on Scientific Workflows. 2010. Apresentação de Trabalho/Conferência ou palestra |
| 3. | Ferreira, Joao Eduardo. Reducing Exception Handling Complexity in Business Process Modeling and Implementation: the WED-Flow Approach. 2010. Apresentação de Trabalho/Conferência ou palestra |
| 4. | Finger, Marcelo; De Bona, Glauber. A Defeated Conjecture on Probabilistic Satisfiability. 2010. Apresentação de Trabalho/Conferência ou palestra |
| 5. | GAUY, M. M. Colorações de Vértices e Arestas. 2010. Apresentação de Trabalho/Simpósio |
| 6. | KELLER, D. ; BARREIRO, D. L. ; QUEIROZ, M. ; PIMENTA, M.. Anchoring in Ubiquitous Musical Activities. 2010. Apresentação de Trabalho/Congresso |
| 7. | MEIRELLES, Paulo; SANTOS JR., C. ; TERCEIRO, A. ; MIRANDA, J. M. ; ALMEIDA, L. ; MORAIS, C.. Atratividade de Projetos Software Livre e Métricas de Código-Fonte. 2010. Apresentação de Trabalho/Comunicação |
| 8. | OLIVEIRA, L. S. ; PASCHOAL, A. R. ; Durham, Alan Mitchell. Identification of non-coding RNA from Mycobacterium pathogenic strains. 2010. Apresentação de Trabalho/Congresso |
| 9. | ONUCHIC, V. ; MACHADO-LIMA, A. ; Durham, Alan Mitchell. Procura de Padrões Estruturais em RNAs Utilizando Grafos. 2010. Apresentação de Trabalho/Comunicação |
| 10. | QUEIROZ, M.; SOUSA, G. H. M.. Structured IIR Models for HRTF Interpolation. 2010. Apresentação de Trabalho/Congresso |
| 11. | Sichman, Jaime Simão. Multiagent Systems: A perspective of 30 years of Research. 2010. Apresentação de Trabalho/Conferência ou palestra |
| 12. | STERN, J. M. The Rules of Logic Composition for the Bayesian Epistemic e-Values. 2010. Apresentação de Trabalho/Congresso |
| 1. | BARROS, L. N. Tutorial em Planejamento em Inteligência Artificial (3 horas) - SBAI 2009. 2009. Apresentação de Trabalho/Conferência ou palestra |
| 2. | BERNARDES JR, João Luiz ; NAKAMURA, Ricardo ; TORI, Romero. Design and Implementation of a Flexible Hand Gesture Command Interface for Games Based on Computer Vision. 2009. Apresentação de Trabalho/Simpósio |
| 3. | KON, F. Palestra no INRIA-Paris (França): Borboleta: A Mobile Telehealth System for Primary Homecare. 2009. Apresentação de Trabalho/Conferência ou palestra |
| 4. | NAKAMURA, Ricardo; TORI, Romero. Processing como Ferramenta para Game Design. 2009. Apresentação de Trabalho/Simpósio |
| 5. | OIKAWA, M. K. ; FERREIRA, J. E. ; MALKOWSKI, S. ; PU, C.. Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions. 2009. Apresentação de Trabalho/Conferência ou palestra |
| 6. | TERADA, Routo; UEDA, E. T.. A new version of the RC6 algorithm, stronger against chi2 cryptanalysis. 2009. Apresentação de Trabalho/Conferência ou palestra |
| 7. | THOMAZ, L. F. ; QUEIROZ, M.. A Framework for Musical Multiagent Systems. 2009. Apresentação de Trabalho/Congresso |
| 1. | DOMINGUES, H. ; Kon, F ; FERREIRA, J. E.. Banco de dados evolutivos e metodos ageis. 2008. Apresentação de Trabalho/Conferência ou palestra |
| 2. | FERREIRA, J. E. The RiverFish Approach to Business Process Modeling: Linking Business Steps to Control-Flow Patterns. 2008. Apresentação de Trabalho/Conferência ou palestra |
| 3. | Franck Bellemain ; BOTLER, F. H.. Caracterização Geométrica das Cônicas Definidas por 5 Elementos entre Pontos e Retas Tangentes, Determinação de Pontos de Cônicas e Pontos de Interseção. 2008. Apresentação de Trabalho/Congresso |
| 4. | MEIRELLES, Paulo. Introdução a TV Digital com Ginga NCL. 2008. Apresentação de Trabalho/Comunicação |
| 5. | MELO, Ana C. V. de. FM Education and Research. 2008. Apresentação de Trabalho/Simpósio |
| 1. | AMADEU, S. ; SOARES, L. F. G. ; GERBASE, C. ; MEIRELLES, Paulo. Esfera pública conectada: o que as telecomunicações e a TV Digital tem a ver com o comum?. 2007. Apresentação de Trabalho/Seminário |
| 2. | AMADEU, S. ; TAS, M. ; LEMOS, G. ; GERBASE, C. ; MEIRELLES, Paulo. O que a convergência digital e a TV pública tem a ver com a diversidade cultural?. 2007. Apresentação de Trabalho/Seminário |
| 3. | FERREIRA, J. E. The use of Multidimensional Scaling as Applied to the BPM Performance in Brazilian e-Government Administration. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 4. | FERREIRA, J. E. Using Control-Flow Patterns for Specifying Business Processes in Cooperative Environments. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 5. | Franck Bellemain ; BOTLER, F. H.. Desenvolvimento de Algoritmos para Representação e Manipulação de Curvas Cônicas Baseado Sobre as Propriedades Geométricas das Curvas. 2007. Apresentação de Trabalho/Congresso |
| 6. | HASHIMOTO, R. F.; HIGA, C. H. A.. Modeling Yeast Cell-Cycle with Context Probabilistic Boolean Network. 2007. Apresentação de Trabalho/Congresso |
| 7. | MELO, Ana C. V. de. Brazilian Research on Computer Science. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 8. | MELO, Ana C. V. de; SILVA, Paulo Salem da. A Simulation-Oriented Formalization for a Psychological Theory. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 9. | NAKAMURA, Ricardo. Técnicas de Detecção de Profundidade e Reconstrução 3D para Realidade Aumentada. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 10. | SICHMAN, J. S. Organization Oriented Programming: From Closed to Open Organizations. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 11. | SICHMAN, J. S. Organization Oriented Programming. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 12. | SICHMAN, J. S.; BRANDÃO, Anarosa Alves Franco. Web Semântica, agente e engenharia de sistemas multiagentes. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 13. | TERADA, Routo; GOYA, Denise. A Certificateless Signature Scheme based on Bilinear Pairing Functions. 2007. Apresentação de Trabalho/Conferência ou palestra |
| 1. | BOISSIER, Olivier ; SICHMAN, J. S. ; HÜBNER, Jomi Fred. Organization Oriented Programming: From Closed to Open MAS. 2006. Apresentação de Trabalho/Conferência ou palestra |
| 2. | NAKAMURA, Ricardo. Mapas de Profundidade. 2006. Apresentação de Trabalho/Conferência ou palestra |
| 3. | SICHMAN, J. S. Agentes Autônomos e Sistemas Multi-Agentes. 2006. Apresentação de Trabalho/Conferência ou palestra |
| 4. | TERADA, Routo; GOYA, Denise. A Certificateless Public Key Encryption based on Bilinear Pairing Functions. 2006. Apresentação de Trabalho/Conferência ou palestra |
| 1. | FERREIRA, J. E. Integration of Business Processes with Autonomous Information Systems: A Case Study. 2005. Apresentação de Trabalho/Conferência ou palestra |
| 2. | FERREIRA, J. E. Data Updating Between the Operational and Analytical Databases Through DW-Log Algorithm. 2005. Apresentação de Trabalho/Conferência ou palestra |
| 3. | MELO, Ana C. V. de. Mobile Agents: Formal Development. 2005. Apresentação de Trabalho/Seminário |
| 4. | MELO, Ana C. V. de. Comitê de Programa do IXX Simpósio Brasileiro de Engenharia de Software. 2005. Apresentação de Trabalho/Congresso |
| 5. | MELO, Ana C. V. de; SILVA, Paulo Salem da. An Ontology for Mobile Agents in the Context of Formal Verification. 2005. Apresentação de Trabalho/Conferência ou palestra |
| 6. | QUEIROZ, M. Localização de Fontes e Ouvintes em Salas de Escuta. 2005. Apresentação de Trabalho/Simpósio |
| 7. | SICHMAN, J. S. On Social and Organizational Reasoning in Multi-Agent Systems. 2005. Apresentação de Trabalho/Conferência ou palestra |
| 1. | FERREIRA, J. E. Mini-curso SBBD 2004: Naked Objects. 2004. Apresentação de Trabalho/Conferência ou palestra |
| 2. | MELO, Ana C. V. de. Pi-Calculus Rewriting Rules Based on Active Names. 2004. Apresentação de Trabalho/Congresso |
| 3. | QUEIROZ, M. A heuristic for the continuous capacity and flow assignment. 2004. Apresentação de Trabalho/Simpósio |
| 4. | TERADA, Routo. An IBE Scheme to exchange authenticated secret keys. 2004. Apresentação de Trabalho/Conferência ou palestra |
| 1. | MELO, Ana C. V. de. Reutilização de sofware. 2003. Apresentação de Trabalho/Congresso |
| 2. | MELO, Ana C. V. de. Pesquisa em Engenharia de Software. 2003. Apresentação de Trabalho/Seminário |
| 3. | MELO, Ana C. V. de. Projetos de Pesquisa em Desenvolviemnto Formal de Software. 2003. Apresentação de Trabalho/Seminário |
| 4. | MELO, Ana C. V. de. A study on the potential active names of pi-calculus. 2003. Apresentação de Trabalho/Congresso |
| 5. | MELO, Ana C. V. de; ANDRADE, André Gustavo de ; AMORIM, Marcelo M. Um ambiente para especificação e verificação de agentes móveis (Poster). 2003. Apresentação de Trabalho/Congresso |
| 6. | QUEIROZ, M. The Hinge Fitting Problem. 2003. Apresentação de Trabalho/Conferência ou palestra |
| 7. | QUEIROZ, M. Some Optimization Models for Listening Room Design. 2003. Apresentação de Trabalho/Simpósio |
| 1. | A. Goldman. Introdução a Programação eXtrema. 2002. Apresentação de Trabalho/Seminário |
| 2. | BRANDÃO, L. O. Dynamic Geometry = computer + geometry + algorithms. 2002. Apresentação de Trabalho/Comunicação |
| 3. | QUEIROZ, M. The symmetric eigenvalue complementarity problem. 2002. Apresentação de Trabalho/Congresso |
| 1. | KON, F. Palestra na University of Tromsø (Noruega): Future Directions in MiddlewareResearch and Technology. 2001. Apresentação de Trabalho/Conferência ou palestra |
| 1. | MELO, Ana C. V. de. On the formal specification and verification of mobile agents. 2000. Apresentação de Trabalho/Conferência ou palestra |
(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 18/02/2025 13:31:56