Sofia Vieira Pinto na 10ª edição do Heidelberg Laureate Forum

O 10º Heidelberg Laureate Forum teve lugar de 24 a 29 de setembro na Alemanha e reuniu algumas das mentes mais brilhantes da matemática e das ciências da computação. Nesta conferência, 200 jovens investigadores nas áreas da matemática e ciências da computação, cuidadosamente selecionados, passam uma semana a interagir com os laureados destas disciplinas: galardoados com os Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal, IMU Abacus Medal e o Nevanlinna Prize. Criado em 2013, o HLF é organizado anualmente pela Heidelberg Laureate Forum Foundation (HLFF).

Com um programa científico e social, a plataforma do HLF foi especialmente concebida para iniciar o intercâmbio entre os participantes. Os laureados proferem palestras sobre temas da sua escolha, dirigidas principalmente aos jovens cientistas participantes. Estas conferências devem ser o ponto de partida para debates intensivos entre os laureados e os jovens investigadores durante o fórum. Isto significa que o Fórum não é uma conferência científica clássica, mas um evento de ligação em rede destinado a motivar e inspirar a próxima geração de cientistas. Proporcionar um espaço para que as ideias tomem forma e evoluam é o que define o objetivo subjacente ao Fórum.

No grupo destes jovens investigadores encontramos Sofia Vieira Pinto, estudante do 3º ano da L.EIC, selecionada para participar neste fervoroso encontro. “Foi sem dúvida das semanas mais memoráveis da minha carreira até ao momento”, diz-nos Sofia já de regresso à FEUP. “Não há como descrever em meras palavras todos os contactos, conversas e até amizades que se desenrolaram ao longo destes dias. Tive a oportunidade de contactar com inúmeros galardoados e ouvir histórias de vida de quem já tem muitas páginas para contar. Foi um período de aprendizagem, desenvolvimento e realização pessoal como nunca senti. Ainda parece um sonho tornado realidade”, conclui a nossa promissora estudante.

Provas de Doutoramento em Engenharia Informática: ”Argumentation mining from text using semantic approaches”

Candidato:
Gil Filipe da Rocha

Data, Hora e Local
2 de outubro, 14:00, Sala Professor Joaquim Sarmento (G129) do DECFEUP

Presidente do Júri
Doutor Rui Filipe Lima Maranhão de Abreu, Professor Catedrático da Faculdade de Engenharia da Universidade do Porto

Vogais
Doutor Hugo Ricardo Gonçalo Oliveira, Professor Associado do Departamento de Engenharia Informática da Faculdade de Ciências e Tecnologia da Universidade de Coimbra;
Doutor Bruno Emanuel da Graça Martins, Professor Associado do Departamento de Engenharia Electrotécnica e de Computadores do Instituto Superior Técnico da Universidade de Lisboa;
Doutor Eugénio da Costa Oliveira, Professor Emérito do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto;
Doutor Sérgio Sobral Nunes, Professor Associado do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto;
Doutor Henrique Daniel de Avelar Lopes Cardoso, Professor Associado do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto (Orientador).

Resumo
“O objetivo da prospecção de argumentos é a deteção, identificação e extração automática de argumentos a partir de texto escrito em linguagem natural. O objetivo final é obter uma representação estruturada dos argumentos (diagramas de argumentos) que pode ser automatizada e analizada de diversas formas. A argumentação é um ato retórico que tem sido estudado ao longo de vários séculos e que tem sido influenciado por diferentes áreas de estudo como a filosofia, linguística, ciência dos computadores, e inteligência artificial. De uma forma geral, argumentos são posições justificáveis onde factos (as premissas) são apresentados em suporte de uma afirmação (a conclusão). Algumas características do texto escrito em linguagem natural e, mais especificamente, da exposição de argumentos faz da prospecção de argumentos uma tarefa complexa. De fato, a ambiguidade do texto escrito em linguagem natural, a suposição de senso comum e de conhecimento implícito, diferentes estilos de escrita, e a complexidade inerente aos diagramas de argumentos são alguns dos desafios que os sistemas de prospecção de argumentos têm de superar. Abordar estes desafios, especialmente entre diferentes línguas e géneros textuais, exige sistemas de prospecção de argumentos robustos. Nesta tese, conduzimos investigação no sentido de desenvolver uma sistema computacional robusto que pode ser utilizado para detectar, identificar, e extrair conteúdo argumentativo em diferentes línguas e géneros textuais. A nossa visão é utilizar este sistema para a prospecção de argumentos em línguas com poucos recursos para o processamento de linguagem natural (como a língua portuguesa) e em géneros textuais que são caracterizados por exibir uma variabilidade considerável de perfis de exposição argumentativa (como os artigos de opinião). Para este fim, combinamos técnicas de linguística computacional e aprendizagem máquina com conhecimento das estruturas argumentativas e de teorias da retórica para identificar, de forma automática, raciocínio argumentativo expresso em textos escritos em linguagem natural. Para estudar a prospecção de argumentos numa língua com poucos recursos de processamento de linguagem natural e num género textual desafiante, realizamos um estudo de anotação para criar um corpus anotado com argumentos extraídos de artigos de opinião escritos em português. Para abordar a tarefa de prospecção de argumentos, propomos uma abordagem baseada nas relações e modelos contextuais, motivada por fundamentos da teoria de argumentação e especialmente desenhada para superar alguns dos desafios da exposição de argumentos. Para abordar esta tarefa num língua com poucos recursos de processamento de linguagem natural, investigamos como técnicas de transferência de conhecimento entre diferentes línguas podem ser aplicadas para explorar recursos anotados em diferentes línguas e melhorar o desempenho dos modelos de aprendizagem máquina numa língua alvo. Finalmente, para melhorar a robustez dos sistemas de prospecção de argumentos em diferentes géneros textuais, utilizamos avanços recentes na capacidade de modelação de linguagem e propomos uma abordagem de prospecção de argumentos que pode ser aplicada em diferentes géneros textuais.”

INForum 2023 – 7 e 8 setembro @FEUP

A edição de 2023 do INForum, que vai já na sua 14ª edição, decorrerá na Faculdade de Engenharia da Universidade do Porto nos dias 7 e 8 de setembro, com a organização local de Jácome Cunha, João Paulo Fernandes, João Pascoal Faria e Rui Maranhão, docentes do DEI, e João Saraiva da Universidade do Minho.

Reunindo a comunidade nacional, o INForum é um local privilegiado para a divulgação, discussão e reconhecimento de trabalhos científicos e de inovação e avanços tecnológicos em Informática. O INForum oferece assim um palco especializado para promover, por um lado, o intercâmbio de conhecimento e experiência entre a academia e a indústria e, por outro lado, a estreia de jovens investigadores que procuram a divulgação, a crítica construtiva e o encorajamento do seu trabalho. Assim, o INForum é um evento nacional de partilha e de fortalecimento do espírito de comunidade.

A Informática é uma área de Investigação e Desenvolvimento consolidada em Portugal, suportada numa rede de centros de investigação reconhecidos internacionalmente e na oferta de cursos de licenciatura e pós-graduação por praticamente todas as instituições portuguesas de ensino superior. É igualmente uma área na qual várias empresas nacionais apresentam resultados de I&D de relevância internacional.

O INForum é organizado em sessões temáticas sobre tópicos propostos pela comunidade e selecionados pela organização. Os tópicos têm comissões de programa (CP) próprias, que se articulam com os Presidentes da Comissão de Programa nos processos de organização das sessões (apelo a submissões, revisão e seleção de artigos, publicação de atas, etc.) de forma a tirar partido de uma única infraestrutura de suporte e garantir a coerência do evento.

Esta edição contará ainda com as Keynotes de *Cristina Videira Lopes (Chancellor’s Professor at University of California, Irvine ) e **Pedro Saleiro (Senior Director of AI Research at Feedzai).

* O Fim da Programação (como a conhecemos)

“Cristina (Crista) Lopes é Chancellor’s Professor na School of Information and Computer Sciences at University of California, Irvine, com interesses de investigação em Linguagens de Programação, Engenharia de Software e Ambientes Virtuais Distribuídos. É IEEE Fellow e ACM Distinguished Scientist. Ela é a vencedora do Prêmio Pizzigati de 2016 para Software de Interesse Público pelo seu trabalho na plataforma de mundo virtual OpenSimulator. O seu livro ‘Exercises in Programming Style’ recebeu críticas excelentes, incluindo ter sido escolhido como ‘Livro Notável’ pelas revisões do ACM Best of Computing.”

** Innovating from within: AI Research at Feedzai

“Pedro Saleiro is Senior Director of Research at Feedzai where he heads the AI research group. Before joining Feedzai in 2019, Pedro did a postdoc in Fair Machine Learning at the University of Chicago and he was a research data scientist at the Center for Data Science and Public Policy working with Rayid Ghani. During his time at UChicago, he co-developed Aequitas, the first open-source library to audit bias and fairness of decision-making systems. Pedro holds a PhD in Machine Learning from University of Porto.”

O programa da conferência pode ser consultado aqui.

Provas de Doutoramento em Media Digitais: ”Towards Human-in-the-Loop Computational Rhythm Analysis in Challenging Musical Conditions”

Candidato:
António Humberto e Sá Pinto

Data, Hora e Local
8 de setembro, às 14h30, na Sala de Atos da FEUP

Presidente do Júri
Doutor António Fernando Vasconcelos Cunha Castro Coelho, Professor Associado com Agregação da Faculdade de Engenharia da Universidade do Porto;

Vogais
Doutora Magdalena Fuentes, Professora Assistente da Music and Audio Research Lab (MARL) e Integrated Design & Media (IDM) da New York University (NYU);
Doutor Jason Hockman, Professor Associado da School of Computing and Digital Technology (DMT) da Birmingham City University (UK);
Doutor Matthew Edward Price Davies, Senior Scientist da SiriusXM/Pandora (USA)(Orientador);
Doutor Rui Pedro da Silva Nóbrega, Professor Auxiliar do Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa;
Doutor Aníbal João de Sousa Ferreira, Professor Associado do Departamento de Engenharia Eletrotécnica e de Computadores da Faculdade de Engenharia da Universidade do Porto.

A tese foi coorientada pelo Prof. Rui Luís Nogueira Penha, Professor Coordenador da ESMAE, e pelo Prof. Gilberto Bernardes de Almeida, Professor Auxiliar da FEUP.

Abstract:

“Music Information Retrieval (MIR) is an interdisciplinary field focused on the extraction, analysis, and processing of information from various musical representations.
Grounded on the automatic analysis of musical facets such as rhythm, melody, harmony, and timbre, MIR enables applications in areas like music recommendation, automated music transcription, and intelligent music composition tools. Rhythm, an integral element of music, provides a foundation for decoding music’s complex relational structures and layered depth. Computational rhythm analysis is thus central to MIR research. It encompasses a wide range of tasks, such as the pivotal beat tracking, which unlocks the use of musical time across many MIR systems. However, conventional beat-tracking methods have struggled when dealing with complex musical features, such as expressive timing or intricate rhythmic patterns. While specialized approaches demonstrate some degree of adaptation, they do not generalise to diverse scenarios. Deep learning methods, while promising in addressing these issues, depend heavily on the availability of substantial annotated data. In scenarios requiring adaptation to user subjectivity, or where acquiring annotated data is challenging, the efficacy of beat-tracking methods lowers, thus leaving a gap in the applicability of computational rhythm analysis methods. This thesis investigates how user-provided information can enhance computational rhythm analysis in challenging musical conditions. It initiates the exploration of human-in-the-loop strategies with the aim of fostering adaptability of current MIR techniques. By focusing on beat tracking, due to its fundamental role in rhythm analysis, our goal is to develop streamlined solutions for cases where even the most advanced methods fall short. This is achieved by utilising both high-level and low-level user inputs —- namely, the user’s judgement regarding the expressiveness of the musical piece and annotations of a brief excerpt —- to adapt the state of the art to abstract particularly demanding signals. In an exploratory study, we validate the shared perception of rhythmic complexity among users as a proxy for musical expressiveness, and consequently as a key performance enhancer for beat tracking. Building upon this, we examine how highlevel user information can reparameterise a leading-edge beat-tracker, augmenting its performance to highly expressive music. We then propose a transfer learning method that finetunes the current state of the art, hereafter referred to as the baseline, to a concise user-annotated region. This method exhibits versatility across varied musical styles and offers potential solutions to the inherent limitations of previous approaches. Incorporating both user-guided contextualisation and transfer learning into a human-in-the-loop workflow, we undertake a comprehensive evaluation of our adaptive techniques. This includes examining the key customisation options available to users and their effect on performance enhancement. Our approach outperforms the current state of the art, particularly in the challenging musical content of the SMC dataset, with an improvement over the baseline F-measure of almost 10 percentage points (corresponding to over 16%). However, these quantitative improvements require further interpretation due to the inherent differences between our file-specific, human-in-the-loop technique and traditional dataset-wide methods, which operate without prior exposure to specific file characteristics. With the aim of advancing towards a user-centric evaluation framework for beat tracking, we introduce two novel metrics: the E-Measure and Annotation Efficiency. These metrics account for the user perspective regarding the annotation and finetuning process. The E-Measure is a variant of the F-measure focused on the annotation correction workflow and includes a shifting operation over a larger tolerance window. The Ae is defined as the relative (to the baseline) decrease in correction operations enabled by the fine-tuning process, normalised by the number of user annotations. Specifically, we probe the theoretical upper bound of beat tracking accuracy improvement over the SMC dataset. Our results show that the correct beat estimates provided by our approach surpass those of the state of the art by more than 20%. When considering the full length of the files, we can further frame this improvement in terms of gain per unit of user effort, quantifying the annotation efficiency of our approach. This is reflected in the substantial reduction of required corrections, with nearly 2/3 fewer corrections per user annotation compared to the baseline. In the final phase, we evaluate our human-in-the-loop strategy’s adaptability across a range of musical genres and instances presenting significant challenges. Our exploration extends to various rhythm tasks, including beat tracking, onset detection, and (indirectly) metre analysis. We apply this user-driven strategy to three unique genres with complex rhythm structures, such as polyrhythms, polymetres, and polytempi. Our approach exhibits swift adaptability, enabling efficient utilisation of the state-of-the-art method while bypassing the need for extensive retraining. This results in a balanced integration of data-driven and user-centric methods into a practical and streamlined solution.”

Palavras-Chave: Music Information Retrieval; User-centric; Transfer Learning; Beat Tracking.

Provas de Doutoramento em Engenharia Informática: ”Scaling-up organization of document sets to facilitate their analysis”

Candidato:
Rui Portocarrero Macedo de Morais Sarmento

Data, Hora e Local
24 de julho, às 14:00, na Sala de Atos (L202A) do DEGI, FEUP

Presidente do Júri:
Doutor Carlos Manuel Milheiro de Oliveira Pinto Soares, Professor Associado da Faculdade de Engenharia da Universidade do Porto.

Vogais
Doutor José Fernando Ferreira Mendes, Professor Catedrático do Departamento de Física da Universidade de Aveiro;
Doutor Bruno Emanuel da Graça Martins, Professor Associado do Departamento de Engenharia Electrotécnica e de Computadores do Instituto Superior Técnico da Universidade de Lisboa;
Doutor Pavel Bernard Brazdil, Professor Emérito da Faculdade de Economia da Universidade do Porto (Coorientador);
Doutor Henrique Daniel de Avelar Lopes Cardoso, Professor Associado do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto;
Doutor Sérgio Sobral Nunes, Professor Associado do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.

A tese foi orientada pelo Doutor João Manuel Portela da Gama, Professor Catedrático da Faculdade de Economia da Universidade do Porto.

Resumo:

“A sumarização e organização da produção de documentos de uma organização, de forma intuitiva e escalonável, para grandes quantidades de dados, é de grande importância no apoio à tomada de decisão. Esta tese pretende desenvolver um estudo teórico e prático, para resolver estes desafios.

O conteúdo desta dissertação nasceu após a construção de um protótipo de software com algoritmos estaticos, para analisar e fornecer suporte à decisão, a partir de documentos de texto e de uma rede de autores de documentação científica. Várias vantagens foram comprovadas com o uso deste protótipo mencionado. No entanto, havia algumas preocupações em relação à capacidade do protótipo de lidar com redes de dimensões superiores e também com uma grande quantidade de documentos. O estudo de caso de desenvolvimento considera a afinidade entre autores em grande escala e em constante evolução. O primeiro desafio é dimensionar os métodos de representação dos documentos dos autores. O segundo desafio é capturar o desenvolvimento temporal da organização. Considerando este contexto, desenvolvemos e implementamos técnicas de streaming para a caracterização de cada documento e outras subunidades da organização. Para caracterizar, houve interesse por integração em grupos de afinidade identificados por palavras-chave e medidas de relevância. Concluímos este trabalho testando vários algoritmos desenvolvidos, para diminuir a desvantagem do protótipo original e reunindo uma panóplia de soluções para problemas relacionados às técnicas de streaming de texto, considerando uma abordagem em larga escala para a análise correspondente. Foram utilizadas técnicas de recuperação de informação, sendo necessária a análise de redes sociais e streaming de dados. Resolvemos vários problemas associados com a análise eficiente de fluxos de texto, usando várias técnicas, desde técnicas de análise de fluxos puros até técnicas de redes complexas em evolução. Estas técnicas que serviram de base para inovação e contribuição com mais de dez novos algoritmos provaram melhorar o protótipo e resolver os problemas que nos levaram a melhorar e contribuir também para diversas áreas da análise de textos e fluxos de texto.”

Palavras-Chave: Streaming; Fluxo e Dados Evolutivos; Análise de Texto; Análise de Redes Sociais e Complexas; Visualização de Redes Sociais e Complexas.

We are pleased to announce that ASAP 2023 will be an entirely in-person event hosted at the Faculty of Engineering of the University of Porto!

The 34th IEEE International Conference on Application-specific Systems, Architectures, and Processors (ASAP 2023) is organized by the Faculty of Engineering of the University of Porto in Porto, Portugal, July 19 – July 21, 2023.

The history of the ASAP conference traces back to the International Workshop on Systolic Arrays, organized in 1986 in Oxford, UK. It later developed into the International Conference on Application-Specific Array Processors. With its current title, it was organized for the first time in Chicago, USA, in 1996. Since then, it has alternated between Europe and North America.

Provas de Doutoramento em Media Digitais: ”Connect-the-Dots: Artificial Intelligence and Automation in Investigative Journalism”

Requeridas por:
Joana Rodrigues da Silva

Data, Hora e Local
19 de julho, às 14h30, na Sala L119 do DEMEC (FEUP)

Presidente do Júri:
Doutor António Fernando Vasconcelos Cunha Castro Coelho, Professor Associado com Agregação da FEUP

Vogais:
Doutora Teresa Isabel Lopes Romão, Professora Associada do Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa;
Doutor Luís António Santos, Professor Auxiliar do Departamento de Ciências de Comunicação do Instituto de Ciências Sociais da Universidade do Minho;
Doutor Miguel Ângelo Rodrigues Midões, Professor Adjunto Convidado do Departamento de Comunicação e Arte da Escola Superior de Educação do Instituto Politécnico de Viseu;
Doutora Helena Laura Dias de Lima, Professora Associada do Departamento de Ciências da Comunicação e da Informação da Faculdade de Letras da Universidade do Porto (Orientadora);
Doutor Alexandre Miguel Barbosa Valle de Carvalho, Professor Auxiliar do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.

Resumo:

“Depois da epidemia COVID-19 e das consequentes crises humanitárias que assolaram o planeta, surge uma necessidade de reivindicar o papel do jornalismo de investigação como watchdog e sistema de permeação da justiça social e democracia pela exposição pública. Assistimos a um decréscimo acentuado do investimento desta especialidade do jornalismo, seja pela sua impertinência no tratamento de questões de gestão pública, seja pelo tempo gasto neste tipo de investigações que demoram, fundamentalmente, mais tempo que o jornalismo de atualidade para obter resultados. Neste sentido, percecionamos a influência da automação e da inteligência artificial nos processos de produção informativa para dar destaque a todas as tarefas humanas, com a possibilidade de serem realizadas em menos tempo por sistemas tecnológicos. Tendo em consideração esta possibilidade, surgiu o interesse de estudar, em profundidade, como é que a automação e a aplicação de inteligência artificial através de plataformas de apoio ao procedimento habitual do jornalismo, pode, de facto, ajudar e, até mesmo, melhorar o estado global da prática de jornalismo de investigação na atualidade. A plataforma Connect-the-Dots, e o assistente DODO surge como uma hipotética solução digital para algumas das problemáticas que o jornalismo de investigação enfrenta atualmente e poderá ser uma forma de concretizar de forma prática o jornalismo de investigação no seu âmbito de inovação integrando ferramentas e práticas de código aberto numa abordagem de arqueologia do conhecimento fundamentada no método Design-Based-Research.”

Palavras-Chave: Inteligência Artificial, Automação, Jornalismo de Investigação, Design-Based-Research, Media Digitais.

Provas de Doutoramento em Media Digitais: ”Modelo para utilização da prosódia e da interacção no acesso às expressões matemáticas através da fala sintetizada para pessoas com deficiência visual”

Candidata:
Adriana Silva Souza

Data, Hora e Local:
10 de julho, às 10:30, na Sala de Atos da FEUP

Presidente:
Doutor António Fernando Vasconcelos Cunha Castro Coelho, Professor Associado com Agregação da Faculdade de Engenharia da Universidade do Porto.

Vogais:
Doutor Vitor Manuel Pereira Duarte dos Santos, Professor Auxiliar da NOVA Information Management School da Universidade Nova de Lisboa;
Doutor João Manuel Pereira Barroso, Professor Associado com Agregação, Vice-Reitor para a Inovação, Transferência de Tecnologia e Universidade Digital da Universidade de Trás-os-Montes e Alto Douro;
Doutor João Paulo Ramos Teixeira, Professor Coordenador do Departamento de Eletrotecnia da Escola Superior de Tecnologia e Gestão do Instituto Politécnico de Bragança;
Doutora Maria Selene Henriques da Graça Vicente, Professora Auxiliar do Departamento de Psicologia da Faculdade de Psicologia e de Ciências da Educação da Universidade do Porto;
Doutora Maria do Rosário Marques Fernandes Teixeira de Pinho, Professora Associada do Departamento de Engenharia Eletrotécnica e de Computadores da Faculdade de Engenharia da Universidade do Porto;
Doutor Diamantino Rui da Silva Freitas, Professor Associado do Departamento de Engenharia Eletrotécnica e de Computadores da Faculdade de Engenharia da Universidade do Porto (orientador).

Resumo:

“A fala sintetizada de conteúdos matemáticos ainda apresenta diversos desafios, pois a Matemática para ser compreendida pelas pessoas com deficiência visual, precisa ser verbalizada detalhadamente, o que gera longas saídas e ocasiona sobrecarga cognitiva, além disso, a matemática possui regras que são bastaste peculiares, portanto, os limites prosódicos como pausas e entoação, na maioria das vezes, não são sintetizados da forma adequada. Para minimizar essa problemática, essa investigação propõem um modelo que faz uso da prosódia e da interacção para acessar as expressões matemáticas. Para desenvolvimento do modelo, nos apoiamos na metodologia de Pesquisa Baseada em Design e dividimos a investigação em quatro etapas, na primeira etapa foi feita uma revisão sistemática da literatura, realizamos uma investigação de exploração inicial com entrevistas com estudantes com deficiência visual e professores de braille e analisamos também a matemática falada pelos sintetizadores de voz. Na segunda etapa da investigação, foi criado um corpus de expressões matemáticas falados por professores da área para dar suporte à investigação sobre a prosódia. A entoação e as pausas foram os componentes prosódicos investigados. Embora os estudos não tenham sido aprofundados na entoação, fizemos alguns ensaios de modulação prosódica da frequência fundamental, a destacar trechos das expressões matemáticas de acordo com o nível na árvore MathML. No respeitante às pausas, identificamos os seus principais padrões nas expressões matemáticas. Realizamos também um experimento de rastreamento ocular com pessoas videntes, para compreender os processos cognitivos em torno da observação, análise e processamento das expressões matemáticas. Na terceira etapa, foi criado e avaliado com estudantes com deficiência visual um modelo de regressão linear que calcula as pausas para as expressões matemáticas de forma dinâmica. Os resultados mostraram avanços introduzidos pelas soluções encontradas, avanços percebidos principalmente quando as expressões matemáticas não são familiares aos estudantes. Os resultados do experimento de rastreamento ocular apontaram que além da complexidade da expressão matemática, foi necessário propôr um novo conceito formal que foi denominado diversidade, quantificando essa propriedade subjectiva das estruturas das expressões, porque se verificou que também impacta durante o processamento cognitivo das expressões. A análise dos dados forneceu pistas para a criação do modelo de interacção que faz uso da diversidade para controlar a carga cognitiva no acesso às expressões matemáticas durante o processo. A avaliação do modelo com pessoas com deficiência visual mostrou um avanço em relação aos trabalhos existentes, uma vez que os estudantes tiveram melhor desempenho ao acessar as expressões matemáticas com o modelo. Na quarta etapa fizemos a proposição final do modelo com base na avaliação das pessoas com deficiência visual. Os resultados alcançados nessa investigação possibilitam uma maior autonomia na leitura das expressões matemáticas, podendo as pessoas com deficiência visual governar a interacção no acesso auditivo de acordo com a necessidade de reforço da sua memória, além disso, pode diminuir o tempo na manipulação de expressões matemáticas em comparação com as ferramentas tradicionais, melhorar o processo de escrita, uma vez que à escrita está atrelada a leitura e aliviar a memória do estudante. Além destas contribuições citadas, podemos destacar também a descoberta do novo parâmetro diversidade, que se relaciona fortemente com o processamento cognitivo das expressões. De modo geral, estas contribuições tornam possível a melhoria e desenvolvimento na educação matemática, particularmente no processo ensino-aprendizagem das pessoas com deficiência visual, a torná-los seres mais autonómos, o que, além dos contributos científicos, pode gerar também impactos sociais e económicos decorrentes da acessibilidade.”

 Palavras-chave: Fala Sintetizada, Matemática, Acessibilidade, Deficiência Visual, Complexidade, Diversidade.

DEI TALKS | “From Numerical Libraries, To Efficient Matrix Multiplication Compiler-Only Code Generation, To a Modular Automated General Packing Data Transformation” pelo Prof. J. Nelson Amaral

Pelo Autor:

“To support both Artificial Intelligence and High-Performance Computing workloads, new processors have introduced hardware acceleration for matrix multiplication. Examples include the Matrix Multiply Assist (MMA) in the IBM POWER10 and the Advanced Matrix Extensions (AMX) in the Intel Sapphire Rapids microarchitecture for Xeon servers. This talk describes how, in a collaboration between the University of Alberta, the University of Campinas, and IBM, we developed compiler technology to support such accelerators. An initial solution delivered a robust pattern matcher for General Matrix Multiplication (GEMM) computation operating at the LLVM intermediate representation that allows the replacement of the computation with an invocation of a high-performance library. A later solution delivered a compiler-only path for code generation by adapting the layered approach used in numerical libraries to the compiler code-generation process. Finally, a modular and automated general strategy for data packing, which can be applied to multiple algorithms, was developed for the Multi-Level Intermediate Representation (MLRI).”

From Numerical Libraries, To Efficient Matrix Multiplication Compiler-Only Code Generation, To a Modular Automated General Packing Data Transformation” será apresentada dia 17 de julho, às 11:30, na sala B006, com a moderação do Prof. Pedro Diniz (DEI) e a coorganização DEI Talks e Núcleo Estudantil ACM FEUP.

J. Nelson Amaral, a Computing Science professor at the University of Alberta with a Ph.D. from The University of Texas at Austin, has published in optimizing compilers and high-performance computing. Scientific community service includes general chair for the 23rd International Conference on Parallel Architectures and Compilation Techniques in 2014, for the International Conference on Performance Engineering in 2020, and for the International Conference on Parallel Processing in 2020. Accolades include ACM Distinguished Engineer, IBM Faculty Fellow, IBM Faculty Awards, IBM CAS “Team of the Year”, awards for excellence in teaching, the University of Alberta Graduate-Student Association Award for Excellence in Graduate Student Supervision, an University of Alberta Award for Outstanding Mentorship in Undergraduate Research & Creative Activities, and a recent University of Alberta 2020 COVID-19 Remote Teaching Award.”

https://webdocs.cs.ualberta.ca/~amaral/

Provas de Doutoramento em Media Digitais: “Location-Based Serious Games for Science Communication of Natural Heritage”

Provas de Doutoramento em Media Digitais

Candidata:
Liliana Andreia da Rocha Santos

Data, Hora e Local:
29 de junho, às 14:00, na Sala de Atos da FEUP

Presidente:
Doutor Pedro Nuno Ferreira da Rosa da Cruz Diniz, Professor Catedrático do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.

Vogais:
Doutora Luciane Maria Fadel, Professora Adjunta do Departamento de Expressão Gráfica da Universidade Federal de Santa Catarina, Brasil;
Doutora Teresa Isabel Lopes Romão, Professora Associada do Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa;
Doutor João Paulo Fonseca da Costa Moura, Professor Auxiliar da Universidade de Trás-os-Montes e Alto Douro;
Doutor Paulo Simeão de Oliveira Ferreira de Carvalho, Professor Auxiliar do Departamento de Física e Astronomia da Faculdade de Ciências da Universidade do Porto;
Doutor António Fernando Vasconcelos Cunha Castro Coelho, Professor Associado com Agregação do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto (Orientador);
Doutor Rui Pedro Amaral Rodrigues, Professor Associado do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.

Resumo:

“Comunicação Científica assume cada vez mais importância para sensibilizar as pessoas para o património natural, que é da maior importância para uma sociedade sustentável.

Esta tese propõe o uso de jogos sérios baseados na localização como uma ferramenta de media digital eficaz para a comunicação de ciência do património natural. A nossa hipótese é que os jogos sérios podem ser uma ferramenta eficaz para a comunicação de ciência do património natural e que os jogos sérios baseados em localização podem melhorar ainda mais a comunicação de ciência relativa ao património natural, permitindo que essa mensagem ocorra no seu respetivo contexto físico (in loco). Com as nossas questões de investigação procuramos descobrir qual o papel dos jogos sérios para a comunicação de ciência do património natural, como os jogos sérios baseados na localização podem contribuir para a comunicação de ciência do património natural e como podemos ajudar outras pessoas a projetar jogos sérios baseados na localização para comunicação de ciência do património natural.

Uma revisão sistemática da literatura ajudou a entender os possíveis papéis dos jogos sérios na comunicação de ciência. Revelou que eles podem aumentar a consciencialização, o gosto, o interesse, as opiniões e a compreensão do nosso património natural. Também identificámos diferentes tipos de tecnologias, mecânicas de jogos e conteúdos de comunicação de ciência que estes jogos integram.

Esta investigação segue a metodologia de Design science research. Desenvolvemos três protótipos de jogos para entender como os jogos sérios baseados na localização podem contribuir para esta área e, assim, responder à segunda questão de investigação. Estes jogos incluíam um mapa com pontos de interesse, a localização de um Sistema Global de Navegação por Satélite, informação georreferenciada, mini-jogos contextualizados, uma galeria de fotos colecionáveis e conteúdos para o público em geral. Foram desenvolvidos no contexto de um parque natural específico, no entanto, o conceito pode ser adaptado e aplicado a diferentes parques, jardins botânicos e outros espaços verdes.

O conhecimento e a experiência obtidos com a revisão da literatura e a criação dos protótipos ajudaram a desenvolver um modelo teórico e diretrizes para a criação de jogos sérios baseados na localização para comunicação de ciência do património natural, respondendo assim à terceira questão de investigação. O modelo teórico inclui o contexto, objetivos, procedimentos, o produto e as respostas. As diretrizes auxiliam ainda mais na análise, design, desenvolvimento e avaliação. Um workshop de cocriação para idealizar jogos sérios baseados na localização para um parque urbano foi criado para validar o modelo teórico e as diretrizes.

Os jogos sérios baseados na localização são uma ferramenta de media digital eficaz para a comunicação de ciência do património natural, permitindo a comunicação de forma mais contextualizada, melhorando assim a experiência do visitante. Por último, como principais contribuições, propomos um modelo teórico e um conjunto de diretrizes para a conceção de jogos sérios baseados na localização para a comunicação de ciência do património natural.”

 Palavras-chave: Jogos sérios, Jogos Baseados na Localização, Comunicação de Ciência, Património Natural.