Electrocardiogram (ECG) are the physiological signals and a standard test to measure the heart's electrical activity that depicts the movement of cardiac muscles. A review study has been conducted on ECG signals analysis with the help of artificial intelligence (AI) methods over the last ten years i.e., 2012-22. Primarily, the method of ECG analysis by software systems was divided into classical signal processing (e.g. spectrograms or filters), machine learning (ML) and deep learning (DL), including recursive models, transformers and hybrid. Secondly, the data sources and benchmark datasets were depicted. Authors grouped resources by ECG acquisition methods into hospital-based portable machines and wearable devices. Authors also included new trends like advanced pre-processing, data augmentation, simulations and agent-based modeling. The study found improvement in ECG examination perfection made each year through ML, DL, hybrid models, and transformers. Convolutional neural networks and hybrid models were more targeted and proved efficient. The transformer model extended the accuracy from 90% to 98%. The Physio-Net library helps acquire ECG signals, including the popular benchmark databases such as MIT-BIH, PTB, and challenging datasets. Similarly, wearable devices have been established as a appropriate option for monitoring patient health without the time and place limitations and are also helpful for AI model calibration with so far accuracy of 82%-83% on Samsung smartwatch. In the pre-processing signals, spectrogram generation through Fourier and wavelet transformations are erected leading approaches promoting on average accuracy of 90%-95%. Likewise, data enhancement using geometrical techniques is well-considered; however, extraction and concatenation-based methods need attention. As the what-if analysis in healthcare or cardiac issues can be performed using a complex simulation, the study reviews agent-based modeling and simulation approaches for cardiovascular risk event assessment.

To reduce energy consumption and improve residents’ quality of life, “smart cities” should use not only modern technologies, but also the social innovations of the “Internet of Things” (IoT) era. This article attempts to solve transport problems in a smart city’s office district by utilizing gamification that incentivizes the carpooling system. The goal of the devised system is to significantly reduce the number of cars, and, consequently, to alleviate traffic jams, as well as to curb pollution and energy consumption. A representative sample of the statistical population of people working in one of the biggest office hubs in Poland (the so-called “Mordor of Warsaw”) was surveyed. The collected data were processed using spatial data mining methods, and the results were a set of parameters for the multi-agent system. This approach made it possible to run a series of simulations on a set of 100,000 agents and to select an effective gamification methodology that supports the carpooling process. The implementation of the proposed solutions (a “serious game” variation of urban games) would help to reduce the number of cars by several dozen percent, significantly reduce energy consumption, eliminate traffic jams, and increase the activity of the smart city residents.

The article proposes the concept of modeling that uses multi-agent systems of mutual interactions between city residents as well as interactions between residents and spatial objects. Adopting this perspective means treating residents, as well as buildings or other spatial objects, as distinct agents that exchange multifaceted packages of information in a dynamic and non-linear way. The exchanged information may be reinforced or diminished during the process, which may result in changing the social activity of the residents. Utilizing Latour’s actor–network theory, the authors developed a model for studying the relationship between demographic and social factors, and the diversified spatial arrangement and the structure of a city. This concept was used to model the level of residents’ trust spatiotemporally and, indirectly, to study the level of social (geo)participation in a smart city. The devised system, whose test implementation as an agent-based system was done in the GAMA: agent-based, spatially explicit, modeling and simulation platform, was tested on both model and real data. The results obtained for the model city and the capital of Poland, Warsaw, indicate the significant and interdisciplinary analytical and scientific potential of the authorial methodology in the domain of geospatial science, geospatial data models with multi-agent systems, spatial planning, and applied social sciences.

The non-invasive electrocardiogram (ECG) signals are useful in heart condition assessment and are found helpful in diagnosing cardiac diseases. However, traditional ways, i.e., a medical consultation required effort, knowledge, and time to interpret the ECG signals due to the large amount of data and complexity. Neural networks have been shown to be efficient recently in interpreting the biomedical signals including ECG and EEG. The novelty of the proposed work is using spectrograms instead of raw signals. Spectrograms could be easily reduced by eliminating frequencies with no ECG information. Moreover, spectrogram calculation is time-efficient through short-time Fourier transformation (STFT) which allowed to present reduced data with well-distinguishable form to convolutional neural network (CNN). The data reduction was performed through frequency filtration by taking a specific cutoff value. These steps makes architecture of the CNN model simple which showed high accuracy. The proposed approach reduced memory usage and computational power through not using complex CNN models. A large publicly available PTB-XL dataset was utilized, and two datasets were prepared, i.e., spectrograms and raw signals for binary classification. The highest accuracy of 99.06% was achieved by the proposed approach, which reflects spectrograms are better than the raw signals for ECG classification. Further, up- and down-sampling of the signals were also performed at various sampling rates and accuracies were attained.

This article proposes a formal method of designing robotic systems focusing on communication between components, as well as standardization of the messages between those components. The objective is to design a robotic system controller in a systematic way, focusing on communication at an abstract agent level. Communication, thus organized, and its properly defined specification facilitate the system’s further development. The method uses a standard message structure, based on IEEE FIPA standards, for communication within robotic systems composed of agents. Communication-focused top-down design of robotic systems based on binary decomposition is proposed, and used to design a companion robot working in the kitchen environment. The implemented robotic system is verified based on whether or not the specification conforms to the specified requirements. The characteristics of the designed communication are evaluated. The obtained results prove that the proposed method of designing robotic systems is formally correct, it facilitates the implementation of agents, and separates specification of the system from its implementation. The method of designing robotic systems is correct and useful. The proposed formal notation facilitates understanding of how the system operates and organizes the design process. It puts the communication between system components at the forefront. The resulting system specification facilitates the implementation. The tools for experimental evaluation of its characteristics enable the confirmation that it fulfills the requirements, and that the communication between the system components is correct.