DEI Talks | “Clustering Healthcare Data” by Prof. Pasi Fränti

Pasi Fränti received his MSc and PhD degrees from the University of Turku, in 1991 and 1994 in Science. Since 2000, he has been a professor of Computer Science at the University of Eastern Finland. He has published in 99 journals and 175 peer review conference papers. Pasi Fränti is the head of the Machine Learning research group. His current research interests include clustering algorithms, location-based services, machine learning, web and text mining, and optimization of health care services. He has supervised 30 PhD graduates and is currently supervising nine more.

 “Clustering Healthcare Data” will be presented November 7, at 11:00, in room I125 – participation is  free, all are welcome.

 Abstract: Clustering can a powerful tool in analyzing healthcare data. We show how clustering based on k-means and its variants can be used to extract new insight from various data with the aim to better optimize the health care system. We first show that simple variants of k-means and random swap algorithms can provide highly accurate clustering results. We demonstrate how k-means can be applied to categorical data, sets, and graphs. We model health care records of individual patients as a set of diagnoses. These can be used to cluster patients, and also create co-occurence graph of diagnoses depending on how often the same pair of diseases are diagnosed in the record of the same patient. Taking into account the order of the diagnoses, we can construct a predictor for the likely forthcoming diseases. We also provide a clustering algorithm to optimize the location of health care systems based on patient locations. As a case study, we consider coronary heart disease patients and analyze in what way the optimization of the locations can affect the expected time to reach the hospital within the given time. All the results can provide additional statistical information to healthcare planners and also medical doctors at the operational level to guide their efforts to provide better healthcare services.

DEI Talks | “Efficient Engineering of Systems of Systems” by Prof. Jerker Delsing

Professor Delsings research profile can be entitled “Internet of Thing Services and Systems”, with applications to automation in large and complex industry and society systems. Addressing design, engineering, and deployment of System of Systems (SoS) capable of collaborative automation, Prof. Delsing and his EISLAB group has participated in important EU projects like SocradesIMC-AESOP, Arrowhead and Productive4.0 project.

“Efficient Engineering of Systems of Systems” will be presented July the 26th, at 10:00, room I-105.

Areas of Research / Professional Expertise

“Delsing has a long standing in ultrasound sensor technology in particularly applied to flow measurement. His present research profile can be entitled “Internet of Thing Services and Systems”, with applications to automation in large and complex industry and society systems. The approach is based on Internet of Things (IoT) and the design engineering, and deployment of System of Systems (SoS) capable of collaborative automation. The integration and manufacturing of necessary electronics is a of key interest. Prof. Delsing and his EISLAB group has been a partner of several large EU projects in the field, e.g. Socrades and IMC-AESOP and ESIS. Currently he is the coordinator of the very large ARTEMIS project Arrowhead,  with 78 partners and a budget of 69M€.

Delsing has been supervisor for 37 students receiving the PhD degree, with some 45+ students in total for the EISLAB group. His list of publications can be found at: https://scholar.google.se/citations?user=_XLRuYAAAAAJ&hl=sv

Delsing is highly involved in the innovations systems related to automation and embedded systems. At the European level he is steering board member of ARTEMIS, board member of ProcessIT.EU. At national (Sweden) level he is board member of ProcessIT Innovations and ESIS. From 1998 – 2015 he was the chairman of ITF (Instrument Tekniska Föreningen/Instrument Society of Sweden) with about 1.000 automation engineers as members.”

Bio

“Prof. Jerker Delsing received the M.Sc. in Engineering Physics at Lund Institute of Technology, Sweden 1982. In 1988 he received the PhD. degree in Electrical Measurement at the Lund University. During 1985 – 1988 he worked part time at Alfa-Laval – SattControl (now ABB) with development of sensors and measurement technology. In 1994 he got the docent degree (associate prof) in Heat and Power Engineering. Early 1995 he was appointed full professor in Industrial Electronics at Luleå University of Technology where he currently is working as the scientific head of EISLAB, http://www.ltu.se/eislab. For the period 2004-2006 he also served as Dean of the engineering faculty at Luleå University of Technology.”

Source: https://www.routledge.com/

DEI Talks |”From building installations, through archaeology to precision agriculture” – Projects of the Jaén Graphics and Geomatics Group (GGGJ)

“From building installations, through archaeology to precision agriculture ” will be presented July the 13th, room B019 , at 15:00.

Abstract:

 The GGGJ research group celebrates its 25th anniversary working in two areas, Computer Graphics and Geomatics. The projects that have been awarded lately are also in these lines of research.

The so-called project: “Computer Graphics tool for 3D and 4D data management. Applying VR & AR techniques to Urban Infrastructures and Archaeology” (2018-2021) completed in December 2021, is oriented to 4D models hidden or disappeared for the view.

New projects now active are focused on Precision Agriculture, mostly oriented to the olive grove. The last one granted by the Spanish Ministry (180,000 euros) is entitled:” 3D/4D tools for the generation of digital twins of rural environments. Applications” starts in September and has a duration of 3 years.

Bios:

Francisco Feito, graduated in Mathematics (specializing in Pure Mathematics) in 1977, at the Complutense University of Madrid. After 12 years in pre-university teaching, he joined the University of Granada (Jaen Campus). In 1993 (already constituted the University of Jaen) he was elected Director of the Department of Computer Science (which included, and still includes, the areas of Computer Languages and Systems, Computer Science and Artificial Intelligence and Computer Architecture and Technology). In 1997 he was appointed General Director of Curriculum and Quality of the University of Jaén and in 1999 Vice-Rector of Research and International Relations (until 2002). Subsequently he was again Director of the department from 2004 to 2008. He has been a member of the faculty and of several University committees.

Areas of interest: Geometric Modeling; Solid Modeling; Algorithms in Computer Graphics; Geomatics; Computational Geometry; Spatial Information Systems; Geographic Information Systems; Precision Agriculture in the Olive Grove; Virtual Reality/Augmented Reality; Simulation; Smart City; Digital Twin- Digital Twin.

Lidia. M. Ortega received the BSc degree in Computer Science from the University of Granada (Spain), and the PhD degree from the University of Seville. She has been an associate professor at the Department of Computer Science at University of Jaén teaching at the High Polytechnics Institute since the 90s. Her research work focuses on computational Geometry applied to Computer Graphic, 3D-GIS, Spatial databases, Geomatics and Agriculture precision.

DEI Talks | ”Mergeable Nervous System for Robot Swarms” by Marco Dorigo

Marco Dorigo is the proponent of the well-known “Ant Colony Optimization” meta-heuristic optimization algorithm and a leading researcher in the field of swarm robotics, which allows groups of individually very simple agents/robots to obtain group intelligence that allows coordinating large groups of autonomous agents/robots without relying on any external infrastructure or any form of centralized control. This approach is very promising for performing tasks that are too difficult or dangerous for humans using very simple and inexpensive sets of agents/robots.

 ”Mergeable Nervous System for Robot Swarms” will be presented June 29, at 16:00, in room I-105.

 Abstract:

Typically, robot swarms coordinate through self-organization. With the proposal of the mergeable nervous system concept, we study how self-organization can be made more powerful as a tool to coordinate the activities of a robot swarm by injecting some components of hierarchical control. In the presentation, I will give a brief overview of the mergeable nervous systems concept and then illustrate the first steps we have made in implementing it in a heterogeneous swarm composed of drones and ground robots.

Bio:

Marco Dorigo received the Ph.D. degree in electronic engineering in 1992 from Politecnico di Milano, Milan, Italy. From 1992 to 1993, he was a Research Fellow at the International Computer Science Institute, Berkeley, CA. In 1993, he was a NATO-CNR Fellow, and from 1994 to 1996, a Marie Curie Fellow. Since 1996, he has been a tenured Researcher of the FNRS, the Belgian National Funds for Scientific Research, and co-director of IRIDIA, the artificial intelligence laboratory of the ULB. His current research interests include swarm intelligence, swarm robotics, and metaheuristics for discrete optimization. He is the Editor-in-Chief of Swarm Intelligence, and an Associate Editor or member of the Editorial Boards of many journals on computational intelligence and adaptive systems. Dr. Dorigo is a Fellow of the AAAI, EurAI, and IEEE. He was awarded numerous international prizes among which the Marie Curie Excellence Award in 2003, the IEEE Frank Rosenblatt Award in 2015, and the IEEE Evolutionary Computation Pioneer Award, awarded in 2016.

DEI Talks | “A Geographies of born-digital translation: TRANS.MISSION[A.DIALOGUE] as a case study” by Anne Karhio

Dr Anne Karhio’s work addresses topics related to contemporary poetry and technology, Irish literature and culture, and literary landscapes in various media environments. After her appointment as Associate Professor in English at the Norway Inland University of Applied Sciences, she is currently based in the National University of Ireland, Galway, as Lecturer in Contemporary English Literature in the School of English and Creative Arts. She is also Associate Professor II in Digital Culture at the University of Bergen, Norway, and has published widely on contemporary Irish poetry, digital literature, and the aesthetics of space and landscape.

“A Geographies of born-digital translation: TRANS.MISSION[A.DIALOGUE] as a case study” will be presented June 27, at I-105, 15:00.

Abstract:

 This presentation addresses the challenges of linguistic, geographical, and cultural translation through the specific case of J.R. Carpenter’s born-digital work TRANS.MISSION[A.DIALOGUE] and its translation from English into Finnish. I will consider how the challenges of linguistic translation from a European to a non-European language are further complicated by the requirements of code, as well as the translation of sociocultural context. Through its focus on technology, mobility, and migration, I suggest, Carpenter’s work invites us to consider the entangled connections between infrastructural geographies and the language of communications technology.

DEI Talks | “Digital Culture and Cultural User experience” by Markos Konstantakis

Markos Konstantakis is a PhD candidate in the Department of Cultural Technology and Communication at Aegean University, in the field of Augmented Reality, entitled: «Augmented Cultural User Experience – ACUX». He receives a Master’s Degree in “Specialization in Information Systems, Networks and Telecommunications”, from the Faculty of Sciences and Technology of the Hellenic Open University ( HOU ). Markos completed a Degree and a Master’s Degree in Marine Mechanical Engineer NTUA (National Technical University of Athens). Since November 2013 he is a Research Fellow – Lecturer for the implementation of the Act «Supplementary Program Distance Learning e-learning», University of Athens, teaching and writing program notes: «Network Engineer», «Matlab» and «Digital Culture». Since September 2016 is working as a Research Assistant for the implementation of projects regarding cultural tourism, conservation of arts and digital culture. His research includes the technologies of Virtual and Augmented Reality, Ubiquitous Computing, Digital Culture, User Experience, Cultural Heritage, Prototyping, Human-Computer Interaction, the Internet of Things and Serious Games.

 Join us on the 6th of June, at 14:00, in room I-105 of FEUP, for the presentation of “Digital Culture and Cultural User experience”.

 Abstract:

The immense interest in academia and the cultural industry has been to augment users’ participation during their interaction with cultural artefacts by making them an actor in their own cultural experience. Cultural User eXperience (CUX) has gained momentum in recent years, and a factor that affects CUX is the cultural background and profile of the individual user. Users have their own cultural characteristics and preferences, they learn and interact differently with a particular artefact, and finally, they obtain a unique cultural experience.

CUX is an essential consideration that should be acknowledged and implemented when initiating the Cultural Heritage (CH) domain. It is beyond the usability of a cultural product or system. It includes both pragmatic and hedonic user factors that could influence a user’s positive experience when interacting with the system or product, leading to the effectiveness of CH activities. The diversity of visitors to cultural spaces is one of their unique attributes and is becoming a significant challenge for these venues to meet their visitors’ needs. How can they address the variety of interests and needs of all their visitors? Therefore, it is necessary to know visitors’ expectations when visiting cultural spaces.

The cultural tourists of today (at least in developed countries) travel more than the tourists of the past, and it is possible that the tourists of tomorrow will travel even more often, increasing the level of cultural user experience. Therefore, travelling, which was considered a ”luxury good” in the past, is an integral part of people’s lives nowadays. Also, tourists do not leave their previous experiences, motivations, preconceptions, and attitudes behind when they travel, the same way they leave their coats in the cloakroom upon entering a museum. Furthermore, the effects of a journey are not limited to the time spent at the destination. Tourists connect information and construct meaning before travelling to a place and continue to do so months or even years after their journey.

It is indisputable that cultural tourism destinations require detailed categorization of their visitors and their underlying motivations since not every person is motivated by the exact reasons for learning, experimenting, or self-exploring. Because of this assumption that cultural tourists are not alike, most of the literature in cultural tourism follows a clustering approach, emphasizing determining the typology of the cultural tourists.

Amongst the abundance of tools available for interaction design, user typologies have been claimed to be “the most effective and fundamental”. By creating a concrete image of the user, designers gain insight into the elements a User Interface (UI) should have and how the user is likely to respond to those elements.

Furthermore, during the past years, cultural interactive experiences are produced in an increased pace to bring back the lost fiction, as well as the functional and ritual nature of the cultural objects. To date, there are various technologies available in cultural environments to support cultural exhibitions directly or indirectly (augmented reality, digital storytelling, serious games, linked open data, context awareness), and every technology used makes an impact on the exhibition or the visitors.

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.

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.

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.

DEI Talks | JUMPING FINITE AUTOMATA by Prof. Alexander Meduna

Prof. Alexander Meduna (born 1957 in Olomouc, Czech Republic ) is a theoretical computer scientist and expert on compiler design, formal languages and automata. He is a professor of Computer Science at the Brno University of Technology. Formerly, he taught theoretical computer science at various European and American universities, including the University of Missouri, where he spent a decade teaching advanced topics of formal language theory. He wrote over ninety papers related to theoretical computer science.

Join us on the 7th April, at 14:30, in room I-105 of FEUP, for the presentation of JUMPING FINITE AUTOMATA

Abstract:

This talk proposes a new investigation area in automata theory — jumping finite automata. These automata work like classical finite automata except that they read input words discontinuously — that is, after reading a symbol, they can jump over some symbols within the words and continue their computation from there. The talk gives several results concerning jumping finite automata in terms of commonly investigated areas of automata theory, such as closure properties. Most importantly, it achieves several results that demonstrate differences between jumping finite automata and classical finite automata. In its conclusion, the talk  formulates several open problems and suggests future investigation areas.

His latest book is Handbook of Mathematical Models for Languages and Computation

Meduna, Alexander; Tomko, Martin, Horacek, Petr (2019)

The Institution of Engineering and Technology, Stevenage, UK, ISBN: 978-1-78561-660-0

https://www.amazon.ae/Handbook-Mathematical-Models-Languages-Computation/dp/1785616595

His previous books include

  • Meduna, Alexander (2000). Automata and Languages: Theory and Applications. Springer Science & Business Media. ISBN 9781852330743.
  • Meduna, Alexander (2007). Elements of Compiler Design. CRC Press. ISBN 9781420063233.
  • Meduna, Alexander (2014). Formal Languages and Computation: Models and Their Applications. CRC Press. ISBN 9781466513457.
  • Meduna, Alexander; Švec, Martin (2005). Grammars with Context Conditions and Their Applications. John Wiley & Sons. ISBN 9780471736554.
  • Meduna, Alexander; Techet, Jiří (2010). Scattered Context Grammars and Their Applications. WIT Press. ISBN 9781845644260.
  • Meduna, Alexander; Zemek, Petr (2014). Regulated Grammars and Automata. Springer. ISBN 9781493903696.
  • Meduna, Alexander; Soukup, Ondřej (2017). Modern Language Models and Computation: Theory with Applications. Springer. ISBN 9783319630991.