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
Mantendo o seu compromisso e interesse em fomentar o estudo de alunos talentosos nos cursos de Ciência e Engenharia da Computação do Departamento de informática da PUC-Rio (DI), a Fundação Behring abre, pelo terceiro ano consecutivo, o edital para suas bolsas. Além de bolsas integrais e parciais, a Fundação convida o futuro bolsista a se envolver bastante na vida acadêmica, na pesquisa e no empreendedorismo do Departamento, e a participar da comunidade Behring Foundation Scholars, que faz vários encontros internacionais com lideres de várias áreas da economia. Além de dar um prémio monetário anual para aluno que tenha concluído o curso com o maior coeficiente de rendimento.
Aproveite a prorrogação das inscrições no vestibular!
Confira mais informações no link: https://www.puc-rio.br/vestibular/202312/bolsas_behring.html
Autor: Marcelo Martins da Silva
Orientador: Simone Diniz Junqueira Barbosa
Data e Hora: 15/09/2023 às 14:00
Autor: Bruno Cuconato Claro
Orientador: Edward Hermann Haeusler
Data e Hora: 15/09/202 às 10:00
Local: RDC510
Modalidade: Hibrida
