Horário: 14h
Palestrante: Lucas Maciel Vieira (doutorado)
Orientadora: Profa Maria Emília M. T. Walter
Title: Competing Endogenous RNA in Colorectal Cancer: An Analysis for Colon, Rectum, and Rectosigmoid Junction
Abstract: Colorectal cancer (CRC) is a heterogeneous cancer. Its treatment depends on its anatomical site and distinguishes between colon, rectum, and rectosigmoid junction cancer. This study aimed to identify diagnostic and prognostic biomarkers using networks of CRC-associated transcripts that can be built based on competing endogenous RNAs (ceRNA).
Horário: 14h20
Palestrante: Michel Junio Ferreira Rosa (doutorado)
Orientadora: Profa Aleteia Favacho
Título: Predição de Tempo, Custo e Agendamento de Workflows Científicos em Sistemas de Computação Multi Cloud-Fog
Abstract: Cloud provides an interesting computacional model which allowsa set of features, such as storage, database, and processing power, all made available as services. Recently, the concept of cloud computing has been extended to cloud federations in which different providers interconnect to provide more resources to the end user in an integrated and transparent way. The use of cloud platforms has been widely encouraged in applications that require a lot of processing and/or storage power, such as bioinformatics workflows. However, users who operate such workflows are faced with a very large variety and quantity of available resources making difficult to choose the correct ones for a certain workflow
Horário: 14h40
Palestrante: Mirele Carolina Souza Ferreira Costa (doutorado)
Orientadora: Profa Maria Emília M. T. Walter
Title: Transfer learning for prediction of non-coding RNAs
Resumo:
Horário: 15h
Palestrante: Walter Lucas Monteiro de Mendonça (doutorado)
Orientador: Prof Rodrigo Bonifácio
Título: Transformações seguras de código para Rejuvenescimento de Software
Abstract:
Horário: 15h20
Palestrante: Gabriel Frutuoso Pereira Araújo (mestrado)
Orientadora: Profa Genaina Rodrigues
Title: Trace-Diagnostic for Signal Temporal Properties: a Search-Based Approach
Resumo: Sistemas ciber-físicos combinam componentes físicos e de software. Um método bastante usado para verificar esses sistemas complexos é trace-checking onde alguns sinais do sistema são gravados durante sua execução e posteriormente são checados contra uma série de propriedades pré-definidas durante o design do sistema. Contudo, esse método é capaz de apenas dizer se o sistema implementado atende ou não a suas especificações, tal método não é capaz de ajudar os desenvolvedores a corrigir bugs ou fazer alterações que atendam os requisitos. Nesse trabalho será investigado a possibilidade de encontrar explicações ou causas dos problemas de um sistema ciber-físico usando apenas os sinais gravados durante a execução e o requisito que não foi atendido.
Horário: 15h40
Palestrante: Thiago Mendonça Ferreira Ramos (doutorado)
Orientador: Prof Mauricio Ayala
Title: Formalization of a Computational Properties Library of a First-Order Functional Model
Abstract: This work presents a formalization in PVS of the computational theory for a computational model given as a class of partial recursive functions called PVS0. The model is built over basic operators, which, when restricted to constants, successor, projections, greater-than, and bijections from tuples of naturals to naturals, results in a proven (formalized) Turing complete model. Complete formalizations of the Recursion Theorem and Rice’s Theorem are discussed in detail. Other relevant results, such as the undecidability of the Halting Problem and the Fixed-Point Theorem, were also fully formalized.
Local: Teams- Equipe PPGI-316415 Seminário, Canal 2-2022
https://teams.microsoft.com/l/channel/19%3a05900df7390e45edaa77283171cbb44b%40thread.tacv2/Semin%25C3%25A1rios%25202-2022?groupId=93b66213-b249-467a-bcbe-dcd4255edf95&tenantId=ec359ba1-630b-4d2b-b833-c8e6d48f8059
Profa Célia Ghedini Ralha (Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.)
Coordenadora Seminários de Pós-Graduação em Informática 2-2022