Dos dias 7 a 9 de maio, o Museu do Amanhã, no Rio de Janeiro, será o palco do encontro que reúne grandes especialistas do país e do exterior para discutir como a ciência pode contribuir para um mundo melhor.
O tema da reunião será “Inteligência Artificial e Ciência:
Oportunidades e Riscos.”
As inscrições são diárias e gratuitas. O local da reunião é o Museu do
Amanhã, na Praça Mauá, Rio de Janeiro.
Confira a programação da reunião no link:
Assista ao vivo pelo youtube:
https://www.youtube.com/@AcademiaBrasileiradeCiencias
Dia 03/05 (Hoje), às 15h, acontecerá o seminário “Inteligência Artificial, uma Perspectiva Histórica “, proferido pelo professor Edward Hermann Haeusler.
Seminário da Pós: “Inteligência Artificial, uma Perspectiva Histórica“
Resumo do Seminário: Atualmente, a Inteligência Artificial (IA) tem sido fortemente identificada com o Aprendizado de Máquina (AM), este representa apenas uma das facetas da área mais abrangente de IA. AM, talvez seja a subárea de IA que mais se popularizou e influenciou a nossa sociedade. Nesta palestra abordamos as origens da IA, que se confundem com as origens da própria Computação. Sob essa perspectiva histórica, discutiremos sucessos antigos da IA que já fazem parte de nossa vida, para muitos de nós desde o nascimento. Finalmente, analisamos o estado atual das aplicações de AM sob o ponto de vista da complexidade e suas respectivas limitações intrínsecas.
Conheça o Professor: Edward Hermann Haeusler é professor associado do departamento de Informática da PUC-Rio, onde atua desde 1991. Tem doutorado em Teoria da Computação pelo PPG-Informática da PUC-Rio (1990). Sua pesquisa envolve Lógica, Teoria da Prova, Complexidade Computacional, Fundamentos de Inteligência Artificial e Métodos Formais. Coordenou e participou de diversos projetos de pesquisa e desenvolvimento. Possui publicações relevantes em periódicos e conferências internacionais. Coordenou comitês de conferências no Brasil e no exterior. Foi Coordenador de Pós-graduação do PPG-Informática da PUC-Rio (2010-2012 e 2022). Compôs a diretoria da Sociedade Brasileira de Lógica (1993-1996 e 2020-2023), foi coordenador das comissões especiais (CE) de Linguagens de Programação (1996-1998) e Métodos Formais (2000-2002) da Sociedade Brasileira de Computação. Orientou mais de 25 doutores e uma dezena de mestres. Nos últimos 10 anos, tem se dedicado a aplicação da Teoria da Prova em problemas de complexidade computacional. Sempre atuou em conjunto com professores e estudantes do departamento de Filosofia da PUC e outras IES, de onde colhe inspiração para abordar problemas mais fundamentais.
O seminário será presencial na sala 511 do RDC
Não perca!
Defesa de Tese de Doutorado da aluna Luisa Silveira Rosa
Título da Tese: Algoritmo Básico Híbrido para Programação Binária Não Linear Irrestrita
Resumo: Hammer, Rosemberg, and Rudeanu propuseram o Algoritmo Básico (BA), uma abordagem algébrica para resolver problemas de Programação Não Linear Binária Irrestrita. Este algoritmo elimina variáveis sequencialmente enquanto calcula seus gradientes em função das variáveis restantes. Depois, como segundo passo, recupera as soluções ótimas. A complexidade do algoritmo está intimamente ligada à largura da árvore associada ao grafo de concorrência da função, onde os vértices representam as variáveis binárias e as arestas conectam variáveis que aparecem no mesmo produtório. Para controlar a largura da árvore associada a instância, o Algoritmo Básico foi incorporado a uma estrutura de branch-and-bound. Demonstramos que, no pior caso, a melhor estratégia em termos de tempo de execução do algoritmo é realizar todas as enumerações de variáveis antes da eliminação. A seleção das variáveis utilizadas na enumeração é baseada no conceito de Centralidade do grafo. Além disso, uma heurística gulosa determina a sequência de eliminação das variáveis restantes. Um processo para estimar o tempo total de execução foi desenvolvido visando dimensionar o tamanho do subconjunto de variáveis a serem enumeradas. O algoritmo resultante, chamado de Algoritmo Básico Híbrido (HBA), também foi usado como uma heurística, utilizando um conjunto maior de variáveis na enumeração. Finalmente, mostramos a eficácia do HBA por meio das seguintes aplicações: os problemas do Corte Máximo, de Sequências Binárias de Baixa Autocorrelação e do Determinante Máximo de Hadamard. Os resultados para o problema da baixa correlação se sobrepuseram sob os do PQCR (Elloumi et al., 2021). Além disso, comparamos os resultados do HBA com os resolvedores Antigone, Couenne e Gurobi. Seis instâncias da MINLPLib em aberto foram resolvidas, além de mais seis aprimoradas.
Orientador: Prof. Dr. Helio Côrtes Vieira Lopes
Banca: Prof. Dr. Marcus Vinicius Soledade Poggi de Aragao | Prof. Dr Eduardo Uchoa Barboza |
Prof. Dr Rafael Martinelli Pinto | Prof. Dr Ricardo Fukasawa | Prof. Dr Bruno Fânzeres dos Santos Prof. Dr Artur Alves Pessoa | Prof. Dr Jonatas dos Santos Grosman
Assista a defesa pelo link: https://puc-rio.zoom.us/j/91972972631?pwd=ZktreWVXVTVGbDgrRkFGeFV3UlUwUT09
Professor Marcos Kalinowski, do DI, será palestrante keynote da Ibero-American Conference on Software Engineering (CIbSE) que acontecerá em Curitiba, dos dias 6 a 10 de maio.
O tema da palestra será “AI-Driven Business Transformation: Engineering Effective Machine Learning and LLM-Enabled Systems”.
Esta palestra é uma fusão de experiência prática e inovação acadêmica, oferecendo um roteiro para navegar pelas complexidades da Engenharia de Software para IA, também conhecida como Engenharia de IA, fornecendo uma visão geral dos desafios e oportunidades neste campo dinâmico.
Saiba mais sobre a palestra em: https://conf.researchr.org/info/cibse-2024/keynotes
Autor: Luisa Silveira Rosa
Orientador: Hélio Côrtes Vieira Lopes
Data e Hora: 03/05/2024 às 10:30
Local: Videoconferência
Defesa de Dissertação de Mestrado do aluno Marcelo de Carvalho.
Título da dissertação: A Data Reference Architecture for Brazilian Electrical Companies
Resumo: During the 1990s, the Brazilian electricity sector underwent profound changes in its operational model. The Brazilian state began to assume a less developmental and more regulatory role, which led to the creation of the National Electric Energy Agency (ANEEL). One of the roles of ANEEL is to ensure the quality of service provided by sector agents (energy generation, transmission, and distribution companies). When an agent does not meet established standards, ANEEL can apply penalties. In this sense, the improvement of maintenance processes plays a crucial role in ensuring the reliability and efficiency of electrical systems and consequently reducing penalties. Predictive maintenance is being adopted, in addition to more traditional methodologies (reactive and preventive). However, this methodology represents a fundamental change compared to previous ones, as it seeks to anticipate failures based on data and analysis. In this sense, the incorporation of predictive maintenance into maintenance processes presupposes the availability of operating and maintenance data of the equipment, as well as the technological resources that enable the analysis of these data. This dissertation proposes a reference technological architecture that enables the development of these analyzes, considering aspects of management, governance, and corporate compliance practiced by the sector’s agents.
Orientador: Prof. Dr. Marco Antonio Casanova
Banca: Prof. Dr. Luiz André Portes Paes Leme | Prof. Dr. Edward Hermann Haeusler| Profª Dra. Melissa Lemos Cavaliére
Assista a defesa pelo link: https://puc-rio.zoom.us/j/93760975741?pwd=YXVNcUQzTTlNa2ZlOVhyd1BhLzkwdz09
Defesa de Tese de Doutorado do aluno Djalma Lucio Soares da Silva.
Título da tese: Plataforma pervasiva para criação e execução de aplicações voltadas à educação inclusiva e apoiadas por inteligência artificial e realidade estendida
Resumo: A prevalência global de transtornos de aprendizagem, como dislexia, discalculia, autismo e desordens de atenção, atinge cerca de 10% da população, conforme Butterworth (2018). No Brasil, a falta de um censo específico dificulta a estimativa precisa, mas estima-se que um número significativo de crianças enfrenta desafios de aprendizagem. Este contexto destaca a necessidade de soluções inclusivas, especialmente para auxiliar os professores das crianças dos primeiros anos do Ensino Fundamental I. Esta pesquisa tem como objetivo desenvolver, validar e avaliar uma plataforma pervasiva baseada em tecnologias web. A plataforma tem como propósito proporcionar uma infraestrutura para a criação e execução de atividades ludificadas, incorporando algoritmos de aprendizado de máquina e realidade estendida. O foco é direcionado a crianças dos primeiros anos do Ensino Fundamental diagnosticadas com Transtorno do Espectro Autista (TEA) e Transtorno de Déficit de Atenção e Hiperatividade (TDAH). Além disso, busca-se alternativas de custo acessível para manter a plataforma alinhada ao contexto socioeconômico brasileiro. A pesquisa adotou a metodologia Design Science Research (DSR), que se baseia em ciclos interligados e iterativos, onde há a definição do problema, concepção, construção, avaliação e disseminação. Esse método orientou o desenvolvimento da plataforma, garantindo uma abordagem prática e aplicada ao contexto educacional inclusivo. Os resultados da pesquisa culminaram na criação de uma plataforma web abrangente e acessível, integrando algoritmos de aprendizado de máquina e realidade estendida. A plataforma permite aos professores a personalização de atividades ludificadas que atendam às necessidades específicas de crianças com TEA e TDAH. A plataforma desenvolvida demonstra promissoras contribuições para a educação inclusiva, oferecendo recursos inovadores e acessíveis. Ao proporcionar uma ferramenta adaptável às demandas socioeconômicas brasileiras, a pesquisa busca promover a igualdade de oportunidades educacionais para crianças com diferentes necessidades de aprendizagem.
Orientador: Prof. Dr. Alberto Barbosa Raposo
Co-orientador: Profª. Dra. Alexandra Camargo Alves
Banca: Prof. Dr. Helio Côrtes Vieira Lopes | Prof. Dr. Bruno Feijo | Prof. Dr. Luiz Carlos Pacheco Rodrigues Velho | Prof. Dr. Luiz José Schirmer Silva | Prof. Dr. Victor de Almeida Thomaz | Prof. Dr. Francisco Itamarati Secolo Ganacim
Assista a defesa pelo link: https://puc-rio.zoom.us/j/98897496418?pwd=VGc1ZENvU1NFT3BNbG9QT09HTFZOQT09
Autor: Marcelo de Carvalho
Orientador: Marco Antonio Casanova
Data e Hora: 02/05/2024 às 15:00
Local: Videoconferência
Defesa de Tese de Doutorado do aluno Robinson Callou de M. Brasil Filho
Título da Tese: Arguing NP = PSPACE: On the Coverage and Soundness of the Horizontal Compression Algorithm
Resumo: This work is an elaboration, with examples, on the presented Horizontal Compression Algorithm (HC) and its set of compression rules. This work argues a proof, done with the Lean Interactive Theorem Prover, that the HC algorithm can obtain a dag-like compressed derivation from any tree-like Natural Deduction derivation in Minimal Purely Implicational Logic. Finally, from the Coverage and Soundness of the HC algorithm, one can argue that NP = PSPACE.
Orientador: Prof. Dr. Edward Hermann Haeusler
Banca: Prof. Dr Alex de Vasconcellos Garcia | Prof. Dr. Alexandre Rademaker | Prof. Dr. Jefferson de Barros Santos | Prof. Dr. Mauricio Ayala Rincon | Prof. Dr. Mario Roberto Folhadela Benevides | Prof. Dr. Bernardo Pinto de Alkmim
Assista a defesa pelo link https://puc-rio.zoom.us/j/93015522144?pwd=SXA4bTIzSnYxNUwzK3NwT2ZMeXgwUT09
Defesa de Dissertação de Mestrado do aluno Rodrigo Leite da Silva
Título da dissertação: Jogos para o aprendizado de programação: Como as modalidades mono e multijogadores afetam a motivação dos alunos?
Resumo: Nesta pesquisa investigaremos, de forma qualitativa e exploratória, as formas como um jogo educativo de programação motiva alunes quando jogado nas modalidades monojogadore e multijogadore. Durante a etapa inicial do estudo, também analisaremos ferramentas de autenticação digital e suas possíveis aplicações em jogos educativos, incluindo recursos como casino registrazione SPID, que têm demonstrado ser eficazes para garantir acesso seguro e simplificado a plataformas digitais. Faremos isso através de um Estudo de Caso, onde exporemos dois grupos de alunes voluntáries que estão em cursos de graduação em informática a uma implementação inédita de um jogo digital educativo de programação. Cada grupo terá acesso a uma das modalidades (mono ou multijogadore). Após essa interação, conduziremos entrevistas semiestruturadas com les alunes e, sobre essas, uma análise de conteúdo. Com essa pesquisa esperamos contribuir para ampliar o entendimento desse tema pouco explorado.
Orientador: Prof. Dr. Edward Hermann Haeusler
Co-orientador: Jefferson de Barros Santos
Banca: Profª. Drª. Simone Diniz Junqueira Barbosa | Prof. Dr. Augusto Cesar Espindola Baffa | Prof. Dr. Sergio Lifschitz
Assista a defesa no prédio do RDC 415 da PUC-Rio
#dissertação #mestrado #pesquisa #desenvolvimento #alunos #dipucrio
