Computational Science and Its Applications – ICCSA 2020: 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part V (Theoretical ... Science and General Issues Book 12253)

The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020. Due to COVID-19 pandemic the conference was organized in an online event. Computational Science is the main pillar of most of the present research, industrial and commercial applications, and plays a unique role in exploiting ICT innovative technologies. The 466 full papers and 32 short papers presented were carefully reviewed and selected from 1450 submissions. Apart from the general track, ICCSA 2020 also include 52 workshops, in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as software engineering, security, machine learning and artificial intelligence, blockchain technologies, and of applications in many fields. Front Matter ....Pages i-xli Front Matter ....Pages 1-1 Evaluation of Meteorological Data-Based Models for Potential and Actual Evapotranspiration Losses Using Flux Measurements (Mirka Mobilia, Antonia Longobardi)....Pages 3-18 GNSS Network RTK for Automatic Guidance in Agriculture: Testing and Performance Evaluation (Fabio Radicioni, Aurelio Stoppini, Raffaella Brigante, Andrea Brozzi, Grazia Tosi)....Pages 19-35 The Contribution of Remote Sensing and Silvicultural Treatments to the Assessment of Decline in an Oak Deciduous Forest: The Study Case of a Protected Area in Mediterranean Environment (Fabio Recanatesi, Matteo Piccinno, Benedetta Cucca, Carlo Maria Rossi, Maria Nicolina Ripa)....Pages 36-49 Evaluating the Potential of Vegetation Indices in Detecting Drought Impact Using Remote Sensing Data in a Mediterranean Pinewood (Benedetta Cucca, Fabio Recanatesi, Maria Nicolina Ripa)....Pages 50-62 Unsupervised Burned Area Mapping in a Protected Natural Site. An Approach Using SAR Sentinel-1 Data and K-mean Algorithm (Giandomenico De Luca, Giuseppe Modica, Carmen Fattore, Rosa Lasaponara)....Pages 63-77 Using Sentinel 2 Data to Guide Nitrogen Fertilization in Central Italy: Comparison Between Flat, Low VRT and High VRT Rates Application in Wheat (Francesco Santaga, Paolo Benincasa, Marco Vizzari)....Pages 78-89 Front Matter ....Pages 91-91 A Learning Based Approach for Planning with Safe Actions (Rajdeep Niyogi, Saurabh Sharma, Michal Vavrecka, Alfredo Milani)....Pages 93-105 Service Composition in a Context-Aware Setting with Functionally Equivalent Services (Sujata Swain, Rajdeep Niyogi)....Pages 106-119 Formal Verification of a Distributed Algorithm for Task Execution (Amar Nath, Rajdeep Niyogi)....Pages 120-131 Semantic Similarity Measures for Topological Link Prediction (Giulio Biondi, Valentina Franzoni)....Pages 132-142 Front Matter ....Pages 143-143 Large Scale Automatic Computations for Feynman Diagrams with up to Five Loops (E. de Doncker, F. Yuasa, O. Olagbemi, T. Ishikawa)....Pages 145-162 Performance Evaluation of Strassen Matrix Multiplication Supporting Triple-Double Precision Floating-Point Arithmetic (Tomonori Kouya)....Pages 163-176 Acceleration of Boltzmann Equation for Core-Collapse Supernova Simulations on PEZY-SC Processors (Hideo Matsufuru, Kohsuke Sumiyoshi)....Pages 177-192 Front Matter ....Pages 193-193 Shrinking Phenomena in Italian Inner Mountainous Areas. Resilience Strategies (Francesco Rotondo, Giovanni Marinelli, Luca Domenella)....Pages 195-206 Evaluating Socio-spatial Exclusion: Local Spatial Indices of Segregation and Isolation in Naples (Italy) (Maria Cerreta, Giuliano Poli, Maria Reitano)....Pages 207-220 Sustainable Local Development and Smart Specialisation Strategies: Recent Developments in Agri-food Research and Innovation Partnerships in Puglia, Italy (Manuela Persia, Pasquale Balena, Alessandro Bonifazi, Maria Immacolata Marzulli, Antonio Orlando, Carmelo M. Torre)....Pages 221-236 Front Matter ....Pages 237-237 An Approach to Classify Burned Areas Using Few Previously Validated Samples (Olga O. Bittencourt, Fabiano Morelli, Cícero A. S. Júnior, Rafael Santos)....Pages 239-254 Total Solar Irradiance Forecasting with Keras Recurrent Neural Networks (Amita Muralikrishna, Luis E. A. Vieira, Rafael D. C. dos Santos, Adriano P. Almeida)....Pages 255-269 Assessing Satellite Image Time Series Clustering Using Growing SOM (Rodrigo de Sales da Silva Adeu, Karine Reis Ferreira, Pedro R. Andrade, Lorena Santos)....Pages 270-282 Front Matter ....Pages 283-283 The Estimation of the Optimal Level of Productivity for Sponsors in the Recovery and Enhancement of the Historical-Architectural Heritage (Luigi Dolores, Maria Macchiaroli, Gianluigi De Mare, Antonio Nesticò, Gabriella Maselli, Elena Merino Gómez)....Pages 285-299 Evaluating the Urban Quality Through a Hybrid Approach: Application in the Milan (Italy) City Area (Alessandra Oppio, Marta Bottero, Federico Dell’Anna, Marta Dell’Ovo, Laura Gabrielli)....Pages 300-315 Universal Design-Based Framework to Assess Usability and Inclusion of Buildings (Erica Isa Mosca, Stefano Capolongo)....Pages 316-331 Urban Ecosystem Services: A Review of Definitions and Classifications for the Identification of Future Research Perspectives (Caterina Caprioli, Marta Bottero, Giulio Mondini)....Pages 332-344 Complex Projects Assessment. The Impact of Built Environment on Healthcare Staff Wellbeing (Andrea Brambilla, Alessandro Morganti, Göran Lindahl, Andrea Riva, Stefano Capolongo)....Pages 345-354 An Analytic Network Process (ANP)-Based Approach for Investigating Alternative Planning Scenarios of Mining Activities in Piedmont Region (Vanessa Assumma, Marta Bottero, Giulio Mondini, Elisa Zanetta)....Pages 355-365 Exploring the Redundancy Capacity Through a System Dynamics Approach (Marta Bottero, Giulia Datola, Elena De Angelis)....Pages 366-378 Front Matter ....Pages 379-379 Use of Landscape Metrics and Multi-criteria Analysis to Identify Landscape Units Concerning of Vegetation of Quadrilátero Ferrífero - MG (Lourdes Manresa Camargos, Nicole Andrade da Rocha, Ana Clara Mourão Moura)....Pages 381-393 Locally-Provided and Globally-Relevant Ecosystem Services: A Needed Distinction for Quantification (Dani Broitman)....Pages 394-404 Spatial Distribution of Surface Temperature and Land Cover: A Study Concerning Sardinia, Italy (Sabrina Lai, Federica Leone, Corrado Zoppi)....Pages 405-420 Soil Ecosystem Services and Sediment Production: The Basilicata Region Case Study (Angela Pilogallo, Lucia Saganeiti, Francesco Scorza, Beniamino Murgante)....Pages 421-435 Front Matter ....Pages 437-437 Smart Communities and Knowledge Sharing as Main Tools to Achieve Common Purposes (Luigi Mundula, Flavia Marzano)....Pages 439-452 The Impact of the COVID-19 Outbreak on the Socio-Economic Issues of the Black Sea Region Countries (George Abuselidze, Lela Mamaladze)....Pages 453-467 Integrated Data and Service Platforms for Smart Energy Networks as a Key Component for Smart Cities (Jan-Philipp Exner, Michelle Krämer, Dirk Werth, Andreas Eitel, Jochen Britz, Boris Brandherm)....Pages 468-483 Front Matter ....Pages 485-485 Numerical Analysis of Single Jet Impinging a Flat and Non-flat Plate (Flávia V. Barbosa, Senhorinha F. C. F. Teixeira, José C. F. Teixeira)....Pages 487-495 Computational Models of Defect Clustering for Tethered Bilayer Membranes (Tomas Raila, Marija Jankunec, Tadas Meškauskas, Gintaras Valinčius)....Pages 496-504 Model of Post Fire Erosion Assessment Using RUSLE Method, GIS Tools and ESA Sentinel DATA (Gabriele Nolè, Valentina Santarsiero, Antonio Lanorte, Biagio Tucci, Vito Augusto Capurso, Francesco Vito Ronco et al.)....Pages 505-516 A Mobile Small Sized Device for Air Pollutants Monitoring Connected to the Smart Road: Preliminary Results (Stefano Chiesa, Maurizio Pollino, Sergio Taraglio)....Pages 517-525 Using Google Trends, Gaussian Mixture Models and DBSCAN for the Estimation of Twitter User Home Location (Paola Zola, Paulo Cortez, Maurizio Tesconi)....Pages 526-534 Lurking Reduction at School Through Virtual Communities of Practice: The Binario 9 3⁄4 Project (Fabio Sartori, Claudia Maga, Barbara Tosi, Alessandro Varallo)....Pages 535-543 The Navigation of Multi-itineraries for the Cultural Heritage Context (Yuri Palazzo, Silvia Calegari, Paolo Avogadro, Matteo Dominoni)....Pages 544-552 Adsorption of Atoms on a Crystalline Ice Surface Model: Results from Periodic ab Initio Simulations (Stefano Ferrero, Berta Martínez-Bachs, Joan Enrique-Romero, Albert Rimola)....Pages 553-560 A Combined DFT and RRKM-Based Study on the Reactivity of HCO + NH\(_2\) on Amorphous Water Ice Surface (Joan Enrique-Romero, Albert Rimola, Cecilia Ceccarelli)....Pages 561-566 Spatio-Temporal Dynamics of Urban and Natural Areas in the Northern Littoral Zone of Rome (Maurizio Pollino, Francesco Lodato, Nicola Colonna)....Pages 567-575 Attractive Arcade-Based Platform Approach to Exam Preparation (Matheus Lorenzato Braga, Victor Martins de Sousa, Clara Scheffer Emerich, Rafael Américo Führich)....Pages 576-584 The Cross Validation in Automated Valuation Models: A Proposal for Use (Agostino Valier)....Pages 585-596 Neural Nets on FPGA a Machine Vision Algorithm Applied On MNIST Dataset Using Hls4ml Library (Fabrizio Alfonsi, Alessandro Gabrielli, Elisabetta Ronchieri)....Pages 597-605 Assessing the Impact of Land Use Changes on Ecosystem Services Value (Angela Pilogallo, Lucia Saganeiti, Francesco Scorza, Beniamino Murgante)....Pages 606-616 Cyber-Physical Platform for Preeclampsia Detection (Iuliana Marin, Maria Iuliana Bocicor, Arthur-Jozsef Molnar)....Pages 617-625 System Integration and Functional Priorities to Maximize Profit and Loss for Smart Factory (Jeong Seog Kho, Jongpil Jeong)....Pages 626-635 Impact of Renewable Energy Installations on Habitat Quality (Valeria Muzzillo, Angela Pilogallo, Lucia Saganeiti, Valentina Santarsiero, Francesco Scorza, Beniamino Murgante)....Pages 636-644 Habitat Degradation: A Comparative Study Between Tomar (PT) and Potenza (IT) (Luciana Nolè, Angela Pilogallo, Lucia Saganeiti, Francesco Scorza, Luis Santos, Beniamino Murgante)....Pages 645-654 Fast Multiple Montgomery Multiplications Using Intel AVX-512IFMA Instructions (Daisuke Takahashi)....Pages 655-663 Algorithms for Enhancing Satellite Imagery to Discover Archaeological Finds Covered by Shadow (Stefano Chiappini, Francesco Di Stefano, Eva Savina Malinverni, Roberto Pierdicca)....Pages 664-673 Test Case Generation Framework for Client-Server Apps: Reverse Engineering Approach (Emine Dumlu Demircioğlu, Oya Kalıpsız)....Pages 674-683 A Novel Cleaning Method for Yield Data Collected by Sensors: A Case Study on Winter Cereals (Antonio Natale, Sara Antognelli, Emanuele Ranieri, Andrea Cruciani, Antonio Boggia)....Pages 684-691 Physical and Numerical Models of Atmospheric Urban Dispersion of Pollutants (D. Toscano, M. Marro, B. Mele, F. Murena, P. Salizzoni)....Pages 692-699 Optimal Field Calibration of Multiple IoT Low Cost Air Quality Monitors: Setup and Results (E. Esposito, G. D’Elia, S. Ferlito, A. Del Giudice, G. Fattoruso, P. D’Auria et al.)....Pages 700-708 An ADMM Approach for Constructing Abnormal Subspace of Sparse PCA (Wenmin Jiang, Ying Zhao, Kazi Abir Adnan)....Pages 709-717 Prevalence of Calves’ Cryptosporidiosis in Northern Kazakhstan (Altay Ussenbayev, Dariyash Kurenkeyeva, Christian Bauer, Ablaikhan Kadyrov)....Pages 718-726 Formal Language Model for Transcriptome and Proteome Data Integration (Reginaldo Inojosa da Silva Filho, Ricardo Luis de Azevedo da Rocha, Claudio Santos Oliveira)....Pages 727-735 Towards Integration of Containers into Scientific Workflows: A Preliminary Experience with Cached Dependencies (Bruno da Silva Alves, Andrea Schwertner Charão)....Pages 736-744 Modeling Interstellar Amorphous Solid Water Grains by Tight-Binding Based Methods: Comparison Between GFN-XTB and CCSD(T) Results for Water Clusters (Aurèle Germain, Piero Ugliengo)....Pages 745-753 Error Correction in Nanopore Reads for de novo Genomic Assembly (Jacqueline Aldridge-Águila, Diego Álvarez-Saravia, Marcelo Navarrete, Roberto Uribe-Paredes)....Pages 754-762 A Large-Scale Security Analysis of Web Vulnerability: Findings, Challenges and Remedies (Primož Cigoj, Živa Stepančič, Borka Jerman Blažič)....Pages 763-771 Embryo Spatial Model Reconstruction (Darius Dirvanauskas, Rytis Maskeliūnas, Vidas Raudonis, Sanjay Misra)....Pages 772-780 Correction to: Evaluating the Urban Quality Through a Hybrid Approach: Application in the Milan (Italy) City Area (Alessandra Oppio, Marta Bottero, Federico Dell’Anna, Marta Dell’Ovo, Laura Gabrielli)....Pages C1-C1 Back Matter ....Pages 781-783