Computational science and its applications -- ICCSA 2019 : 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings. Part II

The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019. The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five general tracks: computational methods, algorithms and scientific applications; high performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 259 workshop papers were presented at 33 workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as software engineering, security, artificial intelligence and blockchain technologies. Front Matter ....Pages i-xxx Front Matter ....Pages 1-1 Expert System for Urban Multimodal Mobility Estimation Based on Information from Public Mobile Network (Krešimir Vidović, Sadko Mandžuka, Marko Šoštarić)....Pages 3-11 Asymtotic Distribution of the Bootstrap Parameter Estimator for the AR(p) Model (Bambang Suprihatin, Endro Setyo Cahyono, Novi Rustiana Dewi)....Pages 12-22 Weighted Coefficients to Measure Agreement Among Several Sets of Ranks Emphasizing Top and Bottom Ranks at the Same Time (Sandra M. Aleixo, Júlia Teles)....Pages 23-33 Metrics to Rank Illegal Buildings (Paolino Di Felice)....Pages 34-43 Fog Based IIoT Architecture Based on Big Data Analytics for 5G-networked Smart Factory (Yohan Han, Byungjun Park, Jongpil Jeong)....Pages 44-52 Design and Analysis of OpenStack Cloud Smart Factory Platform for Manufacturing Big Data Applications (Dae Jun Ahn, Jongpil Jeong)....Pages 53-61 Towards a Resident Static Analysis (Maxim Menshikov)....Pages 62-71 Distributed Shortest Paths on Power Law Networks in the Generalized Linear Preference Model: An Experimental Study (Mattia D’Emidio, Daniele Frigioni)....Pages 72-81 Financial Feasibility Assessment of Public Property Assets Valorization: A Case Study in Rome (Italy) (Francesco Tajani, Carmelo Maria Torre, Felicia Di Liddo)....Pages 82-93 Modeling an Optimal Control Problem for the Navigation of Mobile Robots in an Ocduded Environment Application to Unmanned Aerial Vehicles (Kahina Louadj, Philippe Marthon, Abdelkrim Nemra)....Pages 94-102 Front Matter ....Pages 103-103 The Effectiveness of Strategies to Reduce External Costs from Commuting in Central Europe (Silvio Nocera, Francesco Bruzzone)....Pages 105-119 Effects of Rolling Stock Unavailability on the Implementation of Energy-Saving Policies: A Metro System Application (Marilisa Botte, Luca D’Acierno, Mariano Gallo)....Pages 120-132 Latent Classes Exploring the Sense of Passengers Well-Being in the Terminal: Evidence from a Peripheral Airport (Maria Grazia Bellizzi, Laura Eboli, Gabriella Mazzulla)....Pages 133-147 Some Features of Formatting the Arrival Time Distribution (Vladimir Chebotarev, Boris Davydov, Kseniya Kablukova, Vadim Gopkalo)....Pages 148-161 Basic Framework for Adjusting the Freight Train Schedule (Boris Davydov, Vyacheclav Esaulov, Vadim Gopkalo, Kseniya Kablukova)....Pages 162-176 SaveMyBike – A Complete Platform to Promote Sustainable Mobility (Massimiliano Petri, Antonio Pratelli)....Pages 177-190 Big Data and Policy Making: Between Real Time Management and the Experimental Dimension of Policies (Grazia Concilio, Paola Pucci, Giovanni Vecchio, Giovanni Lanza)....Pages 191-202 Detection of Points of Interest from Crowdsourced Tourism Data (Ivana Semanjski, Moustapha Ramachi, Sidharta Gautama)....Pages 203-216 Cycling for Home-to-School Travel in Palermo: A Method for Assessing the Optimal Allocation of New Cycling Infrastructure (Gabriele D’Orso, Marco Migliore)....Pages 217-230 A Land Use and Transport Interaction Model for the Greater Florence Metropolitan Area (Massimiliano Petri, Antonio Pratelli, Guglielmo Barè, Leonardo Piccini)....Pages 231-246 Front Matter ....Pages 247-247 Computational Methods for OCT Images Analyze Provided Within Diabetic Retinopathy (Daniela Moraru, Sanziana Istrate, Cecilia Eniceicu, Paul E. Sterian)....Pages 249-256 Multifractal Analysis with L2 Norm Denoising Technique: Modelling of MS Subgroups Classification (Yeliz Karaca, Majaz Moonis, Yu-Dong Zhang)....Pages 257-269 A Comparison of Two Hölder Regularity Functions to Forecast Stock Indices by ANN Algorithms (Yeliz Karaca, Carlo Cattani)....Pages 270-284 Front Matter ....Pages 285-285 Hahai: Computational Thinking in Primary Schools (Sergio Tasso, Osvaldo Gervasi, Anna Locchi, Flavio Sabbatini)....Pages 287-298 An Image-Based Encoding to Record and Track Immersive VR Sessions (Bruno Fanini, Luigi Cinque)....Pages 299-310 Leveraging Reinforcement Learning Techniques for Effective Policy Adoption and Validation (Nikki Lijing Kuang, Clement H. C. Leung)....Pages 311-322 Impact of Time Granularity on Histories Binary Correlation Analysis (Paolo Mengoni, Alfredo Milani, Yuanxi Li)....Pages 323-335 Sharing Linkable Learning Objects with the Use of Metadata and a Taxonomy Assistant for Categorization (Valentina Franzoni, Sergio Tasso, Simonetta Pallottelli, Damiano Perri)....Pages 336-348 Front Matter ....Pages 349-349 Affective Computing for Enhancing Affective Touch-Based Communication Through Extended Reality (Chutisant Kerdvibulvech, Sheng-Uei Guan)....Pages 351-360 Humble Voices in Political Communication: A Speech Analysis Across Two Cultures (Francesca D’Errico, Oliver Niebuhr, Isabella Poggi)....Pages 361-374 Computer-Generated Speaker Charisma and Its Effects on Human Actions in a Car-Navigation System Experiment - or How Steve Jobs’ Tone of Voice Can Take You Anywhere (Oliver Niebuhr, Jan Michalsky)....Pages 375-390 Emotion Recognition for Self-aid in Addiction Treatment, Psychotherapy, and Nonviolent Communication (Valentina Franzoni, Alfredo Milani)....Pages 391-404 Front Matter ....Pages 405-405 Risk Analysis: A Focus on Urban Exposure Estimation (Roberto De Lotto, Caterina Pietra, Elisabetta M. Venco)....Pages 407-423 SAFE (Safety for Families in Emergency) (Monica Sebillo, Giuliana Vitiello, Michele Grimaldi, Dimitri Dello Buono)....Pages 424-437 Front Matter ....Pages 439-439 Automatic Synthesis of Multilevel Automata Models of Biological Objects (Vasiliy Osipov, Elena Stankova, Alexander Vodyaho, Mikhail Lushnov, Yulia Shichkina, Nataly Zhukova)....Pages 441-456 Using Mathematical Models to Describe the Dynamics of the Spread of Traditional and Cryptocurrency Payment Systems (Victor Dostov, Pavel Shoust, Elizaveta Popova)....Pages 457-471 Self-Sovereign Identity for IoT Devices (Nataliia Kulabukhova, Andrei Ivashchenko, Iurii Tipikin, Igor Minin)....Pages 472-484 Error Detection in the Decentralized Voting Protocol (Alexander Bogdanov, Alexei Uteshev, Valery Khvatov)....Pages 485-494 Cryptography in Blockchain (Nikita Storublevtcev)....Pages 495-508 Implementation of an E-Voting Scheme Using Hyperledger Fabric Permissioned Blockchain (Denis Kirillov, Vladimir Korkhov, Vadim Petrunin, Mikhail Makarov, Ildar M. Khamitov, Victor Dostov)....Pages 509-521 Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies (Denis Kirillov, Oleg Iakushkin, Vladimir Korkhov, Vadim Petrunin)....Pages 522-536 Architecture of a Smart Container Using Blockchain Technology (Oleg Iakushkin, Dmitry Selivanov, Ekaterina Pavlova, Vladimir Korkhov)....Pages 537-545 Methods of Formal Software Verification in the Context of Distributed Systems (Anna Fatkina, Oleg Iakushkin, Dmitry Selivanov, Vladimir Korkhov)....Pages 546-555 Analytical Comparison of DLT Platforms Activity (Oleg Iakushkin, Anna Fatkina, Dmitry Selivanov, Vladimir Korkhov)....Pages 556-566 Electronic Expertise Using Distributed Ledger Technology (Oleg Iakushkin, Alexey Pismerov, Vladislav Popov, Anastasia Berlina, Vladimir Korkhov)....Pages 567-576 Secret Voting: Knowledge vs Trust (Ildar M. Khamitov, Victor Dostov, Pavel Shoust)....Pages 577-586 Simulation of Distributed Applications Based on Containerization Technology (Daniil Malevanniy, Oleg Iakushkin, Vladimir Korkhov)....Pages 587-595 Blockchain as a Platform for Fog Computing (Ivan Podsevalov, Oleg Iakushkin, Ruslan Kurbangaliev, Vladimir Korkhov)....Pages 596-605 Blockchain Network Threats: The Case of PoW and Ethereum (Artem Shurov, Daniil Malevanniy, Oleg Iakushkin, Vladimir Korkhov)....Pages 606-617 Distributed Ledger Technology and Cyber-Physical Systems. Multi-agent Systems. Concepts and Trends (Dmitry Arsenjev, Dmitry Baskakov, Vyacheslav Shkodyrev)....Pages 618-630 Deep Learning Approach for Prognoses of Long-Term Options Behavior (A. V. Bogdanov, S. A. Bogdanov, V. P. Rukovchuk, D. S. Khmel)....Pages 631-640 Front Matter ....Pages 641-641 Using Neural Networks and Hough Transform for Leukocytes Differentiation in Blood Count Images (Yuri Marchetti Tavares, Nadia Nedjah, Luiza de Macedo Mourelle)....Pages 643-653 Efficient Application Mapping onto Three-Dimensional Network-on-Chips Using Multi-Objective Particle Swarm Optimization (Maamar Bougherara, Nadia Nedjah, Djamel Bennouar, Rebiha Kemcha, Luiza de Macedo Mourelle)....Pages 654-670 Evolutionary Design of Approximate Sequential Circuits at RTL Using Particle Swarm Optimization (Rebiha Kemcha, Nadia Nedjah, Amin Riad Maouche, Maamar Bougherara)....Pages 671-684 Machine Learning Models for Depression Patient Classification Using fMRI: A Study (Sanskriti Gupta, Rekha Vig)....Pages 685-696 Front Matter ....Pages 697-697 Detection of Faults in an Osmotic Dehydration Process Through State Estimation and Interval Analysis (C. A. Collazos, Fredy Sanz, I. A. Monroy, Adriana Maldonado-Franco, Emiro De-la-Hoz-Franco, Farid Meléndez-Pertuz et al.)....Pages 699-712 Security-State Estimation of Electrical Power Systems: A Methodological Proposal (Fredy A. Sanz, C. A. Collazos, Iván Ruiz, Farid Meléndez-Pertuz)....Pages 713-730 Robust Control of an Evaporator Through Algebraic Riccati Equations and D-K Iteration (Javier Jiménez-Cabas, Farid Meléndez-Pertuz, David Ovallos-Gazabon, Jaime Vélez-Zapata, Hermes E. Castellanos, César A. Cárdenas et al.)....Pages 731-742 On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems (Marina Dioto, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior)....Pages 743-757 A Telemedicine System Using Petri Nets (Iván Ruiz, C. A. Collazos, Fredy A. Sanz, José García, Emiro De-la-Hoz-Franco, Farid Meléndez-Pertuz et al.)....Pages 758-766 Particle Charging Using Ultra-Short Pulse Laser in the Ideal Maxwellian Cold Plasma for Cancer Treatment Based on Hadron Therapy (Vala Mehryar Alviri, Sheida Asad Soleimani, Sasan Soudi, Morteza Modarresi Asem)....Pages 767-784 Back Matter ....Pages 785-786