2^nd Conference on Intelligent Systems and Information Technologies

prof. dr hab. inż.
Wiesław Marszałek

Opole University of Technology

SPEECH TITLE: "Applications the Lyapunov exponents, 0-1 test for chaos and sample entropy concepts for the computations of 2D bifurcation diagrams of nonlinear dynamical systems"

SPEECH DATE: CANCELED

ABSTRACT

Various two-dimensional (2D) bifurcation diagrams for nonlinear dynamical systems will be analyzed through the applications of Lyapunov exponents, 0-1 test for chaos and sample entropy concepts. The diagrams obtained through the above different methods will be compared to each other to show their similarities and differences. Computational aspects of the creation of the 2D diagrams of sizes 1000x1000 discrete points will also be discussed. The 2D diagrams identify periodic, chaotic and constant steady-state solutions and several examples from the areas of nonlinear electrical circuits and chemical oscillatory systems will be included.

BIOGRAPHY

Wieslaw Marszalek received the Ph.D. and D.Sc. (Habilitation) degrees in electrical engineering from the Warsaw University of Technology, Poland, and the Ph.D. degree in applied mathematics from North Carolina State University, Raleigh, NC, USA. In the past, he held various research and teaching positions with state and private universities in North Carolina, Ohio, New Jersey, and Connecticut (all in the USA). He was a Humboldt Research Fellow in Bochum, Germany, from 1990 to 1992; Hamburg, Germany, in 1996; and Halle, Germany, in 2011; and a Fulbright Research Fellow in Warsaw, Poland, from 2005 to 2006; and Opole, Poland, in 2018. He currently teaches computer science and advises doctoral students at the Opole University of Technology, Poland. He is a reviewer for numerous international journals and conferences in engineering and applied mathematics. He has published 130 journal and conference papers in the areas of differential-algebraic equations, nonlinear circuits and electric arcs, memristors, 0-1 test for chaos, sample entropy, singularity induced bifurcations, and multi-parameter bifurcation diagrams (see: https://wmarszalek.weebly.com).

prof. dr hab. inż.
Wojciech Penczek

Institute of Computer Science, Polish Academy of Sciences

SPEECH TITLE: "Model Checking versus Satisfiability Checking for Strategic Timed Temporal Logics"

SPEECH DATE: 24.09.2024

ABSTRACT

In this lecture we investigate timed extensions of strategic logics including ATL and ATL∗. We begin with discussing the syntax and semantics of ATL and its discrete time extension TATL. Then, we introduce two new strategy logics: Strategic CTL (SCTL) and its timed extension Strategic Timed CTL (STCTL). Each (timed) strategy logic is interpreted over two types of structures: models of synchronous (Time) Multi-Agent Systems MAS and of asynchronous (Time) Multi-Agent Systems AMAS. We consider two semantics related to information: imperfect (i) and perfect (I), and two semantics related to recall: imperfect (r) and perfect (R). Additionally, Time MAS and Time AMAS can be either discrete (D) or continuous (C). The lecture focuses on the model checking problem for SCTL and STCTL, considering all the semantics mentioned above, and comparing their complexity with other strategy logics. Notably, we demonstrate that SCTL is more expressive than ATL for all semantics, including the timed versions as well. Furthermore, we analyze the satisfiability problem for STCTL and show two approaches to solve this problem. The lecture is supported by simple examples of games and voting protocols to demonstrate the applications of strategy logics.

BIOGRAPHY

Wojciech Penczek is the Director of the Institute of Computer Science, Polish Academy of Sciences (PAS), and the chair of the Committee on Informatics of PAS. He was the chairman of the conference ICATPN’10, TIME’18, and ACSD’19 and recently he has been a PC member of over 100 conferences on Computer Science. He has co-authored more than 250 refereed scientific papers on Petri nets, distributed systems, timed systems, model checking, temporal, epistemic and strategic logics, verification of security properties, and web services. According to Google Scholar, his papers have been cited over 3780 times, and his H-index is 35. He received the Best Paper Award at AAMAS in 2004, at SEFM in 2015, and a Best Paper Nomination at AAMAS in 2018. His teaching record includes lectures at Advanced Course on Petri Nets 2010, ESSLLI 2010, and EASSS in 2006, 2007, and 2017.

prof. dr hab. inż.
Ryszard Choraś

Bydgoszcz University of Science and Technology Department of Telecommunications, Computer Sciences and Electrical Engineering

SPEECH TITLE: "Image Processing and Recognition for Human Identification"

SPEECH DATE: 23.09.2024

ABSTRACT

This lecture is a survey on biometrics and forensics, especially methods of image processing and recognition for human identification. A biometric system is a pattern recognition system that recognizes a person on the basis of a feature vector derived from a specific physiological or behavioral characteristic that the person possesses. All biometric systems work in a similar fashion:

• The user submits a sample that is an identifiable, unprocessed image or recording of the physiological or behavioral biometric via an acquisition device,
• This image and/or biometric is processed to extract information about distinctive features.

Biometric systems have four main components: sensor, feature extraction, biometric database, matching-score and decision-making modules. The input subsystem consists of a special sensor needed to acquire the biometric signal. Invariant features are extracted from the signal for representation purposes in the feature extraction subsystem. During the enrollment process, a representation (called template) of the biometrics in terms of these features is stored in the system. The matching subsystem accepts query and reference templates and returns the degree of match or mismatch as a score , i.e. a similarity measure. A final decision step compares the score to a decision threshold to deem the comparison a match or non-match. The processes of forensic computing can be divided into three main areas:

• Image Capture - The Imaging process is fundamental to any computer investigation.
• Image Processing - The processing software to extract features of the target image.
• Investigation.

Distinctions between biometrics and forensic are based on the fact that biometrics methods are implemented on live subjects. Techniques designed for person identification in biometrics can be utilized for forensic purposes. Automated biometrics-based personal identification systems can be classified into two main categories: identification and verification. The personal attributes used in a biometric identification system can be physiological, such as facial features, fingerprints, iris, retinal scans, hand and finger geometry; or behavioral, the traits idiosyncratic of the individual, such as voice print, gait, signature, and keystroking. Methods for recognizing a person based on a feature vector obtained from biometric images using deep learning methods and VGG networks are presented.

BIOGRAPHY

Prof. Ryszard S. Choraś is currently Full Professor in the Institute of Telecommunications, Department of Telecommunications, Computer Sciences and Electrical Engineering of the Bydgoszcz University of Science and Technology. His research includes image processing and analysis, image coding, feature extraction, computer vision and the use of artificial intelligence methods (in particular deep learning and CNNs) in multimedia security and biometrics subjects. At present, he is working in the field of image retrieval and indexing, mainly in low- and high-level features extraction and knowledge extraction in CBIR systems. He is the author of Computer Vision. Methods of Image Interpretation and Identification (2005) and more than 163 articles in journals and conference proceedings. He is the member of the Polish Neural Networks Society, IASTED, and the Polish Image Processing Association. Professor Choras is a member of the editorial boards of Machine Vision and Graphics, International Journal of Biometrics (IJBM), International Journal of Biology and Biomedical Engineering, Recent Patents On Signal Processing (Bentham Open). He is former the editor-in-chief of WSEAS Transaction on Signal Processing Journal, Image Processing and Communications, An International Journal and associate editor-in-chief Computer Science Journals (CSC Journals) Image Processing (IJIP). He is also the chairman of the Image Processing and Communications Conference and editor books Image Processing and Communications Challenges published in Advanes in Intelligent Systems and Computing Springer Verlag Series. He has served on numerous conference committees, e.g., as Visualization, Imaging, and Image Processing (VIIP) , IASTED International Conference on Signal Processing, Pattern Recognition and Applications (SPPRA) and International Conference on Computer Vision and Graphics in Warsaw, ICINCO\ICATE Conference.

prof. dr hab.
Wojciech Jamroga

Institute of Computer Science, Polish Academy of Sciences

SPEECH TITLE: Towards Specification of Requirements for Crisis Mitigation Strategies

SPEECH DATE: 25.09.2024

ABSTRACT

The COVID-19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies, based on social, political, and technological instruments. It seemed clear at the first glance what all those measures have been trying to achieve, and what the criteria of success are. But is it really that clear?

Quoting various media sources, with COVID we had to fight an unprecedented threat to *health* and *economic stability*. While fighting it, we should protect *privacy*, *equality* and *fairness*, as well as do a coordinated assessment of *usefulness*, *effectiveness*, *technological readiness*, *cyber-security risks*, and threats to *fundamental freedoms* and *human rights*. Taken together, this is hardly a straightforward set of goals and requirements.

We postulate that modal logics for multi-agent systems provide a common platform to study (and balance) essential properties of pandemic mitigation strategies. We also show how one can obtain a list of such properties by "distilling" them from media snippets. Finally, we present a preliminary take on their formal specification using formulas of those logics.

BIOGRAPHY

Wojciech Jamroga is a full professor at the Institute of Computer Science, Polish Academy of Sciences. His research focuses on modeling, specification and verification of interaction between intelligent agents. Within that, he works mainly on the development of logic-based specification and verification techniques for information security requirements in voting protocols, in particular on formalizations of confidentiality, coercion-resistance, and voter-verifiability for e-voting.

Prof. Jamroga obtained his PhD from the University of Twente, Netherlands in 2004, and completed his habilitation at the Clausthal University of Technology, Germany in 2009. He has coauthored around 150 refereed publications, and has been a Program Committee member of most important conferences and workshops in AI and multi-agent systems. According to Google Scholar, his papers have been cited over 3200 times, and his H-index is 30. The research track of Prof. Jamroga includes the Best Paper Award at the main conference on electronic voting (E-VOTE-ID) in 2016, Best Paper Nomination at the main multi-agent systems conference (AAMAS) in 2018, and the Best Demo Award at AAMAS 2024.

His teaching record includes numerous courses at ESSLLI (European Summer School in Logic, Language and Information), EASSS (European Agent Systems Summer School), and ESSAI (European Summer School on AI), several courses at doctoral schools, and tutorials at top conferences in AI and multi-agent systems -- all of them on formal methods for multi-agent systems.