Defesa de Dissertação de Mestrado da aluna Mariana Duarte de A. Salgueiro.
Título da dissertação: Uma Abordagem para uma Especificação Conceitual de Redes Sociais
Resumo: As Redes Sociais Online (OSNs) passaram a fazer parte do nosso quotidiano, contribuindo para a vasta quantidade de dados gerados online. Esses dados contribuem para a obtenção de informações sobre nossa sociedade em diversas áreas. As Redes Sociais Online (OSNs) são um conceito relativamente novo, sem um modelo genérico, com modelos específicos de problemas usados para os estudos do mesmo. Este trabalho demonstra o uso de modelos lógicos para analisar dados de diferentes OSNs, com base em um modelo conceitual genérico que reflete uma definição geral de redes sociais. Estes exemplos visam mostrar a viabilidade e as vantagens da utilização do modelo genérico como base para modelos OSN específicos,para subsidiar as análises realizadas a partir dos dados extraídos.
Orientador: Prof. Dr. Sérgio Lifschitz
Banca: Fernanda Araujo Baião | Karin Becker | Ronaldo dos Santos Mello | Sérgio Colcher
Assista a defesa no RDC 511 da PUC-Rio.
Autor: Bernardo Pinto de Alkmim
Orientador: Edward Hermann Haeusler
Data e Hora: 25/09/202 às 09:00
Local: RDC510
Modalidade: Hibrida
A SAP, empresa alemã criadora de Softwares de gestão de empresas, está com inscrições abertas até o dia 20/09 (quarta-feira) para o programa SAP Future Talents, que reúne estudantes e recém formados para construírem uma carreira de sucesso.
As inscrições são exclusivas para os alunos da PUC-Rio e encerram dia 20/09. Não perca essa oportunidade!
Veja as 3 razões para você se inscrever no programa:
Autor: Diogo Munaro Vieira
Orientador: Sergio Lifschitz
Data e Hora: 22/09/2023 às 14:00
Local: RDC511
Autor: Dayson Nywton Corrêa Rodrigues do Nascimento
Orientador: Hélio Côrtes Vieira Lopes
Data e Hora: 22/09/2023 às 14:00
Defesa de Dissertação de Mestrado do aluno Marcelo Martins da Silva.
Título da dissertação: VerStick: Dispositivo para auxiliar pessoas com Parkinson a realizarem atividades com a mão.
Resumo: Estima-se que no Brasil temos cerca de 220.000 casos da Doença de Parkinson. Pessoas com Parkinson passam por dificuldades durante a realização de atividades em sua rotina por conta de tremores. O avanço das Tecnologias Assistivas contribui para o processo de inclusão, com a pesquisa e desenvolvimento de dispositivos focados em acessibilidade, que pode auxiliar pessoas com Parkinson na realização de atividades cotidianas. O objetivo deste trabalho é apresentar o VerStick, uma proposta de Tecnologia Assistiva para auxiliar pessoas com Parkinson a realizar atividades com a mão segurando certos objetos. VerStick foi projetado inicialmente para apoiar as atividades de comer, escovar dentes e pentear cabelo. Avaliamos o dispositivo com usuários, que fizeram sugestões com relação à sua usabilidade, estrutura e interface.
Orientador(a): Profa. Dra. Simone Diniz Junqueira Barbosa
Banca: Alberto Barbosa Raposo | Adriano Francisco Branco | Greis Francy Mireya Silva Calpa
Assista a defesa pelo link: https://puc-rio.zoom.us/j/93206523352?pwd=QVBiOXpJZXlGYmhDc1YyYk9PRGw5dz09
Autor: Santiago Stiven Vallejo Silva
Orientador: Alberto Barbosa Raposo
Data e Hora: 20/09/2023 às 14:00
Defesa de Tese de Doutorado do aluno Bruno Cuconato Claro.
Título da tese: A labelled Natural Deduction Logical Framework
Resumo: Neste trabalho propomos um framework lógico para sistemas de Dedução Natural rotulados. O uso de rótulos permite a definição de lógicas intencionais como lógicas modais e de descrição, bem como a definição uniforme de quantificadores como o “para um número não-enumerável de indivíduos vale a propriedade P” (Keisler), ou “para quase todos os indivíduos vale P” (Veloso), sem mencionar os quantificadores padrões de lógica de primeira-ordem. Também mostramos a implementação deste framework em um assistente de prova virtual baseado na web.
Orientador: Prof. Dr. Edward Hermann Haeusler
Banca: Jefferson de Barros Santos | Mario Roberto Folhadela Benevides | Bruno Lopes Vieira | Jean-Baptiste Joinet
Assista a defesa pelo link https://puc-rio.zoom.us/j/97330021858?pwd=UHBwdnNwd2p3cmpreEo5WHp6K3BxUT09
Autor: Mariana Duarte de Araujo Salgueiro
Orientador: Sergio Lifschitz
Data e Hora: 19/09/2023 às 17:00
Local: RDC511
Dia 15/09, às 15h, acontecerá o seminário “On the Construction of Database Interfaces based on Large Language Models”, proferido pelo professor Marco A. Casanova.
Seminário da Pós: “On the Construction of Database Interfaces based on Large Language Models”
Resumo do Seminário: This talk argues that Large Language Models (LLMs) can be profitably used to construct natural language database interfaces (NLIDBs), including conversational interfaces. Such interfaces will be simply called LLM-based NLIDBs. It discusses three problems: how to use an LLM to create an NLIDB; how to fine-tune an LLM to follow instructions over a particular database; and how to simplify the construction of LLM-based NLIDBs. The paper covers the first two problems with the help of examples based on two well-known LLM families, GPT and LLaMA, developed by OpenAI and Meta, respectively. Likewise, it discusses the third problem with the help of examples based on two frameworks, LangChain and LlamaIndex.
Conheça o Professor: Marco A. Casanova is Full Professor at the Department of Informatics and Coordinator of the Central Planning and Evaluation Office of the Pontifical Catholic University of Rio de Janeiro – PUC-Rio. He graduated in Electronic Engineering at the Military Institute of Engineering (1974), obtained a M.Sc. in Informatics from PUC-Rio (1976) and a M.Sc. (1977) and a Ph.D. (1979) in Applied Mathematics from Harvard University. He was Graduate Program Coordinator (2005-2007) and Director (2007-2011) of the Department of Informatics of PUC-Rio. His research interests concentrate on database conceptual modeling and construction of database management systems. In July 2012, he received the Scientific Merit Award from the Brazilian Computer Society.
O Seminário será transmitido pelo youtube: https://www.youtube.com/watch?v=b1I2EQ5rclI
