%{search_type} search results

• EvoSET: Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines.- On the Use of Smelly Examples to Detect Code Smells in JavaScript.- Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka.- Focusing Learning-based Testing away from Known Weaknesses.- Polytypic Genetic Programming.- Evolving Rules for Action Selection in Automated Testing via Genetic Programming - A First Approach.- EvoSTOC: A New Multi-swarm Particle Swarm Optimization for Robust Optimization over Time.- The Static and Stochastic VRP with Time Windows and Both Random Customers and Reveal Times.- Pre-Scheduled Colony Size Variation in Dynamic Environments.- An Online Packing Heuristic for the Three-dimensional Container Loading Problem in Dynamic Environments and the Physical Internet.- Advancing Dynamic Evolutionary Optimization Using In-Memory Database Technology.- Road Traffic Rules Synthesis Using Grammatical Evolution.- Solving Dynamic Graph Coloring Problem Using Dynamic Pool Based Evolutionary Algorithm.- General: Meta-Heuristics for Improved RF Emitter Localization.- Automated Design of Genetic Programming Classification Algorithms Using a Genetic Algorithm.
• (source: Nielsen Book Data)

The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, colocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART. The 46 revised full papers presented together with 26 poster papers were carefully reviewed and selected from 108 submissions. EvoApplications 2016 consisted of the following 13 tracks: EvoBAFIN (natural computing methods in business analytics and finance), EvoBIO (evolutionary computation, machine learning and data mining in computational biology), EvoCOMNET (nature-inspired techniques for telecommunication networks and other parallel and distributed systems), EvoCOMPLEX (evolutionary algorithms and complex systems), EvoENERGY (evolutionary computation in energy applications), EvoGAMES (bio-inspired algorithms in games), EvoIASP (evolutionary computation in image analysis, signal processing, and pattern recognition), EvoINDUSTRY (nature-inspired techniques in industrial settings), EvoKNOW (knowledge incorporation in evolutionary computation), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoROBOT (evolutionary robotics), EvoSET (nature-inspired algorithms in software engineering and testing), and EvoSTOC (evolutionary algorithms in stochastic and dynamic environments). .
(source: Nielsen Book Data)

• EvoSET: Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines.- On the Use of Smelly Examples to Detect Code Smells in JavaScript.- Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka.- Focusing Learning-based Testing away from Known Weaknesses.- Polytypic Genetic Programming.- Evolving Rules for Action Selection in Automated Testing via Genetic Programming - A First Approach.- EvoSTOC: A New Multi-swarm Particle Swarm Optimization for Robust Optimization over Time.- The Static and Stochastic VRP with Time Windows and Both Random Customers and Reveal Times.- Pre-Scheduled Colony Size Variation in Dynamic Environments.- An Online Packing Heuristic for the Three-dimensional Container Loading Problem in Dynamic Environments and the Physical Internet.- Advancing Dynamic Evolutionary Optimization Using In-Memory Database Technology.- Road Traffic Rules Synthesis Using Grammatical Evolution.- Solving Dynamic Graph Coloring Problem Using Dynamic Pool Based Evolutionary Algorithm.- General: Meta-Heuristics for Improved RF Emitter Localization.- Automated Design of Genetic Programming Classification Algorithms Using a Genetic Algorithm.
• (source: Nielsen Book Data)

The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, colocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART. The 46 revised full papers presented together with 26 poster papers were carefully reviewed and selected from 108 submissions. EvoApplications 2016 consisted of the following 13 tracks: EvoBAFIN (natural computing methods in business analytics and finance), EvoBIO (evolutionary computation, machine learning and data mining in computational biology), EvoCOMNET (nature-inspired techniques for telecommunication networks and other parallel and distributed systems), EvoCOMPLEX (evolutionary algorithms and complex systems), EvoENERGY (evolutionary computation in energy applications), EvoGAMES (bio-inspired algorithms in games), EvoIASP (evolutionary computation in image analysis, signal processing, and pattern recognition), EvoINDUSTRY (nature-inspired techniques in industrial settings), EvoKNOW (knowledge incorporation in evolutionary computation), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoROBOT (evolutionary robotics), EvoSET (nature-inspired algorithms in software engineering and testing), and EvoSTOC (evolutionary algorithms in stochastic and dynamic environments). .
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 13th International Symposium on Applied Reconfigurable Computing, ARC 2017, held in Delft, The Netherlands, in April 2017. The 17 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They are organized in topical sections on adaptive architectures, embedded computing and security, simulation and synthesis, design space exploration, fault tolerance, FGPA-based designs, neural neworks, and languages and estimation techniques.
(source: Nielsen Book Data)

The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017. The 54 full papers and 24 short papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in the following topical sections: virtual reality; augmented and mixed reality; computer graphics; human-computer interaction; applications of VR/AR in medicine; and applications of VR/AR in cultural heritage.
(source: Nielsen Book Data)

The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017. The 54 full papers and 24 short papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in the following topical sections: virtual reality; augmented and mixed reality; computer graphics; human-computer interaction; applications of VR/AR in medicine; and applications of VR/AR in cultural heritage.
(source: Nielsen Book Data)

• Automated deduction
• Including foundations
• Applications.-Implementations
• Practical experience.

The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.

• Sequents systems.- Tableaux.- Transitive closure and cyclic proofs.- Formalization and complexity.
• (source: Nielsen Book Data)

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.
(source: Nielsen Book Data)

• Invited Talk: Proving Absence of Starvation by Means of Abstract Interpretation and Model-checking.- Program Analysis.- Precise Null Pointer Analysis Through Global Value Numbering.- May-Happen-in-Parallel Analysis with Returned Futures.- JTDec: A Tool for Tree Decompositions in Soot.- Fixing the State Budget: Approximation of Regular Languages with Small DFAs.- An Equivalence Checking Framework for Array-Intensive Programs.-Loop Quasi-Invariant Chunk Detection.- SamaTulyata: An Efficient Path Based Equivalence Checking Tool.- Model Checking and Temporal Logics.- Tests and Refutation.- The Density of Linear-time Properties.- HyLeak: Hybrid Analysis Tool for Information Leakage.- Compositional Safety Refutation Techniques.- Gradient-based variable ordering of Decision Diagrams for systems with structural units.- Model Checking of C and C++ with DIVINE 4 (Tool Paper).- Dealing with priorities and locks for concurrent programs.- Knowledge transfer and information leakage in protocols.- Concurrent Program Verification With Invariant-guided Underapproximation.- Neural Networks.- Maximum Resilience of Artificial Neural Networks.- Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.- Learning and Invariant Synthesis.- Liquid Types for Array Invariant Synthesis.- Lifting CDCL to Template-based Abstract Domains for Program Verification.- Synthesizing invariants by solving solvable loops.- Requirements and Specifications Exploiting Partial Knowledge for Efficient Model Analysis.- A Language-theoretic View on Network Protocols.- Probabilistic Systems Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.- Finding Polynomial Loop Invariants for Probabilistic Programs.- Synthesis of Optimal Resilient Control Strategies.- Hybrid Systems and Control.- ForFET: A Formal Feature Evaluation Tool for Hybrid Systems.- Attacking the V: On the Resiliency of Adaptive-Horizon MPC.- The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Contents
• New Generation Data Warehouses Design
• Evaluation of Data Warehouse Design Methodologies in the Context of Big Data
• Abstract
• 1 Introduction
• 2 Methodology Classification
• 3 Metrics for Design Evaluation of Methodologies
• 3.1 Metrics for Methodology Evaluation
• 3.2 Metrics for Schema Quality Evaluation
• 4 Experimental Results
• 4.1 Methodology Evaluation
• 4.2 Schema Evaluation
• 5 Conclusion
• References
• Optimal Task Ordering in Chain Data Flows: Exploring the Practicality of Non-scalable Solutions
• 1 Introduction

• 2 Preliminaries
• 2.1 Problem Complexity
• 2.2 Chains in TPC-DI
• 3 Accurate Algorithms for Linear Execution Plans
• 3.1 Backtracking
• 3.2 Dynamic Programming
• 3.3 Topological Sorting
• 4 Evaluation of the Time Overhead
• 5 Related Work
• 6 Conclusions
• References
• Exploiting Mathematical Structures of Statistical Measures for Comparison of RDF Data Cubes
• 1 Introduction
• 2 Model and Data Representation
• 3 Structural Comparison of RDF Data Cubes
• 3.1 Computability and Comparability
• 3.2 Comparison Functionalities
• 3.3 Experimentation
• 4 Conclusion
• References

• S2D: Shared Distributed Datasets, Storing Shared Data for Multiple and Massive Queries Optimization in a Distributed Data Warehouse
• 1 Introduction
• 2 Related Work
• 3 Overview of Shared Distributed Datasets
• 3.1 Phase 1: The Logical Representation
• 3.2 Phase 2: The Physical Representation
• 4 Experimental Evaluation
• 4.1 Experimental Setup
• 4.2 Experimental Results and Discussion
• 5 Conclusion and Future Work
• References
• Cloud and NoSQL Databases
• Enforcing Privacy in Cloud Databases
• 1 Introduction
• 2 Non-cryptographic Methods
• 2.1 Differential Privacy

• 2.2 Data Anonymization
• 2.3 Data Fragmentation
• 3 Secret Sharing-Based Methods
• 3.1 Verifiable Secret Sharing
• 3.2 Order-Preserving Secret Sharing
• 3.3 Discussion
• 4 Index-Based Methods
• 4.1 Bucketization-Based Indexing
• 4.2 Order-Preserving Indexing
• 4.3 Searchable Encryption
• 4.4 Discussion
• 5 Secure Databases
• 5.1 CryptDB
• 5.2 MONOMI
• 5.3 Multi-valued Order Preserving Encryption (MV-OPE)
• 5.4 Secure Trusted Hardware
• 5.5 Discussion
• 6 Conclusion
• 6.1 Security
• 6.2 Query Post-processing
• 6.3 Storage Overhead
• 6.4 Computational Overhead
• 6.5 Wrap-up

This book constitutes the refereed proceedings of the 19th International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2017, held in Lyon, France, in August 2017. The 24 revised full papers and 11 short papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in the following topical sections: new generation data warehouses design; cloud and NoSQL databases; advanced programming paradigms; non-functional requirements satisfaction; machine learning; social media and twitter analysis; sentiment analysis and user influence; knowledge discovery; and data flow management and optimization. .
(source: Nielsen Book Data)

• Biomedical applications.- Mobile brain computer interaction.- Human robot interaction.- Deep learning.- Machine learning applied to big data analysis.- Computational intelligence in data coding and transmission.- Applications.
• (source: Nielsen Book Data)

The two volumes LNCS 10337 and 10338 constitute the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, held in Corunna, Spain, in June 2017. The total of 102 full papers was carefully reviewed and selected from 194 submissions during two rounds of reviewing and improvement. The papers are organized in two volumes, one on natural and artificial computation for biomedicine and neuroscience, addressing topics such as theoretical neural computation; models; natural computing in bioinformatics; physiological computing in affective smart environments; emotions; as well as signal processing and machine learning applied to biomedical and neuroscience applications. The second volume deals with biomedical applications, based on natural and artificial computing and addresses topics such as biomedical applications; mobile brain computer interaction; human robot interaction; deep learning; machine learning applied to big data analysis; computational intelligence in data coding and transmission; and applications.
(source: Nielsen Book Data)

• A Hybrid M&S Methodology for Knowledge Discovery.- A Model-driven Visualization System Based on DVDL.- A Practical Energy Modeling Method for Industrial.- An Optimization Method for User Interface Components Based on Big Data.- Clustering-based Data Aggregation and Routing for Real-time Wireless HART Communication.- Constrained Semantic Grammar Enabled Question Answering System0.3.- Information Composition Analysis and Adaptation Access of CNC Lathes in Cloud Manufacturing.- Interactive Animation Editing Based on Sketch Interaction.- Manufacturing Service Reconfiguration Optimization using Hybrid Bees Algorithm in Cloud Manufacturing.- Mobile Phone-based tourist Spatial-Temporal Behavior Record and Analysis System.- Multi-Source Information Intelligent Collection and Monitoring of CNC Machine Tools Based on Multi-Agent Ontology Management and Ontology Reuse in Web Environment.- Research on the shortest path of two places in urban based on improved ant colony algorithm.- RUL Prediction of Bearings based on Mixture of Gaussians Bayesian Belief Network and Support Vector Data Description.- Social Recommendation Terms:Probabilistic Explanation and Optimization.- Towards a Holistic Method for Business Process - Traffic Flow Prediction with improved SOPIO-SVR algorithm.- Workshop Multi-source Information IntelliSense Method based on IPv6 Intelligent Terminal.
• (source: Nielsen Book Data)

This book presents the thoroughly refereed and revised post-workshop proceedings of the 19th Monterey Workshop, held in Beijing, China, in Ocotber 2016. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 18 revised full papers presented were significantly extended and improved by the insights gained from the productive and lively discussions at the workshop, and the feedback from the post-workshop peer reviews. 2016 marks the 23rd anniversary for the Monterey Workshop series which started in 1993. For nearly a quarter of century, the Monterey Workshops have established themselves as an important international forum to foster, among academia, industry, and government agencies, discussion and exchange of ideas, research results and experience in developing software intensive systems, and have significantly advanced the field. The community of the workshop participants has grown to become an influential source of ideas and innovations and its impact on the knowledge economy has been felt worldwide.
(source: Nielsen Book Data)

• Fundamental theory and methods of computational linguistics.- Machine translation and multilingual information processing.- Knowledge graph and information extraction.- Language resource and evaluation.- Information retrieval and question answering.- Text classification and summarization.- Social computing and sentiment analysis.- NLP applications
• Minority language information processing.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 16th China National Conference on Computational Linguistics, CCL 2017, and the 5th International Symposium on Natural Language Processing Based on Naturally Annotated Big Data, NLP-NABD 2017, held in Nanjing, China, in October 2017. The 39 full papers presented in this volume were carefully reviewed and selected from 272 submissions. They were organized in topical sections named: Fundamental theory and methods of computational linguistics; Machine translation and multilingual information processing; Knowledge graph and information extraction; Language resource and evaluation; Information retrieval and question answering; Text classification and summarization; Social computing and sentiment analysis; NLP applications; Minority language information processing.
(source: Nielsen Book Data)

• Knowledge Engineering and Semantic Web.- Social Networks and Recommender Systems.- Data Mining Methods and Applications.- Multi-agent Systems.- Sensor Networks and Internet of Things.- Decision Support and Control Systems. .
• (source: Nielsen Book Data)

This two-volume set (LNAI 10448 and LNAI 10449) constitutes the refereed proceedings of the 9th International Conference on Collective Intelligence, ICCCI 2017, held in Nicosia, Cyprus, in September 2017. The 117 full papers presented were carefully reviewed and selected from 248 submissions. The conference focuseson the methodology and applications of computational collective intelligence, included: multi-agent systems, knowledge engineering and semantic web, social networks and recommender systems, text processing and information retrieval, data mining methods and applications, sensor networks and internet of things, decision support & control systems, and computer vision techniques. .
(source: Nielsen Book Data)

• Cooperative Strategies for Decision Making and Optimization.- Computational Swarm Intelligence.- Machine Learning in Medicine and Biometrics.- Cyber Physical Systems in Automotive Area.- Internet of Things - Its Relations and Consequences.- Text Processing and Information Retrieval.- Low Resource Language Processing.- Computer Vision Techniques.- Intelligent Processing of Multimedia in Web Systems.
• (source: Nielsen Book Data)

This two-volume set (LNAI 10448 and LNAI 10449) constitutes the refereed proceedings of the 9th International Conference on Collective Intelligence, ICCCI 2017, held in Nicosia, Cyprus, in September 2017. The 117 full papers presented were carefully reviewed and selected from 248 submissions. The conference focuseson the methodology and applications of computational collective intelligence, included: multi-agent systems, knowledge engineering and semantic web, social networks and recommender systems, text processing and information retrieval, data mining methods and applications, sensor networks and internet of things, decision support & control systems, and computer vision techniques. .
(source: Nielsen Book Data)

• Algorithmic Songwriting with ALYSIA.- On Symmetry, Aesthetics and Quantifying Symmetrical Complexity.- Towards Polyphony Reconstruction Using Multidimensional Multiple Sequence Alignment.- Melody Retrieval and Classification Using Biologically-Inspired Techniques.- Evolved Aesthetic Analogies to Improve Artistic Experience.- Deep Artificial Composer: A Creative Neural Network Model for Automated Melody Generation.- A Kind of Bio-inspired Learning of mUsic stylE.- Using Autonomous Agents to Improvise Music Compositions in Real-time.- Generating Polyphonic Music Using Tied Parallel Networks.- Mixed-initiative Creative Drawing with webIconoscope.- Clustering Agents for the Evolution of Autonomous Musical Fitness.- EvoFashion: Customising Fashion Through Evolution.- A Swarm Environment for Experimental Performance and Improvisation.- Niche Constructing Drawing Robots.- Automated Shape Design by Grammatical Evolution.- Evolutionary Image Transition Using Random Walks.- Evaluation Rules for Evolutionary Generation of Drum Patterns in Jazz Solos.- Assessing Augmented Creativity: Putting a Lovelace Machine for Interactive Title Generation through a Human Creativity Test.- Play It again: Evolved Audio Effects and Synthesizer Programming.- Fashion Design Aid System with Application of Interactive Genetic Algorithms.- Generalization Performance of Western Instrument Recognition Models in Polyphonic Mixtures with Ethnic Samples.- Exploring the Exactitudes Portrait Series with Restricted Boltzmann Machines.- Evolving Mondrian-Style Artworks.- Predicting Expressive Bow Controls for Violin and Viola. .
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 6th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2017, held in Amsterdam, The Netherlands, in April 2017, co-located with the Evo*2017 events EuroGP, EvoCOP and EvoApplications. The 24 revised full papers presented were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics and application areas, including: generative approaches to music, graphics, game content, and narrative; music information retrieval; computational aesthetics; the mechanics of interactive evolutionary computation; computer-aided design; and the art theory of evolutionary computation. .
(source: Nielsen Book Data)

• Intro; Preface; Welcome to Trieste; Organization; Contents
• Part I; General Tracks; An Analysis of Reordering Algorithms to Reduce the Computational Cost of the Jacobi-Preconditioned CG Solver Using High-Precision Arithmetic; 1 Introduction; 2 Systematic Reviews; 3 Description of the Tests, Implementation of the Heuristics, Testing, and Calibration; 4 Numerical Experiments and Analysis; 4.1 Instances Originating from the Discretization of the Laplace Equation by Finite Volumes; 4.2 Instances Contained in the University of Florida Sparse Matrix Collection; 5 Conclusions; References

• An Ensemble Similarity Model for Short Text Retrieval1 Introduction; 2 Related Works; 3 Proposed Ensemble Similarity Model; 3.1 Vector Space Model; 3.2 Edit-distance Similarity; 3.3 Ensemble Similarity Measure; 4 Preliminary Results and Discussion; 5 Conclusion; References; Automatic Clustering and Prediction of Female Breast Contours; Abstract; 1 Introduction; 2 Methodology; 2.1 Data Collection; 2.2 Elliptic Fourier Analysis; 2.3 Similarity Assessment; 2.4 Principal Component Analysis; 2.5 K-Means++ Clustering; 2.6 Support Vector Machine; 3 Result and Discussion

• 3.1 Breast Contours Reconstruction3.2 Results of Similarity Assessment; 3.3 Results of PCA; 3.4 Results of K-Means++ Clustering; 3.5 SVM Prediction Model; 4 Conclusion; Acknowledgement; References; Parallel Ray Tracing for Underwater Acoustic Predictions; 1 Introduction; 2 Previous Work; 3 The Ray Tracing Model; 4 TRACEO3D on Distributed Memory Multi-core Processors; 4.1 MPI Basic Concepts; 4.2 Parallel Implementation; 5 The Tank Scale Experiment; 6 Results and Analysis; 7 Conclusions; References

• Influences of Flow Parameters on Pressure Drop in a Patient Specific Right Coronary Artery with Two StenosesAbstract; 1 Introduction; 2 Materials and Methods; 3 Results; 3.1 Pressure Gradient-Flow Rate Relationship; 3.2 Pressure Gradient-Viscosity Relationship; 3.3 Quantitative Correlation of CDP to Each Flow Parameter; 3.4 Effect of the Distal Stenosis; 4 Discussion; 4.1 Effect of Flow Rate; 4.2 Effect of Blood Viscosity; 4.3 Influence of the Distal Stenosis; 5 Conclusions; Acknowledgement; References

• Adaptive Sine Cosine Algorithm Integrated with Differential Evolution for Structural Damage DetectionAbstract; 1 Introduction; 2 Formulation of a Damage Detection Optimization Problem; 3 Test Problems with Trusses; 3.1 Twenty-Five-Bar Truss; 3.2 Seventy-Two-Bar Truss; 4 Adaptive Sine Cosine Algorithm Hybridized with Differential Evolution (ASCA-dE); 5 Numerical Experiment; 6 Results and Discussions; 6.1 Twenty-Five-Bar Truss; 6.2 Seventy-Two-Bar Truss; 7 Conclusions; Acknowledgments; References; Resource Production in StarCraft Based on Local Search and Planning; 1 Introduction

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.
(source: Nielsen Book Data)

• Intro
• Preface
• Welcome to Trieste
• Organization
• Contents
• Part II
• Workshop on Agricultural and Environmental Big Data Analytics (AEDBA 2017)
• Lack of Data: Is It Enough Estimating the Coffee Rust with Meteorological Time Series?
• 1 Introduction
• 2 Background
• 2.1 Coffee Rust
• 2.2 Time Series
• 2.3 Regression Models
• 3 Data Pre-processing
• 4 Experimental Results
• 5 Conclusions and Future Works
• References
• Urban Sprawl, Labor Incomes and Real Estate Values
• Abstract
• 1 Introduction and Aim of the Paper
• 2 Methodology of Analysis and Data Processing
• 3 Urban Growth on a Metropolitan Area
• 4 Spatial Distribution of Real Estate Values
• 5 Labor or Capital Income, Unemployment Rate and More
• 6 Conclusions
• References
• OLAP Analysis of Integrated Pest Management's Defense Rules: Application to Olive Crop in Apulia Region
• Abstract
• 1 Introduction
• 2 Related Work
• 2.1 Sustainable Agriculture Indicators
• 2.2 OLAP for Agriculture
• 3 OLAP Model for IPM
• 3.1 Integrated Pest Management for Olive Tree
• 3.2 OLAP Model
• 4 Implementation
• 5 Conclusions
• References
• Adaptive Prediction of Water Quality Using Computational Intelligence Techniques
• Abstract
• 1 Introduction
• 2 Related Studies
• 3 Data and Study Area
• 3.1 United States Geological Survey (USGS)
• 3.2 Cauca River Modeling Project Phase II (PMC II)
• 4 Water Quality Adaptive Prediction
• 4.1 Parameters Setting Component
• 4.2 Predictive Component
• 4.3 Adaptive Component
• 5 Experimental Results
• 5.1 Regressor Selection for Predictive Component
• 5.2 Algorithm Selection for Adaptive Component
• 6 Conclusions and Future Work
• Acknowledgements
• References
• A Tool for Classification of Cacao Production in Colombia Based on Multiple Classifier Systems
• Abstract
• 1 Introduction
• 2 Data and Study Area.

• 3 Data Preprocessing
• 4 Model Selection
• 5 Model Deployment
• 6 Conclusions and Future Work
• Acknowledgements
• References
• Decision Support System for Coffee Rust Control Based on Expert Knowledge and Value-Added Services
• Abstract
• 1 Introduction
• 2 Decision Support System for Coffee Rust Control: DSS-CRC
• 2.1 Fungicide Type
• 2.2 Moment of Fungicide Application
• 2.3 Fungicide Application Technology
• 2.4 Knowledge Base Definition
• 3 DSS-EWS Integration
• 4 Evaluation
• 4.1 Decision Quality
• 4.2 Decision Process Efficiency
• 4.3 Decision Maker's Satisfaction
• 5 Conclusions
• Acknowledgements
• References
• Impact of Temporal Features of Cattle Exchanges on the Size and Speed of Epidemic Outbreaks
• 1 Introduction
• 2 Dataset
• 3 Data Modeling
• 4 Infection Modeling
• 5 Size of Cascades
• 6 Speed of Cascades
• 7 Conclusion
• References
• Creating Territorial Intelligence Through a Digital Knowledge Ecosystem: A Way to Actualize Farmer Empowerment
• Abstract
• 1 Introduction
• 2 A Mobile-Based Information System for Farmers Empowerment
• 3 A TI-Based Shift from Farmers Empowerment to Citizen Empowerment
• 4 The Digital Knowledge Ecosystem for Spatially-Enabled Farmer Communities
• 4.1 Architectural Principles of the Digital Knowledge Ecosystem
• 4.2 Engaging Mobile Users
• 5 Conclusion
• References
• Workshop on Advanced Methods in Data Mining for Applications (AMDMA 2017)
• The Classification of Turkish Economic Growth by Artificial Neural Network Algorithms
• 1 Introduction
• 2 Materials and Methods
• 2.1 Materials
• 2.2 Methods
• 3 Results and Discussion
• 4 Conclusion
• References
• Standardized Precipitation Index Analyses with Wavelet Techniques at Watershed Basin
• Abstract
• 1 Introduction
• 2 Materials and Methods
• 2.1 Study Area and Data.

• 2.2 Standardized Precipitation Index
• 2.3 Wavelet Analyses
• 3 Analyses
• 3.1 Time Series Analyses of SPI
• 3.2 Wavelet Analyses
• 4 Results and Conclusion
• Akcknowledgements
• References
• Comparison of Deep Learning and Support Vector Machine Learning for Subgroups of Multiple Sclerosis
• 1 Introduction
• 2 Material and Method
• 2.1 Materials
• 3 Method
• 4 Results and Discussion
• 5 Conclusion
• References
• Workshop on Advanced Smart Mobility and Transportation (ASMAT 2017)
• Preliminary Investigation on a Numerical Approach for the Evaluation of Road Macrotexture
• Abstract
• 1 Introduction
• 2 Objective
• 3 Laboratory Test: Gyratory Compactor Technique and Experimental Campaign
• 4 Numerical Modeling
• 4.1 The DEM Simulation of the Gyratory Compactor
• 5 Analysis of Results
• 5.1 Repeatability Analysis
• 5.2 Wall Effect Analysis
• 5.3 Time History Analysis
• 5.4 Real Specimens and DEM Comparison
• 6 Conclusions and Recommendations
• Acknowledgements
• References
• Novelty Detection for Location Prediction Problems Using Boosting Trees
• Abstract
• 1 Introduction
• 2 Related Work
• 3 Proposed System
• 3.1 Preprocessing
• 3.2 Features Extraction
• 3.3 Classification Models
• 4 Experimental Results
• 4.1 Datasets
• 4.2 Experiments
• 4.3 Results
• 5 Conclusion
• References
• Estimation of an Urban OD Matrix Using Different Information Sources
• Abstract
• 1 Introduction
• 2 The Empirical Data
• 3 State of the Art of OD Estimations
• 3.1 Categories of Sensors
• 3.2 Multiple Data Source
• 4 The Methodological Framework
• 5 Some Preliminary Results
• 6 Discussion and Conclusions
• References
• Workshop on Advances in Information Systems and Technologies for Emergency Preparedness, Risk Assessment and Mitigation (ASTER 2017).

• Flood Hazard Assessment of the Fortore River Downstream the Occhito Dam, in Southern Italy
• Abstract
• 1 Introduction
• 2 The Case Study Description
• 3 Evaluation of the Hydrological Discharges
• 4 Results
• 5 Conclusions
• Acknowledgments
• References
• Hierarchical Spatial Distribution of Seismic Risk of Italian RC Buildings Stock
• Abstract
• 1 Introduction
• 2 Elements for Italian Existing RC Buildings Seismic Risk Map
• 2.1 Italian Seismic Hazard
• 2.2 Building Types
• 2.3 Seismic Risk Index
• 3 A Novel Italian RC Buildings Seismic Risk GIS Map
• 4 Discussion and Conclusion
• References
• Resilience Modification and Dynamic Risk Assessment in Hybrid Systems: Study Cases in Underground Settlements of Murgia Edge (Apulia, Southern Italy)
• Abstract
• 1 Introduction
• 2 Hybrid Systems
• 3 Apulian Underground Settlements
• 3.1 Instability and Hazard Factors
• 3.2 Risk Factors
• 3.3 Resilience and Emerging Signals
• 4 Methodologies and Study Cases
• 5 Conclusions
• References
• Preventive Approach to Reduce Risk Caused by Failure of a Rainwater Drainage System: The Case Study of Corato (Southern Italy)
• Abstract
• 1 Introduction
• 2 The Case Study
• 3 Data and Method
• 3.1 Key Variables and Data Collected
• 3.2 Layer Integration and Risk Mapping
• 4 Results
• 5 Conclusions
• References
• Earthquake's Rubble Heaps Volume Evaluation: Expeditious Approach Through Earth Observation and Geomatics Techniques
• Abstract
• 1 Introduction
• 1.1 Earthquake Events
• 2 Study Area
• 2.1 Geology
• 3 Data and Methods
• 3.1 Dataset
• 3.2 Methodology
• 4 Results
• 5 Discussion and Conclusions
• Acknowledgments
• References
• A Geospatial Decision Support Tool for Seismic Risk Management: Florence (Italy) Case Study
• Abstract
• 1 Introduction
• 2 A Short Overview on the Steps
• 3 Case Study Description.

• 3.1 Historical Seismicity and Selection of the Earthquake Event for the Scenarios
• 3.2 Available Data
• 4 Method
• 4.1 Deterministic Seismic Hazard and Site Effects Analysis
• 4.2 Building Vulnerability and Damage Assessment
• 4.3 Expected Consequences on Population and Buildings
• 5 Results and Discussion: Scenarios for Selected Earthquakes
• 6 Conclusion
• Acknowledgement and Disclaimer
• References
• Enhancing Creativity in Risk Assessment of Complex Sociotechnical Systems
• 1 Introduction
• 2 Related Work
• 3 The Water Systems Case Study
• 3.1 Vulnerability Assessment Support System Experiment
• 3.2 VUM Ontology
• 4 CREAM-Based Risk Models Generation
• 4.1 Risk Models Generation Process
• 4.2 Risk Mini-Models Examples
• 5 Conclusions
• References
• Spatial Analysis and Ranking for Retrofitting of the School Network in Lima, Peru
• Abstract
• 1 Introduction
• 2 The Case Study
• 2.1 Description of the Lima Metropolitan Area
• 2.2 Seismic Risk of Public Schools in the City
• 3 Retrofitting Prioritization Ranking
• 3.1 Methodology
• 3.2 Results
• 4 Conclusion
• Acknowledgments
• References
• Workshop on Bio-inspired Computing and Applications (BIONCA 2017)
• Crowd Anomaly Detection Based on Optical Flow, Artificial Bacteria Colony and Kohonen's Neural Network
• 1 Introduction
• 2 Related Works
• 3 Architecture of the System
• 4 Proposed Algorithm
• 4.1 Optical Flow
• 4.2 Artificial Bacteria Colony
• 4.3 Kohonen's Neural Network
• 5 Experiments and Results
• 6 Conclusion
• References
• Workshop on Computational and Applied Mathematics (CAM 2017)
• An Uncoupling Strategy in the Newmark Method for Dynamic Problems
• 1 Introduction
• 2 Model Equations
• 3 Uncoupled Newmark Method
• 4 Convergence Issue
• 5 Numerical Simulations
• 6 Conclusions
• References.

• Continuous Extensions for Structural Runge
• Kutta Methods.

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.
(source: Nielsen Book Data)

• Intro
• Preface
• Welcome to Trieste
• Organization
• Contents
• Part III
• Workshop on Chemistry and Materials Sciences and Technologies (CMST 2017)
• Acetone-Water Mixtures: Molecular Dynamics Using a Semiempirical Intermolecular Potential
• 1 Introduction
• 2 Potential Energy Surface
• 3 The Simulation Protocol of the Molecular Dynamics
• 4 The Acetone-Water Mixtures
• 5 Conclusions
• References
• Synchronized Content and Metadata Management in a Federation of Distributed Repositories of Chemical ...
• Abstract
• 1 Introduction
• 2 The Glorep Project

• 2.1 The GLOREP Features
• 3 The Synchronization Mechanism of GlorepSyncIO
• 3.1 Server.php
• 3.2 Objects and Owners
• 3.3 Uploading
• 3.4 Downloading
• 3.5 Updating
• 4 The GlorepSyncIO Components
• 4.1 Messages
• 4.1.1 FileMessage64
• 4.1.2 TextMessage64
• 4.2 Readers
• 4.3 Writers
• 4.3.1 TextWriter64 and FileWriter64
• 4.4 DBConnection
• 4.5 Sync
• 4.5.1 Available Methods
• 5 Conclusion and Future Work
• Acknowledgements
• References
• Open Molecular Science for the Open Science Cloud
• 1 Introduction
• 2 Chemistry and Open Science Initiatives

• 3 The Collaborative Open Molecular Science Project
• 4 An OMS Research Infrastructure
• 5 The General Frame of the SUMO-chem Research Infrastructure
• 6 Molecular Science Data Interoperability
• 7 GEMS
• 8 ECHEMTEST+
• 9 Conclusions
• References
• Determination of Volatile Aroma Composition Profiles of Coco de Mèr (Lodoicea Maldivica) Fruit: Analytical Study by HS-SPME and GC/MS Techniques
• Abstract
• 1 Introduction
• 2 Experimental
• 2.1 Characteristics of Used Reagents and Standards
• 2.2 Experimental Devices and Apparatuses
• 2.3 Plant Material
• 2.4 Sample Preparation

• 2.5 HS-SPME Extraction
• 2.6 Experimental Conditions for GC/MS Analysis
• 2.7 Reliability of the Analytical Procedure
• 3 The Computational Procedure for GC/MS Chemical Compound Identification
• 4 Results and Discussion
• 4.1 The Flavour Fraction of "Coco de Mer"
• 5 Conclusions
• Acknowledgments
• References
• Automated Simulation of Gas-Phase Reactions on Distributed and Cloud Computing Infrastructures
• 1 Introduction
• 2 Structure and Workflow of GEMS
• 3 A Cloud OpenStack Implementation of GEMS
• 4 Automated Generation of the PES
• 5 Calculations on the H + H2 Prototype

• 6 Conclusions and Future Work
• References
• Workshop on Computational Optimization and Applications (COA 2017)
• A Global Score-Driven Beam Angle Optimization in IMRT
• 1 Introduction
• 2 Noncoplanar BAO in IMRT Treatment Planning
• 2.1 Noncoplanar BAO Model
• 2.2 FMO Formulation and Resolution
• 2.3 Global Score for Treatment Plan Quality
• 3 Pattern Search Methods
• 4 Computational Results
• 5 Conclusions and Future Work
• References
• Automated Radiotherapy Treatment Planning Using Fuzzy Inference Systems
• Abstract
• 1 Introduction
• 2 IMRT Treatment Planning

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.
(source: Nielsen Book Data)

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.
(source: Nielsen Book Data)

• Intro
• Preface
• Welcome to Trieste
• Organization
• Contents
• Part VI
• Workshop on Software Engineering Processes and Applications (SEPA 2017)
• MC-DMN: Meeting MCDM with DMN Involving Multi-criteria Decision-Making in Business Process
• 1 Introduction
• 2 Decision-Making in Business Process: Related Works
• 2.1 The BPMN Standard
• 2.2 The DMN Standard
• 2.3 DMN Limitations Relative to Criteria Preference
• 3 Multi-criteria Decision-Making
• 3.1 MCDM Methods
• 3.2 TOPSIS
• 4 DMN Under Multi-criteria Analysis
• 4.1 Analogy Between DMN Decision Table and TOPSIS Data Matrix

• 4.2 MC-DMN
• 4.3 MC-DMN Applying Example for ETL Software Selection
• 5 Conclusion and Future Works
• References
• Context Sensitive Query Correction Method for Query-Based Text Summarization
• 1 Introduction
• 2 Literature Survey
• 3 Overview of the Proposed Method: CSQ
• 3.1 Proposed Framework
• 3.2 Description of Proposed Method (CSQ)
• 3.3 Example Computation
• 4 Experimental Results and Discussion
• 4.1 Comparison of CSQ Method with Real-Word Spell Checkers
• 4.2 Comparison of CSQ Method with Non-word Spell Checkers
• 5 Conclusion
• References

• Ontological Controlling the Lexical Items in Conceptual Solution of Project Tasks
• Abstract
• 1 Introduction
• 2 Preliminary Bases
• 2.1 Conceptual Solution of the Task
• 2.2 Project Ontology
• 3 Related Works
• 4 Toolset for Creating a Project Ontology
• 4.1 Basic Workflows
• 4.2 Agent B. Filtering Out Stop Words
• 4.3 Agent D. Fetching Out the Ambiance
• 4.4 Programmed Access to the Ontology
• 5 Understanding of Textual Increments and Their Combinations
• 6 Example of Applying for the Ontological Support
• 7 Conclusion
• Acknowledgement
• References

• IoT-Based Healthcare Applications: A Review
• 1 Introduction
• 2 Method
• 2.1 Research Questions
• 2.2 Search Process
• 2.3 Inclusion and Exclusion Criteria
• 2.4 Quality Assessment
• 2.5 Data Collection
• 3 Results
• 3.1 Search Results
• 3.2 Overview of Studies
• 3.3 Quality Evaluation Results
• 4 Discussion
• 4.1 What are the Main Characteristics of Healthcare Applications Based on IoT Infrastructure?
• 4.2 What are the Patterns and Protocols Used in Healthcare Applications Based on IoT Infrastructure?

• 4.3 What are the Challenges and Opportunities Related to Healthcare Applications Based on IoT Infrastructure?
• 4.4 Limitations of This Review
• 5 Conclusion and Future Works
• References
• Fast Semi-blind Color Image Watermarking Scheme Using DWT and Extreme Learning Machine
• 1 Introduction
• 2 Research Contribution and Motivation
• 3 Extreme Learning Machine
• 4 Experimental Details
• 4.1 Watermark Embedding Algorithm
• 4.2 Watermark Extraction Algorithm
• 5 Results and Discussion
• 5.1 Embedding and Extraction
• 5.2 Executing Image Processing Attacks
• 6 Conclusions

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.
(source: Nielsen Book Data)