LLVM – Um Arcabouço para a Construção de Compiladores

>> <<

LLVM é um conjunto de bibliotecas e ferramentas que facilitam o desenvolvimento de linguagens de programação. Várias linguagens populares hoje são construídas e compiladas via LLVM: C, C++, Rust e Julia, por exemplo. LLVM define uma representação intermediária de código (uma linguagem de montagem). Ao traduzir uma linguagem de alto nível para este código intermediário, tem-se acesso a uma vasta gama de análises estáticas e otimizações que já estão disponíveis em LLVM. Nessa palestra veremos como usar LLVM como uma ferramenta para compilar e visualizar programas, escreveremos código na representação intermediária, e desenvolveremos uma análise de código que pode ser acoplada àquela infraestrutura.

Fernando Magno Quintão Pereira

DCC/UFMG

ORCID Lattes Scholar www

A eficácia irrazoável da ciência dos dados

>> <<

Há três fatores responsáveis pela revolução trazia pela inteligência artificial: (1) o constante aumento na capacidade computacional; (2) a acumulação de grandes volumes de dados gerando insights e possibilitando a criação de produtos orientados por dados; (3) o desenvolvimento da teoria de aprendizado estatístico e seus algoritmos. Este alinhamento de planetas permitiu um grande sucesso em tarefas desafiadoras, como o desenvolvimento de assistentes virtuais e chatbots, carros autônomos, tradução automática entre idiomas e a detecção precoce de anomalias não especificadas nos sinais vitais. Nesta apresentação, vou fornecer uma visão geral desses desenvolvimentos a partir de uma perspectiva histórica, concentrando-me na contribuição trazida pela Probabilidade e Estatística. Ilustrarei esta apresentação com exemplos de minha própria pesquisa.

Renato Martins Assunção

DCC/UFMG

 Lattes Scholar www

Árvore da Ciência: Uma Plataforma para Exploração da Genealogia Acadêmica Brasileira

>> <<

Identificar e estudar a formação de pesquisadores ao longo dos anos é uma tarefa desafiadora, uma vez que os atuais repositórios de teses e dissertações são catalogados de forma descentralizada em diferentes bibliotecas digitais. Neste projeto, foi realizado um esforço visando a construção de um grande repositório para registro da genealogia acadêmica brasileira. Para isso, foram coletados dados da plataforma Lattes do CNPq, a partir dos quais foi desenvolvida uma ferramenta de busca voltada a usuários finais que permite gerar as árvores genealógicas acadêmicas dos pesquisadores brasileiros a partir dos dados coletados, fornecendo também dados adicionais sobre as principais propriedades dessas árvores que possibilitam identificar aspectos relevantes relacionados à trajetória acadêmica dos pesquisadores brasileiros.

Alberto Henrique Frade Laender

DCC/UFMG

Lattes Scholar www

Aprendizado de Máquina para Entendimento e Geração de Músicas

>> <<

Aprendizado de Máquina consiste de uma área de conhecimento focada no uso e desenvolvimento de técnicas computacionais e estatísticas que automatizam a criação de modelos analíticos. Isto é, em vez de serem programados explicitamente para realizar uma tarefa, os sistemas de aprendizado de máquina usam dados para construir modelos que ou realizam inferência em dados históricos ou tomam decisões com base em tais dados históricos. Nessa palestra, vamos entender como Aprendizado de Máquina pode ser utilizado para tarefas de enfâse musical. Em particular, vamos explorar tarefas como reconhecimento de acordes e geração automática de músicas. A palestra terá um viés introdutório, trazendo assim uma visão mais ampla de como o Aprendizado e Máquina pode fazer uso de dados Musicais.

Flavio Vinicius Diniz de Figueiredo

DCC/UFMG

ORCID Lattes Scholar www

Quer saber como o “mundo gira”? Entenda a mobilidade!

>> <<

A mobilidade tem um papel central nas diversas atividades relacionadas que fazemos, principalmente no trabalho, comércio, indústria e lazer. O estudo da mobilidade para diferentes finalidades (e.g., econômicas, serviços públicos, estudo acadêmico) deve ser feito de forma sistemática já que do ponto de vista científico é a questão mais fundamental a ser investigada para, a partir daí, usarmos essas soluções em diferentes cenários. Esta palestra irá discutir a mobilidade a partir do estudo de traços de mobilidade (mobility traces) e as questões associadas nesse estudo.

Antonio Alfredo Ferreira Loureiro

DCC/UFMG

ORCID Lattes Scholar www

Medical image report generation: methods, evaluation and challenges

>> <<

Denis Parra

Associate Professor at the Department of Computer Science, in the School of Engineering at PUC Chile. I am principal researcher at the National Center of Artificial Intelligence (CENIA) as well as principal research at the Millenium Institute for Intelligent Healthcare Engineering (iHealth). I am also adjunct researcher at the Millennium Institute for Research on Fundamentals of Data. I hold a professional title of Civil Engineer in Informatics in 2004 from UACh, Valdivia, Chile; and a Ph.D. in Information Science from University of Pittsburgh, USA, advised by Professor Peter Brusilovsky. I earned a Fulbright scholarship to pursue my PhD studies between 2008-2013.

My research interests are Recommender Systems, Intelligent User Interfaces, Applications of Machine Learning (Healthcare, Creative AI) and Information Visualization and I am currently leading the Human-centered AI and Visualization (HAIVis) research group as well as co-leading the CreativAI Lab with professor Rodrigo Cádiz. I am also Faculty member of the PUC IA Lab.

https://dparra.sitios.ing.uc.cl/

Impactos sociais e políticos dos algoritmos e da inteligência artificial

>> <<

É possível que o avanço da tecnologia e da inteligência artificial (IA) alterem a economia no futuro? Pessoas perderão seus empregos para máquinas? A evolução tecnológica impacta diferentes setores do mercado e aspectos sociais. Será sobre essas e outras questões, como um novo papel da computação que Virgilio Almeida, professor emérito do departamento de Ciência da Computação da Universidade Federal de Minas Gerais (UFMG) falará em sua palestra.

Virgilio Augusto Fernandes Almeida

DCC/UFMG
Lattes Scholar www