The Sound Installation “Forest Waves” on display at the Biodiversity Gallery until May 29

On the 19th of May inaugurated in the Biodiversity Gallery – Living Science Centre, the sound installation Forest Waves, by the student of the Master in Multimedia, *Luís Luzia.

Forest Waves’ is a sound installation that aims to communicate the history of the degradation of the Portuguese forest throughout the last decades. This unique ecosystem is in a state of decline and degradation due to the human impact, namely in what concerns the favouring of introduced species like the eucalyptus.

The installation takes advantage of two techniques to transmit information: soundscapes and data sonification. The soundscapes were captured in two different areas of the Peneda-Gerês National Park: Mata da Albergaria (a native forest) and a eucalyptus plantation. The data sonification corresponds to a musical composition created from data on the areas occupied by certain species in the national territory, translating their evolution over time. The eucalyptus (Eucalyptus globulus), maritime pine (Pinus pinaster) and different species of oak (Quercus genus) were selected due to their abundance and/or importance in the indigenous ecosystems of mainland Portugal.

Forest Waves’ thus seeks to explore new ways of communicating science, taking advantage of the great potential of the artistic medium as a way to confer qualitative information appealing to sensitivity and emotion.

+ info at: https://mhnc.up.pt/instalacao-forest-waves/

19 to 29 May; Tuesday to Sunday; 10 am to 1 pm and 2 pm to 6 pm (last access: 5.30 pm)

Free admission

*Luís Luzia is a twenty-three-year-old multidisciplinary artist from Vila Nova de Gaia. In 2019 he completed a degree in Biology at the Faculty of Sciences of the University of Porto, where he developed a strong interest in the dissemination and preservation of the beauty and diversity of the Portuguese natural heritage. However, a desire to seek new ways of communicating science outside traditional media led him to the Master in Multimedia at the Faculty of Engineering of the University of Porto, where he focused on interactive music and sound design. Besides developing installations, Luís is also a musician, illustrator and visual artist.

Aisha Animashaun, Master in Multimedia Alumna, wins the APDC Best Thesis Award, in the area of Media

With the support of CEE – Consortium of Engineering Schools, APDC – Portuguese Association for the Development of Communications, launched in February 2021, the Best Thesis Award, with the aim of rewarding annually the best master’s dissertations in the areas of Information Technology, Telecommunications and Media.

This year, in a ceremony associated with the 31º Digital Business Congress, the dissertation “Generative Soundscapes for Enhanced Engagement in Non-Invasive Neurorehabilitation”, by Aisha Jeanette Animashaun, Master in Multimedia Alumna, was awarded in the Media area.

The Dissertation, concluded in July 2021, was supervised by Prof. Gilberto Bernardes, Assistant Professor at DEI and Coordinator of the area of Interactive Music and Sound Design of the Master in Multimedia, who tell us more about this research:

“The lack of engagement and motivation, also referred to as apathy, has a negative impact on the treatment effectiveness and well-being of people with neurocognitive disorders such as dementia. In this context, we aimed to assess whether the engagement of people with dementia during non-invasive treatments is affected by noise levels from surrounding sound sources and negative auditory stimuli present in treatment environments. An online survey gauged that disruptive auditory stimuli and noise levels influence engagement and adherence levels of demented individuals during treatment. Negatively perceived sound sources were identified in both therapy facilities and at home, such as human voices, household appliances, and household noises. The results indicate that the perception of higher noise levels in therapeutic facilities is in correlation with the lower rate of perceived adherence during the therapy session compared to the lower noise level and higher engagement found when demented individuals interact at home. A generative sound environment strategy was proposed to dynamically mask the frequency bands of noise identified with negative auditory stimuli to promote a relaxing soundscape from a range of ambient sounds connoted in the literature with low degrees of valence and arousal.”

In conversation with Aisha, she shared with us the enormous satisfaction of receiving this distinction:

“To me, it is not so much about winning as it is to celebrate the people involved in the journey. I was thankful that all the work on the project as well as the input from my supervisor, professors, colleagues, friends, and family have been recognized through this award. I am really passionate about research that aims to improve health and wellbeing and I am thrilled that it translated well into the research project!”. When asked about the biggest challenge encountered during this journey, Aisha tells us that “The biggest challenge, as in so many projects from 2020 onwards, was the pandemic. My initial focus had to shift in order to eliminate the risk for health-impaired individuals. However, the support I received from my supervisor and surroundings helped me identify a more focused path and made the project even stronger than the previously proposed plan. I think one of the biggest achievements or most exciting events was to actually work with participants during the experiment and get their feedback on our prototype. Their openness to including multimedia technology in treatments for neurorehabilitation and the suggestive results of a higher engagement during the test was very encouraging.”

What about plans for the future?

“I would like to conduct further research into neurorehabilitation and neurocognitive disorders making use of multimedia-focused interventions and ultimately embark on a PhD journey to fuel my passion for research and learning”.

We wish you all the best Aisha!

Recalling last year’s edition, André Cruz, Alumnus of the Integrated Masters in Informatics and Computer Engineering, was also distinguished with this Award, in the area of Information and Communication Technologies, with his dissertation “Fairness-Aware Hyperparameter Optimization”, which focused on the study of biases and potential discriminations in the use of artificial intelligence systems related to gender, age, ethnicity or geographical location. The awarded research resulted in a new algorithm – Fairband, which allows training fairer models, increasing the fairness of automatic decision processes by 93%, on average. More about it can be seen here.

DEI Tutorials | “An Overview of OpenMP, MPI and CUDA” by Prof. Fahed Jubair

“An Overview of OpenMP, MPI and CUDA” will be conducted by Prof. Fahed Jubair, on the 12th of May, between 14:00 and 17:00, in room B006.

 The tutorial will describe an overview of three popular programming models: OpenMP, MPI and CUDA. The tutorial will first describe and compare the current types of parallel processors. Then, it will describe how OpenMP is used for programming shared-memory architectures. Next, the tutorial will describe how MPI is used for programming distributed-memory architectures. Finally, the tutorial will describe how CUDA is used for programming Nvidia GPUs. The tutorial will include practical examples of all programming models.

 Short-Bio:

Fahed Jubair graduated from Purdue University in 2014 with a Ph.D. degree in Electrical and Computer Engineering. He received his B.Sc. degree from the University of Jordan in 2007. Dr. Jubair is currently an Assistant Professor of Computer Engineering at the University of Jordan. His main research interests include optimizing compilers, parallel computing, heuristic algorithms, and machine learning.

CreativityTalks | Prof. Damián Keller will present us “Creativity in post-2020 music practices”

Given the current concentration of technological resources by a few financial conglomerates and the ongoing attempts to eliminate free-sharing from the internet, music once again provides a stage for social experiments that may have long-lasting effects. Damián Keller expands on the idea that we should apply different strategies to post-2020 music-making from the ones we adopted during the twentieth century. He focus on four emerging and complementary trends in an attempt to identify their creative specificities: telematic art, networked music performance, technologies for music notation and representation, and ubiquitous music. He acknowledges the transitory character of some of these labels and stress the difficulties of defining practices that are strongly tied to technological innovations. Rather than claiming the precedence, the intellectual ownership or the territorial hegemony of any of these terms, he proposes a conceptual map that highlights their applicability to various creative targets.

“Creativity in post-2020 music practices” will be presented by Prof. Damián Keller, on the 19th of May, at 18:00, online on: https://youtu.be/1mfRD8JncvY

The session will be moderated by Prof. Gilberto Bernardes, DEI’s Assistant Professor and Coordinator of the Interactive Music and Sound Design area of the Master in Multimedia.

Short-Bio:

Damián Keller is an Associate Professor of Music Technology at the Federal University of Acre and the Federal University of Paraíba in Brazil. He is a cofounder of the international research network Ubiquitous Music Group and a founding member of the Amazon Center for Music Research (NAP). He has published over two hundred articles on ubiquitous music and ecologically grounded creative practice in journals on information technology, design, education, philosophy and the arts. His latest coedited book is Ubiquitous Music Ecologies (Routledge). http://ccrma.stanford.edu/~dkeller

DEI Talks | “Task scheduling algorithms for fog architectures” by Prof. Celestino Lopes de Barros

Celestino Lopes de Barros is Professor at the Faculty of Science and Technology (FCT) of the University of Cape Verde (Uni-CV) since 2005. Graduated in Informatics in 2006 by the Instituto Superior de Educação, he obtained a Master’s degree in Electronic and Engineering and Telecommunications from the University of Aveiro in 2010. Holds the Certificate in Advanced Studies and has a PhD in Science and Technology from UaB and UTAD since 2021. His areas of interest are Cloud computing and its paradigms. Author of several papers focusing on ‘Job Scheduling in Fog Paradigm’.

Join us on the 11th of May, at 14:30, in room I-105 FEUP, for the presentation of “Task scheduling algorithms for fog architectures”

Abstract:

According to the author’s knowledge task scheduling in fog paradigm is highly complex and in the literature there are still few studies on it. In the cloud architecture, it is widely studied and in many researches, it is approached from the perspective of service providers. Trying to bring innovative contributions in these areas, we propose a solution to the context-aware task-scheduling problem for fog paradigm. In our proposal, different context parameters are normalized through Min Max normalization, requisition priorities are defined through the application of the Multiple Linear Regression (MLR) technique and scheduling is performed using Multi-Objective Non-Linear Programming optimization (MONLIP) technique.

7 of the 50 Huawei Scholarships were awarded to L.EIC and M.EIC students

Following the commitment assumed with the education sector in Portugal, through a memorandum of understanding signed during the 2021 edition of the Web Summit, at the StartUp Portugal stand, between Associação DNS.PT (.PT) and Huawei Portugal, Huawei launched a Scholarship Programme directed to university students in the areas of Engineering and Science, having recently recognized 50 university students for their academic and personal merit with the attribution of a scholarship worth 5,000 Euros, in an investment of 250,000 Euros.

For Forbes Portugal, Diogo Madeira da Silva, Head of Public Affairs & Communications at Huawei Portugal said that this is a “significant investment in the training of Portuguese students and an indelible contribution to a more capacitated, more digital and more competitive Portugal”, hence the fact that this initiative is being promoted together with .PT and with the support of INCoDe.2030, of Portugal Digital, the Commission for Citizenship and Equality and the Secretary of State and the Commission for Citizenship and Equality, “guarantees us the alignment with the empowerment, digital transition and equality agenda that the country is pursuing. And we hope that more partners can join this initiative”.

Around 3000 applications were received from young university students from all over the country, including the 7 students from DEI who recently received one of these scholarships that will make all the difference in their academic careers; Sofia Pinto, Tiago Oliveira, Miguel Silva and Diogo Neves are students in the Bachelor in Informatics and Computing Engineering, a joint FEUP/FCUP programme, and Rita Peixoto, Mário Mesquita and Miguel Gomes from the Master in Informatics and Computing Engineering at FEUP.

Talking to Sofia Pinto, she tell us that when she saw the email about the scholarship program, from the L.EIC secretariat, she thought “I think I have the right profile and trying is not difficult” and that’s how she “dared” to participate. And his decision couldn’t have been better, as it will allow her to save to invest in an MBA in the future and to travel, accumulating the experiences provided by what she most likes to do, travel!

Tiago Oliveira, Founder and Associate Director of Easy Future, intends to invest part of the winnings in this association and believes that this project was one of the most valued aspects in his CV, having decisively contributed to his being among the 50 lucky winners. Regarding the future Tiago tells us that he intends to create or work in a company that bets strongly in the technological development of the companies, through low cost means of development of sites and apps and support in the cybersecurity area.

Miguel Silva, 2nd year student at L.EIC, believes that the success of his application was due to his passion for technology, applied to the personal projects he develops in his spare time and also to the work developed in the different student groups where he is inserted. At the same time Miguel already dreams with the ERASMUS program, and counts with the scholarship for the additional costs of a season abroad. “It reassures me to know that I have room to explore different interests and invest in my education from now on”.

 Diogo Neves also sees ERASMUS as one of his academic ambitions because of his lifelong curiosity to get in touch with the digital reality of other countries. Diogo believes that his numerous extra-curricular activities, such as musical projects, social initiatives, involvement in academic associations and the various courses taken outside the area of computing, were the key to getting this grant.

Rita Peixoto considers that it was her professional experience so far, her summer internship, her path at JuniFEUP, namely now as Director of the Technology Department, and also her proactivity, mirrored in the various volunteering activities, the Erasmus+ program of partnership with Secondary Schools, the academic monitoring and the constant presence of sport in her life, the aspects most valued by Huawei.

“My dream is to create my own company and develop an innovative product that will help as many people as possible. Throughout my academic career I try to develop and implement the most different project ideas that I have, and I hope that one day one of them will grow to the point of becoming my job and main focus.” – this is how Miguel Gomes sees his future. As for the present, he considers that his professional experience at INESCTEC and Cloudware, his duties as a monitor at the “consultório digital de matemática” , his involvement in a student group, and the project developed in the IDEIA course unit were decisive for the success of his application.

Mário Mesquita, currently in Hong Kong on an exchange program, believes that his entrepreneurial spirit, applied to activities in student groups, participation in competitions, his professional experience obtained in internships and part-times, and the website he created, were valued and decisive to get this scholarship. He also sees himself as an entrepreneur in the future and does not rule out the possibility of creating his own start-up, but right now he wants to explore the world, although the plan will always be to return and bring the knowledge acquired back to Portugal.

Throughout its 17 years of activity in Portugal, Huawei has deepened a strong connection with Education and talent issues, with this program joining other initiatives and investments in the area, such as Smart Bus, Seeds for the Future, *ICT Academy, Summer School for Female Leadership in Digital Age, or, more recently, the inauguration of 5GAIner, a 5G and Artificial Intelligence lab.

*As part of the partnership established between FEUP and Huawei, which launched in 2020 the ICT Academy program with the aim of providing a comprehensive training solution that covers the development of content in key areas for current challenges and future demands, such as Big Data, Cloud Computing, Artificial Intelligence, Internet of Things or 5G, FEUP students have through this platform the opportunity of free training so that step by step they can start investing in their future.

DEI Talks | Fluent API: A software engineering technique with type theoretical implications by Yossi Gil

Joseph (Yossi) Gil is an Associate Professor at the Faculty of Computer Science of the Technion, Israel Institute of Technology. His publications were in diverse areas including distributed systems, image processing,  algorithms, PRAMs and parallel computing, databases, concepts of object oriented programming, numerical algorithms, … His B.Sc. (in physics summa cum laude), M.Sc. (computer science, summa cum laude) and Ph.D. were awarded by the Hebrew University in Jerusalem. Theoretical computer science, especially lower bounds and algorithms were his academic nursery, but he is also very keen on programming in various programming languages. His current research interest is in type systems and applications of machine learning to software engineering and numerical algorithms.

Join us on the 27th of April, at 14:30, in room B016 FEUP, for the presentation of “Fluent API: A software engineering technique with type theoretical implications”.

Abstract:

 A chain of method calls in an OO language, such as a.b().c(d).e(f,g).h().i()… is what the industry calls fluent API. In such a chain, the return value of all but the last invocation, is the receiver of the next invocation. The technique is advertised and used as a powerful software engineering tool. The technique is also used to embed domain specific languages (DSLs), such as SQL, in a host general programming language, such as Java. In this talk, I will present the technique, and the fundamental theoretical questions: How should one design the classes and methods so that fluent API works the way it is supposed to? What is required from the type system of the host programming language to admit certain chains, and forbid others?

The presentation will survey a series of publications showing deep correspondence between type systems and the theory of automata: finite state automata, pushdown automata, etc.

Mostra da U.Porto is back and from April 21 to 24 can be visited at the Pavilhão Multiusos de Gondomar

The 19th edition of the Mostra da Universidade do Porto runs until April 24 at the Pavilhão Multiusos de Gondomar. With free entrance and transportation, a large number of visitors is expected. They will be welcomed by students, teachers and technicians from various faculties of U.Porto and Research Centers.

Through the dozens of stands, the most curious will be able to experience numerous interactive activities and get to know the training offer of the undergraduate and master’s degree courses.

Students and their families who are considering applying to Higher Education will have the opportunity to attend several information sessions and on Sunday there will be special sessions on the transition from High School to Higher Education and on the social support they can apply for.

This year Mostra brings us a new feature, LIVE sessions that can be watched here.

At the Informatics and Computing Engineering stand, visitors will find motivated students available to answer all questions related to the Bachelor’s and Master’s degrees in Informatics and Computing Engineering and will be challenged to try out some serious games developed in the scope of the curricular units of these courses:

Quantik is a strategic board game. The game logic is developed with SICStus Prolog software and a 3D graphic interface was added later. There are different scenes, lights and cameras that make the environment richer. There are 3 different game modes to choose from: player vs player, player vs bot, and bot vs bot. It is also possible to undo moves and watch the game movie when the game is over.

Cromoparty is a game developed in C and Assembly. It is based on the famous game concept “Dance Dance Revolution”, but with some didactic references to biology, namely the mitosis process. Its main objective was to implement/deal with I/O operations in MinixOS of several devices such as keyboard, mouse, graphics card, etc.

Nudge is a strategic board game for two people. The game logic is developed with SICStus Prolog software and a 3D graphic interface was added later. There are different scenes, lights and cameras that make the environment richer. There are 3 different game modes to choose from: player vs player, player vs AI, and AI vs AI. It is also possible to undo moves and watch the replay when the game is over.

Grace is a telepresence robot that was to host the OpenCx conference at FEUP to be held in 2020, but did not make it due to the Covid 19 pandemic. The robot can be controlled by a Raspberry Pi running on Robot Operative System (ROS). To control the robot remotely, GraceVision was developed, an app on Flutter for iOS and Android that also allows access to the installed camera.

All the information about Mostra and its programme can be found here.

New PhD’s honored in the Conferement Ceremony 2022

The FEUP Auditorium will receive on April 8th, at 17:00, another Conferement Ceremony, which will award the most honorable distinction to those who completed their PhD and defended their thesis in 2020 and 2021.

In the list of honorees we find many students who decided to do their PhDs in DEI Programs. To them our best wishes, professional and personal.

 

Doctoral Program in Informatics Engineering

Bruno Miguel Carvalhido Lima

 

Doctoral Program in Digital Media

António Alberto Castro Baía Reis

Daniel dos Santos Catalão

Eduardo José Botelho Batista Morais de Sousa

João Miguel Calisto Marçal

Luciano José Santos Reis Moreira

Roberto Ivo Fernandes Vaz (Cum Laude)

 

Doctoral Program in Computer Science (Joint program with FCUP, UA and UM)

André Filipe Faria dos Santos

Diogo José Domingues Regateiro

Francisco Nuno Teixeira Neves

João Miguel Maia Soares de Resende

Joaquim Magalhães Esteves da Silva

Jorge Miguel Barros da Silva

José Luís da Silva Devezas (Cum Laude)

Liu Chong

Luís Miguel Tomé Nóbrega

Mariana Rafaela Figueiredo Ferreira de Oliveira

Patrícia Raquel Vieira Sousa

Ricardo Jorge Terroso de Araújo

Ricardo Pereira de Magalhães Cruz

Rogério António da Costa Pontes

Rui Jorge Pereira Gonçalves

Sílvia da Conceição Neto Bessa

DEI Talks | Formal Verification of Distributed Systems by Julien Brunel and David Chemouil

Julien Brunel and David Chemouil are senior researchers at ONERA, in Toulouse, specialized in formal specification and verification. Together with Nuno Macedo and Alcino Cunha (INESC TEC) they designed the 6th version (dubbed Electrum until recently) of the Alloy language and tool (originally proposed by the MIT). In recent years, Julien Brunel and David Chemouil have also been studying the verification of distributed algorithms. A recent highlight is the first mechanical proof of correctness of the distributed maintenance algorithm of the Chord peer-to-peer protocol, as well as formal techniques for the complete, semi-automatic verification of infinite-state systems, such as distributed algorithms.

Join us on the 8th April, at 14:30, in room I-105 of FEUP, for the presentation of this work.

Abstract:

The verification of distributed systems is challenging because these systems combine a rich structure, a high number of elements and a non-trivial temporal evolution. A trade-off between automation and completeness of the verification has to be made. In particular, one can use theorem provers, which offer complete confidence but tend to require considerable expertise and effort. Another option is to use model checkers, which offer complete automation, but cannot handle complex data structures and configurations.

In this talk, they will present recent work on verification techniques for distributed systems that are automatic and “as complete as possible”, or complete and “as automatic as possible”. They will illustrate their work with the analysis of Chord, a scalable distributed hash table.