Computational Science and Its Applications – ICCSA 2020: 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part V

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 ¾ 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