The 6th International Conference on Algorithms, Computing and Systems
    Sept. 16-18, 2022 ▪ Online

Prof. Xiong Li
Sun Yat-sen University, China

Prof. Xiong Li focuses on researching in System Analysis and Simulation, Agent-based Modeling, Complex Systems Engineering, and Logistics Data Analytics. He has published a book entitled “Agent-based Warfare Modeling” by National Defense Industry Press in 2013, and more than 100 papers in scientific journals, of which 60 have been indexed by SCI and EI. Besides, his PhD thesis entitled “Study on Warfare System Modeling Based on Meta-agents Interaction Chain” was nominated as one of the 30 Chinese PLA most excellent doctor theses in 2010 and the 100 national most excellent doctor theses in 2011, respectively. He is a reviewer of many SCI journals, such as International Journal of Production Research, Computational and Mathematical Organization Theory, and Journal of Systems Engineering and Electronics.

Speech Title: Agent-based Modeling and Simulation for Networked Equipment Support
Abstract: Networked equipment support is a new support mode that has the typical feature of complex adaptive system with various intelligent support entities in networked warfare space. Based on analysis on the process of networked equipment support, agent and multi-agent system technology is used, and agent-based networked equipment support models including interaction protocol model and behavior simulation model are designed. Thus, agent-based networked equipment support simulation is implemented by using EINSTein simulation experiment platform. The feasibility and efficiency of the proposed approach is validated by case study.




Prof. Roberto Montemanni
University of Modena and Reggio Emilia, Italy

Roberto Montemanni is full professor of operations research at the University of Modena and Reggio Emilia, Italy. He also acts as an external research advisor at the Dalle Molle Institute for Artificial Intelligence, University of Lugano, Switzerland. He obtained a Laurea degree in Computer Science from the University of Bologna, Italy and a Ph.D. in Applied Mathematics from the University of Glamorgan, UK. He has been administrating grants and leading basic and applied research projects both at national (Italy and Switzerland) and international levels. His main research interests are in the fields of mathematical modeling, algorithms and machine learning, with applications mainly in transportations, logistics and industrial engineering.

Speech Title: Drones and Logistics
Abstract: Unmanned vehicles, and aerial drones in particular, are becoming of great interest in many sectors ranging from precision agriculture to catastrophic events management and freight delivery. Logistics operators are concretely considering the use of these vehicles for deliveries to customers, due to the potential economical advantages and flexibility of such a solution. In this talk we will evaluate the impact of drones, when used together with traditional vehicles like trucks, from an economic/optimisation perspective. We will describe the "traveling salesman problem with drone" and we will discuss how to solve it through mathematical programming and metaheuristic algorithms. By analysing the results achieved on realistic instances, we will then quantify the theoretical economical gain that a Company can achieve by employing drones. Final considerations close the talk.




Prof. Vassilis Triantafyllou
University of Peloponnese, Greece

Vassilis Triantafyllou has a Diploma and PhD in Computer Engineering and Informatics, University of Patras. Currently, he is a Professor at the Electrical and Computer Engineering Department of the University of Peloponnese. He has extensive administrative experience (Rector of the T.E.I. of Western Greece, Head of the TESYD Academic Unit, Director of the RU6/CTI and NOC of TEI Western Greece. His research interests include design and development of distance learning systems, design and implementation of e-democracy applications and modeling of Social Science systems. His published research work includes 55 scientific articles in international journals and conferences, two book chapters with over 350 citations.

Speech Title: Citizens and Networked Society: Netizens
Abstract: The last few years, with the increasingly improving telecommunications infrastructure and the extensive use of social media the use of algorithms, machine learning and data analytics has given rise to a new field of research namely Computational Social Science. CSS uses computational techniques to produce models of social, political and economic problems. One major field affected is the field of Democracyand the democratic process. Citizens can participate in the political process and effect decisions leading to a more direct democratic model. The development of tools to support this process gives needs new research approaches, models and definitions.

 




Prof. Periklis Chatzimisios
International Hellenic University, Greece

Periklis Chatzimisios serves as Professor in the Department of Information and Electronic Engineering of the International Hellenic University (Greece), where he leads the Communications, Cybersecurity and Internet of Things (CCIoT) Research Group. He has been awarded the title of Researcher Professor by the Department of Electrical and Computer Engineering of the University of New Mexico (USA). He is also a Visiting Fellow in the Faculty of Science & Technology, at Bournemouth University (UK). Prof. Chatzimisios has participated as a researcher and scientific officer in many European and national research and development projects funded by European Commission, Institute of International Education (IIE) and national agencies. He is/has been involved in several standardization and IEEE activities under the IEEE Communication Society (ComSoc). His research topics include performance evaluation and standardization of mobile/wireless communications, Internet of Things, 5G communications, the 4th Industrial Revolution, Smart Cities and vehicular networking.

Speech Title: Communications for Vehicle-to-Everything (V2X) and Autonomous Driving
Abstract: The push for improved driving experience, including the ultimate goal of driver-less vehicles, has fueled the development of Connected and Autonomous Vehicles (CAVs). Connectivity is an important enabler for CAVs, as it allows for autonomous vehicles to directly participate in the Intelligent Transportation System (ITS) and make collective intelligent decisions. The talk will first discuss the four main types of connectivity scenarios that can be supported in Vehicle-to-Everything (V2X) applications and the various Levels of Automation (LoA) for autonomous driving. It will then provide a detailed overview of the technologies that can support V2X communications. The last part of the talk will introduce the SwiftV2X research project that proposes and studies Smart mmWave and MultiRATs for Multihop V2X communications as well as other research projects about autonomous driving.




Assoc. Prof. Yunbo Rao
University of Electronic Science and Technology, China

Yunbo Rao received his B.S. degree and M.E. degree from Sichuan Normal University and University of Electronic Science and Technology of China in 2003 and 2006, respectively, and Ph.D. degree from University of Electronic Science and Technology of China, Chengdu in 2012, both in School of Computer Science and Engineering (SCSE). His Ph.D advisor is Prof. LeiTing Chen. He has been as a visiting scholar of Electrical Engineering of the University of Washington from Oct 2009 to Oct 2011, Seattle, USA. And his supervisor is Prof. Mingting Sun. His research interests include video enhancement, computer vision, three-dimensional reconstruction, Virtual Reality, Augmented reality, and crowd animation. He also worked as research interns at Neusoft Inc. during 2004-2008. Since May 2012, he joined School of Information and Software Engineering, University of Electronic Science and Technology of China. Currently, he is an associate professor at University of Electronic Science and Technology of China (UESTC).He is a supervisor of Ph.D student in Dec. 2017.

Speech Title: Construction and Application of Intelligent Dataset
Abstract: Annotation tools are the first step in processing raw data. Whether it is detection task, segmentation task, 3D perception, point cloud, etc., it is necessary to create truth values to supervise network learning. Enterprise level annotation schemes are generally completed by internal self-developed tools or professional annotation teams. For individuals or small teams, an open-source and easy-to-use annotation tool is crucial. In this work, we will share some method of annotation tools for industrial testing, such as: Labelme, LabelImg, CVAT, EISeg, RITM.Then we will also share its application of digital meters with differentiable binarization and mower project.




Assoc. Prof. Panagiotis Katsaros
Aristotle University of Thessaloniki, Greece

PANAGIOTIS KATSAROS is Associate Professor at the School of Informatics of the Aristotle University of Thessaloniki (AUTh), Greece. He holds a Bachelor in Mathematics from AUTh, a Master of Science on Software Engineering from Aston University in Birmingham and a PhD in Computer Science from AUTh. Prof. Katsaros has published over 100 research papers in international journals and conference proceedings on Software Engineering. His specific interests refer to the formal verification of software/systems, the model-based design, the analysis of dependability and security and the simulation-based performance analysis and optimisation. Prof. Katsaros is coordinator (or participates in) national and European R&D projects focusing on engineering of software for Internet of Things systems, space systems and more recently autonomous systems. Regular updates on Prof. Katsaros recent research achievements can be accessed online at: https://depend.csd.auth.gr.

Speech Title: Formalisation and Analysis of Natural Language System Requirements
Abstract: Requirements formalisation aims to transform natural language requirements into a specification with unique interpretation, such requirements should be possible to be formally verified. According to our view, formalisation is a two-stage model-driven process that involves using boilerplates, for specifying requirements, i.e. textual templates to be filled with ontology concepts. A series of semantic analyses is enabled (detect inconsistencies, ambiguity, redundancy, noise and incompleteness), which guide the engineer for improving the requirement specification. The problems addressed are a prerequisite to enable the derivation of formal specifications. Properties derivation is semi-automated, through having associated requirement boilerplates with property patterns in restricted natural language. Each pattern has been defined semantics in a logic language and the requirement terms/concepts are mapped to states and events of the system’s formal model. Our approach is tool-supported and it has been applied to the formalisation of industrial requirements for space systems.





Asst. Prof. Thomas Selig
Xi'an Jiaotong -Liverpool University, China

Dr. Thomas Selig is an Assistant Professor in the Department of Computing, School of Advanced Technology (SAT), at Xi'an Jiaotong-Liverpool University (XJTLU), Suzhou, China. He received his PhD in Computer Science from the University of Bordeaux, Bordeaux, France, in December 2014. He followed this with postdoctoral research positions at the University of Strathclyde, Glasgow, UK from 2015 to 2018, and at the University of Iceland, Reykjavik, Iceland, from 2018 to 2019, and has been working at XJTLU since December 2019. His research interests lie at the boundary between theoretical computer science and discrete mathematics, with a particular emphasis on combinatorics, including enumerative and bijective combinatorics, and combinatorial algorithms. His current research project is the study of combinatorial and algorithmic aspects of sandpile models.

Speech Title: Burning Algorithms for Stochastic Sandpile Models
Abstract: The sandpile model was introduced by Bak, Tang and Wiesenfeld in the 1980's as an example of the phenomenon known as self-organised criticality, whereby systems tune themselves to a critical state without the need for setting of external parameters. It has been a rich area of research since its introduction, across the fields of Mathematics, Computer Science, and Statistical Physics. One famous result is Dhar's burning algorithm for the so-called Abelian sandpile model (ASM), which checks in polynomial time whether a given configuration will recur infinitely often in the long-time running of the model. In this talk, we study the question of equivalent algorithms on stochastic variants of the ASM. While the problem in general is NP-hard, we exhibit polynomial time stochastic burning algorithms on certain graph families such as complete graphs.




Dr. Alex Norta
Dymaxion OÛ and Independent Researchers, Estonia

Alex Norta is currently a scientist entrepreneur focusing on his blockchain startup. Simultaneously, he lectures is currently affiliated to the Johannes Kepler University in Austria Linz for his habilitation seminar. He was an associate professor at the Department of Software Science of TalTech until March 1st, 2022 and earlier a researcher at the Oulu University Secure-Programming Group (OUSPG ) after having been a post-doctoral researcher at the University of Helsinki, Finland. He received his MSc degree (2001) from the Johannes Kepler University of Linz, Austria and his PhD degree (2007) from the Eindhoven University of Technology, The Netherlands. His PhD thesis was partly financed by the IST project CrossWork, in which he focused on developing the eSourcing concept for dynamic inter-organizational business process collaboration. His research interests include business-process collaboration, workflow management, e-business transactions, service-oriented computing, software architectures and software engineering, ontologies, mashups, social web. At the IEEE EDOC’12-conference, Alex won the best-paper award for his full research paper with the title “Inter-enterprise business transaction management in open service ecosystems”.

Speech Title: A Blockchain Implementation for Configurable Multi-Factor Challenge-Set Self-Sovereign Identity Authentication
Abstract: Multi-factor challenge-set self-sovereign identity authentication (MFSSIA) is an important part for establishing trust between systems, devices, organizations and humans for the emerging machine-to-everything (M2X) economy. Most systems for identity authentication (IA) are single sign-on (SSO), or have fixed challenge sets of limited degree. Additionally, IA systems are controlled by governments, or corporations that are closely affiliated with government entities. The available systems for self-sovereign IA do not offer the necessary flexible configurability of challenge sets. Based on research publications about a formal MFSSIA protocol, this paper presents a blockchain employing implementation for a running case assuming different smart-contract blockchain systems must be connected for sensitive data exchange. The prototype offers a marketplace for challenge-set creation and the challenge/response-lifecycle management employs decentralized knowledge graphs (DKG) together with oracles for response evaluations.