Autor: Felipe Jordão Pinheiro de Andrade
Orientador: Marcelo Gattass
Data e Hora: 25/09/2020 às 08:00
Autor: Samuel Bastos de Souza junior
Orientador: Waldemar Celes Filho
Data e Hora: 25/09/2020 às 10:00
Autor: Vinicius Ferreira de Sousa
Orientador: Thibaut Victor Gaston Vidal
Data e Hora: 24/09/2020 às 10:00
Autor: Ana Maria da Mota Moura
Orientador: Julio Cesar Sampaio do Prado Leite
Data e Hora: 24/09/2020 às 10:00
Pesquisador apresentou prova completa da resolução em live nesta sexta-feira (18)
A união entre as ciências exatas e humanas foi o caminho para a prova completa de um problema de complexidade computacional que estava há mais de 40 anos em aberto. Nesta segunda live da série do Departamento de Informática da PUC-Rio, o professor Edward Hermann mostrou o resultado de um trabalho de pesquisa de 10 anos, no seminário “Compressão da provas lógicas e a conjectura NP=PSPACE”.
“Não sou mais assim, mas a gente, de exatas, normalmente menospreza a área de humanas. E isso é um crime, porque este resultado só existe graças a essa área e ao trabalho que eu tenho com o colega da Filosofia, o Luis Carlos Pereira. Ele foi meu professor e me ensinou tudo isso”, afirmou Hermann, no seminário nesta sexta-feira (18).
A pesquisa do professor do DI da PUC-Rio impactou o mundo da computação e era grande a expectativa de pesquisadores, professores e alunos para conferir a prova completa a que ele chegou, ao lado do pesquisador Lew Gordeev, da University of Tübingen. Durante a live, o professor recebeu elogios pelo ótimo trabalho e pela didática na apresentação.
Partindo da resolução de binômios de segundo grau – que se aprende no Ensino Fundamental -, Hermann apresentou o método teórico de sua pesquisa, aplicando o teorema da redundância para comprimir provas, e mostrou o passo a passo de como chegar ao CoNP=NP. “Finalmente, conseguimos provar a igualdade dessas duas classes”, disse. Depois da explicação, resumiu em poucas palavras sua descoberta com a pesquisa. “Se eu tenho uma prova muito grande, tem de ser redundante. E, se é redundante, pode ser reduzida.”
A palestra de Hermann está disponível no canal do DI do YouTube, assim como a de Hélio Lopes, que falou sobre Ciência de Dados, na estreia da série de lives do Departamento. Na próxima sexta (25), o professor Marco Antonio Casanova fará o seminário “Selected Topics on the Web-of-Data and Data Integration”. Não perca!
Resultado alcançado em parceria com Lew Gordeev, da University of Tübingen, é tema da segunda edição da série de lives do DI
No universo da complexidade computacional, há problemas que permanecem por décadas sem solução. E um deles estava há mais de 40 anos em aberto, até que a pesquisa realizada pelos professores Edward Hermann, do Departamento de Informática da PUC-Rio, e Lew Gordeev, da University of Tübingen — uma das onze universidades alemãs do German Initiative for Excellence in Research —, conseguiu fechá-lo com uma prova completa.
Na sexta-feira (18), em live transmitida pelo youtube do DI às 15h, Hermann apresentará o trabalho, publicado no periódico científico “Bulletin of the Section of Logic”, que impactou a comunidade da área. No seminário “Compressão de provas lógicas e a conjectura NP=PSPACE”, o professor vai mostrar o resultado da pesquisa. “É um problema que ficou aberto durante algum tempo. Usamos as técnicas de uma área que veio da fundamentação da matemática e da filosofia e acabou parando na computação”, explicou.
O público poderá verificar ao vivo como a prova é validada na palestra, que relaciona diferentes temas, como a teoria da prova, lógica e algoritmos. “Ao conseguir mostrar que provas na lógica proposicional podem ser curtas sempre, você prova que CONP está dentro de NP. E a principal ferramenta para demonstrar isso foi perceber que provas grandes, que demandam muito tempo na verificação, têm seu grau de redundância proporcional ao seu tamanho”, disse Hermann.
Esta é a segunda semana da série de lives do DI, que estreou sexta (11), com o professor Hélio Lopes apresentando o seminário “Pesquisa em Ciência de Dados: A Escalada para a Valorização dos Dados”. O evento alcançou mais de 100 pessoas assistindo simultaneamente e segue disponível no canal do DI no Youtube. Não perca o próximo, dia 18 às 15h!
‘A PUC está definindo novos patamares de qualidade para ensino superior em modo online’, afirma Markus Endler, diretor do DI
O novo coronavírus fez o mundo parar em 2020. Com o isolamento social, escolas e universidades se depararam com o desafio das aulas on-line. Mas na PUC-Rio, o time de Ensino à Distância (EAD), unindo esforços de professores e alunos, ofereceu 10,8 milhões de ambientes virtuais de aprendizagem, entre aulas, seminários, debates, tutoriais e webinars. Esse resultado explicita a excelência e o comprometimento da instituição, que está com inscrições abertas até 28 de setembro para o Vestibular 2021 para cursos presenciais.
“O mais impressionante é que tudo foi preparado em uma semana. Em 13 de março, recebemos a comunicação da reitoria de que a PUC não teria aula presencial, então tivemos uma semana livre para preparar tudo para as aulas on-line. A equipe do ambiente de aprendizagem on-line fez um trabalho excelente, de forma muito competente e rápida”, contou Markus Endler, diretor do Departamento de Informática da PUC-Rio.
Essa transição em tempo recorde permitiu aos alunos concluir o primeiro semestre no prazo e manter os números de matrículas com entrada de novos alunos neste segundo semestre. Os formandos de 2020.1 conseguiram todos concluir seus cursos e terão em setembro as suas festas de formaturas – todas no formato de videoconferência.
No total, foram 2.800 aulas gravadas em vídeo, 57.000 aulas ou reuniões por videoconferência e 153 mil interações no primeiro semestre. Para Endler, o êxito da estrutura montada está fazendo a diferença e garantindo o aprendizado. “Neste segundo semestre os alunos continuam se matriculando em um grande número de disciplinas. O mais impactante é que são 2.800 cursos ou disciplinas que foram tocados online. Todos acreditamos que a PUC está definindo novos patamares de qualidade do ensino superior online”.
Vestibular 2021 terá provas online
Por causa da pandemia, as provas do ENEM foram adiadas para 17 e 24 de janeiro de 2021, e ainda assim muitos estudantes que pretendem entrar para a graduação têm dúvidas sobre como ingressar no ensino superior e iniciar os estudos. Na PUC a expectativa é de que no próximo ano as aulas presenciais sejam retomadas, com todos os recursos adicionais online. São três as formas de acesso:
Dentre os diversos cursos oferecidos pela PUC-Rio, o Departamento de Informática tem as graduações em Ciência da Computação, coordenada pelo professor Ivan Mathias Filho; e Engenharia da Computação, coordenada pela professora Noemi de La Rocque Rodriguez.
Bolsas de Estudo
Segundo Endler, cerca de 60% dos alunos da PUC têm algum tipo de bolsa de estudos oferecida pela instituição, e essa política de inclusão vai continuar. “A PUC é inclusiva, e consideramos importante ter alunos de diferentes classes sociais, etnias etc. É uma universidade sem fins lucrativos, mas que tem como missão ter máxima excelência no ensino e na pesquisa”, disse. A PUC dispõe de bolsas de estudo em diferentes modalidades: por Desempenho Acadêmico, bolsas Pró–Licenciatura, Bolsas Filantrópicas e Bolsas PROUNI, essas últimas para as famílias que não podem arcar com os custos das matrículas.
Autor: Breno Serrano de Araujo
Orientador: Thibaut Victor Gaston Vidal
Data e Hora: 17/09/2020 às 10:00
Cientista de dados deve ser criativo, ter mente aberta e analítica, interesse humano e saber negociar
Para atingir a transformação digital, é importantíssimo uma mudança cultural. Foi com esse conceito que o professor Hélio Lopes, do Departamento de Informática (DI) da PUC-Rio, começou sua fala no seminário “Pesquisa em Ciência de Dados: A Escalada para a Valorização dos Dados”, transmitido ao vivo pelo Youtube na última sexta-feira (11). Com mais de 100 participantes conectados simultaneamente, o evento marcou a estreia da série de lives do DI como um sucesso e segue disponível online.
“As empresas estão todas interessadas em transformação digital. Ainda mais agora, neste período de pandemia, em que se verificou que automatizar processos, melhorar a comunicação de uma forma digital entre as pessoas com o uso de tecnologia é algo muito importante”, disse Hélio, ao apresentar o tema. Ele ressaltou “falar a língua dos dados” é hoje, para muitas profissões e setores da indústria, uma habilidade tão necessária quanto foi o domínio da língua inglesa no século passado.
Com o objetivo de transformar dados em informação e esta, por sua vez, em conhecimento, a Data Science — que foi traduzida para o português como “ciência de dados”, mas segundo o professor melhor seria ser chamada de “ciência por dados” — tem múltiplas aplicações. Com diferentes fundamentos e técnicas, abarca desde aplicativos como Waze até um sistema de busca semântica em cenas de novela através de reconhecimento facial.
“Você cria uma ontologia, um sistema de acesso à base de dados, de forma eficiente. Mas para isso tem que ter um algoritmo que consiga realmente reconstruir sem erro dentro desse contexto o reconhecimento de cada artista em cada cena de todas as novelas do legado que existe na Globo, por exemplo”, disse Hélio. Esse projeto, “Globo Face Stream: A System for Video Meta-data Generation in an Entertainment Industry Setting”, foi desenvolvido pelo DI da PUC-Rio com alunos que atuam na Globo.com e recebeu o prêmio “Best Paper Award Certificate” neste ano.
Habilidades do Cientista de Dados
Lopes disse que, no Departamento de Informática da PUC, “ao formar esses novos cientistas de dados, queremos formar um líder em ciência de dados”. E elencou as habilidades necessárias para esse ideal de profissional, que precisa:
A combinação desses fatores em um cientista de dados atende ao maior interesse da indústria, que é melhorar seus negócios com o uso de dados para auxiliar as tomadas de decisão, segundo o professor.
Dando sequência à série de lives do DI, que vai até dezembro, na próxima sexta (18), às 15h, o professor Edward Hermann falará sobre “Compressão de provas lógicas e a conjectura NP=PSPACE”, no YouTube do DI PUC Rio. Não perca!
Autor: Eduardo Betine Bucker
Orientador: Sergio Colcher
Data e Hora: 14/09/2020 às 10:00
