Proceedings Include Papers Addressing Different Topics According to the Current Students’ Interest in Informatics
Total Page：16
File Type：pdf, Size：1020Kb
Copyright c 2019 FEUP Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any part of this work in other works must be obtained from the editors. 1st Edition, 2019 ISBN: 978-972-752-243-9 Editors: A. Augusto Sousa and Carlos Soares Faculty of Engineering of the University of Porto Rua Dr. Roberto Frias, 4200-465 Porto DSIE’19 SECRETARIAT: Faculty of Engineering of the University of Porto Rua Dr. Roberto Frias, s/n 4200-465 Porto, Portugal Telephone: +351 22 508 21 34 Fax: +351 22 508 14 43 E-mail: [email protected] Symposium Website: https://web.fe.up.pt/ prodei/dsie19/index.html FOREWORD STEERING COMMITTEE DSIE - Doctoral Symposium in Informatics Engineering, now in its 14th Edition, is an opportunity for the PhD students of ProDEI (Doctoral Program in Informatics Engineering of FEUP) and MAP-tel (Doctoral Program in Telecommunications of Universities of Minho, Aveiro and Porto) to show up and prove they are ready for starting their respective theses work. DSIE is a series of meetings that started in the first edition of ProDEI, in the scholar year 2005/06; its main goal has always been to provide a forum for discussion on, and demonstration of, the practical application of a variety of scientific and technological research issues, particularly in the context of information technology, computer science and computer engineering. DSIE Symposium comes out as a natural conclusion of a mandatory ProDEI course called "Methodologies for Scientific Research" (MSR), this year also available to MAP-tel students, leading to a formal assessment of the PhD students first year’s learned competencies on those methodologies. The above mentioned specific course (MSR) aims at giving students the opportunity to learn the processes, methodologies and best practices related to scientific research, particularly in the referred areas, as well as to improve their own capability to produce adequate scientific texts. With a mixed format based on a few theoretical lessons on the meaning of a scientific approach to knowledge, practical works on analysing and discussing published papers, together with multidisciplinary seminars, the course culminates with the realization of a DSIE meeting. Then, DSIE may be understood as a kind of laboratory test for the concepts learned by students. In this scope, students are expected to simultaneously play different roles, such as authors of the submitted articles, as members of both orga- nization and scientific committees, and as reviewers, duly guided by senior lecturers and professors. DSIE event is then seen as the opportunity for the students to be exposed to all facets of a scientific meeting associated with relevant research activities in the above mentioned areas. Although still at an embryonic stage, and despite some of the papers still lack of maturity, we already can find some interesting research work or promising perspectives about future work in the students’ thesis. At this moment, it is not yet essential, nor often possible, for most of the students in the first semester of their PhD, to produce sound and deep research results. However, we hope that the basic requirements for publishing an acceptable scientific paper have been fulfilled. Each year DSIE Proceedings include papers addressing different topics according to the current students’ interest in Informatics. This year, the tendency is on Software En- gineering and Robotics, Artificial Intelligence and Machine Learning, Text Mining and DSIE’19 - Proceedings of the 14th Doctoral Symposium in Informatics Engineering Telecommunications. The complete DSIE’18 meeting lasts one entire day and includes one invited talk by an academic researcher. Professors responsible for ProDEI program’s current edition, are proud to participate in DSIE’19 meeting and would like to acknowledge all the students who have been deeply involved in the success of this event. Hopefully, this involvement contributes for their better understanding of the themes addressed during the MSR course, the best scientific research methods and the good practices for writing scientific papers and conveying novel ideas. Porto, March 2019 Carlos Soares and A. Augusto de Sousa (Steering Committee of DSIE 2019) 1st Edition, 2019 - ISBN: 978-972-752-243-9 p. 4 FOREWORD ORGANIZING AND SCIENTIFIC COMMITTEES The chairs of the Organizing and Scientific Committees of the Doctoral Symposium in Informatics Engineering (DSIE’19) warmly welcome you to the DSIE 14th edition. With a great honour, we have accepted the invitation to be a part of these committees. Organizing an event, like the DSIE, confirmed to be both a challenging and practical task, in which all the persons involved have certainly derived great value. The joint effort of our colleagues from the Doctoral Programme in Informatics Engi- neering (ProDEI) and the Doctoral Programme in Telecommunications (MAP-tele), was instrumental in making this event a success. We believe that these efforts are reflected in the quality of the communications realized and the organization in general. Our first acknowledgment goes to our supervisors, Professor Augusto Sousa and Pro- fessor Carlos Soares. We would like to thank them for their time and their efforts in making this conference possible and for providing us with all invaluable concepts. We would like to thank all the senior members of the Scientific Committee for their involvement, the junior members for their collaboration, and the invaluable support of San- dra Reis and Pedro Silva (DEI) from the Informatics Engineering Department of Faculty of Engineering - University of Porto. And, above all, we thank you for being a part of DSIE’19! Porto, March 2019 Luis Roque and Paula Silva (Scientific Committee Chairs) Mafalda Falcão and Pedro Peixoto (Organization Committee Chairs) CONFERENCE COMMITTEES STEERING COMMITTEE A. Augusto Sousa Carlos Soares ORGANIZING COMMITTEE CHAIR Mafalda Falcão Ferreira Pedro Peixoto ORGANIZING COMMITTEE David Freitas Ferenc Tamási Flávio Couto Hajar Baghcheband Leonardo Ferreira Luis Roque Miguel Abreu Paula Silva Pedro Peixoto SCIENTIFIC COMMITTEE CO-CHAIRS Luis Roque Paula Silva SENIOR SCIENTIFIC COMMITTEE Ali Shoker Ana Rocha Aníbal Ferreira Carla Lopes Carlos Ferreira Daniel Silva Filipe Correia Gil Gonçalves Henrique Cardoso Henrique Salgado Hugo Ferreira João Bispo João Faria João Moreira Luís Reis Luís Teixeira Rui Abreu Rui Rodrigues Sérgio Nunes JUNIOR SCIENTIFIC COMMITTEE Amir Farzamiyan André Coelho David Freitas Ehsan Shahri Ferenc Tamási Flávio Couto Hajar Baghcheband Leonardo Ferreira Luís Roque Mafalda Falcão Miguel Abreu Paula Silva Pedro Peixoto SPONSORS DSIE’19 – Doctoral Symposium in Informatics Engineering is sponsored by: Contents Invited Speaker 10 Adérito Fernandes Marcos . 10 Session 1 - Software Engineering and Robotics 11 Experimental Evaluation of Formal Software Development Using Dependently Typed Languages Fernec Tarnasi .................................. 11 Towards an Artificial Intelligence Assistant for Software Engineers Pedro Peixoto ................................... 20 Toward a Soccer Server extension for automated learning of robotic soccer strategies Miguel Abreu ................................... 29 Evaluation of a low-cost multithreading approach solution for an embedded system based on Arduino with pseudo-threads Juliana Paula Felix, Enio Vasconcelos Filho and Flávio Henrique Teles Vieira 37 Session 2 - AI and Machine Learning 45 Survey on Explainable Artificial Intelligence (XAI) Leonardo Ferreira ................................ 45 Distinguishing Different Types of Cancer with Deep Classification Networks Mafalda Falcão Ferreira, Rui Camacho and Luís Filipe Teixeira . 54 Reinforcement Learning to Reach Equlibrium Flow on Roads in Transportation System Hajar Baghcheband ............................... 60 Optimal Combination Forecasts on Retail Multi-Dimensional Sales Data Luis Roque .................................... 66 Session 3 - Telecommunications 74 Performance Evaluation of Routing Protocols for Flying Multi-hop Networks André Coelho ................................... 74 A Survey on Device-to-Device Communication in 5G Wireless Networks Amir Hossein Farzamiyan ............................ 81 Comparative Analysis of Probability of Error for Selected Digital Modulation Techniques Ehsan Shahri ................................... 86 Session 4 - Text Mining 94 Lyrics-based Classification of Portuguese Music David Freitas ................................... 94 An Application of Information Extraction for Bioprocess Identification in Biomedical Texts Paula Silva .................................... 99 Natural Language Analysis of Github Issues Flávio Couto ...................................104 INVITED SPEAKER ADÉRITO FERNANDES MARCOS Adérito Fernandes-Marcos is Full Professor at Aberta University (the Portuguese public open distance learning university). He is founder and director of the Doctoral Program in Digital Media Art, running since 2012 in e-learning mode, offered in association by Aberta University and University of Algarve. He is an integrated member of the Research Centre for Arts and Communication; and research collaborator of INESC TEC – Institute for Systems and Computer Engineering, Technology and Science. Dr. Fernandes-Marcos is founder and President of the Artech-International – International Association of Computer Art. He is editor-in-chief of