Computational Science and Its Applications - ICCSA 2016

Name: Computational Science and Its Applications - ICCSA 2016 | 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

Osvaldo Gervasi Beniamino Murgante Sanjay Misra Ana Maria A.C. Rocha Carmelo M. Torre David Taniar Bernady O. Apduhan Elena Stankova Shangguang Wang(Editor)

Springer (Publisher)

Published on 30. June 2016

XXVII, 702 pages

E-Book

PDF with digital watermarking

System requirements

978-3-319-42089-9 (ISBN)

€53.49incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Persons

Content

Intro
Preface
Organization
Contents - Part IV
Where the Streets Have Known Names
1 Introduction
2 Related Work
2.1 Toponymy and Street Names
2.2 Linked Open Data
3 Street Name Matching Method
3.1 Toponym Retrieval
3.2 Entity Retrieval
3.3 Entity Ranking
4 Evaluation
5 Results and Discussion
6 Crowd Sourcing Local Knowledge
6.1 Requirements
6.2 Storyboard
6.3 Software Architecture
7 Conclusion and Future Work
References
Functions and Perspectives of Public Real Estate in the Urban Policies: The Sustainable Development Plan of Syracuse
Abstract
1 Introduction
2 Case Study
3 Methods and Procedures
3.1 Urban Perspective: The Redevelopment of the Borgo S. Antonio Quarter
3.2 Public Properties Appraisal
3.3 PPP - Public Private Partnership
3.4 Italian Real Estate Investment Funds
3.5 Jessica
3.6 Risk Approach
4 Results and Discussions
4.1 Generating Strategies: Urban Equalization and Regeneration
4.2 Real Estate Development of the Two Properties: Appraisals
4.3 Real Estate Finance: Scenario Analyses
5 Conclusions
Acknowledgements
References
Soil Loss, Productivity and Cropland Values GIS-Based Analysis and Trends in the Basilicata Region (Southern Italy) from 1980 to 2013
Abstract
1 Introduction
2 Materials and Methods
2.1 Methodology - USPED
3 Data Analysis and Results
3.1 USPED Method Application
3.1.1 Rainfall Erosivity
3.1.2 Soil Erodibility
3.1.3 Slope-Length Factor
3.1.4 Cover and Management Factor
3.1.5 Model Application and Validation
4 Discussion and Final Remarks
References
Fair Planning and Affordability Housing in Urban Policy. The Case of Syracuse (Italy)
Abstract
1 Introduction
2 Materials
3 Methods
3.1 Equalization and Compensation Pattern
3.2 Housing Affordability
4 Application of the Equalization Pattern
5 Discussion. Compensation Scenarios for Social Housing
6 Conclusions
Acknowledgements
References
Cap Rate and the Historic City. Past and Future of the Real Estate of Noto (Italy)
Abstract
1 Introduction
2 Materials. Noto Real Estate
3 Methods
3.1 General Issues
3.2 Procedure
4 Results and Discussions
4.1 Clustering Analysis
4.2 Costs Calculation
4.3 Ordinary and Extra-Ordinary Incomes
4.4 Capitalization Rates
5 Conclusions
Acknowledgements
References
Industrial Areas and the City. Equalization and Compensation in a Value-Oriented Allocation Pattern
Abstract
1 Introduction
2 Materials
3 Methods and Procedures
3.1 Objectives, Data Sources, Information
3.2 The MAVT Approach to Select and Allocate the Enterprises in a Sustainable Way
3.3 Equalization and Compensation
4 Applications and Results
4.1 The Allocation of the Areas to the Firms
4.2 Results of the Equalization and Compensation Process
5 Discussions and Conclusions
Acknowledgements
References
Environmental Noise Sensing Approach Based on Volunteered Geographic Information and Spatio-Temporal ...
Abstract
1 Introduction
2 Related Work
3 The Proposed Methodology
3.1 Prediction Model at Geographic Neighborhood-Level
3.2 Time Intervals
3.3 Generalities of the Prediction Model for Environmental Noise
4 The Case Study
5 Experimental Results
5.1 Prediction Model Based on Support Vector Machine
5.1.1 Performance of the Artificial Neural Networks
5.1.2 Performance of the Support Vector Machine
5.1.3 Performance Comparison Between ANN and SVM
5.2 Visualization of Environmental Noise Maps
6 Conclusion and Future Work
Acknowledgments
References
A Knowledge-Based Approach for the Implementation of a SDSS in the Partenio Regional Park (Italy)
Abstract
1 Introduction
2 A Spatial Decision-Making Process for the Landscape Evaluation. A Literature Review
3 The Methodological Steps of the Knowledge-Based Approach
4 Case Study
4.1 The Representation and the Process Models
4.2 Outcome: Two Evaluation Scenario for the Tourism Development Through WLC Method
5 Conclusions
References
Factors of Perceived Walkability: A Pilot Empirical Study
Abstract
1 Introduction
2 Background
3 Experimental Design
4 Results
5 Conclusion
References
Evaluating the Effect of Urban Intersections on Walkability
Abstract
1 Introduction
2 Background and Related Research
3 The Evaluation Model
4 A Case Study of Application of the Evaluation Method
4.1 Study Area
4.2 Data and Evaluation Criteria
4.3 The Evaluation Procedure
4.4 Prioritizing Intersections
5 Discussion of Results
6 Conclusions and Future Work
References
Coupling Surveys with GPS Tracking to Explore Tourists' Spatio-Temporal Behaviour
Abstract
1 Introduction
2 Background
3 The Case Study
3.1 Exploratory Data Analysis of Interviews and Tourists Profiling
3.2 Tourists' Spatial Behaviour
3.3 Time Use by Tourist Profiles
4 Conclusions
References
Countryside vs City: A User-Centered Approach to Open Spatial Indicators of Urban Sprawl
Abstract
1 Introduction: Actionable Knowledge About Urban Sprawl
2 Conceptual Background: Open Spatial Indicators and Urban Sprawl in a European Perspective
3 Research Design
3.1 Research Approach and Process
3.2 Data and Analytical Methods
3.3 Research Context
4 Discussion of Preliminary Results
4.1 Classifying Urban Forms Based on Landscape Metrics
4.2 Land Use Matters: Sorting Out Sprawl Patterns According to Urban Functions
4.3 Putting Socio-Economic Drivers into the Picture: Land Use Efficiency
4.4 Sprawling in Time: Tracking Urban Change to Understand Land Taking Processes
5 Concluding Remarks and Future Developments
Acknowledgments
References
Integrating Financial Analysis and Decision Theory for the Evaluation of Alternative Reuse Scenarios of Historical Buildings
Abstract
1 Introduction
2 Case of Study
2.1 The Context
2.2 Calculation of Likelihood Function of NPV
3 Probabilistic Analysis of the Re-Use Revenue for Determining the Expected Value
4 The Gaming Among DM
5 The Coalition Among DM
5.1 The Intersection Between Expected Utility and Likelihood
6 Conclusion
Acknowledgements
References
Spatial Analysis for the Study of Environmental Settlement Patterns: The Archaeological Sites of the Santa Cruz Province
Abstract
1 Introduction
2 Methods
2.1 Map Algebra
2.2 Predictive Models
3 The Study Case
3.1 The Study Area
3.2 The Archaeological Settings and the Sites of Santa Cruz
3.3 The Archaeological Sensibility Evaluation (ASE) Model
4 Results
5 Final Discussion
Acknowledgments
References
Self-renovation in Rome: Ex Ante, in Itinere and Ex Post Evaluation
Abstract
1 Introduction
2 Aims of the Work and Assessment Approach
2.1 General Aims and Particular Focus
2.2 Assessment Approach and Perimeter of Investigation
3 Projects of Self-renovation of School Buildings in the City of Rome for Residential Purposes
3.1 Decisions and Repercussions Regarding the Procedures for Identifying the Structures and Determin ...
3.2 Decisions and Repercussions Tied to the Procedures for the Planning, Design and Execution of the ...
4 Considerations and Strategies of Action to Be Followed (in Advance) for the Development of Future ...
5 Conclusions
References
Enhancing an IaaS Ontology Clustering Scheme for Resiliency Support in Hybrid Cloud
Abstract
1 Introduction
2 Related Work
3 Problem Issues
4 The IaaS Service Discovery
4.1 Initial Approach
4.2 The IaaS Cloud Service Ontology
5 Clustering Using Some Existing Methods
5.1 Similarity Computation
5.2 Clustering Results
6 Enhancing the Clustering Scheme
6.1 Problem Issues
6.2 The Clustering Procedure
6.3 Verification and Performance Test
6.4 Test Environment
6.5 Experiment Results
7 Conclusion and Future Work
Acknowledgment
References
A Simple Stochastic Gradient Variational Bayes for Latent Dirichlet Allocation
1 Introduction
2 Stochastic Gradient Variational Bayes
3 Our Proposal
3.1 Lower Bound Estimation
3.2 Maximization of Lower Bound
3.3 Estimation Without Sampling
4 Experiment
4.1 Data Sets
4.2 Evaluation Method
4.3 Inference Settings
4.4 Evaluation Results
4.5 Effect of Sampling
5 Conclusion
References
On Optimizing Partitioning Strategies for Faster Inverted Index Compression
1 Introduction
2 Background
2.1 Index Compression
2.2 Directed Acyclic Graph
3 Optimizing Partitioning Strategy via Pruning DAG
3.1 VSEncoding
3.2 Optimized Partitioning Strategy
4 Experiments
4.1 Experimental Setup
4.2 Indexing Performance
4.3 Decompression Performance
5 Conclusion and Future Work
References
The Analysis for Ripple-Effect of Ontology Evolution Based on Graph
1 Introduction
2 The Function of Property in Ontology Evolution
3 Extracting Semantic Relationships in Ontology
3.1 Semantic Relationships
3.2 Quantization for the Strength of Semantic Relationship
3.3 Construction of SRG Graph Model
4 Analysis on the Ripple-Effect of Ontology Matrix and Ontology Evolution
4.1 Ontology Matrix
4.2 Quantitative Analysis of the Ripple-Effect of Ontology Evolution
5 Experiments and Evaluation
6 Conclusion
References
Linearizability Proof of Stack Data
1 Introduction
2 Background Study
3 Problem Proposing
4 Analysis for Stack Data Linearizability
4.1 Analysis on Complete History
4.2 Analysis on Purely-Blocking History
5 Conclusion and Future Work
References
Anonymous Mutual Authentication Scheme for Secure Inter-Device Communication in Mobile Networks
Abstract
1 Introduction
2 Previous Works
3 Proposed Scheme
3.1 Registration Phase
3.2 Authentication and Session Key Establishment Phases
3.3 Renewal Phase
4 Security Analysis
5 Performance Analysis
6 Conclusions
References
Recommending Books for Children Based on the Collaborative and Content-Based Filtering Approaches
1 Introduction
2 Related Work
3 Our Book Recommender
3.1 Identifying Candidate Books
3.2 The Content-Based Filtering Method
3.3 The Collaborative Filtering (CF) Approaches
4 Experimental Results
4.1 Datasets
4.2 Performance Evaluation of CBRec
5 Conclusions and Future Work
References
Ontology Evaluation Approaches: A Case Study from Agriculture Domain
Abstract
1 Introduction
2 Related Work
3 Ontology Validation
3.1 Delphi Method
3.2 Modified Delphi Method
3.3 Correctness of the Construction of an Ontology
4 Ontology Evaluation
4.1 Internal Evaluation
4.2 Application-Based Evaluation
4.2.1 Field Testing
4.2.2 Online Knowledge Base
4.2.3 Question Answering
5 Generalizing the Approaches and Conclusions
Acknowledgements
References
Effort Estimation for Program Modification in Object Oriented Development
Abstract
1 Introduction
2 Related Works
3 Effort Estimation for Object Oriented Development
3.1 Factors for Effort Estimation Calculation
3.2 A Updating Activities
3.3 B Target to be Updated
3.4 C Object Oriented Paradigm
4 Formula for Effort Estimation
4.1 A Fundamental Metrics
5 Experimental Setup
6 Conclusion
References
Populational Algorithm for Influence Maximization
1 Introduction
2 Influence
2.1 Spreading Activation Model
3 Influence Maximization
3.1 Genetic Algorithm for the Influence Maximization Problem
3.2 Dataset
3.3 Results
4 Conclusions and Future Works
References
Software Variability Composition and Abstraction in Robot Control Systems
1 Introduction
1.1 The HyperFlex Approach and Toolchain
2 Related Works
2.1 MDE for Software Variability Management
2.2 Feature Models Composition
2.3 Variability Modeling Approaches in Robotics
3 Variability Composition and Abstraction with HyperFlex
3.1 Bottom-Up Functionality Composition
3.2 Top-Down Specification Refinement
3.3 Refinement Model
3.4 Refinement Language
4 Conclusions and Future Works
References
A Methodological Approach to Identify Type of Dependency from User Requirements
Abstract
1 Introduction
1.1 Introduction to Type of Dependency (ToD)
2 Related Work
3 Background Study
3.1 Introduction to Vector Model (VM)
3.2 Introduction to Fuzzy Set Theory (FST)
4 A Framework to Identify ToD from User Requirements
5 Case Study
5.1 Identifying ToDs from Users' Requirements
6 Comparative Analysis
7 Conclusions
8 Future Discussion
References
Evolution of XSD Documents and Their Variability During Project Life Cycle: A Preliminary Study
1 Introduction
2 Related Work
3 Research Methodology
4 Metrics and Analysis Implementation
5 Study Execution
6 Results
7 Threats to Validity
8 Analysis
9 Conclusions
10 Future Work
References
Efficient, Scalable and Privacy Preserving Application Attestation in a Multi Stakeholder Scenario
1 Introduction
2 Use Case
3 Literature Study
4 Proposed Architecture
5 Scalable Dynamic Behavior
5.1 Scalable Measurement
6 Attestation Protocol for Scalable Dynamic Behavior
7 Results and Discussion
8 Conclusion
References
An Approach for Code Annotation Validation with Metadata Location Transparency
1 Introduction
2 Metadata Definition
2.1 Annotations
2.2 Code Annotations Practices
2.3 Motivating Example
3 The Metadata Validation Approach
4 EsfingeMETADATA
4.1 General View
4.2 Domain Specific Language of the Meta-framework
4.3 Internal Structure
4.4 Location Strategies
5 Evaluation
5.1 Methodology
5.2 Functional Evaluation
5.3 Modularity Analysis
5.4 General Analysis
5.5 Threats to Validity
6 Related Works
7 Conclusion
References
Towards a Software Engineering Approach for Cloud and IoT Services in Healthcare
Abstract
1 Introduction
1.1 Requirements Engineering
1.2 Risk Management for Information Systems
2 Advanced Model
3 Applying the Model for Health Care Risks
4 Results
5 Interdisciplinary Discussion
6 Conclusion and Future Work
Acknowledgements
References
Smaller to Sharper: Efficient Web Service Composition and Verification Using On-the-fly Model Checking and Logic-Based Clustering
1 Introduction
2 Motivating Examples
3 Related Works
3.1 Web Service Clustering
3.2 Web Service Composition and Verification
4 Logic-Based Web Service Clustering
4.1 Logic Representation of Web Service
4.2 XML-based Web Service Description to Logic Representation Conversion
4.3 Logic-Based Web Service Similarity
4.4 Logic-Based Web Service Clustering
5 Experimentation
6 Conclusion
References
MindDomain: An Interoperability Tool to Generate Domain Models Through Mind Maps
1 Introduction
2 Background
2.1 Agile Modelling
2.2 Mind Maps
2.3 Agile Requirements Modeling with Mind Maps
3 The MindDomain tool
3.1 The Model Transformation Process
3.2 Mind Domain Architecture
4 Case Study
5 Related Works
6 Conclusion and Future Works
References
Using Scrum Together with UML Models: A Collaborative University-Industry R&D Software Project
Abstract
1 Introduction
2 Related Work
3 The Collaborative University-Industry R&D Software Project
3.1 The HMI-Excel Program
3.2 The iFloW Project
4 Using Scrum with UML Models
4.1 Initialization Phase
4.2 Implementation Phase
5 Lessons Learned
5.1 Advantages
5.2 Disadvantages
6 Conclusions and Outlook
Acknowledgements
References
Rockfall Hazard Assessment in an Area of the "Parco Archeologico Storico-Naturale Delle Chiese Rupes ...
Abstract
1 Introduction
2 Geological and Geomorphological Framework of the Study Area
3 Survey Field and Engineering Properties of Rocks: Landslides Analysis in the Study Area "Belvedere ...
4 Historical-Cultural Importance of the Site "Belvedere Delle Chiese Rupestri"
5 Rockfall Analysis and Simulation
6 Simulation of the Trajectory in the Study Area
6.1 Profile AA' Near "Madonna Degli Angeli" Church Located in the Archaeological Park of the Rupestr ...
6.2 Rockfall Analysis and Simulation
6.3 Profile BB' in Proximity of the "Madonna Degli Angeli" Church Located in Archaeological Park of ...
6.4 Profile DD'
6.5 Profile FF' Near GPS Location Number 3 (Fig. 3)
7 Environmental Impacts and Possible Preventive Measures
7.1 Profile FF' Passing Through the GPS Location Number 3 (Fig. 3): Example of a Function of Rockfal ...
7.2 Profile CC' Passing Through the "Madonna Di Monteverde" Church
8 Analysis of Results and Conclusions
References
Integrating Computing to STEM Curriculum via CodeBoard
Abstract
1 Introduction
2 Related Work
3 Design
4 Implementation
5 Modules
6 Data Mining
6.1 The Measurable Scope
6.2 PES and Performance
6.3 Visualization of Analytics
7 Feedbacks
8 Conclusions
Acknowledgments
References
Trusted Social Node: Evaluating the Effect of Trust and Trust Variance to Maximize Social Influence in a Multilevel Social Node Influential Diffusion Model
Abstract
1 Introduction
2 Related Works
3 Algorithm Design
4 Analysis of the Experiments and Discussions
5 Conclusion
References
Enhanced Metaheuristics with the Multilevel Paradigm for MAX-CSPs
1 Introduction
2 Metaheuristics
2.1 Simulated Annealing Algorithm (SA)
2.2 Genetic Algorithms (GAs)
3 Combining SA and GA with the Multilevel Paradigm
4 Experimental Results
4.1 Experimental Setup
4.2 Analysis of Results
5 Conclusion
References
Processing of a New Task in Conditions of the Agile Management with Using of Programmable Queues
Abstract
1 Introduction
2 Preliminary Bases
3 Related Works
4 Precedent-Oriented Approach to Processing the New Task
4.1 Steps of the Interruption Caused by the New Task
4.2 Instrumental Environment of Processing the New Task
4.3 Precedent Oriented Modeling of the New Task
5 Features of Processing the Reason "New Task"
5.1 An Initial Statement of a New Task
5.2 Stepwise Refinement in Processing the New Task
5.3 Figuratively-Semantic Support in Interactions with Textual Units
6 Conclusion
Acknowledgement
References
Using CQA History to Improve Q&A Experience
1 Introduction
2 Related Work
3 Investigating CQA History
4 Evaluation
4.1 Methodology
4.2 Results
4.3 Discussion
4.4 Threats to Validity
5 Conclusion and Future Work
References
The Use of Computer Technology as a Way to Increase Efficiency of Teaching Physics and Other Natural ...
Abstract
1 Introduction
2 The Features of the Proposed Approach to Teaching Physics and Concepts of Modern Natural Science f ...
3 The Use of Multimedia Lecture Courses
4 Teaching Physics to Medical Students
5 The Use of Learning Management Systems
6 The Basis of Special Educational Environment for Teaching Physics
7 Conclusions
Acknowledgment
References
A Nonlinear Multicriteria Model for Team Effectiveness
1 Introduction
2 Materials and Methods
2.1 Problem Features
2.2 Sample
2.3 Measures
2.4 RBF Interpolation Models
3 Results
4 Discussion and Conclusions
References
Assessment of the Code Refactoring Dataset Regarding the Maintainability of Methods
1 Introduction
2 Related Work
3 Approach
3.1 Dataset Construction
3.2 Data Analysis Methodology
4 Results
4.1 The Maintainability of Refactored Methods
4.2 The Effect of Refactorings on Method-Level Source Code Metrics
5 Threats to Validity, Limitations
6 Conclusions and Future Work
References
A Public Bug Database of GitHub Projects and Its Application in Bug Prediction
1 Introduction
2 Related Work
3 Approach
4 Chosen Projects and the Created Databases
5 Evaluation
6 Conclusion and Future Work
References
Towards an Intelligent System for Monitoring Health Complaints
Abstract
1 Introduction
2 Background
2.1 Complaints Management Entity
2.2 Complaints
3 Solution Development
3.1 Data Analysis
3.2 Knime Analysis
3.3 Complaints Studies by Knime
3.3.1 Application to the Group of All Complaints
3.3.2 Application of the Model to Different Groups of Classification
3.4 Dashboards
3.4.1 Study of the Most Frequent Words on Complaints
3.4.2 Study of the Words by Frequency
3.4.3 Study of the Words by Classification Types
3.4.4 Study of Frequency by Classification
4 Discussion
5 Conclusion and Future Work
Acknowledgments
References
Proposal to Reduce Natural Risks: Analytic Network Process to Evaluate Efficiency of City Planning Strategies
Abstract
1 Natural Hazards, Disasters, Risks
2 Strategic Approaches to Reduce Risk
2.1 Mitigation Actions to Reduce Exposure
3 Efficiency Evaluation Instruments
3.1 Scenario Planning
3.2 Evaluation Process
4 Methodology
4.1 Ideal City Modeling
4.2 Criteria Definition
5 Results and Discussion
6 Conclusion
References
Data Processing for a Water Quality Detection System on Colombian Rio Piedras Basin
Abstract
1 Introduction
2 Background
2.1 Study Area Description
2.2 Dimensionality Reduction
2.3 Imbalanced Classes
2.4 Classifiers for Water Quality Detection
3 Mechanism for Detecting Water Quality in Rio Piedras Basin
3.1 Automatic Selection of Principal Components (ASPC)
3.2 Instances Reduction (IR-E)
3.3 Automatic Optimal Synthetic Data Selection (AOSDS)
3.4 Classifiers to Water Quality Detection
4 Experimental Results
4.1 Attributes Reduction
4.2 Instance Reduction
4.3 Attributes and Instances Reduction
4.4 Average Classifiers Training Time
4.5 Class Balance
4.6 Classification Module
5 Conclusions and Future Works
Acknowledgments
References
Validation of Coffee Rust Warnings Based on Complex Event Processing
Abstract
1 Introduction
2 Background
2.1 Early Warning Systems
2.2 Complex Event Processing
3 State of the Art
4 Proposal
4.1 Application Scenario
4.2 System Design
4.3 Experimental Prototype
5 Results and Discussion
6 Conclusion and Future Works
Acknowledgements
References
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Computational Science and Its Applications - ICCSA 2016

Description

More details

Other editions

Additional editions

Persons

Content

System requirements