Apresentamos hoje o Laboratório TecMF

O TecMF é um Núcleo de Inovação Tecnológica que tem por objetivo a pesquisa, o desenvolvimento e a aplicação de tecnologia formal, isto é, que utiliza modelos matemáticos, lógicos e baseados em conhecimento, no apoio ao processo de desenvolvimento de software em todas as suas fases. Gostamos de aplicar Teoria da Prova, Teoria das Categorias, Sistemas Lógicos e Prova Assistida de Teoremas em Ciência da Computação em geral, particularmente em desenvolvimento e validação de sistemas, modelos de computação e complexidade computacional.

Atualmente o laboratório é coordenado pelo Prof. Edward Hermann Haeusler e conta com a colaboração de professores, pesquisadores e alunos do DI da PUC-Rio. Assim como outros laboratórios do DI da PUC-Rio, o TecMF proporciona aos alunos do Departamento a possibilidade de atuarem como colaboradores e ter contato com diversas teorias diretamente aplicadas à prática, buscando soluções para resolver problemas reais de diversas empresas através de projetos específicos desenvolvidos pelo laboratório.

Conheça mais sobre o TecMF:

http://www.tecmf.inf.puc-rio.br

#laboratórios #modelosmatematicos #sistemaslogicos #pesquisa #desenvolvimento #dipucrio

Conheça os Professores do Quadro Principal do DI.

Grande parte do reconhecimento acadêmico do Departamento de Informática (DI) da PUC-Rio é devido aos professores do seu quadro principal, que atuam com excelência à frente do ensino e pesquisa, coordenando e atuando em laboratórios temáticos e orientando as pesquisas de mestrado e doutorado dos alunos. Eles também são

responsáveis por coordenar os projetos de pesquisa do DI junto a órgãos de fomento e a empresas nacionais e internacionais, assim como pela criação e oferta de cursos de extensão e especialização lato sensu do DI.

Hoje, temos o prazer de apresentar o Professor Edward Hermann Haeusler, que é coordenador do Laboratório TecMF e tem como área de atuação a Ciência da Computação voltada a Computabilidade e Modelos de Computação. Neste setor, pesquisa a teoria da prova, proof theory, teoria das categorias, semântica formal e Lógica.

Mais informações podem ser encontradas na página profissional do professor:

http://www-di.inf.puc-rio.br/~hermann/

Estão abertas as inscrições para o programa de pós-graduação em Informática (Mestrado e Doutorado) oferecidos pelo Departamento de Informática da PUC-Rio. O edital de seleção tem período de inscrições entre os dias 26 de abril e 08 de julho de 2022 e abrange as seguintes áreas de concentração:

• Bancos de Dados (BD)
• Ciência de Dados (CD)
• Computação Gráfica (CG)
• Engenharia de Software (ES)
• Hipertexto e Multimídia (HM)
• Interação Humano-Computador (IHC)
• Linguagens de Programação (LP)
• Otimização e Raciocínio Automático (OTR)
• Redes de Computadores e Sistemas

Cada área de concentração tem diversas linhas de pesquisa, dentre as quais se pode citar: Jogos e Entretenimento Digital; Visualização 3D; Engenharia de Software Experimental; Computação Móvel; e Redes de Alta Velocidade. Outras linhas têm caráter mais interdisciplinar, como Bioinformática e Inteligência Artificial (pesquisadas em várias das áreas de concentração do DI).

O Programa de Pós-Graduação do Departamento de Informática da PUC-Rio (DI) tem sua excelência reconhecida por pesquisadores e instituições nacionais e internacionais, bem como por órgãos dos ministérios de Ciência e Tecnologia e da Educação que avaliam os pesquisadores e os programas de pós-graduação do Brasil. Na avaliação da CAPES o programa é avaliado com conceito máximo (7).

Veja o edital completo no link:
Edital PG INF 2022.2

Deep Networks Are Kernel Machines – Este será o tema da próxima palestra online que acontecerá no dia 26/04 às 18h, e será apresentada pelo professor emérito da University of Washington, Pedro Domingos. O sucesso do aprendizado profundo geralmente é atribuído à sua capacidade de descobrir automaticamente novas representações dos dados, em vez de depender de recursos manuais como outros métodos de aprendizado. Nesta palestra, no entanto, o Prof. Domingos mostrará que redes profundas aprendidas por algoritmos de descida de gradiente são, de fato, aproximadamente equivalentes a máquinas kernel, um método de aprendizado que simplesmente memoriza os dados e os usa diretamente para previsão por meio de uma função de similaridade (o kernel). Isso aumenta muito a interpretabilidade de pesos de rede profunda, elucidando que eles são efetivamente uma superposição dos exemplos de treinamento. A arquitetura de rede incorpora o conhecimento da função de destino ao kernel.

A palestra incluirá uma discussão sobre as principais ideias por trás desse resultado e algumas de suas consequências mais surpreendentes para aprendizagem profunda, máquinas kernel e aprendizado de máquina em geral.

O Prof. Pedro Domingos é autor do livro “The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World”, que já foi indicado por Bill Gates como uma das obras mais importantes para quem deseja conhecer mais sobre #IA.

O evento acontece através da Conexão Rio-Campinas, uma parceria entre o Departamento de Informática da PUC-Rio e o Instituto de Computação da Unicamp, que promove importantes debates e palestras sobre os últimos avanços na ciência da computação, na Inteligência Artificial, em aprendizado de máquina, Ciência de Dados entre outros temas relevantes para profissionais, pesquisadores e para a sociedade como um todo.

Faça sua inscrição:

https://forms.gle/CiQcdgTCRRWdN6Js8

Autor: Willian Nalepa Oizumi

Orientador: Alessandro Fabricio Garcia

Data e Hora: 28/04/2022 às 14:00

Autor: Polyana Sampaio Ramos Barboza

Orientador: Carlos José Pereira de Lucena

Data e Hora: 25/04/2022 às 10:30

Local: 13º andar do Edifício Padre Leonel Franca

#paperoftheday

Title:
On the price of explainability for some clustering problems Venue: International Conference on Machine Learning (ICML), 2021

Authors:
Eduardo Sany Laber, Lucas Murtinho

Abstract:
The price of explainability for a clustering task can be defined as the unavoidable loss, in terms of the objective function, if we force the final partition to be explainable. Here, we study this price for the following clustering problems: k-means, k-medians, k-centers and maximum-spacing. We provide upper and lower bounds for a natural model where explainability is achieved via decision trees. For the k-means and k-medians problems our upper bounds improve those obtained by [Dasgupta et. al, ICML 20] for low dimensions. Another contribution is a simple and efficient algorithm for building explainable clusterings for the k-means problem. We provide empirical evidence that its performance is better than the current state of the art for decision-tree based explainable clustering.

More in:
http://proceedings.mlr.press/v139/laber21a.html

Apresentamos hoje o Laboratório Galgos.

O Galgos é um Núcleo de Inovação Tecnológica vinculado ao Departamento de Informática da PUC-Rio cujo foco principal é o desenvolvimento e aplicação de métodos algorítmicos para o manuseio e análise de grandes volumes de dados e otimização de recursos de médio e grande porte. Os membros do laboratório são encorajados a desenvolver uma forte experiência em métodos quantitativos, trabalhando com técnicas clássicas de design de algoritmos, técnicas de programação matemática e técnicas de aprendizagem de máquinas.

Atualmente o laboratório é coordenado pelo Prof. Marcus Poggi e conta com a colaboração de professores, pesquisadores e alunos do DI da PUC-Rio. Assim como outros laboratórios do DI da PUC-Rio, o Galgos proporciona aos alunos do Departamento a possibilidade de atuarem como colaboradores e ter contato com diversas teorias diretamente aplicadas à prática, buscando soluções para resolver problemas reais de diversas empresas através de projetos específicos desenvolvidos pelo laboratório.

Conheça mais sobre o Galgos:

http://www.inf.puc-rio.br/blog/laboratorio/atd-lab/

De volta à Cidade das Artes de 26 de abril a 01 de maio deste ano, evento reestrutura se com onze palcos segmentados e celebra uma década de fundação do RioContentMarket, braço de negócios do audiovisual e embrião do que é hoje o maior encontro de criatividade da América Latina.

Diante de um dos períodos mais desafiadores para a humanidade, quais são os caminhos para a renovação e o crescimento dos mais diversos setores da indústria criativa no mundo? Sempre conectado com as tendências dos mais variados mercados desde a sua concepção, o Rio2C volta em 2022 apostando na desaceleração – ou slow content – e no consumo inteligente como fios condutores da próxima edição, que acontece na Cidade das Artes, de 26 de abril a 01 de maio. Mesmo com a ampliação de eventos exibidos virtualmente durante a pandemia, o Rio2C insiste em preservar a sua essência de ser um lugar de encontro, de troca de experiências e de fomento de ideias in loco.

“A oferta de conteúdo virtual é uma realidade que vai estar cada vez mais presente, mas nós acreditamos no encontro presencial, nas conversas que acontecem nos intervalos das atrações e na imersão do público nos conteúdos apresentados. O que a gente mais ouve nos corredores do evento são os próprios artistas, os criadores e os produtores afirmando a loucura tão grande que vivem no dia a dia, sem tempo para respirar, encontrar os parceiros e amigos em um ambiente sem pressão. Isso está totalmente ligado à questão do slow content e do consumo inteligente que vêm como pano de fundo do conteúdo que estamos propondo para essa edição. A experiência de pausar a rotina diária para mergulhar num universo de conteúdos e discussões inspiradoras, lado a lado com algumas das mentes mais interessantes da indústria, é inigualável e irreplicável digitalmente.”, reflete Rafael Lazarini, criador do maior encontro de criatividade da América Latina, que celebra também em 2022 os dez anos do RioContentMarket, evento de mercado do audiovisual precursor do Rio2C. Mesmo após o hiato forçado de dois anos de pandemia que interrompeu as atividades ao redor de todo o planeta, o evento continua investindo no seu formato multidisciplinar – dividido entre os pilares conferência, mercado e festival –, contemplando novos temas e seções em sua programação. Se a última edição, em maio de 2019, movimentou mais de R$ 250 milhões a partir de uma extensa grade de palestras, shows, atividades e encontros de negócios voltados para um público de mais de 25 mil profissionais e entusiastas dos segmentos de tecnologia, ciência, audiovisual, música, games, mídia e marcas, a edição de 2022 terá uma série de novidades.

Inteiramente repaginada, a estrutura interna do evento será composta por onze palcos separados por assuntos, de modo a receber os novos conteúdos da programação e para melhor atender aos interesses específicos do público.

Além dos setores de educação e mercado literário, já incluídos na programação do evento presencial que terminou não acontecendo em 2020, o próximo Rio2C incorporará outros campos da indústria criativa como arquitetura, design, moda e gastronomia, com foco nos processos e nas tendências das áreas aplicados à vida cotidiana. A pauta do evento contemplará ainda assuntos urgentes para a sociedade, como questões relacionadas à sustentabilidade, diversidade e à agenda ESG (Environmental, Social and Governance ou, em português, Ambiental, Social e Governança), bem como as tendências que redefinirão o trabalho e as empresas, com foco especial no idadismo, empreendedorismo, educação continuada (lifelong learning) e nas profissões do futuro.

“Não estamos inventando a roda, todos esses temas estão aí e vêm sendo muito falados, mas queremos trazê-los para serem discutidos debaixo do mesmo guardachuva. Se a última década foi um momento de reinvenção dos departamentos de marketing das empresas, acredito que agora veremos mudanças profundas nos departamentos de recursos humanos. As empresas terão um desafio gigante pela frente porque a administração de pessoas vai ser quase um trabalho artesanal. Os profissionais têm necessidades diferentes, desejos diferentes, estilos diferentes. Com esses movimentos da pandemia, em que foram estabelecidas novas formas de trabalhar e de produzir, as formas de remuneração e de incentivo serão cada vez mais customizados. O que motiva uma pessoa não necessariamente motiva o parceiro ali do lado”, pondera o criador do Rio2C.

“Como a sociedade vai se adaptar a uma nova realidade em que as pessoas vivem cada vez mais e o mercado corporativo busca talentos cada vez mais jovens? Como fica aquele profissional que aos 40 está em plena capacidade laborativa e já é enxergado como ‘velho’ para se reposicionar no mercado tradicional? O caminho é o empreendedorismo? Mas como empreender sem ter um conhecimento ou uma experiência prévia? A saída seria então “voltar para a escola”? As pessoas precisarão se reciclar continuamente e desenvolver novas habilidades? A ideia é colocar essa discussão em pauta e, mais uma vez, ser bastante provocativo, assim como quando lançamos o Brainspace e tivemos a sensibilidade de perceber que a saúde mental era uma questão urgente”, aposta.

Com a maior abrangência de conteúdo e o intuito de atrair um público ainda mais diversificado, o Rio2C passa a comercializar ingressos diários, uma vez que antes havia somente a opção da compra de um passaporte para todos os dias de evento.

“O objetivo é tornar o evento mais democrático. O agrupamento de conteúdo vai na linha de criar esses novos espaços temáticos para aumentar a participação do público em geral. Expandimos também a nossa visão de curadoria, que agora fica mais dinâmica, fluida e colaborativa”, afirma Lazarini.

Embora a pandemia não seja o tema matriz da conferência, seria impossível não abordar no evento os seus efeitos na indústria criativa, bem como as alternativas e soluções buscadas para contorná-los.

“Não podemos colocar óculos cor-de-rosa e fingir que não existiu a pandemia, mas não queremos abordá-la como um tema. O que queremos entender é como a pandemia transformou as formas de se criar, pensar e produzir, e os impactos dessas transformações a médio e longo prazo”, explica.

Estabelecida dentro de algumas das áreas mais afetadas pelo covid-19, a de eventos, de entretenimento e da indústria criativa propriamente dita, o Rio2C também precisou buscar novos caminhos para conseguir se sustentar ao longo do período.

“A pandemia teve um impacto não só na indústria de eventos, mas na indústria criativa como um todo. Os setores nos quais nos encaixamos, principalmente o do audiovisual e o da música, passaram por um momento complicadíssimo. Precisamos fazer uma ginástica muito grande para manter o evento de pé. A pandemia chegou forte no Brasil a menos de dois meses da realização do evento, os patrocinadores já estavam todos fechados conosco e foram muito parceiros durante todo o período. Assim, o que conseguimos fazer basicamente foi congelar o projeto. Ou seja, o projeto que estamos entregando agora em 2022 é uma versão atualizada e turbinada daquele projeto de 2020 que não foi realizado”, conta.

Em 2020, na janela em que seria realizada o evento presencial, o Rio2C exibiu uma versão inédita e compacta do evento com conferências e rodadas de negócios em formato virtual, e na sequência lançou uma nova marca, o @live, com uma trilogia de novos programas veiculados no site e canal de youtube da marca.

A primeira foi uma série de oito episódios intitulada “Pretérito do Futuro”, em que o empreendedor e futurista Guga Stocco revisitou os futuros, tendências e novas tecnologias levantadas em edições anteriores do evento presencial. Em seguida, exibiu o programa “Você não Sabia”, em paceria com o “tiktoker” Antonio Miranda, onde ao longo de dez episódios de curta duração, foram abordados de maneira didática, leve e divertida, temas sobre tecnologia, ciência e educação. Para encerrar a safra, atualmente está em produção a série de 40 episódios “Diálogos”, um batepapo informal com importantes nomes da indústria criativa das áreas do audiovisual, música, games e inovação, que pretende já servir como degustação do conteúdo que será apresentado no evento presencial em abril.

“Tivemos um retorno extremamente positivo da versão online do evento de 2020, inclusive alguns dos projetos inscritos foram negociados no mercado virtual. Depois, entendemos que não fazia mais sentido continuar realizando o evento no formato virtual, uma vez que o grande diferencial do Rio2C reside no presencial, na potência dos encontros, no abraço e no aperto de mãos. Decidimos então investir no desenvolvimento de conteúdos relevantes, em formatos e linguagens diferentes, para manter o público informado e conectado, enquanto a nossa nave mãe, o Rio2C presencial, não estivesse de volta”, afirma.

A edição deste ano tem patrocínio máster da Petrobras e, pela primeira vez, terá patrocínio do Banco do Brasil, que se junta à Ambev, com a marca Draftline.

PALCOS

GlobalStage – On2Off
O GlobalStage será um palco com apresentações das tendências que irão impactar o nosso futuro. Serão palestras e debates com renomados especialistas da cena global de inovação e criatividade, dividindo espaço com grandes nomes brasileiros do setor.

Brainspace
Espaço dedicado a temas únicos sobre cérebro, criatividade e descobertas incríveis que surpreendem o público, o Brainspace é a ciência transformada em entretenimento.

House of Brands
A House of Brands é o palco para quem quer mergulhar no universo das marcas, conteúdo, marketing, mídia, publicidade e propaganda.

Storyvillage
O Storyvillage é o espaço que reverencia a arte da criação, da narrativa, dos roteiros e da composição.

Future U
O Future U abordará temáticas e tendências sobre o futuro do trabalho, das empresas e da educação, com foco especial no idadismo, empreendedorismo, educação continuada, novas habilidades e profissões do futuro.

Biodom
O Biodom abordará as tendências e desafios urgentes de fatores sociais e ambientais que podem impactar o futuro do planeta. Temas como a agenda ESG, meio ambiente, energia, diversidade, comunidades e cidades do futuro serão apresentados por grandes especialistas desse universo.

New Frontier
O New Frontier traz o futuro para o presente, analisando quem está por trás da tecnologia, mas também como essa mesma tecnologia impacta os seres humanos, assim como os movimentos disruptivos que mudarão o mundo como o conhecemos.

Cyberstage
O Cyberstage vai celebrar e dissecar a indústria de games e eSports reunindo os principais players desse universo para falar de temas como metaverso, criptomoedas, nfts, realidade aumentada, entre outros.

Screening Room
O Screening Room debaterá e estimulará a reflexão sobre o universo do audiovisual, a partir de temas como plataformas de streaming, alternativas de financiamento e coprodução, entre outros.

Soundbeats
O Soundbeats discute o show business da música com temas atuais e urgentes como streaming, lives, direito autoral, empresariamento, turnês e festivais.

PitchingShow
No Mercado de Música, artistas e bandas concorrem para se apresentarem ao vivo no palco do PitchingShow® diante do público e de uma comissão formada por nomes estratégicos da indústria – entre produtores, jornalistas e programadores de rádio e TV do setor –, além de uma plateia de executivos do mercado fonográfico e do show business.

Defesa de Dissertação de Mestrado da Aluna Marisa do Carmo Silva

Título da dissertação:

StoryMaker: uma ferramenta de apoio à criação de data stories

Resumo:

Devido ao crescimento da produção e disponibilidade de dados, houve uma consequente necessidade de explorá-los em busca de entendê-los, comunicar essas informações e gerar conhecimentos. Diante deste cenário de produção de informação a partir do grande volume de dados surgiu o Jornalismo de Dados, campo que busca incluir visualizações mais claras e contar histórias baseadas nos fatos, de forma a facilitar a compreensão do público. Entretanto, há uma necessidade de desenvolver e melhorar as ferramentas de análise visual com suporte a narrativas. Neste documento, descrevemos a nossa proposta de pesquisa que consiste na expansão da ferramenta de visualização de dados VisMaker, integrando a possibilidade de criação de \textit{data stories} para as visualizações.

Orientador(a):

Prof(a) Dr(a) Simone Diniz Junqueira Barbosa

Banca:

Prof(a) Dr(a) Marilia Soares Martins

Prof Dr Bruno Feijó

Prof Dr Helio Côrtes Vieira Lopes

Acompanhe-nos pelo link:
http://www.inf.puc-rio.br/blog/noticia/noticia/defesa-de-dissertacao-de-mestrado-storymaker-uma-ferramenta-de-apoio-a-criacao-de-data-stories