%{search_type} search results

• Discrete geometry and topology.- Tilings and patterns.- Grammars, models and other technical tools for image analysis.- Image segmentation.- Classification.- Reconstruction.- Compression.- Texture analysis.-Bioimaging.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 18th International Workshop on Combinatorial Image Analysis, IWCIA 2017, held in Plovdiv, Bulgaria, in June 2017. The 27 revised full papers presented were carefully reviewed and selected from 47 submissions. The workshop is organized in topical sections of theoretical foundations and theory of applications, namely: discrete geometry and topology; tilings and patterns; grammars, models and other technical tools for image analysis; image segmentation, classification; reconstruction; compression; texture analysis; bioimaging.
(source: Nielsen Book Data)

• Commutation and Beyond.- Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions.- Overpals, Underlaps, and Underpals.- On Some Interesting Trnary Formulas.- Minimal Forbidden Factors of Circular Words.- A de Brujin Sequence Construction by Concatenating Cycles of the Complemented Cycling Register.- On Words with the Zero Palindromic Defect.- Equations Enforcing Repetitions under Permutations.- Matching Lexicographic and Conjugation Orders on the Conjugation Class of a Special Sturmian Morphism.- More on the Dynamics of the Symbolic Square Root Map.- Study of Christoffel Classes: Normal Form and Periodicity.- On Arithmetic Index in the Generalized Thue-Morse Word.- Complexite abelienne du mot de Thue-Morse sur un alphabet ternaire.- A Set of Sequences of Complexity 2n + 1.- The Word Entropy and How to Compute It.- First Steps in the Algorithmic Reconstruction of Digital Convex Sets.- . Variants around the Bresenham Method.- Combinatorics of Cyclic Shifts in Plactic, Hypoplactic, Sylvester, and Related Monoids.- Palindromic Length in Free Monoids and Free Groups.- Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms.- Burrows-Wheeler Transform and Run-Length Enconding.- A Permutation on Words in a Two Letter Alphabet.- Symmetric Dyck paths and Hooley's Delta-function.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 11th International Conference on Combinatorics on Words, WORDS 2017, held in Montreal, QC, Canada, in September 2017. The 21 revised full papers presented together with 5invoted talks were carefully reviewed and selected from 26 submissions. Discrete geometry plays an expanding role in the fields of shape modeling, image synthesis, and image analysis. It deals with topological and geometrical definitions of digitized objects or digitized images and provides both a theoretical and computational framework for computer imaging.
(source: Nielsen Book Data)

• Phraseology in translation and contrastive studies.- Lexicography and terminography.- Exploitation of corpora in phraseological studies.- Development of corpora for phraseological studies.- Phraseology and language learning.- Cognitive and cultural aspects of phraseology.- Theoretical and descriptive approaches to phraseology.- Computational approaches to phraseology.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the International Conference on Computational and Corpus-Based Phraseology, Europhras 2017, held in London, UK, in November 2017. The 31 full papers presented were carefully reviewed and selected from numerous submissions and are organized into the following thematic sessions: Phraseology in translation and contrastive studies, Lexicography and terminography, Exploitation of corpora in phraseological studies, Development of corpora for phraseological studies, Phraseology and language learning, Cognitive and cultural aspects of phraseology, Theoretical and descriptive approaches to phraseology, and Computational approaches to phraseology. The chapter 'Frequency Consolidation Among Word N-Grams' is available open access under a CC BY 4.0 license.
(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)

• CHAPTER 1 Introduction.-
• CHAPTER 2 Time Series Modelling.-
• CHAPTER 3 Options and Options Pricing Models.-
• CHAPTER 4 Neural Networks and Financial Forecasting.-
• CHAPTER 5 Important Problems in Financial Forecasting.-
• CHAPTER 6 Volatility Forecasting.-
• CHAPTER 7 Option Pricing.-
• CHAPTER 8 Value-at-Risk.-
• CHAPTER 9 Conclusion and Discussion.
• (source: Nielsen Book Data)

This book demonstrates the power of neural networks in learning complex behavior from the underlying financial time series data. The results presented also show how neural networks can successfully be applied to volatility modeling, option pricing, and value-at-risk modeling. These features mean that they can be applied to market-risk problems to overcome classic problems associated with statistical models. .
(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)

• Preface.- A Genetic Programming Approach to Cost-Sensitive Control in Resource Constrained Sensor Systems.- A Study on Performance of the Hill Climbing Heuristic Method for Router Placement in Mesh Networks.- An Automated Irrigation System Based on a Low- Cost Micro-controller for Tomato Production in South India.- Artificial-Neural-Network-based Real-Time Urban Road Traffic State Estimation Framework.- Attack Detection using Evolutionary Computation.- Computational Intelligence based Security in WSNs - Technologies and Design Challenges.- Efficient Anomaly Detection System for Video Surveillance Application in WVSN with Particle Swarm Optimization.- Planning Robust Sensor Relocation Trajectories for a Mobile Robot with Evolutionary Multi-Objective Optimization.
• (source: Nielsen Book Data)

This book emphasizes the increasingly important role that Computational Intelligence (CI) methods are playing in solving a myriad of entangled Wireless Sensor Networks (WSN) related problems. The book serves as a guide for surveying several state-of-the-art WSN scenarios in which CI approaches have been employed. The reader finds in this book how CI has contributed to solve a wide range of challenging problems, ranging from balancing the cost and accuracy of heterogeneous sensor deployments to recovering from real-time sensor failures to detecting attacks launched by malicious sensor nodes and enacting CI-based security schemes. Network managers, industry experts, academicians and practitioners alike (mostly in computer engineering, computer science or applied mathematics) benefit from th e spectrum of successful applications reported in this book. Senior undergraduate or graduate students may discover in this book some problems well suited for their own research endeavors.
(source: Nielsen Book Data)

• AI Researchers, Video Games are Your Friends!.- On Routine Evolution of New Replicating Structures in Cellular Automata.- Application of Adaptive Differential Evolution for Model Identification in Furnace Optimized Control System.- Multi-Strategy Genetic Algorithm for Multimodal Optimization.- GPGPU Vs Multiprocessor SPSO Implementations to Solve Electromagnetic Optimization Problems.- Multi-Robot Cooperative Tasks using Combined Nature-Inspired Techniques.- GEML: Evolutionary Unsupervised and Semi-Supervised Learning of Multi-class Classification with Grammatical Evolution.- For Sale or Wanted: Directed Crossover in Adjudicated Space.- Design of an Autonomous Intelligent Demand-Side Management System by using Electric Vehicles as Mobile Energy Storage Units by Means of Evolutionary.- Particle Convergence Time in the PSO Model with Inertia Weight.- A Modified Fuzzy Lee-Carter Method for Modeling Human Mortality.- Synchronization of Uncertain Chaotic Systems using Generalized Predictive Control based on Fuzzy PID Controllers.- An Order Hyperresolution Calculus for Goedel Logic with Truth Constants and Equality, Strict Order, Delta.- Using Evidence Theory in Land Cover Change Prediction to Model Imperfection Propagation with Correlated Inputs Parameters.- Choosing Suitable Similarity Measures to Compare Intuitionistic Fuzzy Sets that Represent Experience-Based Evaluation Sets.- Bayesian Logistic Regression using Vectorial Centroid for Interval Type-2 Fuzzy Sets.- A Comparison of Learning Rules for Mixed Order Hyper Networks.- Pedestrian Action Prediction using Static Image Feature.- Gaussian Nonlinear Line Attractor for Learning Multidimensional Data.- Mining Significant Frequent Patterns in Parallel Episodes with a Graded Notion of Synchrony and Selective Participation.- A Heteroassociative Learning Model Robust to Interference.- An Extended Q Learning System with Emotion State to Make Up an Agent with Individuality.- Inedited SVM Application to Automatically Tracking and Recognizing Arm-and-Hand Visual Signals to Aircraft.- Learning-Based Distance Evaluation in robots' vision: A Comparison of ANFIS, MLP, SVR and Bilinear Interpolation Models.
• (source: Nielsen Book Data)

This book includes a selection of revised and extended versions of the best papers from the seventh International Joint Conference on Computational Intelligence (IJCCI 2015), held in Lisbon, Portugal, from 12 to 14 November 2015, which was composed of three co-located conferences: The International Conference on Evolutionary Computation Theory and Applications (ECTA), the International Conference on Fuzzy Computation Theory and Applications (FCTA), and the International Conference on Neural Computation Theory and Applications (NCTA). The book presents recent advances in scientific developments and applications in these three areas, reflecting the IJCCI's commitment to high quality standards.
(source: Nielsen Book Data)

• Application of computational intelligence to open problems.- Bioinformatics, biostatistics, systems and synthetic biology, medical informatics, computational approaches to life sciences in general.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2016, held in Stirling, UK, in September 2016. The 19 revised full papers and 6 keynotes abstracts presented were carefully reviewed and selected from 61 submissions. The papers deal with the application of computational intelligence to open problems in bioinformatics, biostatistics, systems and synthetic biology, medicalinformatics, computational approaches to life sciences in general.
(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)

• Proposed Framework Application for a Quality Mobile Application Measurement and Evaluation.- Proposal and Development of Artificial Personality (AP) application using the "Requesting" Mechanism.- Load Experiment of the vDACS Scheme in case of the 300 Simultaneous Connection.- Hearing-Dog Robot to wake People up using its Bumping Action.- Implementation of Document Production Support System with Obsession Mechanism.- Detecting Outliners in Terms of Errors in Embedded Software Development Projects Using Imbalance Data Classification.- Development of Congestion State Guiding System for University Cafeteria.- Analog Learning Neural Circuit with Switched Capacitor and the Design of Deep Learning Model.- Study on Category Classification of Conversation Document in Psychological Counseling with Machine Learning.- Improvement of "Multiple Sightseeing Spot Scheduling System".- Advertising in the Webtoon of Cosmetics Brand -Focusing on 'tn' Youth Cosmetics Brands
• Testing Driven Development of Mobile Application using Automatic Bug Management Systems.- Shape Recovery of Polyp from Endoscope Image Using Blood Vessel Information.- Design of Agent Development Framework for RoboCupRescue Simulation.
• (source: Nielsen Book Data)

This book presents the scientific outcome of the 4th ACIS International Conference on Computational Science/Intelligence & Applied Informatics (CSII 2017), which was held on July 9-13, 2017 in Hamamatsu, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science, to share their experiences and to exchange new ideas and information in a meaningful way. The book includes research findings concerning all aspects (theory, applications and tools) of computer and information science, and discusses the practical challenges encountered and the solutions adopted to address them. The book features 16 of the conference's most promising papers, written by researchers who are expected to make significant contributions in the field of computer and information science.
(source: Nielsen Book Data)

• Data Driven Techniques
• Runtime Verication
• Cyber-Physical Systems
• Concurrency
• Analysis of Software and Hardware
• Foundations of Verification
• Distributed and Networked Systems
• Synthesis
• Decision Procedures and their Applications
• Software Analysis.

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

• Vision for Robotics.- Motion and Tracking.- Segmentation.- Image/Video Indexing and Retrieval.- Shape Representation and Analysis.- Biomedical Image Analysis.- Biometrics.- Machine Learning.- Image Restoration.
• (source: Nielsen Book Data)

The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017. The 72 papers presented were carefully reviewed and selected from 144 submissions The papers are organized in the following topical sections: Vision for Robotics; Motion and Tracking; Segmentation; Image/Video Indexing and Retrieval; Shape Representation and Analysis; Biomedical Image Analysis; Biometrics; Machine Learning; Image Restoration; and Poster Sessions.
(source: Nielsen Book Data)

• Vision for Robotics
• Motion and Tracking
• Segmentation
• Image/Video Indexing and Retrieval
• Shape Representation and Analysis
• Biomedical Image Analysis
• Biometrics
• Machine Learning
• Image Restoration.

The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017. The 72 papers presented were carefully reviewed and selected from 144 submissions The papers are organized in the following topical sections: Vision for Robotics; Motion and Tracking; Segmentation; Image/Video Indexing and Retrieval; Shape Representation and Analysis; Biomedical Image Analysis; Biometrics; Machine Learning; Image Restoration; and Poster Sessions.

• Big Data and IoT for U-healthcare Security.- Retrospection and Perspectives on Pragmatic Software Architecture Design: An Industrial Report.- Distributed Coding and Transmission Scheme for Wireless Communication of Satellite Images.- Experimental Evaluation of HoRIM to Improve Business Strategy Models.- Combining Lexicon-Based and Learning-Based Methods for Sentiment Analysis for Product Reviews in Vietnamese Language.- Reducing Misclassification of True Defects in Defect Classification of Electric Board.- Virtual Prototyping Platform for Multiprocessor System-on-Chip Hardware/Software Co-design and Co-verification.- A Data-mining Model for Predicting Low Birth Weight with a High AUC.- A Formal Approach for Maintaining Forest Topologies in Dynamic Networks.- A Multicriteria Approach for Selecting the Optimal Location of Waste Electrical and Electronic Treatment Plants.- Localization Strategy for Island Model Genetic Algorithm to Preserve Population Diversity.- HM-AprioriAll Algorithm Improvement Based on Hadoop Environment.- Architecture of a Real Time Weather Monitoring System in a Space Time Environment Using Wireless Sensor Networks.- Mobile Application Development on Domain Analysis and Reuse-Oriented Software (ROS).- A Transducing System between Hichart and XC on a Visual Software Development Environment.- Development of and Interface for Volumetric Measurement on a Ground-Glass Opacity Nodule.- Efficient Similarity Measurement by the Combination of Distance Algorithms to Identify the Duplication Relativity.
• (source: Nielsen Book Data)

This book presents the edited proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2017), which was held on May 24-26, 2017 in Wuhan, China. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the various fields of computer science, share their experiences and exchange new ideas and information. The research results included relate to all aspects (theory, applications and tools) of computer and information science, and discuss the practical challenges encountered and the solutions adopted to solve them. The work selected represents 17 of the most promising papers from the conference, written by authors who are certain to make further significant contributions to the field of computer and information science.
(source: Nielsen Book Data)

• 4th International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2017:
• Shape-Based Pose Estimation of Robotic Surgical Instruments / Daniel Wesierski, Sebastian Cygert
• 3D Endoscope System Using Asynchronously Blinking Grid Pattern Projection for HDR Image Synthesis / Ryo Furukawa, Masahito Naito, Daisuke Miyazaki, Masahi Baba, Shinsaku Hiura, Yoji Sanomura et al.
• Towards Real-Time Polyp Detection in Colonoscopy Videos: Adapting Still Frame-Based Methodologies for Video Sequences Analysis / Quentin Angermann, Jorge Bernal, Cristina Sánchez-Montes, Maroua Hammami, Gloria Fernández-Esparrach, Xavier Dray et al.
• Progressive Hand-Eye Calibration for Laparoscopic Surgery Navigation / Jinliang Shao, Huoling Luo, Deqiang Xiao, Qingmao Hu, Fucang Jia
• Learning Camera Pose from Optical Colonoscopy Frames Through Deep Convolutional Neural Network (CNN) / Mohammad Ali Armin, Nick Barnes, Jose Alvarez, Hongdong Li, Florian Grimpen, Olivier Salvado
• Motion Vector for Outlier Elimination in Feature Matching and Its Application in SLAM Based Laparoscopic Tracking / Cheng Wang, Masahiro Oda, Yuichiro Hayashi, Kazunari Misawa, Holger Roth, Kensaku Mori
• Image-Based Smoke Detection in Laparoscopic Videos / Andreas Leibetseder, Manfred Jürgen Primus, Stefan Petscharnig, Klaus Schoeffmann
• 6th International Workshop on Clinical Image-Based Procedures, CLIP 2017:
• Fully Automatic Detection of Distal Radius Fractures from Posteroanterior and Lateral Radiographs / Raja Ebsim, Jawad Naqvi, Tim Cootes
• Automated Characterization of Pyelocalyceal Anatomy Using CT Urograms to Aid in Management of Kidney Stones / Yuankai Huo, Vaughn Braxton, S. Duke Herrell, Bennett Landman, Smita De
• Local Phase-Based Learning for Needle Detection and Localization in 3D Ultrasound / Cosmas Mwikirize, John L. Nosher, Ilker Hacihaliloglu
• Intracranial Volume Quantification from 3D Photography / Liyun Tu, Antonio R. Porras, Scott Ensel, Deki Tsering, Beatriz Paniagua, Andinet Enquobahrie et al.
• Automatic Near Real-Time Evaluation of 3D Ultrasound Scan Adequacy for Developmental Dysplasia of the Hip / Olivia Paserin, Kishore Mulpuri, Anthony Cooper, Antony J. Hodgson, Rafeef Abugharbieh
• Automatic Sentinel Lymph Node Localization in Head and Neck Cancer Using a Coupled Shape Model Algorithm / Florian Jung, Biebl-Rydlo Medea, Jean-François Daisne, Stefan Wesarg
• Towards an Automated Segmentation of the Ventro-Intermediate Thalamic Nucleus / Elena Najdenovska, Constantin Tuleasca, João Jorge, José P. Marques, Philippe Maeder, Jean-Philippe Thiran et al.
• Classification of Confocal Endomicroscopy Patterns for Diagnosis of Lung Cancer / Debora Gil, Oriol Ramos-Terrades, Elisa Minchole, Carles Sanchez, Noelia Cubero de Frutos, Marta Diez-Ferrer et al.
• Automated Classification for Breast Cancer Histopathology Images: Is Stain Normalization Important? / Vibha Gupta, Apurva Singh, Kartikeya Sharma, Arnav Bhavsar
• Hybrid Tracking for Improved Registration of Laparoscopic Ultrasound and Laparoscopic Video for Augmented Reality / William Plishker, Xinyang Liu, Raj Shekhar.

This book constitutes the refereed joint proceedings of the 4th International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2017, and the 6th International Workshop on Clinical Image-Based Procedures: Translational Research in Medical Imaging, CLIP 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 7 full papers presented at CARE 2017 and the 10 full papers presented at CLIP 2017 were carefully reviewed and selected. The papers deal with interventional and diagnostic endoscopy integrating the latest advances in computer vision, robotics, medical imaging and information processing and the development and evaluation of new translational image-based techniques in the modern hospital. .
(source: Nielsen Book Data)

• Algorithms.- Biometrics and pattern recognition applications.- Data analysis and information retrieval.-Engineering of enterprise software products.- Industrial management and other applications.- Modelling and optimization.- Various aspects of computer security.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 16th IFIP TC8 International Conference on Computer Information Systems and Industrial Management, CISIM 2017, held in Bialystok, Poland, in June 2017. The 60 regular papers presented together with 5 keynotes were carefully reviewed and Selected from 85 submissions. They are organized in the following topical sections: algorithms; biometrics and pattern recognition applications; data analysis and information retrieval; engineering of enterprise software products; industrial management and other applications; modelling and optimization; various aspects of computer security.
(source: Nielsen Book Data)

• Advances in Markov models.- Advances in quantitative analysis.- Model checking.- Cyber-physical systems.-Performance, energy and security.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin, Germany, in September 2017. The 18 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 30 submissions. The papers presented at the workshop reflect the diversity of modern performanceengineering, with topics ranging from advances in Markov models; advances in quantitative analysis; model checking; and cyber-physical systems to performance, energy and security.
(source: Nielsen Book Data)

• Segmentation and Classification.- Segmentation and Semantic Segmentation.- Dictionary Learning, Retrieval, and Clustering.- Deep Learning.- People Tracking and Action Recognition.- People and Actions.- Faces.- Computational Photography.- Face and Gestures.- Image Alignment.- Computational Photography and Image Processing.- Language and Video.- 3D Computer Vision.- Image Attributes, Language, and Recognition.- Video Understanding.- 3D Vision.
• (source: Nielsen Book Data)

The five-volume set LNCS 10111-10115 constitutes the thoroughly refereed post-conference proceedings of the 13th Asian Conference on Computer Vision, ACCV 2016, held in Taipei, Taiwan, in November 2016. The total of 143 contributions presented in these volumes was carefully reviewed and selected from 479 submissions. The papers are organized in topical sections on Segmentation and Classification; Segmentation and Semantic Segmentation; Dictionary Learning, Retrieval, and Clustering; Deep Learning; People Tracking and Action Recognition; People and Actions; Faces; Computational Photography; Face and Gestures; Image Alignment; Computational Photography and Image Processing; Language and Video; 3D Computer Vision; Image Attributes, Language, and Recognition; Video Understanding; and 3D Vision.
(source: Nielsen Book Data)

• Segmentation and Classification.- Segmentation and Semantic Segmentation.- Dictionary Learning, Retrieval, and Clustering.- Deep Learning.- People Tracking and Action Recognition.- People and Actions.- Faces.- Computational Photography.- Face and Gestures.- Image Alignment.- Computational Photography and Image Processing.- Language and Video.- 3D Computer Vision.- Image Attributes, Language, and Recognition.- Video Understanding.- 3D Vision.
• (source: Nielsen Book Data)

The five-volume set LNCS 10111-10115 constitutes the thoroughly refereed post-conference proceedings of the 13th Asian Conference on Computer Vision, ACCV 2016, held in Taipei, Taiwan, in November 2016. The total of 143 contributions presented in these volumes was carefully reviewed and selected from 479 submissions. The papers are organized in topical sections on Segmentation and Classification; Segmentation and Semantic Segmentation; Dictionary Learning, Retrieval, and Clustering; Deep Learning; People Tracking and Action Recognition; People and Actions; Faces; Computational Photography; Face and Gestures; Image Alignment; Computational Photography and Image Processing; Language and Video; 3D Computer Vision; Image Attributes, Language, and Recognition; Video Understanding; and 3D Vision.
(source: Nielsen Book Data)

• Segmentation and Classification.- Segmentation and Semantic Segmentation.- Dictionary Learning, Retrieval, and Clustering.- Deep Learning.- People Tracking and Action Recognition.- People and Actions.- Faces.- Computational Photography.- Face and Gestures.- Image Alignment.- Computational Photography and Image Processing.- Language and Video.- 3D Computer Vision.- Image Attributes, Language, and Recognition.- Video Understanding.- 3D Vision.
• (source: Nielsen Book Data)

The five-volume set LNCS 10111-10115 constitutes the thoroughly refereed post-conference proceedings of the 13th Asian Conference on Computer Vision, ACCV 2016, held in Taipei, Taiwan, in November 2016. The total of 143 contributions presented in these volumes was carefully reviewed and selected from 479 submissions. The papers are organized in topical sections on Segmentation and Classification; Segmentation and Semantic Segmentation; Dictionary Learning, Retrieval, and Clustering; Deep Learning; People Tracking and Action Recognition; People and Actions; Faces; Computational Photography; Face and Gestures; Image Alignment; Computational Photography and Image Processing; Language and Video; 3D Computer Vision; Image Attributes, Language, and Recognition; Video Understanding; and 3D Vision.
(source: Nielsen Book Data)

• Segmentation and Classification.- Segmentation and Semantic Segmentation.- Dictionary Learning, Retrieval, and Clustering.- Deep Learning.- People Tracking and Action Recognition.- People and Actions.- Faces.- Computational Photography.- Face and Gestures.- Image Alignment.- Computational Photography and Image Processing.- Language and Video.- 3D Computer Vision.- Image Attributes, Language, and Recognition.- Video Understanding.- 3D Vision.
• (source: Nielsen Book Data)

The five-volume set LNCS 10111-10115 constitutes the thoroughly refereed post-conference proceedings of the 13th Asian Conference on Computer Vision, ACCV 2016, held in Taipei, Taiwan, in November 2016. The total of 143 contributions presented in these volumes was carefully reviewed and selected from 479 submissions. The papers are organized in topical sections on Segmentation and Classification; Segmentation and Semantic Segmentation; Dictionary Learning, Retrieval, and Clustering; Deep Learning; People Tracking and Action Recognition; People and Actions; Faces; Computational Photography; Face and Gestures; Image Alignment; Computational Photography and Image Processing; Language and Video; 3D Computer Vision; Image Attributes, Language, and Recognition; Video Understanding; and 3D Vision.
(source: Nielsen Book Data)

• New Trends in Image Restoration and Enhancement (NTIRE).- Workshop on Assistive Vision.- Hyperspectral Image and Signal Processing.- Computer Vision Technologies for Smart Vehicle.- Spontaneous Facial Behavior Analysis.- 3D Modelling and Applications.
• (source: Nielsen Book Data)

The three-volume set, consisting of LNCS 10116, 10117, and 10118, contains carefully reviewed and selected papers presented at 17 workshops held in conjunction with the 13th Asian Conference on Computer Vision, ACCV 2016, in Taipei, Taiwan in November 2016. The 134 full papers presented were selected from 223 submissions. LNCS 10116 contains the papers selected .
(source: Nielsen Book Data)

• New Trends in Image Restoration and Enhancement (NTIRE).- Workshop on Assistive Vision.- Hyperspectral Image and Signal Processing.- Computer Vision Technologies for Smart Vehicle.- Spontaneous Facial Behavior Analysis.- 3D Modelling and Applications.
• (source: Nielsen Book Data)

The three-volume set, consisting of LNCS 10116, 10117, and 10118, contains carefully reviewed and selected papers presented at 17 workshops held in conjunction with the 13th Asian Conference on Computer Vision, ACCV 2016, in Taipei, Taiwan in November 2016. The 134 full papers presented were selected from 223 submissions. LNCS 10116 contains the papers selected .
(source: Nielsen Book Data)

• New Trends in Image Restoration and Enhancement (NTIRE).- Workshop on Assistive Vision.- Hyperspectral Image and Signal Processing.- Computer Vision Technologies for Smart Vehicle.- Spontaneous Facial Behavior Analysis.- 3D Modelling and Applications.
• (source: Nielsen Book Data)

The three-volume set, consisting of LNCS 10116, 10117, and 10118, contains carefully reviewed and selected papers presented at 17 workshops held in conjunction with the 13th Asian Conference on Computer Vision, ACCV 2016, in Taipei, Taiwan in November 2016. The 134 full papers presented were selected from 223 submissions. LNCS 10116 contains the papers selected .
(source: Nielsen Book Data)

• Visual Control.- Visual Navigation.- Visual Inspection.- Image Processing.- Human Robot Interaction.- Stereo System.- Image Retrieval.- Visual Detection.- Visual Recognition.- System Design.- 3D Vision / Fusion.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 11th International Conference on Computer Vision Systems, ICVS 2017, held in Shenzhen, China, in July 2017. The 61 papers presented were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on visual control, visual navigation, visual inspection, image processing, human robot interaction, stereo system, image retrieval, visual detection, visual recognition, system design, and 3D vision / fusion.
(source: Nielsen Book Data)

• Computer-Assisted.- Robotic Endoscopy.- Ultrasound endoscopy.- Endoscopic tracking and navigation techniques.- Vitrual and mixed reality.-.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2016, held in conjunction with MICCAI 2016, in Athens, Greece, in October 2016. The 11 revised full papers were carefully selected out of 13 initial submissions. The papers are organized on topical secttion such as computer vision, graphics, robotics, medical imaging, external tracking systems, medical device controls systems, information processing techniques, endoscopy planning and simulation.
(source: Nielsen Book Data)

• Conceptual Modeling Methodology.- Conceptual Modeling and Requirements.- Foundations.- Conceptual Modeling in Specific Context.- Conceptual Modeling and Business Processes.- Model Efficiency.- Ontologies.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017. The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions. This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and Requirements, Foundations, Conceptual Modeling in Specifi c Context, Conceptual Modeling and Business Processes, Model Efficiency, and Ontologies. .
(source: Nielsen Book Data)

• Anthropology.- Psychology,
• Economy.- Biology.- Mathematics.- Computer Science.
• (source: Nielsen Book Data)

This book constitutes thoroughly revised selected papers of the Second International Workshop on Conflict and Resolution in Decision Makrung, COREDEMA 2016, held in The Hague, The Netherlands, in August 2016. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The 2nd International Workshop on Conflict Resolution in Decision Making (COREDEMA 2016) focuses on theoretical and practical computational approaches for solving and understanding conflict resolution.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the First International Workshop on Connectomics in NeuroImaging, CNI 2017, held in conjunction with MICCAI 2017 in Quebec City, Canada, in September 2017. The 19 full papers presented were carefully reviewed and selected from 26 submissions. The papers deal with new advancements in network construction, analysis, and visualization techniques in connectomics and their use in clinical diagnosis and group comparison studies as well as in various neuroimaging applications.
(source: Nielsen Book Data)

• Towards a distributed data-sharing economy.- Modeling patient-centric healthcare using socially intelligent systems: the AVICENA experience.- `How did they know?' - Model-checking for analysis of information leakage in social networks.- A manifesto for conscientious design of hybrid online social systems.- Communication and shared mental models for teams performing interdependent tasks.- An empirical approach for relating environmental patterns with agent team compositions.- Monitoring opportunism in multi-agent systems.- The role of values.- On the minimal recognition of rights in holonic institutions. .
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The workshop COIN@AAMAS 2016 was held in Singapore, Singapore, in May 2016, and the workshop COIN@ECAI 2016 was held in The Hague, The Netherlands, in August 2016. The 9 full papers were carefully reviewed and selected from 15 submissions for inclusion in this volume. They cover the following topics: Social Issues: The papers focus on the security of personal data, support for self-care for individuals with chronic conditions, analysis of the risk of information leakage in social networks, and an analysis of issues arising in the design of on-line environments whose participants are human and software. Teams: The papers consider different aspects of team working: what kinds of knowledge sharing best contribute to effective team performance and how to organize a tea m to function effectively in different kinds of scenarios. Rights and Values: The papers examine complementary issues that influence the effective design of normative systems, namely how to detect opportunism so that it may be discouraged, how individuals values influence (collective) decision-making processes and how rights and powers relate to value and conflict resolution in nested organizational structures.
(source: Nielsen Book Data)

• Intro; Preface; Organization; Formal Methods for Cyber-Physical Systems in the Automotive Domain (Extended Abstract); Contents; A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications; 1 Introduction; 2 Related Work; 3 The Model-Driven Framework; 3.1 Model-Driven Engineering; 3.2 Overview of Model-Driven Framework; 3.3 Tooling Choices; 4 Details of the Model-Driven Framework; 4.1 SDF Graphs; 4.2 Platform Application Models; 4.3 Allocation Models; 4.4 Common Metamodel; 4.5 Priced Timed-Automata Models; 5 Case Study and Evaluation; 5.1 Case Study; 5.2 Evaluation.

• 5.3 Timing Performance6 Conclusions and Future Work; References; Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection; 1 Introduction; 1.1 Sliding Mode; 2 Proposed Method; 2.1 Loop Detection; 2.2 Establishing Loop Invariant; 2.3 Termination Check; 2.4 Deducing Model Specification; 3 Experiment; 4 Related Work; 5 Conclusion; References; SysML to NuSMV Model Transformation via Object-Orientation; 1 Introduction; 2 Preliminaries; 3 The Intermediate Model; 4 Transformations to NuSMV Input; 5 SysMV-Ja at Work; 5.1 Case Study: A Railway System.

• 5.2 Case Study: An Airbag System6 Conclusions; References; CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments; 1 Introduction; 2 Background: Model-Based CPS Design and Simulink; 2.1 CPS Model Elements; 2.2 Example CPS Development Environment: Simulink; 3 Study of Existing Bugs: Incorrect Code Generation; 4 Differential Testing of CPS Development Tool Chains; 4.1 Conceptual Random Model Generator; 4.2 Conceptual Comparison Framework; 5 CyFuzz Prototype Implementation for Simulink; 6 Experience with CyFuzz.

• 6.1 Research Questions (RQ), Experimental Setup, and Results6.2 Interesting Comparison Framework Findings; 7 Future Work and Discussion; 8 Related Work; 9 Conclusions; References; Ardán: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper); 1 Introduction; 2 Ardán; 2.1 Features; 2.2 Design; 3 The Corridor: A Case Study; 3.1 Corridor Setup; 3.2 Lighting Algorithm; 3.3 Testing with ``What if?'' Scenarios; 3.4 Crowd Control; 3.5 Performance; 4 Related Work; 5 Conclusion; References; Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow; 1 Introduction.

• 2 Background2.1 Simulink; 2.2 Proving Transformation Correctness for Discrete and Continuous Simulink Models; 3 Proving Correctness of Refactorings for Hybrid Models with Control Flow; 4 Denotational Abstract Representation of Hybrid Simulink Models with Control Flow; 5 Observing the Inner Behaviour of Regular Hybrid Control Flow Simulink Models; 6 Proof Obligations for Behavioural Equivalence of Regular Hybrid Simulink Models with Control Flow; 7 Related Work; 8 Conclusion and Future Work; References; Automated Verification of Switched Systems Using Hybrid Identification; 1 Introduction.

This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016. The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.
(source: Nielsen Book Data)

• Cyber security.-Secure software development methodologies, formal methods semantics and verification of secure systems.-Fault tolerance, reliability, availability of distributed secure systems.- Game-theoretic approaches to secure computing.- Automatic recovery of self-stabilizing and self-organizing systems.- Communication, authentication and identification security.- Cyber security for mobile and Internet of things.- Cyber security of corporations.- Security and privacy for cloud, edge and fog computing.-Ccryptography.- Cryptographic implementation analysis and construction.- Secure multi-party computation.- Privacy-enhancing technologies and anonymity.- Post-quantum cryptography and security.- Machine learning and big data.- Anomaly detection and malware identification.- Business intelligence and security.- Digital forensics.- Digital rights management
• trust management and reputation systems.- Information retrieval, risk analysis, DoS.>.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the first International Symposium on Cyber Security Cryptography and Machine Learning, held in Beer-Sheva, Israel, in June 2017. The 17 full and 4 short papers presented include cyber security; secure software development methodologies, formal methods semantics and verification of secure systems; fault tolerance, reliability, availability of distributed secure systems; game-theoretic approaches to secure computing; automatic recovery of self-stabilizing and self-organizing systems; communication, authentication and identification security; cyber security for mobile and Internet of things; cyber security of corporations; security and privacy for cloud, edge and fog computing; cryptography; cryptographic implementation analysis and construction; secure multi-party computation; privacy-enhancing technologies and anonymity; post-quantum cryptography and security; machine learning and big data; anomaly detection and malware identification; business intelligence and security; digital forensics; digital rights management; trust management and reputation systems; information retrieval, risk analysis, DoS.
(source: Nielsen Book Data)

• Locating Faults in Photovoltaic Systems Data.- Forecasting of Smart Meter Time Series Based on Neural Cybersecurity for Smart Cities: A Brief Review.- Machine Learning Prediction of Photovoltaic Energy from Satellite Sources.- Approximate Probabilistic Power Flow.- Dealing with Uncertainty: An Empirical Study on the Relevance of Renewable Energy Forecasting Methods.- Measuring Stakeholders' Perceptions of Cybersecurity for Renewable Energy Systems.- Selection of Numerical Weather Forecast Features for PV Power Predictions with Random Forests.- Evolutionary Multi-Objective Ensembles for Wind Power Prediction.- A Semi-Automatic Approach for Tech Mining and Interactive Taxonomy Visualization.- Decomposition of Aggregate Electricity Demand into the Seasonal-Thermal Components for Demand-Side Management Applications in "Smart Grids".
• (source: Nielsen Book Data)

This book constitutes revised selected papers from the 4th ECML PKDD Workshop on Data Analytics for Renewable Energy Integration, DARE 2016, held in Riva del Garda, Italy, in September 2016. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book and handle topics such as time series forecasting, the detection of faults, cyber security, smart grid and smart cities, technology integration, demand response and many others.
(source: Nielsen Book Data)

• Technology-Enhanced Learning.- Computer-assisted
• instruction.- Interactive learning
• environments.- Collaborative learning.- Learning management
• systems.- Distance learning.- E-Learning.- Data analytics.- Visual analytics.- Information visualization.- Online learning algorithms.- Machine learning.- Learning Anlaytics.- Recommender Systems.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, held in Tallinn, Estonia, in September 2017. The 24 full papers, 23 short papers, 6 demo papers, and 22 poster papers presented in this volume were carefully reviewed and selected from 141 submissions. The theme for the 12th EC-TEL conference on Data Driven Approaches in Digital Education' aims to explore the multidisciplinary approaches thateectively illustrate how data-driven education combined with digital education systems can look like and what are the empirical evidences for the use of datadriven tools in educational practices.
(source: Nielsen Book Data)

• Life Science Data Modelling.- Analysing, Indexing, and Querying Life Sciences Datasets.- Annotating, Matching, and Sharing Life Sciences Datasets.- Privacy and Provenance of Life Sciences Datasets.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 12th International Conference on Data Integration in the Life Sciences, DILS 2017, held in Luxembourg, in November 2017. The 5 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 16 submissions. They cover topics such as: life science data modelling; analysing, indexing, and querying life sciences datasets; annotating, matching, and sharing life sciences datasets; privacy and provenance of life sciences datasets.
(source: Nielsen Book Data)

• Knowledge discovery of biomedical data.- Managing, querying and processing of medical image data.- Information extraction and data integration for biomedical data.- Health information systems.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 2016, in New Delhi, India, in September 2016, held in conjunction with the 42nd International Conference on Very Large Data Bases, VLDB 2016. The 7 revised full papers presented together with 2 invited papers and 3 keynote abstracts were carefully reviewed and selected from 11 initial submissions. The papers are organized in topical sections on knowledge discovery of biomedical data; managing, querying and processing of medical image data; information extraction and data integration for biomedical data; and health information systems.
(source: Nielsen Book Data)

• Association Analysis.- A Process for Exploring Employees' Relationships via Social Network and Sentiment Analysis.- Mining Relationship between User Purposes and Product Features towards Purpose-Oriented Recommendation.- Finding Top-k Fuzzy Frequent Itemsets from Databases.- Association Rule Mining in Healthcare Analytics.- Does Student's Diligence to Study Relate to His/Her Academic Performance.- Correlation anaylsis of diesel engine performance testing data based on mixed-copula method.- Clustering.- Comparative Study of Apache Spark MLlib Clustering Algorithms.- l-DP algorithm: a hybrid density peaks clustering.- Prediction.- Incremental Adaptive Time Series Prediction for Power Demand Forecasting.- Food Sales Prediction with Meteorological Data { A Case Study of a Japanese Chain Supermarket.- Cascade Spatial Autoregression for Air Pollution Prediction.- Machine Learning Techniques for Prediction of Pre-fetched Objects in Handling Big Data Storage.- Classification.- Spectral-Spatial Mineral Classification Of Lunar Surface Using Band Parameters With Active Learning.- R2CEDM: A Rete-based RFID Complex Event Detection Method.- Learning Analytics for SNS-Integrated Virtual Learning Environment.- LBP vs. LBP Variance for Texture Classification.- A Decision Tree Of Ignition Point For Simple Inflammable Chemical Compounds.- Analyzing Consumption Behaviors of Pet Owners in a Veterinary Hospital.- Schedule and Sequence Analysis.- Modeling Inter-Country Connection from Geotagged News Reports: A Time-Series Analysis.- Mining Sequential Patterns of Students' Access on Learning Management System.- Design of a dynamic electricity trade scheduler based on genetic algorithms.- Increasing Coverage of Information Spreading in Social Networks with Supporting Seeding.- Big Data.- B-Learning and Big Data: Use in Training an Engineering Course.- Mapping Knowledge Domain Research in Big Data: From 2006 to 2016.- Template based Industrial Big Data Information Extraction and Query System.- Finding the Typical Communication Black Hole in Big Data Environment.- A Solution for Mining Big Data Based on Distributed Data Streams and Its Classifying Algorithms.- Data Analysis.- Design of a Quality-Aware Data Capture System.- Data Architecture for the Internet of Things and Industry 4.0.- Machine Learning in Data Lake for Combining Data Silos.- Development of 3D Earth Visualization for Taiwan Ocean Environment Demonstration.- Exploring Potential Use of Mobile Phone Data Resource to Analyze Inter-Regional Travel Patterns in Japan.- REBUILD:Graph Embedding Based Method for User Social Role Identity on Mobile Communication Network.- Study A Join Query Strategy over Data Stream Based on Sliding Windows.- Data Mining.- L2 Learners' Proficiency Evaluation Using Statistics Based on Relationship among CEFR Rating Scales.- Research Hotspots and Trends in Data Mining: From 1993 to 2016.- Proposal for a New Reduct Method for Decision Tables and an Improved STRIM.- Post-marketing Drug Safety Evaluation using Data Mining Based on FAERS.- Crowd density estimation from few RF tracking devices: I. Modelling Framework.- Text Mining.- Mining Textual Reviews with Hierarchical Latent Tree Analysis.- Extraction of Temporal Events from Clinical Text using Semi-Supervised Conditional Random Fields.- Characteristics of language usage in inquires asked to an online help desk.- Deep Learning.- A Novel Diagnosis Method for SZ by Deep Neural Networks.- A Novel Data-driven Fault Diagnosis Method Based on Deep Learning.- High Performance Computing.- Simulated Precipitation and Reservoir Inflow in the Chao Phraya River Basin by Multi-Model Ensemble CMIP3 & CMIP5.- An IDL-Based Parallel Model for Scientific Computations on Multi-Core Computers.- Accelerating Redis with RDMA over InfiniBand.- Knowledge Base and its Framework.- Application of Decision Trees in the Development of a Knowledge Base for a System of Support for Revitalization Processes.- ABC Metaheuristic Based Optimized Adaptation Planning Logic for Decision Making Intelligent Agents in Self Adaptive Software System.- A Knowledge-based Framework for Mitigating Hydro-Meteorological Disasters.- Fuzzy Control.- Improved Stability and Stabilization Criteria for T-S Fuzzy Systems with Distributed Time-Delay.- Adaptive Neuro-Fuzzy Inference System: Overview, Strengths, Limitations, and Solutions.- Acquisition of Knowledge in the Form of Fuzzy Rules for Cases Classification.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Second International Conference on Data Mining and Big Data, DMBD 2017, held in Fukuoka, Japan, in July/August 2017. The 53 papers presented in this volume were carefully reviewed and selected from 96 submissions. They were organized in topical sections named: association analysis; clustering; prediction; classification; schedule and sequence analysis; big data; data analysis; data mining; text mining; deep learning; high performance computing; knowledge base and its framework; and fuzzy control. .
(source: Nielsen Book Data)

• Semantic Web and Semantics.- Graph Matching.- Data Modeling, Data Abstraction, and Uncertainty.- Preferences and Query Optimization.- Data Integration and RDF Matching.- Security and Privacy.- Web Search.- Data Clustering.- Top-K and Skyline Queries.- Data Mining and Big Data.- Service Computing.- Continuous and Temporal Data, and Continuous Query Language.- Text Processing and Semantic Search.- Indexing and Concurrency Control Methods.- Data Warehouse and Data Stream Warehouse.- Data Mining and Machine Learning.- Recommender Systems and Query Recommendation.- Graph Algorithms.- Semantic Clustering and Data Classification.
• (source: Nielsen Book Data)

This two volume set LNCS 10438 and LNCS 10439 constitutes the refereed proceedings of the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, August 2017. The 37 revised full papers presented together with 40 short papers were carefully reviewed and selected from 166 submissions. The papers discuss a range of topics including: Semantic Web and Semantics; Graph Matching; Data Modeling, Data Abstraction, and Uncertainty; Preferences and Query Optimization; Data Integration and RDF Matching; Security and Privacy; Web Search; Data Clustering; Top-K and Skyline Queries; Data Mining and Big Data; Service Computing; Continuous and Temporal Data, and Continuous Query Language; Text Processing and Semantic Search; Indexing and Concurrency Control Methods; Data Warehouse and Data Stream Warehouse; Data Mining and Machine Learning; Recommender Systems and Query Recommendation; Graph Algorithms; Semantic Clustering and Data Classific ation.
(source: Nielsen Book Data)

• Semantic web and knowledge management.- Indexing and distributed systems.- Network embedding.-Trajectory and time series data processing.- Data mining.- Query processing and optimization.-Text mining.-recommendation.- Security, privacy, senor and cloud.- Social network analytics.- Map matching and spatial keywords.- Query processing and optimization.- Search and information retrieval.- String and sequence processing.- Stream data processing.- Graph and network data processing.- Spatial databases.- Real time data processing.- Big data.- Social networks and graphs.
• (source: Nielsen Book Data)

This two volume set LNCS 10177 and 10178 constitutes the refereed proceedings of the 22nd International Conference on Database Systems for Advanced Applications, DASFAA 2017, held in Suzhou, China, in March 2017. The 73 full papers, 9 industry papers, 4 demo papers and 3 tutorials were carefully selected from a total of 300 submissions. The papers are organized around the following topics: semantic web and knowledge management; indexing and distributed systems; network embedding; trajectory and time series data processing; data mining; query processing and optimization; text mining; recommendation; security, privacy, senor and cloud; social network analytics; map matching and spatial keywords; query processing and optimization; search and information retrieval; string and sequence processing; stream date processing; graph and network data processing; spatial databases; real time data processing; big data; social networks and graphs.
(source: Nielsen Book Data)

• Semantic web and knowledge management.- Indexing and distributed systems.- Network embedding.-Trajectory and time series data processing.- Data mining.- Query processing and optimization.-Text mining.-recommendation.- Security, privacy, senor and cloud.- Social network analytics.- Map matching and spatial keywords.- Query processing and optimization.- Search and information retrieval.- String and sequence processing.- Stream data processing.- Graph and network data processing.- Spatial databases.- Real time data processing.- Big data.- Social networks and graphs.
• (source: Nielsen Book Data)

This two volume set LNCS 10177 and 10178 constitutes the refereed proceedings of the 22nd International Conference on Database Systems for Advanced Applications, DASFAA 2017, held in Suzhou, China, in March 2017. The 73 full papers, 9 industry papers, 4 demo papers and 3 tutorials were carefully selected from a total of 300 submissions. The papers are organized around the following topics: semantic web and knowledge management; indexing and distributed systems; network embedding; trajectory and time series data processing; data mining; query processing and optimization; text mining; recommendation; security, privacy, senor and cloud; social network analytics; map matching and spatial keywords; query processing and optimization; search and information retrieval; string and sequence processing; stream date processing; graph and network data processing; spatial databases; real time data processing; big data; social networks and graphs.
(source: Nielsen Book Data)

• Spatial databases.- Query processing.- Similarity search.- Data mining.- AI for big data.- Potpourri.- Demo papers.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 28th Australasian Database Conference, ADC 2017, held in Brisbane, QLD, Australia, in September 2017. The 20 full papers presented together with 2 demo papers were carefully reviewed and selected from 32 submissions. The mission of ADC is to share novel research solutions to problems of today's information society that fulfill the needs of heterogeneous applications and environments and to identify new issues and directions for future research and development work. The topics of the presented papers are related to all practical and theoretical aspects of advanced database theory and applications, as well as case studies and implementation experiences.
(source: Nielsen Book Data)

• Preface.- Introduction.- Tinnitus treatment as a problem area
• Recommender solutions overview.- Knowledge discovery approach for recommendation.- RECTIN system design.- Experiment 1: classifiers.- Experiment 2: diagnostic rules.- Experiment 3: treatment rules.- Experiment 4: treatment rules enhancement.- RECTIN implementation.- Final conclusions and future work.- References.
• (source: Nielsen Book Data)

The book presents a knowledge discovery based approach to build a recommender system supporting a physician in treating tinnitus patients with the highly successful method called Tinnitus Retraining Therapy. It describes experiments on extracting novel knowledge from the historical dataset of patients treated by Dr. P. Jastreboff so that to better understand factors behind therapy's effectiveness and better personalize treatments for different profiles of patients. The book is a response for a growing demand of an advanced data analytics in the healthcare industry in order to provide better care with the data driven decision-making solutions. The potential economic benefits of applying computerized clinical decision support systems include not only improved efficiency in health care delivery (by reducing costs, improving quality of care and patient safety), but also enhancement in treatment's standardization, objectivity and availability in places of scarce expert's knowledge on this difficult to treat hearing disorder. Furthermore, described approach could be used in assessment of the clinical effectiveness of evidence-based intervention of various proposed treatments for tinnitus.
(source: Nielsen Book Data)

• Third International Workshop on Deep Learning in Medical Image Analysis, DLMIA 2017:
• Simultaneous Multiple Surface Segmentation Using Deep Learning / Abhay Shah, Michael D. Abramoff, Xiaodong Wu
• A Deep Residual Inception Network for HEp-2 Cell Classification / Yuexiang Li, Linlin Shen
• Joint Segmentation of Multiple Thoracic Organs in CT Images with Two Collaborative Deep Architectures / Roger Trullo, Caroline Petitjean, Dong Nie, Dinggang Shen, Su Ruan
• Accelerated Magnetic Resonance Imaging by Adversarial Neural Network / Ohad Shitrit, Tammy Riklin Raviv
• Left Atrium Segmentation in CT Volumes with Fully Convolutional Networks / Honghui Liu, Jianjiang Feng, Zishun Feng, Jiwen Lu, Jie Zhou
• 3D Randomized Connection Network with Graph-Based Inference / Siqi Bao, Pei Wang, Albert C. S. Chung
• Adversarial Training and Dilated Convolutions for Brain MRI Segmentation / Pim Moeskops, Mitko Veta, Maxime W. Lafarge, Koen A. J. Eppenhof, Josien P. W. Pluim
• CNNs Enable Accurate and Fast Segmentation of Drusen in Optical Coherence Tomography / Shekoufeh Gorgi Zadeh, Maximilian W. M. Wintergerst, Vitalis Wiens, Sarah Thiele, Frank G. Holz, Robert P. Finger et al.
• Region-Aware Deep Localization Framework for Cervical Vertebrae in X-Ray Images / S. M. Masudur Rahman Al Arif, Karen Knapp, Greg Slabaugh
• Domain-Adversarial Neural Networks to Address the Appearance Variability of Histopathology Images / Maxime W. Lafarge, Josien P. W. Pluim, Koen A. J. Eppenhof, Pim Moeskops, Mitko Veta
• Accurate Lung Segmentation via Network-Wise Training of Convolutional Networks / Sangheum Hwang, Sunggyun Park
• Deep Residual Recurrent Neural Networks for Characterisation of Cardiac Cycle Phase from Echocardiograms / Fatemeh Taheri Dezaki, Neeraj Dhungel, Amir H. Abdi, Christina Luong, Teresa Tsang, John Jue et al.
• Computationally Efficient Cardiac Views Projection Using 3D Convolutional Neural Networks / Matthieu Le, Jesse Lieman-Sifry, Felix Lau, Sean Sall, Albert Hsiao, Daniel Golden
• Non-rigid Craniofacial 2D-3D Registration Using CNN-Based Regression / Yuru Pei, Yungeng Zhang, Haifang Qin, Gengyu Ma, Yuke Guo, Tianmin Xu et al.
• A Deep Level Set Method for Image Segmentation / Min Tang, Sepehr Valipour, Zichen Zhang, Dana Cobzas, Martin Jagersand
• Context-Based Normalization of Histological Stains Using Deep Convolutional Features / D. Bug, S. Schneider, A. Grote, E. Oswald, F. Feuerhake, J. Schüler et al.
• Transitioning Between Convolutional and Fully Connected Layers in Neural Networks / Shazia Akbar, Mohammad Peikari, Sherine Salama, Sharon Nofech-Mozes, Anne Martel
• Quantifying the Impact of Type 2 Diabetes on Brain Perfusion Using Deep Neural Networks / Behrouz Saghafi, Prabhat Garg, Benjamin C. Wagner, S. Carrie Smith, Jianzhao Xu, Ananth J. Madhuranthakam et al.
• Multi-stage Diagnosis of Alzheimer's Disease with Incomplete Multimodal Data via Multi-task Deep Learning / Kim-Han Thung, Pew-Thian Yap, Dinggang Shen
• A Multi-scale CNN and Curriculum Learning Strategy for Mammogram Classification / William Lotter, Greg Sorensen, David Cox
• Analyzing Microscopic Images of Peripheral Blood Smear Using Deep Learning / Dheeraj Mundhra, Bharath Cheluvaraju, Jaiprasad Rampure, Tathagato Rai Dastidar
• AGNet: Attention-Guided Network for Surgical Tool Presence Detection / Xiaowei Hu, Lequan Yu, Hao Chen, Jing Qin, Pheng-Ann Heng
• Pathological Pulmonary Lobe Segmentation from CT Images Using Progressive Holistically Nested Neural Networks and Random Walker / Kevin George, Adam P. Harrison, Dakai Jin, Ziyue Xu, Daniel J. Mollura
• End-to-End Unsupervised Deformable Image Registration with a Convolutional Neural Network / Bob D. de Vos, Floris F. Berendsen, Max A. Viergever, Marius Staring, Ivana Išgum
• Stain Colour Normalisation to Improve Mitosis Detection on Breast Histology Images / Azam Hamidinekoo, Reyer Zwiggelaar
• 3D FCN Feature Driven Regression Forest-Based Pancreas Localization and Segmentation / Masahiro Oda, Natsuki Shimizu, Holger R. Roth, Ken'ichi Karasawa, Takayuki Kitasaka, Kazunari Misawa et al.
• A Unified Framework for Tumor Proliferation Score Prediction in Breast Histopathology / Kyunghyun Paeng, Sangheum Hwang, Sunggyun Park, Minsoo Kim
• Generalised Dice Overlap as a Deep Learning Loss Function for Highly Unbalanced Segmentations / Carole H. Sudre, Wenqi Li, Tom Vercauteren, Sebastien Ourselin, M. Jorge Cardoso
• ssEMnet: Serial-Section Electron Microscopy Image Registration Using a Spatial Transformer Network with Learned Features / Inwan Yoo, David G. C. Hildebrand, Willie F. Tobin, Wei-Chung Allen Lee, Won-Ki Jeong
• Fully Convolutional Regression Network for Accurate Detection of Measurement Points / Michal Sofka, Fausto Milletari, Jimmy Jia, Alex Rothberg
• Fast Predictive Simple Geodesic Regression / Zhipeng Ding, Greg Fleishman, Xiao Yang, Paul Thompson, Roland Kwitt, Marc Niethammer et al.
• Learning Spatio-Temporal Aggregation for Fetal Heart Analysis in Ultrasound Video / Arijit Patra, Weilin Huang, J. Alison Noble
• Fast, Simple Calcium Imaging Segmentation with Fully Convolutional Networks / Aleksander Klibisz, Derek Rose, Matthew Eicholtz, Jay Blundon, Stanislav Zakharenko
• Self-supervised Learning for Spinal MRIs / Amir Jamaludin, Timor Kadir, Andrew Zisserman
• Skin Lesion Segmentation via Deep RefineNet / Xinzi He, Zhen Yu, Tianfu Wang, Baiying Lei
• Multi-scale Networks for Segmentation of Brain Magnetic Resonance Images / Jie Wei, Yong Xia
• Deep Learning for Automatic Detection of Abnormal Findings in Breast Mammography / Ayelet Akselrod-Ballin, Leonid. Karlinsky, Alon Hazan, Ran Bakalo, Ami Ben Horesh, Yoel Shoshan et al.
• Grey Matter Segmentation in Spinal Cord MRIs via 3D Convolutional Encoder Networks with Shortcut Connections / Adam Porisky, Tom Brosch, Emil Ljungberg, Lisa Y. W. Tang, Youngjin Yoo, Benjamin De Leener et al.
• 7th International Workshop on Multimodal Learning for Clinical Decision Support, ML-CDS 2017:
• Mapping Multi-Modal Routine Imaging Data to a Single Reference via Multiple Templates / Johannes Hofmanninger, Bjoern Menze, Marc-André Weber, Georg Langs
• Automated Detection of Epileptogenic Cortical Malformations Using Multimodal MRI / Ravnoor S. Gill, Seok-Jun Hong, Fatemeh Fadaie, Benoit Caldairou, Boris Bernhardt, Neda Bernasconi et al.
• Prediction of Amyloidosis from Neuropsychological and MRI Data for Cost Effective Inclusion of Pre-symptomatic Subjects in Clinical Trials / Manon Ansart, Stéphane Epelbaum, Geoffroy Gagliardi, Olivier Colliot, Didier Dormont, Bruno Dubois et al.
• Automated Multimodal Breast CAD Based on Registration of MRI and Two View Mammography / T. Hopp, P. Cotic Smole, N. V. Ruiter
• EMR-Radiological Phenotypes in Diseases of the Optic Nerve and Their Association with Visual Function / Shikha Chaganti, Jamie R. Robinson, Camilo Bermudez, Thomas Lasko, Louise A. Mawn, Bennett A. Landman
• Erratum to: Fast Predictive Simple Geodesic Regression / Zhipeng Ding, Greg Fleishman, Xiao Yang, Paul Thompson, Roland Kwitt, Marc Niethammer et al.

This book constitutes the refereed joint proceedings of the Third International Workshop on Deep Learning in Medical Image Analysis, DLMIA 2017, and the 6th International Workshop on Multimodal Learning for Clinical Decision Support, ML-CDS 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 38 full papers presented at DLMIA 2017 and the 5 full papers presented at ML-CDS 2017 were carefully reviewed and selected. The DLMIA papers focus on the design and use of deep learning methods in medical imaging. The ML-CDS papers discuss new techniques of multimodal mining/retrieval and their use in clinical decision support.
(source: Nielsen Book Data)

• Preface.- Acknowledgements.- Chapte
• r1: Introduction.- Chapte
• r2: Selected topics in fuzzy systems designing.- Chapte
• r3: Introduction to fuzzy system interpretability.- Chapte
• r4: Improving fuzzy systems interpretability by appropriate selection of their structure.- Chapte
• r5: Interpretability of fuzzy systems designed in the process of gradient learning.- Chapte
• r6: Interpretability of fuzzy systems designed in the process of evolutionary learning.- Chapte
• r7: Case study: interpretability of fuzzy systems applied to nonlinear modelling and control.- Chapte
• r8: Case study: interpretability of fuzzy systems applied to identity verification.- Chapte
• r9: Concluding remarks and future perspectives.- Index.
• (source: Nielsen Book Data)

This book shows that the term "interpretability" goes far beyond the concept of readability of a fuzzy set and fuzzy rules. It focuses on novel and precise operators of aggregation, inference, and defuzzification leading to flexible Mamdani-type and logical-type systems that can achieve the required accuracy using a less complex rule base. The individual chapters describe various aspects of interpretability, including appropriate selection of the structure of a fuzzy system, focusing on improving the interpretability of fuzzy systems designed using both gradient-learning and evolutionary algorithms. It also demonstrates how to eliminate various system components, such as inputs, rules and fuzzy sets, whose reduction does not adversely affect system accuracy. It illustrates the performance of the developed algorithms and methods with commonly used benchmarks. The book provides valuable tools for possible applications in many fields including expert systems, automatic control and robotics.
(source: Nielsen Book Data)

• Intro; Preface; Contents; List of Figures; List of Tables; 1 On Using Fuzzy Logic to Control a Simulated Hexacopter Carrying an Attached Pendulum; 1.1 Introduction; 1.2 Description of the Controlled Plant: The Hexacopter; 1.3 Proposed Multi-layer Controller; 1.3.1 Pre-processing Phase; 1.3.2 Post-processing Phase; 1.4 The Fuzzy Controllers; 1.4.1 The Fuzzy Method; 1.4.2 Roll Stabilization; 1.4.3 Pitch Stabilization; 1.4.4 Heading to Goal (Yaw Controller); 1.4.5 The Horizontal Navigation; 1.4.6 The Vertical Navigation; 1.5 Experiment and Results; 1.5.1 Overview of the Experiment; 1.5.2 Results

• 1.5.3 Discussion1.6 Conclusions and Future Work; References; 2 Monocular Pose Estimation for an Unmanned Aerial Vehicle Using Spectral Features; 2.1 Introduction; 2.2 Homography-Based Pose Estimation; 2.2.1 Review of Plane-Induced Homography; 2.2.2 Homography Decomposition; 2.3 Spectral Features Correspondence; 2.3.1 Corresponding Points; 2.4 Implementation and Results; 2.4.1 Spectral Features Evaluation; 2.4.2 Pose Estimation in Simulated Quadcopter; 2.5 Conclusions; References; 3 Simultaneous Navigation and Mapping in an Autonomous Vehicle Based on Fuzzy Logic; 3.1 Introduction

• 3.2 Virtual Robot Experimentation Platform3.3 Autonomous Vehicle; 3.4 Navigation and Mapping; 3.4.1 Trajectory Planning; 3.4.2 Navigation; 3.4.3 Decision Tree; 3.5 Simulation; 3.6 Case Study; 3.7 Conclusions; References; 4 Fully Scalable Parallel Hardware for Wheeled Robot Navigation Using Fuzzy Control; 4.1 Introduction; 4.2 Fuzzy Controlllers; 4.3 Fuzzy Models for Wheeled Robot Navigation; 4.4 The Proposed Macro-architecture; 4.5 Micro-architecture of the Functional Units; 4.5.1 Membership Function Unit; 4.5.2 Membership Function Memory; 4.5.3 Fuzzification Unit; 4.5.4 Inference Unit

• 4.5.5 Defuzzification Unit4.6 Performance Results; 4.7 Conclusion; References; 5 Nonlinear Correction for an Energy Estimator Operating at Severe Pile-Up Conditions; 5.1 Introduction; 5.2 High-Energy Signal Pile-Up; 5.3 Online Linear Estimation; 5.3.1 Minimum Variance Linear Unbiased Estimator; 5.3.2 Maximum Likelihood Estimation; 5.4 Nonlinear Correction; 5.5 Performance Comparisons; 5.5.1 Data Set; 5.5.2 Nonlinear Corrector Design; 5.5.3 Efficiency Tests; 5.5.4 Bias and Linearity; 5.5.5 Performance at Different Occupancy Levels; 5.5.6 Exploring the ANN Generalization; 5.6 Conclusions

• 8 Human
• Machine Musical Composition in Real-Time Based on Emotions Through a Fuzzy Logic Approach

This book discusses a number of real-world applications of computational intelligence approaches. Using various examples, it demonstrates that computational intelligence has become a consolidated methodology for automatically creating new competitive solutions to complex real-world problems. It also presents a concise and efficient synthesis of different systems using computationally intelligent techniques.

• Advanced Classification of Remote Sensing High Resolution Imagery.- An Application for the Management of Natural Resources.- Analyzing the Impact of Strategic Performance Management Systems and Role Ambiguity on Performance: A Qualitative Approach.- Advanced Radial Approach to Resource Location Problems.- Verbal Decision Analysis Applied to the Prioritization of Influencing Factors in Distributed Software Development.- Agile Documentation Tool Concept.- Pervasive Business Intelligence: A Key Success Factor for Business.- Annotated Documents and Expanded CIDOC-CRM Ontology in the Automatic Construction of a Virtual Museum.
• (source: Nielsen Book Data)

This book primarily addresses Intelligent Information Systems (IIS) and the integration of artificial intelligence, intelligent systems and technologies, database technologies and information systems methodologies to create the next generation of information systems. It includes original and state-of-the-art research on theoretical and practical advances in IIS, system architectures, tools and techniques, as well as "success stories" in intelligent information systems. Intended as an interdisciplinary forum in which scientists and professionals could share their research results and report on new developments and advances in intelligent information systems, technologies and related areas - as well as their applications - , it offers a valuable resource for researchers and practitioners alike.
(source: Nielsen Book Data)

• From a Small Liberal Arts College to the World: Our Blended Courses, SPOC, and MOOCs in Italian Studies.- Giving Exible Learners a Head Start on Higher Education: Designing and Implementing a Pre-induction Socialization MOOC.- The E.M.M.A. Experience: Emerging Patterns and Factors for Success.- Mentoring Learners in MOOCs: a New Way to Improve Completion Rates.- Towards e-Presence at Distance as a Way to Reach and Share e-Quality: the Case of the ECO sMOOCs.- Additional Functionalities to Convert an xMOOC into an xLMOOC.- A Principled Approach to the Design of Collaborative MOOC Curricula.- Towards Full Engagement for Open Online Education. A Practical Experience for a MicroMaster.- From Low-Scale to Collaborative, Gamified and Massive-Scale Courses: Redesigning a MOOC.- Innovation in EU Communication: MOOCs from the European Committee of the Regions.- Does Gamification in MOOC Discussion Forums Work.- A MOOC-based Flipped Class: Lessons Learned from the Orchestration Perspective.- An International Collaboration in the Design Experience of a MOOC Series.- Measuring the Degree of Innovation in Education through the Implementation of an Indicator Based on Analyzing MOOC-related Activities.- Towards a Typology of MOOC Activity Patterns: Learners Who never Rest.- Improving MOOC Student Learning through Enhanced Peer-to-Peer Tasks.- Who Wants to Chat on a MOOC? Lessons from a Peer Recommender System.- Weekly Predicting the At-risk MOOC Learners Using Dominance-based Rough Set Approach.- MOOC Friends and Followers: An Analysis of Twitter Hashtag Networks.- Understanding Learning and Teaching in MOOCs from the Perspectives of Students and Instructors: a Review of Literature from 2014 to 2016.- Effect of Free Certificate Discontinuation in Completion Rates of MOOC.- Challenges of Identifying Second Language English Speakers in MOOCs.- MOOC Quality Evaluation System: Tomsk State University Experience.- The Drivers of Employer Support for Professional Skill Development in MOOCs.- To Change or not to Change? That's the Question on MOOC-Success, Barriers and Their Implications.- Follow-up of Learning Activities in Open edX: a Case Study at the University of Cauca.- Increasing Educational Value: the Transformation of MOOCs into Open Educational Resources.- Implementation Intention and How it Affects Goal Achievement in MOOCs.- A Social Learning Grid for MOOCs: Exploring a FutureLearn Case.- The Double Classroom: Design Patterns Using MOOCs in Teacher Education.- Early Prediction and Variable Importance of Certificate Accomplishment.- Types of Dropout in Adaptive Open Online Courses.- Exploring the Role of Assessment in Developing Learners' Critical Thinking in Massive Open Online Courses. .
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 5th European Conference, EMOOCs 2017, held in Leganes, Madrid, Spain, in May 2017. The 23 full and 10 short papers presented in this volume were carefully reviewed and selected from 53 submissions. Massive Open Online Courses (MOOCs) have marked a milestone in the use of technology for education. The reach, potential, and possibilities of EMOOCs are immense. But they are not only restricted to global outreach: the same technology can be used to improve teaching on campus and training inside companies and institutions. .
(source: Nielsen Book Data)

• Automatic Classification and Recommendation.- Cultural Heritage and Indigenous Knowledge.- Data Sharing and Retrieval.- Lexical and Discourse Analysis.- Mobile Applications.- Search Results Presentation and Visualization.- Social Media.- User Behaviors.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, held in Bangkok, Thailand, in November 2017. The 21 full papers and 6 short papers presented in this book were carefully reviewed and selected from 51 submissions. The paper topics of ICADL 2017 covered a wide spectrum from various areas, including information visualization, data mining/extraction, cultural heritage preservation, personalized service and user modeling, novel library content and use environments, electronic publishing, preservation systems and algorithms, social networking and information systems, Internet of things, cloud computing and applications, mobile services, interoperability issues, open source tools and systems, security and privacy, multi-language support, metadata and cataloguing, search, retrieval and browsing interfaces to all forms of digital content, e-Science/e-Research data and knowledge management, and cooperative service and community service.
(source: Nielsen Book Data)

• Chapter 1: Requirements for Digital Preservation.-
• Chapter 2: Metadata in Long-term Digital Preservation.-
• Chapter 3: The CREDO Project.-
• Chapter 4: CREDO Repository Architecture.-
• Chapter 5: Information Processing in CREDO Long-term Archive.-
• Chapter 6: Metadata in CREDO Long-term Archive.-
• Chapter 7: Persistence Management in Long-term Digital Archive.-
• Chapter 8: Power Efficiency and Scheduling Access to the Archive.-
• Chapter 9: Information Management in Federated Digital Archives.
• (source: Nielsen Book Data)

This book addresses the process of maintaining digital objects through time to ensure continued access, an aspect that has become a crucial issue in recent years. It offers a concise yet comprehensive discussion of key concepts and requirements for long-term digital preservation, and presents a pioneering framework for digital repositories that enables the long-term archiving and metadata management for large volumes of digital resources based on a system that has already been completely designed and launched. In the framework, the reliability of information readouts is ensured by the repository with two-level data recording replication and monitoring mechanisms in the repository management system (RMS) and the file systems, and by the RMS's distributed nature. The advanced RMS allows operations on the archival storage to be scheduled, while also taking into account low energy consumption requirements. After presenting the framework in detail, the book assesses and demonstrates the approach's viability in terms of delivering accessibility, authenticity and usability. As such, the book offers a valuable resource for information technology (IT) researchers and practitioners, as well as archivists and librarians.
(source: Nielsen Book Data)

• Machine learning: online learning, regression, label classification, deep learning, feature selection, recommendation system.- Knowledge discovery: recommendation system, community detection, pattern mining, misc.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 20th International Conference on Discovery Science, DS 2017, held in Kyoto, Japan, in October 2017, co-located with the International Conference on Algorithmic Learning Theory, ALT 2017. The 18 revised full papers presented together with 6 short papers and 2 invited talks in this volume were carefully reviewed and selected from 42 submissions. The scope of the conference includes the development and analysis of methods for discovering scientific knowledge, coming from machine learning, data mining, intelligent data analysis, big data analysis as well as their application in various scientific domains. The papers are organized in topical sections on machine learning: online learning, regression, label classification, deep learning, feature selection, recommendation system; and knowledge discovery: recommendation system, community detection, pattern mining, misc.
(source: Nielsen Book Data)

• Algorithms and models for computation with biomolecular systems.- Computational processes in vitro and in vivo.- Molecular motors and molecular robotics.- Studies of fault-tolerance and error correction.- Software tools for analysis, simulation, and design.- Synthetic biology and in vitro evolution.- Applications in engineering, physics, chemistry, biology, and medicine.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, USA, in September 2017. The 16 full papers presented were carefully selected from 23 submissions. Research in DNA computing aims to draw together mathematics, computerscience, physics, chemistry, biology, and nanotechnology to address the analysis, design, and synthesis of information-based molecular systems. The papers address all areas related to biomolecular computing such as: algorithms and models for computation with biomolecular systems; computational processes in vitro and in vivo; molecular motors and molecular robotics; studies of fault-tolerance and error correction; software tools for analysis, simulation, and design; synthetic biology and in vitro evolution; applications in engineering, physics, chemistry, biology, and medicine. .
(source: Nielsen Book Data)

• Emerging technologies for open access to education and learning.-Emerging technologies supported personalized and adaptive learning.-Emerging technologies support for intelligent tutoring.- Emerging technologies support for game-based and joyful learning.- Emerging technologies of pedagogical issues.- Emerging technologies for affective learning and emerging technologies for tangible learning.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Symposium, SETE 2016, held in conjunction with ICWL 2016, Rome, Italy, in October 2016. The 81 revised papers, 59 full and 22 short ones, were carefully reviewed and selected from 139 submission. They cover latest findings in various areas, such as emerging technologies for open access to education and learning; emerging technologies supported personalized and adaptive learning; emerging technologies support for intelligent tutoring; emerging technologies support for game-based and joyful learning; emerging technologies of pedagogical issues; emerging technologies for affective learning and emerging technologies for tangible learning.
(source: Nielsen Book Data)

• Design and Usability.- Biomedical and Health Informatics.- Activity and Recognition.- Independent Living Technology.- Smart Home Technology.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 15th International Conference on Smart Homes and Health Telematics, ICOST 2017, held in Paris, France, in August 2017. The 18 regular papers, 5 short papers together with 2 invited talks included in this volume were carefully reviewed and selected from numerous submissions. The conference features a dynamic program incorporating a range of design, development, deployment and evaluation of Smart Urban Environments, Assistive Technologies, Chronic Disease Management, Coaching and Health Telematics systems.
(source: Nielsen Book Data)

• A Computational Study of Neighborhood Operators for Job-shop Scheduling Problems with Regular Objectives.- A Genetic Algorithm for Multi-Component Optimization Problems: the Case of the Travelling Thief Problem.- A Hybrid Feature Selection Algorithm Based on Large Neighborhood Search.- A Memetic Algorithm to Maximise the Employee Substitutability in Personnel Shift Scheduling.- Construct, Merge, Solve and Adapt versus Large Neighborhood Search for Solving the Multi-Dimensional Knapsack Problem: Which One Works Better When.- Decomposing SAT Instances with Pseudo Backbones.- Efficient Consideration of Soft Time Windows in a Large Neighborhood Search for the Districting and Routing Problem for Security Control.- Estimation of Distribution Algorithms for the Firefighter Problem.- LCS-Based Selective Route Exchange Crossover for the Pickup and Delivery Problem with Time Windows.- Multi-rendezvous Spacecraft Trajectory Optimization with Beam P-ACO.- Optimizing Charging Station Locations for Electric Car-Sharing Systems.- Selection of Auxiliary Objectives Using Landscape Features and Offline Learned Classifier.- Sparse, Continuous Policy Representations for Uniform Online Bin Packing via Regression of Interpolants.- The Weighted Independent Domination Problem: ILP Model and Algorithmic .
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 17th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2017, held in Amsterdam, The Netherlands, in April 2017, co-located with the Evo*2017 events EuroGP, EvoMUSART and EvoApplications. The 16 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers cover both empirical and theoretical studies on a wide range of academic and real-world applications. The methods include evolutionary and memetic algorithms, large neighborhood search, estimation of distribution algorithms, beam search, ant colony optimization, hyper-heuristics and matheuristics. Applications include both traditional domains, such as knapsack problem, vehicle routing, scheduling problems and SAT; and newer domains such as the traveling thief problem, location planning for car-sharing systems and spacecraft trajectory optimization. Papers also study important concepts such as pseudo-backbones, phase transitions in local optima networks, and the analysis of operators. This wide range of topics makes the EvoCOP proceedings an important source for current research trends in combinatorial optimization.
(source: Nielsen Book Data)

• A Survey of Diversity Oriented Optimization: Problems, Indicators, and Algorithms.- Global Multi-Objective Optimization by Means of Cell Mapping Techniques.- Percentile via Polynomial Chaos Expansion: Bridging Robust Optimization with Reliability.- Evolutionary Equilibrium Detection in Multicriteria Games.- A New Estimation of Distribution Algorithm for Nash Equilibria Detection.- Multi-Objective Optimisation by Self-Adaptive Evolutionary Algorithm.- Evidence Based Multidisciplinary Robust Optimization for Mars Micro Entry Probe Design.- A Simulation-Based Algorithm for the Probabilistic Traveling Salesman Problem.- Average Cuboid Volume as a Convergence Indicator and Selection Criterion for Multi-Objective Biochemical Optimization.
• (source: Nielsen Book Data)

This book comprises nine selected works on numerical and computational methods for solving multiobjective optimization, game theory, and machine learning problems. It provides extended versions of selected papers from various fields of science such as computer science, mathematics and engineering that were presented at EVOLVE 2013 held in July 2013 at Leiden University in the Netherlands. The internationally peer-reviewed papers include original work on important topics in both theory and applications, such as the role of diversity in optimization, statistical approaches to combinatorial optimization, computational game theory, and cell mapping techniques for numerical landscape exploration. Applications focus on aspects including robustness, handling multiple objectives, and complex search spaces in engineering design and computational biology.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• CLEF Steering Committee
• Contents
• Full Papers
• A Pinch of Humor for Short-Text Conversation: An Information Retrieval Approach
• 1 Introduction
• 2 Related Work
• 3 Data
• 3.1 Joke Collection
• 3.2 Yahoo!Answers
• 4 Retrieval Models
• 4.1 BM25
• 4.2 Query Term Reweighting Model (QTR)
• 4.3 doc2vec
• 5 Evaluation
• 5.1 Yahoo!Answers
• 5.2 Lab Evaluation
• 6 Conclusion and Future Work
• References
• A Component-Level Analysis of an Academic Search Test Collection.
• 1 Introduction
• 2 Component-Level Evaluation in Academic Search

• 3 Study Configurations
• 3.1 Test Collection and Test IR System
• 3.2 Component-Level Configurations
• 3.3 Analysis Steps
• 4 Analyzing Component Performance
• 4.1 Document and Topic Structure
• 4.2 IR System Components
• 5 Conclusion
• References
• A Component-Level Analysis of an Academic Search Test Collection.
• 1 Introduction
• 2 Query Performance Prediction
• 3 Study Configurations
• 3.1 Test Collection and Test IR System
• 3.2 Analysis Steps
• 4 Analyzing Query Performance
• 4.1 Recall Base
• 4.2 Topic Specificity
• 4.3 Semantic Heterogeneity of Topic Terms

• 5 Conclusion
• References
• Improving the Reliability of Query Expansion for User-Generated Speech Retrieval Using Query Performance Prediction
• 1 Introduction
• 2 Previous Work on QE for Spoken Content
• 3 UGS Test Collection
• 3.1 UGS Document Set
• 3.2 Query and Relevance Sets
• 4 Initial Investigation of QE for UGS Retrieval
• 4.1 Retrieval Model
• 4.2 Query Expansion
• 4.3 Passage-Based QE
• 4.4 Experimental Results
• 5 Query Performance Prediction for QE
• 5.1 Query Performance Prediction Methods
• 5.2 Evaluation
• 6 Adaptive Passage-Based QE for UGS Retrieval

• 7 Conclusions and Further Studies
• References
• Optimized Convolutional Neural Network Ensembles for Medical Subfigure Classification
• 1 Introduction
• 2 Revisiting Participation at ImageCLEF 2016
• 3 Dataset Analysis
• 3.1 Data Generation Process
• 3.2 Problems of the Dataset
• 3.3 Suggestions for Future Datasets
• 4 Methodology
• 5 Evaluation
• 5.1 Results Without Additional Images from ImageCLEF 2013
• 5.2 Self-training Using a PubMedCentral Database Snapshot
• 6 Conclusion
• References
• IRIT-QFR: IRIT Query Feature Resource
• 1 Introduction
• 2 Query Features

• 2.1 Document Collection Independent Pre-retrieval Features: WordNet-Based and Other Linguistic Features
• 2.2 Document Collection Dependent Pre-retrieval Features
• 2.3 Post-retrieval Features
• 2.4 Collections for Which the Features Have Been Estimated
• 3 Analysis of the Resource
• 3.1 Descriptive Analysis
• 4 Applications
• 5 Conclusion
• References
• Evaluating and Improving the Extraction of Mathematical Identifier Definitions
• 1 Introduction
• 2 Related Work
• 2.1 Statistical Feature Analysis (ST)
• 2.2 Pattern Matching (PM)
• 2.3 Machine Learning
• 3 Methodology

This book constitutes the refereed proceedings of the 8th International Conference of the CLEF Initiative, CLEF 2017, held in Dublin, Ireland, in September 2017. The 7 full papers and 9 short papers presented together with 6 best of the labs papers were carefully reviewed and selected from 38 submissions. In addition, this volume contains the results of 10 benchmarking labs reporting their year long activities in overview talks and lab sessions. The papers address all aspects of information access in any modality and language and cover a broad range of topics in the field of multilingual and multimodal information access evaluation.
(source: Nielsen Book Data)

• International Workshop on Fetal and Infant Image Analysis, FIFI 2017:
• Template-Free Estimation of Intracranial Volume: A Preterm Birth Animal Model Study / Juan Eugenio Iglesias, Sebastiano Ferraris, Marc Modat, Willy Gsell, Jan Deprest, Johannes L. van der Merwe et al.
• Assessing Reorganisation of Functional Connectivity in the Infant Brain / Roxane Licandro, Karl-Heinz Nenning, Ernst Schwartz, Kathrin Kollndorfer, Lisa Bartha-Doering, Hesheng Liu et al.
• Fetal Skull Segmentation in 3D Ultrasound via Structured Geodesic Random Forest / Juan J. Cerrolaza, Ozan Oktay, Alberto Gomez, Jacqueline Matthew, Caroline Knight, Bernhard Kainz et al.
• Fast Registration of 3D Fetal Ultrasound Images Using Learned Corresponding Salient Points / Alberto Gomez, Kanwal Bhatia, Sarjana Tharin, James Housden, Nicolas Toussaint, Julia A. Schnabel
• Automatic Segmentation of the Intracranial Volume in Fetal MR Images / N. Khalili, P. Moeskops, N. H. P. Claessens, S. Scherpenzeel, E. Turk, R. de Heus et al.
• Abdomen Segmentation in 3D Fetal Ultrasound Using CNN-powered Deformable Models / Alexander Schmidt-Richberg, Tom Brosch, Nicole Schadewaldt, Tobias Klinder, Angelo Cavallaro, Ibtisam Salim et al.
• Multi-organ Detection in 3D Fetal Ultrasound with Machine Learning / Caroline Raynaud, Cybèle Ciofolo-Veit, Thierry Lefèvre, Roberto Ardon, Angelo Cavallaro, Ibtisam Salim et al.
• Robust Regression of Brain Maturation from 3D Fetal Neurosonography Using CRNs / Ana I. L. Namburete, Weidi Xie, J. Alison Noble
• 4th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2017:
• Segmentation of Retinal Blood Vessels Using Dictionary Learning Techniques / Taibou Birgui Sekou, Moncef Hidane, Julien Olivier, Hubert Cardot
• Detecting Early Choroidal Changes Using Piecewise Rigid Image Registration and Eye-Shape Adherent Regularization / Tiziano Ronchetti, Peter Maloca, Christoph Jud, Christoph Meier, Selim Orgül, Hendrik P. N. Scholl et al.
• Patch-Based Deep Convolutional Neural Network for Corneal Ulcer Area Segmentation / Qichao Sun, Lijie Deng, Jianwei Liu, Haixiang Huang, Jin Yuan, Xiaoying Tang
• Model-Driven 3-D Regularisation for Robust Segmentation of the Refractive Corneal Surfaces in Spiral OCT Scans / Joerg Wagner, Simon Pezold, Philippe C. Cattin
• Automatic Retinal Layer Segmentation Based on Live Wire for Central Serous Retinopathy / Dehui Xiang, Geng Chen, Fei Shi, Weifang Zhu, Xinjian Chen
• Retinal Image Quality Classification Using Fine-Tuned CNN / Jing Sun, Cheng Wan, Jun Cheng, Fengli Yu, Jiang Liu
• Optic Disc Detection via Deep Learning in Fundus Images / Peiyuan Xu, Cheng Wan, Jun Cheng, Di Niu, Jiang Liu
• 3D Choroid Neovascularization Growth Prediction with Combined Hyperelastic Biomechanical Model and Reaction-Diffusion Model / Chang Zuo, Fei Shi, Weifang Zhu, Haoyu Chen, Xinjian Chen
• Retinal Biomarker Discovery for Dementia in an Elderly Diabetic Population / Ahmed E. Fetit, Siyamalan Manivannan, Sarah McGrory, Lucia Ballerini, Alexander Doney, Thomas J. MacGillivray et al.
• Non-rigid Registration of Retinal OCT Images Using Conditional Correlation Ratio / Xueying Du, Lun Gong, Fei Shi, Xinjian Chen, Xiaodong Yang, Jian Zheng
• Joint Optic Disc and Cup Segmentation Using Fully Convolutional and Adversarial Networks / Sharath M. Shankaranarayana, Keerthi Ram, Kaushik Mitra, Mohanasankar Sivaprakasam
• Automated Segmentation of the Choroid in EDI-OCT Images with Retinal Pathology Using Convolution Neural Networks / Min Chen, Jiancong Wang, Ipek Oguz, Brian L. VanderBeek, James C. Gee
• Spatiotemporal Analysis of Structural Changes of the Lamina Cribrosa / Charly Girot, Hiroshi Ishikawa, James Fishbaugh, Gadi Wollstein, Joel Schuman, Guido Gerig
• Fast Blur Detection and Parametric Deconvolution of Retinal Fundus Images / Bryan M. Williams, Baidaa Al-Bander, Harry Pratt, Samuel Lawman, Yitian Zhao, Yalin Zheng et al.
• Towards Topological Correct Segmentation of Macular OCT from Cascaded FCNs / Yufan He, Aaron Carass, Yeyi Yun, Can Zhao, Bruno M. Jedynak, Sharon D. Solomon et al.
• Boosted Exudate Segmentation in Retinal Images Using Residual Nets / Samaneh Abbasi-Sureshjani, Behdad Dashtbozorg, Bart M. ter Haar Romeny, François Fleuret
• Development of Clinically Based Corneal Nerves Tortuosity Indexes / Fabio Scarpa, Alfredo Ruggeri
• A Comparative Study Towards the Establishment of an Automatic Retinal Vessel Width Measurement Technique / Fan Huang, Behdad Dashtbozorg, Alexander Ka Shing Yeung, Jiong Zhang, Tos T. J. M. Berendschot, Bart M. ter Haar Romeny
• Automatic Detection of Folds and Wrinkles Due to Swelling of the Optic Disc / Jason Agne, Jui-Kai Wang, Randy H. Kardon, Mona K. Garvin
• Representation Learning for Retinal Vasculature Embeddings / Luca Giancardo, Kirk Roberts, Zhongming Zhao.

This book constitutes the refereed joint proceedings of the International Workshop on Fetal and Infant Image Analysis, FIFI 2017, and the 6th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 8 full papers presented at FIFI 2017 and the 20 full papers presented at OMIA 2017 were carefully reviewed and selected. The FIFI papers feature research on advanced image analysis approaches focused on the analysis of growth and development in the fetal, infant and paediatric period. The OMIA papers cover various topics in the field of ophthalmic image analysis.
(source: Nielsen Book Data)

• Foundations of Flexible Querying.- Recommendation and Ranking.- Technologies for Flexible Representations and Querying.- Knowledge Discovery and Information/Data Retrieval.- Intuitionistic Sets.- Generalized Net Model.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 12th International Conference on Flexible Query Answering Systems, FQAS 2017, held in London, UK, in June 2017. The 21 full papers presented in this book together with 4 short papers were carefully reviewed and selected from 43 submissions. The papers cover the following topics: foundations of flexible querying; recommendation and ranking; technologies for flexible representations and querying; knowledge discovery and information/data retrieval; intuitionistic sets; and generalized net model.
(source: Nielsen Book Data)

• Intro; Contents; Introduction; 1 Flow Tasks in Networks in Crisp Conditions; 1.1 Basic Concepts of the Flow Theory; 1.2 Selecting of the Arc Capacities; 1.2.1 Factors Leading to the Problem Statements in Fuzzy Conditions; 1.3 Fuzzy Logic as the Main Tool of Dealing with Uncertainty; 1.4 Flow Tasks in Transportation Networks; 1.4.1 Maximum Flow Finding in a Network; 1.4.2 Maximum Flow Finding in a Network with Nonzero Lower Flow Bounds; 1.4.3 Minimum Cost Flow Finding in a Network; 1.4.4 Minimum Cost Flow Finding in a Network with Nonzero Lower Flow Bounds; 1.5 Flow Tasks in Dynamic Networks

• 1.5.1 Maximum Flow Finding in Dynamic Networks with Zero and Nonzero Lower Flow Bounds1.5.2 Minimum Cost Flow Finding in Dynamic Network with Zero and Nonzero Lower Flow Bounds; 1.6 Summary; References; 2 Maximum and Minimum Cost Flow Finding in Networks in Fuzzy Conditions; 2.1 Maximum Flow Finding in a Network with Fuzzy Arc Capacities; 2.2 Method of Fuzzy Calculations with Fuzzy Numbers; 2.3 Maximum Flow Finding in a Network with Fuzzy Nonzero Lower and Upper Flow Bounds; 2.4 Minimum Cost Flow Finding in a Network with Fuzzy Arc Capacities and Transmission Costs

• 2.4.1 Potential Method for the Minimum Cost Flow Finding in a Network with Fuzzy Arc Capacities and Transmission2.5 Minimum Cost Flow Finding in a Network with Fuzzy Nonzero Lower, Upper Flow Bounds and Transmission Costs; 2.6 Summary; References; 3 Flow Tasks Solving in Dynamic Networks with Fuzzy Lower, Upper Flow Bounds and Transmission Costs; 3.1 Definition of the Fuzzy Dynamic Network; 3.2 Maximum Flow Finding in Dynamic Network with Fuzzy Transit Arc Capacities; 3.3 Maximum Flow Finding in Dynamic Network with Fuzzy Transit Nonzero Lower and Upper Flow Bounds

• 3.4 Minimum Cost Flow Finding in Dynamic Network with Fuzzy Transit Arc Capacities and Transmission Costs3.5 Minimum Cost Flow Finding in Dynamic Network with Fuzzy Nonzero Lower, Upper Flow Bounds and Transmission Costs; 3.6 Summary; References; 4 Implementing the Program for Solving the Flow Tasks in Networks in Fuzzy Conditions; 4.1 Functional Purpose of Proposed Program Complex; 4.2 Description of the Logical Structure of the Software Mode; 4.3 Preparing of Input Data Using GIS ObjectLand; 4.4 Summary; References; Conclusion

This book offers a comprehensive introduction to fuzzy methods for solving flow tasks in both transportation and networks. It analyzes the problems of minimum cost and maximum flow finding with fuzzy nonzero lower flow bounds, and describes solutions to minimum cost flow finding in a network with fuzzy arc capacities and transmission costs. After a concise introduction to flow theory and tasks, the book analyzes two important problems. The first is related to determining the maximum volume for cargo transportation in the presence of uncertain network parameters, such as environmental changes, measurement errors and repair work on the roads. These parameters are represented here as fuzzy triangular, trapezoidal numbers and intervals. The second problem concerns static and dynamic flow finding in networks under fuzzy conditions, and an effective method that takes into account the network's transit parameters is presented here. All in all, the book provides readers with a practical reference guide to state-of-the art fuzzy methods for solving flow tasks and offers a valuable resource for all researchers and postgraduate students in the fields of network theory, fuzzy models and decision-making. .

• Invited Contribution.- An Invitation to Knowledge Space Theory.- Historical Paper.- Implications and Dependencies between Attributes.- Regular Contributions.- The implication logic of (n, k)-extremal lattices.- Making use of empty intersections to improve the performance of CbO-type algorithms.- On the Usability of Probably Approximately Correct Implication Bases. -Formal Concept Analysis in a Logical Programming Setting for Visualization Oriented (Power) Graph Compression.- A Proposition for Sequence Mining Using Pattern Structures. -An investigation of user behavior in educational platforms using Temporal Concept Analysis. -Hierarchies of Weighted Closed Partially-Ordered Patterns for Enhancing Sequential Data Analysis.- First Notes on Maximum Entropy Entailment for Quantified Implications. - On overfitting of classifiers making a lattice.- Learning Thresholds in Formal Concept Analysis.- The Linear Algebra in Extended Formal Concept Analysis over Idempotent Semifields.- Distributed and Parallel Computation of the Canonical Direct Basis.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2017, held in Rennes, France, in June 2017. The 13 full papers presented in this volume were carefully reviewed and selected from 37 submissions. The book also contains an invited contribution and a historical paper translated from German and originally published in "Die Klassifkation und ihr Umfeld", edited by P. O. Degens, H. J. Hermes, and O. Opitz, Indeks-Verlag, Frankfurt, 1986. The field of Formal Concept Analysis (FCA) originated in the 1980s in Darmstadt as a subfield of mathematical order theory, with prior developments in other research groups. Its original motivation was to consider complete lattices as lattices of concepts, drawing motivation from philosophy and mathematics alike. FCA has since then developed into a wide research area with applications much beyond its original motivation, for example in logic, data mining, learning, and psychology.
(source: Nielsen Book Data)

• Session types for Link failures.- Learning-based compositional parameter synthesis for event-recording automata.- Modularising opacity verification for Hybrid Transactional Memory.- Proving opacity via linearizability: a sound and complete method.- On futures for streaming data in ABS.- Session-based concurrency, reactively.- Procedural choreographic programming.- An observational approach to defining linearizability on weak memory models.- Applying a dependency mechanism in the formal development of voting protocol models using event-B.- Weak simulation quasimetric in a gossip scenario.- Reasoning about distributed secrets.- Classical higher-order processes.- Weak nominal modal logic.- Type inference of simulink hierarchical block diagrams in Isabelle.- Creating Buchi automata for multi-valued model checking.- Privacy assessment using static taint analysis.- EPTL - a temporal logic for weakly consistent systems.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchatel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.
(source: Nielsen Book Data)

• Machine learning.- data mining methods.- deep learning, bioinformatics and health informatics.- intelligent information systems.- knowledge-based system.- mining temporal, spatial and spatio-temporal data.- text and Web mining.- big data analytics and stream data mining.- granular and soft clustering for data science.- knowledge discovery with formal concept analysis and related formalisms.- data mining competition on trading based on recommendations.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 23rd International Symposium on Foundations of Intelligent Systems, ISMIS 2017, held in Warsaw, Poland, in June 2017. The 56 regular and 15 short papers presented in this volume were carefully reviewed and selected from 118 submissions. The papers include both theoretical and practical aspects of machine learning, data mining methods, deep learning, bioinformatics and health informatics, intelligent information systems, knowledge-based systems, mining temporal, spatial and spatio-temporal data, text and Web mining. In addition, four special sessions were organized; namely, Special Session on Big Data Analytics and Stream Data Mining, Special Session on Granular and Soft Clustering for Data Science, Special Session on Knowledge Discovery with Formal Concept Analysis and Related Formalisms, and Special Session devoted to ISMIS 2017 Data Mining Competition on Trading Based on Recommendations, which was launched as a part of the conference.
(source: Nielsen Book Data)

• Chapter 1 Comparative Study on Fractional Order PID and PID Controllers on Noise Suppression for Manipulator Trajectory Control.-
• Chapter 2 Control of the Temperature of a Finite Diffusive Interface Medium using the CRONE Controller.-
• Chapter 3 Grey Predictor Assisted Fuzzy and Fractional Order Fuzzy Control of a Moving Cart Inverted Pendulum.-
• Chapter 4 H Design with Fractional-Order PI D Type Controllers.-
• Chapter 5 On the Electronic Realizations of Fractional-Order Phase-Lead-Lag Compensators with OpAmps and FPAAs.-
• Chapter 6 Robust Adaptive Supervisory Fractional Order Controller for Optimal Energy Management in Wind Turbine with Battery Storage.-
• Chapter 7 Robust Adaptive Interval Type-2 Fuzzy Synchronization for a Class of Fractional Order Chaotic Systems.-
• Chapter 8 Optimal Fractional Order Proportional-Integral-Differential Controller for Inverted Pendulum with Reduced Order Linear Quadratic Regulator.-
• Chapter 9 Towards a Robust Fractional Order PID Stabilizer for Electric Power Systems.-
• Chapter 10 Application of Fractional Order Controllers on Experimental and Simulation Model of Hydraulic Servo System.
• (source: Nielsen Book Data)

The book reports on the latest advances in and applications of fractional order control and synchronization of chaotic systems, explaining the concepts involved in a clear, matter-of-fact style. It consists of 30 original contributions written by eminent scientists and active researchers in the field that address theories, methods and applications in a number of research areas related to fractional order control and synchronization of chaotic systems, such as: fractional chaotic systems, hyperchaotic systems, complex systems, fractional order discrete chaotic systems, chaos control, chaos synchronization, jerk circuits, fractional chaotic systems with hidden attractors, neural network, fuzzy logic controllers, behavioral modeling, robust and adaptive control, sliding mode control, different types of synchronization, circuit realization of chaotic systems, etc. In addition to providing readers extensive information on chaos fundamentals, fractional calculus, fractional differential equations, fractional control and stability, the book also discusses key applications of fractional order chaotic systems, as well as multidisciplinary solutions developed via control modeling. As such, it offers the perfect reference guide for graduate students, researchers and practitioners in the areas of fractional order control systems and fractional order chaotic systems.
(source: Nielsen Book Data)

• Chapter 1: what a fuzzy set is and what it is not?.-
• Chapter 2: Fuzzy random variables a la Kruse & Meyer and a la Puri & Ralescu: key differences and coincidences.-
• Chapter 3: Statistical Inference for Incomplete Ranking Data: A Comparison of two Likelihood-Based Estimators.-
• Chapter 4: Interval Type-2 Defuzzification Using Uncertainty Weights.-
• Chapter 5: Exploring time-resolved data for patterns and validating single clusters.-
• Chapter 6: Interpreting Cluster Structure in Waveform Data with Visual Assessment and Dunn's Index.-
• Chapter 7: A shared encoder DNN for integrated recognition and segmentation of traffic scenes.-
• Chapter 8: Fuzzy ontology support for knowledge mobilisation.
• (source: Nielsen Book Data)

This book is a collection of several contributions which show the state of the art in specific areas of Computational Intelligence. This carefully edited book honors the 65th birthday of Rudolf Kruse. The main focus of these contributions lies on treating vague data as well as uncertain and imprecise information with automated procedures, which use techniques from statistics, control theory, clustering, neural networks etc. to extract useful and employable knowledge. .
(source: Nielsen Book Data)

• Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic.- Designing Theory Solvers with Extensions.- First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation.- A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors.- Interpolation, Amalgamation and Combination (the Non-disjoint Signatures Case).- Subtropical Satisfiability.- Finitariness of Elementary Unification in Boolean Region Connection Calculus.- Metric Temporal Description Logics with Interval-Rigid Names.- Superposition with Integrated Induction.- The Bernays-Schoenfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable.- Decidable Verification of Decision-Theoretic Golog.- Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions.- Complexity Analysis for Term Rewriting by Integer Transition Systems.- Using Ontologies to Query Probabilistic Numerical Data.- Merging Fragments of Classical Logic.- On Solving Nominal Fixpoint Equations.- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems.- Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report.- The Boolean Solution Problem from the Perspective of Predicate Logic. .
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasilia, Bazil, in September 2017. The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics. The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com. .
(source: Nielsen Book Data)

• Novel imaging and analysis methods for myocardial tissue characterization and remodeling.- Advanced cardiac image analysis tools for diagnostic and interventions.- Electrophysiology: mapping and biophysical modeling.- Biomechanics and flow: modeling and tissue property measurements.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 9th International Conference on Functional Imaging and Modeling of the Heart, held in Toronto, ON, Canada, in June 2017. The 48 revised full papers were carefully reviewed and selected from 63 submissions. The focus of the papers is on following topics: novel imaging and analysis methods for myocardial tissue characterization and remodeling; advanced cardiac image analysis tools for diagnostic and interventions; electrophysiology: mapping and biophysical modeling; biomechanics and flow: modeling and tissue property measurements.
(source: Nielsen Book Data)

• Neural Networks
• . Neural Networks with Feedback and Self-organization Introduction
• Fuzzy Inference Systems and Fuzzy Neural Networks
• Application of Fuzzy Logic Systems and Fuzzy Neural Networks in Forecasting Problems in Macroeconomics and Finance
• Fuzzy Neural Networks in Classification Problems
• Inductive Modeling Method (gmdh) in Problems of Intellectual Data Analysis and Forecasting
• The Cluster Analysis in Intellectual Systems
• Genetic Algorithms and Evolutionary Programing
• Problem of Fuzzy Portfolio optimization Under Uncertainty And Its Solution With Application of Computational Intelligence Methods.

This monograph is dedicated to the systematic presentation of main trends, technologies and methods of computational intelligence (CI). The book pays big attention to novel important CI technology- fuzzy logic (FL) systems and fuzzy neural networks (FNN). Different FNN including new class of FNN- cascade neo-fuzzy neural networks are considered and their training algorithms are described and analyzed. The applications of FNN to the forecast in macroeconomics and at stock markets are examined. The book presents the problem of portfolio optimization under uncertainty, the novel theory of fuzzy portfolio optimization free of drawbacks of classical model of Markovitz as well as an application for portfolios optimization at Ukrainian, Russian and American stock exchanges. The book also presents the problem of corporations bankruptcy risk forecasting under incomplete and fuzzy information, as well as new methods based on fuzzy sets theory and fuzzy neural networks and results of their application for bankruptcy risk forecasting are presented and compared with Altman method. This monograph also focuses on an inductive modeling method of self-organization - the so-called Group Method of Data Handling (GMDH) which enables to construct the structure of forecasting models almost automatically. The results of experimental investigations of GMDH for forecasting at stock exchanges are presented. The final chapters are devoted to theory and applications of evolutionary modeling (EM) and genetic algorithms. The distinguishing feature of this monograph is a great number of practical examples of CI technologies and methods application for solution of real problems in technology, economy and financial sphere, in particular forecasting, classification, pattern recognition, portfolio optimization, bankruptcy risk prediction under uncertainty which were developed by authors and published in this book for the first time. All CI methods and algorithms are presented from the general system approach and analysis of their properties, advantages and drawbacks that enables practitioners to choose the most adequate method for their own problems solution. .

• Position Papers.- With or without Meaning? Hype Cycles in Language Technology and what We Can Learn from Them.- Observatory for Language Resources and Machine Translation in Europe - LT Observatory.- The Rise of the Conversational Interface: A new Kid on the Block.- Spanish Language Technologies Plan.- Improving Collaboration between the European Language Technology Industry & Research: A new Framework for Supply & Demand.- Contributed Papers.- LifeLine dialogues with Roberta.- An affective utility model of user motivation for counselling dialogue systems.- Exploring flexibility in natural language generation throughout discursive analysis of new textual genres.- Bootstrapping technique + embeddings = Emotional corpus annotated automatically.- Rapid construction of a web-enabled medical speech to sign language translator using recorded video.- Incorporating syllable phonotactics to improve grapheme to phoneme translation.- Hybrid conceptual and statistical measure for semantic textual similarity evaluation.- General representation model for text similarity.- Extending feature decay algorithms using alignment entropy.- Towards a topic discovery and tracking system with application to news items.
• (source: Nielsen Book Data)

This book constitutes revised selected papers from the Second International Workshop on Future and Emerging Trends in Language Technology, FETLT 2016, which took place in Seville, Spain, in November 2016. The 10 full papers and 5 position papers presented in this volume were carefully reviewed and selected from 18 submissions. In 2016 the conference focused on Machine Learning and Big Data. .
(source: Nielsen Book Data)

• Fuzzy Numbers.- Dual Numbers.- Fuzzy Dual Numbers.- Fuzzy Dual Linear Matrix Inequalities.- Fuzzy Estimation of Distribution Matrices.- Fuzzy Dual Entropy and Applications.- Fuzzy Dual Programming.
• (source: Nielsen Book Data)

This is the first book focusing exclusively on fuzzy dual numbers. In addition to offering a concise guide to their properties, operations and applications, it discusses some of their advantages with regard to classical fuzzy numbers, and describes the most important operations together with a set of interesting applications in e.g. optimization, decision-making and system design. The book provides students, researchers and professionals the necessary theoretical background to apply this particular subset of fuzzy numbers to decision-making problems involving uncertainty. Further, it shows how to solve selected engineering and management problems and includes detailed numerical examples.
(source: Nielsen Book Data)

• Fuzzy measures and transforms.- Granularity and multi-logics.- Clustering and learning.- Knowledge systems.- Soft computing and applications.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 11th International Workshop on Fuzzy Logic and Applications, WILF 2016, held in Naples, Italy, in December 2016. The 22 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy measures and transforms; granularity and multi-logics, clustering and learning; knowledge systems; and soft computing and applications.
(source: Nielsen Book Data)

• Part I: Foundations.- Introduction.- Genetic Algorithms.- Parameters.- Part II: Solution Spaces.- Multimodality.- Constraints.- Multiple Objectives.- Part III: Advanced Concepts.- Theory.- Machine Learning.- Applications.- Part IV: Ending.- Summary and Outlook.- Index.- References.
• (source: Nielsen Book Data)

This book introduces readers to genetic algorithms (GAs) with an emphasis on making the concepts, algorithms, and applications discussed as easy to understand as possible. Further, it avoids a great deal of formalisms and thus opens the subject to a broader audience in comparison to manuscripts overloaded by notations and equations. The book is divided into three parts, the first of which provides an introduction to GAs, starting with basic concepts like evolutionary operators and continuing with an overview of strategies for tuning and controlling parameters. In turn, the second part focuses on solution space variants like multimodal, constrained, and multi-objective solution spaces. Lastly, the third part briefly introduces theoretical tools for GAs, the intersections and hybridizations with machine learning, and highlights selected promising applications.
(source: Nielsen Book Data)

• Intro; Preface; Organization; Contents; Oral Presentations; Evolutionary Program Sketching; 1 Introduction; 2 Program Sketching; 3 Evolutionary Program Sketching; 3.1 Problem Specification; 3.2 Instruction Set; 3.3 Fitness Function; 3.4 Exploiting the Feedback from Hole Completion; 4 Related Work; 5 Experimental Evaluation; 6 Discussion; 7 Conclusion; References; Exploring Fitness and Edit Distance of Mutated Python Programs; 1 Introduction; 2 Related Work; 3 Our Implementation of Genetic Improvement; 3.1 Fitness Function; 3.2 Search Algorithm; 4 Experimental Setup

• 4.1 Description of the Programs Targeted by GI5 Results; 5.1 Change in Fitness; 5.2 Average Fitness with Respect to Edit List Size; 5.3 Discrete Steps in Fitness; 6 Conclusions; References; Differentiable Genetic Programming; 1 Introduction; 2 Program Encoding; 3 The Algebra of Truncated Polynomials; 3.1 The Link to Taylor Polynomials; 3.2 Non Rational Functions; 4 Example of a dCGP; 5 Learning Constants in Symbolic Regression; 5.1 Ephemeral Constants Approach; 5.2 Weighted dCGP Approach; 6 Solution to Differential Equations; 7 Discovery of Prime Integrals; 8 Conclusions; References

• Evolving Game State Features from Raw Pixels1 Introduction; 2 Related Research; 3 Materials; 3.1 Games; 3.2 Handcrafted Game State Features; 4 Evolving Video Game State Visual Features Using Genetic Programming; 4.1 Evolving Game State Features; 4.2 Voting for Actions; 5 Results; 6 Conclusion; References; Emergent Tangled Graph Representations for Atari Game Playing Agents; 1 Introduction; 2 Background; 3 The Arcade Learning Environment; 3.1 Screen State Space Representation; 4 Evolving Tangled Program Graphs; 4.1 Coevolving Teams of Programs; 4.2 Emergent Modularity

• 4.3 Diversity Maintenance5 Empirical Experiments; 5.1 Experimental Setup; 5.2 Results; 5.3 Solution Analysis; 6 Conclusion and Future Work; References; A General Feature Engineering Wrapper for Machine Learning Using -Lexicase Survival; 1 Introduction; 2 Feature Engineering Wrapper; 2.1 -lexicase Survival; 2.2 Scaling; 3 Related Work; 4 Experimental Analysis; 4.1 Problems; 5 Results; 5.1 Hyper-Parameter Optimization; 5.2 Problem Performance; 5.3 Statistical Analysis; 6 Discussion; 7 Conclusions; References; Visualising the Search Landscape of the Triangle Program; 1 Genetic Improvement

• 2 Triangle Program Software Engineering Benchmark3 Binary Representation: Replacing Comparisons with One Alternative; 3.1 High Order Binary Schema Are Not Deceptive; 3.2 Binary Schema Predict All Solutions of the Triangle Program; 3.3 Local Search Landscape of the Binary Space; 4 Original All Comparisons; 4.1 Fitness Space of Triangle Program; 4.2 High Order Schema Analysis; 4.3 Local Search for the Triangle Program; 4.4 Local Optima Networks; 5 Conclusions; References; RANSAC-GP: Dealing with Outliers in Symbolic Regression with Genetic Programming; 1 Introduction; 2 Background; 2.1 Outliers

This book constitutes the refereed proceedings of the 20th European Conference on Genetic Programming, EuroGP 2017, held in Amsterdam, The Netherlands, in April 2017, co-located with the Evo* 2017 events, EvoCOP, EvoMUSART, and EvoApplications. The 14 revised full papers presented together with 8 poster papers were carefully reviewed and selected from 32 submissions. The wide range of topics in this volume reflects the current state of research in the field. Thus, we see topics and applications including program synthesis, genetic improvement, grammatical representations, self-adaptation, multi-objective optimisation, program semantics, search landscapes, mathematical programming, games, operations research, networks, evolvable hardware, and program synthesis benchmarks.
(source: Nielsen Book Data)

• From the content: Geometry, Action and Movement.- Numerical Analyzis and Optimization.- Foundation of Human Movement.
• (source: Nielsen Book Data)

This book aims at gathering roboticists, control theorists, neuroscientists, and mathematicians, in order to promote a multidisciplinary research on movement analysis. It follows the workshop " Geometric and Numerical Foundations of Movements " held at LAAS-CNRS in Toulouse in November 2015[1]. Its objective is to lay the foundations for a mutual understanding that is essential for synergetic development in motion research. In particular, the book promotes applications to robotics --and control in general-- of new optimization techniques based on recent results from real algebraic geometry.
(source: Nielsen Book Data)

• Statistics on non-linear data.- Shape space.- Optimal Transport & Applications.- Statistical Manifold & Hessian Information Geometry.- Statistical Manifold and Hessian Information Geometry.- Monotone Embedding in Information Geometry.- Information Structure in Neuroscience.- Geometric Robotics and Tracking.- Geometric Mechanics and Robotics.- Stochastic Geometric Mechanics and Lie Group Thermodynamics.- Probability on Riemannian Manifolds.- Divergence Geometry.- Non-parametric Information Geometry.- Optimization on Manifold.- Computational Information Geometry.- Probability Density Estimation.- Session Geometry of Tensor-Valued Data.- Geodesic Methods with Constraints.- Applications of Distance Geometry.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Third International Conference on Geometric Science of Information, GSI 2017, held in Paris, France, in November 2017. The 101 full papers presented were carefully reviewed and selected from 113 submissions and are organized into the following subjects: statistics on non-linear data; shape space; optimal transport and applications: image processing; optimal transport and applications: signal processing; statistical manifold and hessian information geometry; monotone embedding in information geometry; information structure in neuroscience; geometric robotics and tracking; geometric mechanics and robotics; stochastic geometric mechanics and Lie group thermodynamics; probability on Riemannian manifolds; divergence geometry; non-parametric information geometry; optimization on manifold; computational information geometry; probability density estimation; session geometry of tensor-valued data; geodesic methods with constraints; applications of distance geometry.
(source: Nielsen Book Data)

• Introduction.- Radon Transform based Automatic Posture Recognition in Ballet Dance.- Fuzzy Image Matching Based Posture Recognition in Ballet Dance.- Gesture Driven Fuzzy Interface System For Car Racing Game.- Type-2 Fuzzy Classifier based Pathological Disorder Recognition.- Probabilistic Neural Network based Dance Gesture Recognition.- Differential Evolution based Dance Composition.- EEG-Gesture based Artificial Limb Movement for Rehabilitative Applications.- Conclusions and Future Directions.- Index.
• (source: Nielsen Book Data)

This book presents a thorough analysis of gestural data extracted from raw images and/or range data with an aim to recognize the gestures conveyed by the data. It covers image morphological analysis, type-2 fuzzy logic, neural networks and evolutionary computation for classification of gestural data. The application areas include the recognition of primitive postures in ballet/classical Indian dances, detection of pathological disorders from gestural data of elderly people, controlling motion of cars in gesture-driven gaming and gesture-commanded robot control for people with neuro-motor disability. The book is unique in terms of its content, originality and lucid writing style. Primarily intended for graduate students and researchers in the field of electrical/computer engineering, the book will prove equally useful to computer hobbyists and professionals engaged in building firmware for human-computer interfaces. A prerequisite of high school level mathematics is sufficient to understand most of the chapters in the book. A basic background in image processing, although not mandatory, would be an added advantage for certain sections.
(source: Nielsen Book Data)

• Preface.- Acknowledgements.- 1 From Natural to Synthetic Swarms.- 2 Glowworm Swarm Optimization: Algorithm Development.- 3 Theoretical Foundations.- 4 Multimodal Function Optimization.- 5 Experiments using Physical Simulations and Real Robots.- 6 Applications to Ubiquitous Computing Environments.- 7 Pursuit of Multiple Mobile Signal Sources.- 8 GSO Applications and Extensions.
• (source: Nielsen Book Data)

This book provides a comprehensive account of the glowworm swarm optimization (GSO) algorithm, including details of the underlying ideas, theoretical foundations, algorithm development, various applications, and MATLAB programs for the basic GSO algorithm. It also discusses several research problems at different levels of sophistication that can be attempted by interested researchers. The generality of the GSO algorithm is evident in its application to diverse problems ranging from optimization to robotics. Examples include computation of multiple optima, annual crop planning, cooperative exploration, distributed search, multiple source localization, contaminant boundary mapping, wireless sensor networks, clustering, knapsack, numerical integration, solving fixed point equations, solving systems of nonlinear equations, and engineering design optimization. The book is a valuable resource for researchers as well as graduate and undergraduate students in the area of swarm intelligence and computational intelligence and working on these topics.
(source: Nielsen Book Data)

• Introduction to Granular Computing, Pattern Recognition and Data Mining.- Classification using Fuzzy Rough Granular Neural Networks.- Clustering using Fuzzy Rough Granular Self-Organizing Map.- Fuzzy Rough Granular Neural Network and Unsupervised Feature Selection.
• (source: Nielsen Book Data)

This book provides a uniform framework describing how fuzzy rough granular neural network technologies can be formulated and used in building efficient pattern recognition and mining models. It also discusses the formation of granules in the notion of both fuzzy and rough sets. Judicious integration in forming fuzzy-rough information granules based on lower approximate regions enables the network to determine the exactness in class shape as well as to handle the uncertainties arising from overlapping regions, resulting in efficient and speedy learning with enhanced performance. Layered network and self-organizing analysis maps, which have a strong potential in big data, are considered as basic modules, . The book is structured according to the major phases of a pattern recognition system (e.g., classification, clustering, and feature selection) with a balanced mixture of theory, algorithm, and application. It covers the latest findings as well as directions for future research, particularly highlighting bioinformatics applications. The book is recommended for both students and practitioners working in computer science, electrical engineering, data science, system design, pattern recognition, image analysis, neural computing, social network analysis, big data analytics, computational biology and soft computing.
(source: Nielsen Book Data)

• Part I: Information Theoretic and Aggregation Issues.- Part II: Applications in Modeling, Decision Making, Control, and Other Areas.- Part III: Some Bibliometric Remarks.
• (source: Nielsen Book Data)

This book offers a comprehensive report on the state-of-the art in the broadly-intended field of "intelligent systems". After introducing key theoretical issues, it describes a number of promising models for data and system analysis, decision making, and control. It discusses important theories, including possibility theory, the Dempster-Shafer theory, the theory of approximate reasoning, as well as computing with words, together with novel applications in various areas, such as information aggregation and fusion, linguistic data summarization, participatory learning, systems modeling, and many others. By presenting the methods in their application contexts, the book shows how granular computing, soft computing and fuzzy logic techniques can provide novel, efficient solutions to real-world problems. It is dedicated to Professor Ronald R. Yager for his great scientific and scholarly achievements, and for his long-lasting service to the fuzzy logic, and the artificial and computational intelligence communities. It has been motivated by the authors' appreciation of his original thinking and groundbreaking ideas, with a special thought to his valuable research on the computerized implementation of various aspects of human cognition for decision-making and problem-solving. .
(source: Nielsen Book Data)

• Preface.-
• Chapter 1: Introduction.- Part I: Generalized Related Set Based Approach.-
• Chapter 2: Information System for Relational Data.-
• Chapter 3: Properties of Granular-Relational Data Mining Framework.-
• Chapter 4: Association Discovery and Classification Rule Mining.-
• Chapter 5: Rough-Granular Computing.- Part II: Description Language Based Approach.-
• Chapter 6: Compound Information Systems.-
• Chapter 7: From Granular-Data Mining Framework to its Relational Version.-
• Chapter 8: Relation-Based Granules.-
• Chapter 9: Compound Approximation Spaces.- Conclusions.- References.- Index.
• (source: Nielsen Book Data)

This book provides two general granular computing approaches to mining relational data, the first of which uses abstract descriptions of relational objects to build their granular representation, while the second extends existing granular data mining solutions to a relational case. Both approaches make it possible to perform and improve popular data mining tasks such as classification, clustering, and association discovery. How can different relational data mining tasks best be unified? How can the construction process of relational patterns be simplified? How can richer knowledge from relational data be discovered? All these questions can be answered in the same way: by mining relational data in the paradigm of granular computing! This book will allow readers with previous experience in the field of relational data mining to discover the many benefits of its granular perspective. In turn, those readers familiar with the paradigm of granular computing will find valuable insights on its application to mining relational data. Lastly, the book offers all readers interested in computational intelligence in the broader sense the opportunity to deepen their understanding of the newly emerging field granular-relational data mining.
(source: Nielsen Book Data)

• Intro
• Workshop Editors
• Preface GRAIL 2017
• Organization
• Preface MFCA 2017
• Organization
• Preface MICGen 2017
• Organization
• Contents
• First International Workshop on Graphs in Biomedical Image Analysis, GRAIL 2017
• Classifying Phenotypes Based on the Community Structure of Human Brain Networks
• 1 Introduction
• 2 Similarity of Brain Network Community Structures
• 2.1 Detecting Communities in Structural Brain Networks
• 2.2 Measuring Distance Between Community Structures
• 3 Classifying Connectomes Based on their Community Structure

• 4 Experiments: Network-Based Alzheimer's Disease Classification
• 4.1 Data and Network Construction
• 4.2 Experimental Setup
• 4.3 Results and Discussion
• 5 Conclusions
• References
• Autism Spectrum Disorder Diagnosis Using Sparse Graph Embedding of Morphological Brain Networks
• 1 Introduction
• 2 Proposed Sparse Graph Embedding of High-Order Morphological Brain Networks for Autism Classification
• 3 Results and Discussion
• 4 Conclusion
• References
• Topology of Surface Displacement Shape Feature in Subcortical Structures
• 1 Introduction
• 2 Methods
• 2.1 Shape Feature

• 2.2 Shape Topology
• 2.3 Persistent Homology
• 2.4 Experiments
• 2.5 Imaging and Demographics
• 3 Results
• 4 Discussion and Conclusion
• References
• Graph Geodesics to Find Progressively Similar Skin Lesion Images
• 1 Introduction
• 2 Methods
• 3 Results
• 4 Conclusions
• References
• Uncertainty Estimation in Vascular Networks
• 1 Introduction
• 2 Background
• 3 Uncertainty Estimation by Means of Sampling
• 3.1 Perturbation Sampler
• 3.2 Gibbs Sampler
• 4 Experiments and Results
• 5 Conclusion
• References

• Extraction of Airways with Probabilistic State-Space Models and Bayesian Smoothing
• 1 Introduction
• 2 Method
• 2.1 Tracking Individual Branches
• 2.2 Process and Measurement Models
• 2.3 Bayesian Smoothing
• 2.4 Tree as a Collection of Branches
• 2.5 Application to Airways
• 3 Experiments and Results
• 3.1 Data
• 3.2 Error Measure, Initial Parameters and Tuning
• 3.3 Results
• 4 Discussion and Conclusions
• References
• Detection and Localization of Landmarks in the Lower Extremities Using an Automatically Learned Conditional Random Field
• 1 Introduction
• 2 Related Work

• 3 Methods
• 3.1 Landmark Localization Using Regression Tree Ensembles
• 3.2 CRF with Pool of Potential Functions and ``Missing'' Label
• 3.3 Learning of Parameters and Removing Potentials
• 4 Results
• 5 Discussion and Conclusions
• References
• 6th International Workshop on Mathematical Foundations of Computational Anatomy, MFCA 2017
• Bridge Simulation and Metric Estimation on Landmark Manifolds
• 1 Introduction
• 2 Landmarks Manifolds and Stochastic Landmark Dynamics
• 2.1 Brownian Motion
• 2.2 Large Deformation Stochastics
• 3 Brownian Bridge Simulation
• 3.1 Bridge Sampling

This book constitutes the refereed joint proceedings of the First International Workshop on Graphs in Biomedical Image Analysis, GRAIL 2017, the 6th International Workshop on Mathematical Foundations of Computational Anatomy, MFCA 2017, and the Third International Workshop on Imaging Genetics, MICGen 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 7 full papers presented at GRAIL 2017, the 10 full papers presented at MFCA 2017, and the 5 full papers presented at MICGen 2017 were carefully reviewed and selected. The GRAIL papers cover a wide range of graph based medical image analysis methods and applications, including probabilistic graphical models, neuroimaging using graph representations, machine learning for diagnosis prediction, and shape modeling. The MFCA papers deal with theoretical developments in non-linear image and surface registration in the context of computational anatomy. The MICGen papers cover topics in the field of medical genetics, computational biology and medical imaging.
(source: Nielsen Book Data)

• Cryptography, security and biometric techniques ; Reducing costs in HSM-based data centers / R. De Prisco, A. De Santis, and M. Mannetta
• Secure user authentication on smartphones via sensor and face recognition on short video clips / Chiara Galdi, Michele Nappi, and Jean-Luc Dugelay
• A hybrid approach for private data protection in the cloud / Amal Ghorbel, Mahmoud Ghorbel, and Mohamed Jmaiel
• An efficient and secure design of redactable signature scheme with redaction condition control / Jinhua Ma, Jianghua Liu, Min Wang, and Wei Wu
• New publicly verifiable computation for batch matrix multiplication / Xiaoyu Zhang, Tao Jiang, Kuan-Ching Li, and Xiaofeng Chen
• A multi-source homomorphic network coding signature in the standard model / Wenbin Chen, Hao Lei, Jin Li, Chongzhi Gao, Fufang Li, and Ke Qi
• Trust-ABAC towards an access control system for the internet of things / Hamdi Ouechtati and Nadia Ben Azzouna
• Privacy preserving multimodal biometric authentication in the cloud / Neyire Deniz Sarier
• MOHAB : mobile hand-based biometric recognition / Silvio Barra, Maria De Marsico, Michele Nappi, Fabio Narducci, and Daniel Riccio
• Further improvement on an efficient and secure three-factor based authenticated key exchange scheme using elliptic curve cryptosystems / Chun-Ta Li, Chin-Ling Chen, Cheng-Chi Lee, and Chien-Ming Chen

• Advanced network services, algorithms and optimization ; A study of interference cancellation for NOMA downlink near-far effect to support big data / Shaoyu Dou, Xin Su, Dongmin Choi, Pankoo Kim, and Chang Choi
• Dynamic latency sensitivity recognition : an application to energy saving / S. Al Haj Baddar, A. Merlo, M. Migliardi, and F. Palmieri
• TPS : an efficient VM scheduling algorithm for HPC applications in cloud / Duoqiang Wang, Wei Dai, Chi Zhang, Xuanhua Shi, and Hai Jin
• Improved upper and lower bounds for the close enough traveling salesman problem / Francesco Carrabs, Carmine Cerrone, Raffaele Cerulli, and Ciriaco D'Ambrosio
• Object storage in cloud computing environments : an availability analysis / Giuliana Carullo, Mario Di Mauro, Michele Galderisi, Maurizio Longo, Fabio Postiglione, and Marco Tambasco
• Energy-efficient dynamic consolidation of virtual machines in big data centers / Shuting Xu, Chase Q. Wu, Aiqin Hou, Yongqiang Wang, and Meng Wang
• Influence maximization in social media networks using hypergraphs / Flora Amato, Vincenzo Moscato, Antonio Picariello, and Giancarlo Sperli
• A modified segmentation approach for overlapping elliptical objects with various sizes / Guanghui Zhao, Xingyan Zi, Kaitai Liang, Panyi Yun, and Junwei Zhou
• Privacy and temporal aware allocation of data in decentralized online social networks / Andrea De Salve, Barbara Guidi, Paolo Mori, Laura Ricci, and Vincenzo Ambriola
• A unifying orchestration operating platform for 5G / Antonio Manzalini, Marco Di Girolamo, Giuseppe Celozzi, Fulvio Bruno, Giuliana Carullo, Marco Tambasco, Gino Carrozzo, Fulvio Risso, and Gabriele Castellano
• Identification of energy hotspots : a case study of the very fast decision tree / Eva Garcia-Martin, Niklas Lavesson, and Håkan Grahn

• Mobile and pervasive computing ; Prolonging lifetime in wireless sensor networks with interference constraints / Francesco Carrabs, Raffaele Cerulli, Ciriaco D'Ambrosio, and Andrea Raiconi
• An orchestrated security platform for internet of robots / Mehrnoosh Monshizadeh, Vikramajeet Khatri, Raimo Kantola, and Zheng Yan
• A novel clustering solution for wireless sensor networks / Anxi Wang, Shuzhen Pan, Chen Wang, Jian Shen, and Dengzhi Liu
• Reliable data collection for wireless sensor networks using unmanned aerial vehicles / Alexandru-Valentin Vlăduță, Ion Bica, Victor-Valeriu Patriciu, and Florin Pop
• Flaw recovery in cloud based bio-inspired peer-to-peer systems for smart cities / Bogdan Mocanu, Florin Pop, Alexandra Mihaita (Mocanu), Ciprian Dobre, Valentin Cristea, and Aniello Castiglione
• DPCAS : data prediction with cubic adaptive sampling for wireless sensor networks / Leonardo C. Monteiro, Flavia C. Delicato, Luci Pirmez, Paulo F. Pires, and Claudio Miceli
• Cybersecurity ; Personalized privacy preserving collaborative filtering / Mengmeng Yang, Tianqing Zhu, Yang Xiang, and Wanlei Zhou
• Know your enemy : stealth configuration-information gathering in SDN / Mauro Conti, Fabio De Gaspari, and Luigi V. Mancini
• SOOA : exploring special on-off attacks on challenge-based collaborative intrusion detection networks / Wenjuan Li, Weizhi Meng, and Lam-For Kwok
• Assessment of security threats via network topology analysis : an initial investigation / Marcello Trovati, Win Thomas, Quanbin Sun, and Georgios Kontonatsios
• You surf so strange today : anomaly detection in web services via HMM and CTMC / Maddalena Favaretto, Riccardo Spolaor, Mauro Conti, and Marco Ferrante

• Parallel and distributed computing ; CDLP : a core distributing policy based on logic partitioning / Alin Zhong, Shun Ren, and Shouzhi Xu
• A profit-maximum resource allocation approach for mapreduce in data centers / Xiaolu Zhang, Weidong Li, Xi Liu, and Xuejie Zhang
• An efficient implementation of the algorithm by Lukáš et. al. on Hadoop / Giuseppe Cattaneo, Umberto Ferraro Petrillo, Michele Nappi, Fabio Narducci, and Gianluca Roscigno
• Integration of data distribution service and Raspberry Pi / Marisol García-Valls, Daniel Garrido, and Manuel Díaz
• Ontologies and smart applications ; Semantic knowledge and service models for energy-aware systems / Jarmo Kalaoja
• Transferring remote ontologies to the edge of internet of things systems / Xiang Su, Pingjiang Li, Huber Flores, Jukka Riekki, Xiaoli Liu, Yuhong Li, and Christian Prehofer
• A mobile context-aware information system to support tourism events / Fabio Clarizia, Saverio Lemma, Marco Lombardi, and Francesco Pascale
• On ontological digital storytelling to enrich tourist destinations and attractions with a mobile tailored story / Fabio Clarizia, Saverio Lemma, Marco Lombardi, and Francesco Pascale
• Healthcare support systems ; Design of a secure emergency communication system based on cloud for pregnancy / Guan-Chen Li, Chin-Ling Chen, Feng Lin, Jungpil Shin, and Cheng Gu
• A trust application in participatory sensing : elder reintegration / Alexandra Mihaita (Mocanu), Ciprian Dobre, Florin Pop, Bogdan Mocanu, Valentin Cristea, and Christian Esposito
• DABEHR : decentralized attribute-based electronic health record system with constant-size storage complexity / Ye Li, Kaitai Liang, Chunhua Su, and Wei Wu
• Automatic diagnosis metabolic system via a [italic]k-nearest neighbour classifier / Omar Behadada, Meryem Abi-Ayad, Georgios Kontonatsios, and Marcello Trovati

• 1st international workshop on digital knowledge ecosystems ; Harnessing mobile pervasive computing to enhance livelihood processes : farmer response to a mobile agriculture information system / L.N.C. De Silva, J.S. Goonetillake, G.N. Wikramanayake, and A. Ginige
• Social computing : new pervasive computing paradigm to enhance triple bottom line / Marie D. Fernando, Athula Ginige, and Ana Hol
• Digital knowledge ecosystem for empowering users to self-manage diabetes through context specific actionable information / Maneesh Mathai, Athula Ginige, Uma Srinivasan, and Federico Girosi
• Human-centered design of a personal medical assistant : putting polypharmacy management into patient's hand! / Monica Sebillo, Giuliana Vitiello, Danilo Cuciniello, and Serena Carrabs
• A digital knowledge ecosystem to increase participation in emergency warnings and alerts management / Paloma Díaz, Teresa Onorati, and Ignacio Aedo
• An intelligent framework for predicting state war engagement from territorial data / Giovanni Acampora, Genoveffa Tortora, and Autilia Vitiello
• 1st workshop on cloud security modeling, monitoring and management (CS3M) ; BYODCert : toward a cross-organizational BYOD paradigm / Alessio Merlo
• Security-centric evaluation framework for IT services / Smrati Gupta, Jaume Ferrarons-Llagostera, Jacek Dominiak, Victor Muntés-Mulero, Peter Matthews, and Erkuden Rios
• Multi-cloud applications security monitoring / Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli, and Erkuden Rios
• Secure microGRID in cloud : the coSSMic case study / Massimiliano Rak and Salvatore Venticinque
• Towards model-based security assessment of cloud applications / Valentina Casola, Alessandra De Benedictis, and Roberto Nardone
• Security assurance of (multi- )cloud application with security SLA composition / Massimiliano Rak
• Security issues in cloud computing / Parnian Najafi Borazjani
• Erratum to : An orchestrated security platform for internet of robots / Mehrnoosh Monshizadeh, Vikramajeet Khatri, Raimo Kantola, and Zheng Yan.

This book constitutes the proceedings of the 12th International Conference on Green, Pervasive, and Cloud Computing, GPC 2017, held in Cetara, Italy, in May 2017 and the following colocated workshops: First International Workshop on Digital Knowledge Ecosystems 2017; and First Workshop on Cloud Security Modeling, Monitoring and Management, CS3M 2017. The 58 full papers included in this volume were carefully reviewed and selected from 169 initial submissions. They deal with cryptography, security and biometric techniques; advances network services, algorithms and optimization; mobile and pervasive computing; cybersecurity; parallel and distributed computing; ontologies and smart applications; and healthcare support systems.
(source: Nielsen Book Data)

• Intro; Preface; Contents; Introduction; 1 Exploring Grouping Problems in Industry; 1.1 Introduction; 1.2 Identifying Grouping Problems in Industry; 1.2.1 Cell Formation in Manufacturing Systems; 1.2.2 Assembly Line Balancing; 1.2.3 Job Shop Scheduling; 1.2.4 Vehicle Routing Problem; 1.2.5 Home Healthcare Worker Scheduling; 1.2.6 Bin Packing Problem; 1.2.7 Task Assignment Problem; 1.2.8 Modular Product Design; 1.2.9 Group Maintenance Planning; 1.2.10 Order Batching; 1.2.11 Team Formation; 1.2.12 Earnings Management; 1.2.13 Economies of Scale; 1.2.14 Timetabling

• 1.2.15 Student Grouping for Cooperative Learning1.2.16 Other Problems; 1.3 Extant Modeling Approaches to Grouping Problems; 1.4 Structure of the Book; References; 2 Complicating Features in Industrial Grouping Problems; 2.1 Introduction; 2.2 Research Methodology; 2.3 Research Findings; 2.4 Complicating Features; 2.4.1 Model Conceptualization; 2.4.2 Myriad of Constraints; 2.4.2.1 Intra-Group Relationship; 2.4.2.2 Inter-Group Relationship; 2.4.2.3 Group Size Limits; 2.4.2.4 Grouping Limit; 2.4.3 Fuzzy Management Goals; 2.4.4 Computational Complexity; 2.5 Suggested Solution Approaches

• 2.6 SummaryReferences; Grouping Genetic Algorithms; 3 Grouping Genetic Algorithms: Advances for Real-World Grouping Problems; 3.1 Introduction; 3.2 Grouping Genetic Algorithm: An Overview; 3.2.1 Group Encoding; 3.3 Crossover; 3.3.1 Mutation; 3.3.2 Inversion; 3.4 Grouping Genetic Algorithms: Advances and Innovations; 3.4.1 Group Encoding Strategies; 3.4.1.1 Encoding Strategy 1; 3.4.1.2 Encoding Strategy 2; 3.4.2 Initialization; 3.4.2.1 User-Generated Seeds; 3.4.2.2 Random Generation; 3.4.2.3 Constructive Heuristics; 3.4.3 Selection Strategies; 3.4.3.1 Stochastic Sampling Without Replacement

• 3.4.4 Rank-Based Wheel Selection Strategy3.4.5 Crossover Strategies; 3.4.5.1 Two-Point Group Crossover; 3.4.5.2 Adaptive Crossover; 3.4.6 Mutation Strategies; 3.4.6.1 Swap Mutation; 3.4.6.2 Split Mutation; 3.4.6.3 Merge Mutation; 3.4.6.4 Adaptive Mutation; 3.4.7 Inversion; 3.4.7.1 Two-Point Inversion; 3.4.7.2 Single-Point Inversion; 3.4.7.3 Adaptive Inversion; 3.4.8 Replacement Strategies; 3.4.9 Termination Strategies; 3.4.9.1 Iteration Count (ItCount); 3.4.9.2 Iterations Without Improvement (ItWithoutImp); 3.4.9.3 Hybrid Criteria; 3.5 Application Areas; 3.6 Summary; References

• 4 Fuzzy Grouping Genetic Algorithms: Advances for Real-World Grouping Problems4.1 Introduction; 4.2 Preliminaries: Fuzzy Logic Control; 4.3 Fuzzy Grouping Genetic Algorithms: Advances and Innovations; 4.3.1 FGGA Coding Scheme; 4.3.2 Initialization; 4.3.3 Fuzzy Fitness Evaluation; 4.3.3.1 Multifactor Evaluation; 4.3.3.2 Fuzzy Goal-Oriented Fitness Evaluation; 4.3.4 Fuzzy Genetic Operators; 4.3.4.1 Fuzzy Controlled Genetic Parameters; Convergence Measure; Diversity Measure; Crossover Probability; Mutation Probability; Inversion Probability; 4.3.4.2 Fuzzy Logic Controlled Crossover

This book presents advances and innovations in grouping genetic algorithms, enriched with new and unique heuristic optimization techniques. These algorithms are specially designed for solving industrial grouping problems where system entities are to be partitioned or clustered into efficient groups according to a set of guiding decision criteria. Examples of such problems are: vehicle routing problems, team formation problems, timetabling problems, assembly line balancing, group maintenance planning, modular design, and task assignment. A wide range of industrial grouping problems, drawn from diverse fields such as logistics, supply chain management, project management, manufacturing systems, engineering design and healthcare, are presented. Typical complex industrial grouping problems, with multiple decision criteria and constraints, are clearly described using illustrative diagrams and formulations. The problems are mapped into a common group structure that can conveniently be used as an input scheme to specific variants of grouping genetic algorithms. Unique heuristic grouping techniques are developed to handle grouping problems efficiently and effectively. Illustrative examples and computational results are presented in tables and graphs to demonstrate the efficiency and effectiveness of the algorithms. Researchers, decision analysts, software developers, and graduate students from various disciplines will find this in-depth reader-friendly exposition of advances and applications of grouping genetic algorithms an interesting, informative and valuable resource.

• 2.2 Kernel-Radius-Based Feature Extraction Method
• 3 Experiments
• 3.1 Database
• 3.2 The Experimental Results and Discussions
• 4 Conclusion
• References
• Some Directions of Medical Informatics in Russia
• Abstract
• 1 Gelfand's Approach to Medical Informatics
• 1.1 Personal Applicability of the Result
• 1.2 Using the Experience of a Doctor
• 1.3 Proof of the Result
• 2 Medical Information System "Transfusiology"
• 3 Time-Oriented Multi-image Case History
• Way to the "Disease Image" Analysis
• Acknowledgements
• References

• A Computer Simulation Approach to Reduce Appointment Lead-Time in Outpatient Perinatology Department ...
• Abstract
• 1 Introduction
• 2 Related Work
• 3 Modeling the Perinatology Department: A Case Study in a Maternal-Child Hospital
• 4 Conclusions and Future Work
• References
• Engaging Patients, Empowering Doctors in Digitalization of Healthcare
• Abstract
• 1 Introduction
• 2 Methods and Discussion
• 3 Conclusion
• Acknowledgements
• References
• Developing a Tunable Q-Factor Wavelet Transform Based Algorithm for Epileptic EEG Feature Extraction
• Abstract
• 1 Introduction

• 2 Datasets and Methods
• 2.1 Experimental Data
• 2.2 Methodology
• 3 Performance Measurements
• 4 Experimental Results and Discussions
• 5 Conclusions
• References
• Granular Computing Combined with Support Vector Machines for Diagnosing Erythemato-Squamous Diseases
• 1 Introduction
• 2 The Basic Knowledge of GrC and SVM
• 2.1 The Basic Idea of GrC
• 2.2 Support Vector Machines
• 3 GrC and SVM Based Feature Selection Algorithm
• 3.1 Feature search strategies
• 3.2 Search for Best Parameters
• 3.3 GrC Combined SVM Feature Selection Algorithm
• 4 Experiments and Results

• 4.1 The Erythemato-Squamous Diseases Dataset
• 4.2 Experimental Results and Analysis
• 5 Conclusions
• References
• A Semantically-Enabled System for Inflammatory Bowel Diseases
• 1 Introduction
• 2 System
• 3 Semantic Queries
• 4 Experiments
• 4.1 Basic Information
• 4.2 IBD Onset Distribution
• 4.3 Season and Smoking Factors Analysis
• 5 Related Research
• 6 Conclusions
• References
• Early Classification of Multivariate Time Series Based on Piecewise Aggregate Approximation
• Abstract
• 1 Introduction
• 2 Background
• 3 Related Work

This book constitutes the refereed proceedings of the 6th International Conference on Health Information Science, HIS 2017, held in Moscow, Russia, in October 2017. The 11 full papers and 7 short papers presented were carefully reviewed and selected from 44 submissions. The papers feature multidisciplinary research results in health information science and systems that support health information management and health service delivery. They relate to all aspects of the conference scope, such as medical/health/biomedicine information resources such as patient medical records, devices and equipments, software and tools to capture, store, retrieve, process, analyze, and optimize the use of information in the health domain; data management, data mining, and knowledge discovery, management of publichealth, examination of standards, privacy and security issues; computer visualization and artificial intelligence for computer aided diagnosis; development of new architectures and applications for health information systems.
(source: Nielsen Book Data)

• Hesitant Fuzzy Multiple Criteria Decision Analysis Based on TOPSIS.- Hesitant Fuzzy Multiple Criteria Decision Analysis Based on TODIM.- Hesitant Fuzzy Multiple Criteria Decision Analysis Based on QUALIFLEX.- Hesitant Fuzzy Multiple Criteria Decision Analysis Based on LINMAP.- Consensus Model-Based Hesitant Fuzzy Multiple Criteria Group Decision Analysis.
• (source: Nielsen Book Data)

The book offers a comprehensive introduction to methods for solving multiple criteria decision making and group decision making problems with hesitant fuzzy information. It reports on the authors' latest research, as well as on others' research, providing readers with a complete set of decision making tools, such as hesitant fuzzy TOPSIS, hesitant fuzzy TODIM, hesitant fuzzy LINMAP, hesitant fuzzy QUALIFEX, and the deviation modeling approach with heterogeneous fuzzy information. The main focus is on decision making problems in which the criteria values and/or the weights of criteria are not expressed in crisp numbers but are more suitable to be denoted as hesitant fuzzy elements. The largest part of the book is devoted to new methods recently developed by the authors to solve decision making problems in situations where the available information is vague or hesitant. These methods are presented in detail, together with their application to different type of decision-making problems. All in all, the book represents a valuable reference guide for graduate students and researchers in the both fields of fuzzy logic and decision making. .
(source: Nielsen Book Data)

• Digital inclusion.- Contextualizing ICT based Vocational Education for Rural Communities: Addressing Ethnographic Issues and Assessing Design Principles.- Enhancing Access to eLearning for People with Intellectual Disability: Integrating Usability with Learning.- Identifying support opportunities for foreign students: Disentangling language and non-language problems among a unique population.- PersonaBrowser Status Quo and Lessons learned from a Persona-Based Presentation Metaphor of WCAG.- Women in Crisis Situations: Empowering and Supporting Women through ICTs.- Games.- Effects of Image-Based Rendering and Reconstruction on Game Developers Efficiency, Game Performance, and Gaming Experience.- Exploring In-the-Wild Game-based Gesture Data Collection.- From Objective to Subjective Difficulty Evaluation in Video Games.- Improved Memory Elicitation in Virtual Reality: New Experimental Results and Insights.- Practice in Reality for Virtual Reality Games: Making Players Familiar and Confident with a Game.- Human perception, cognition and behaviour.- I Smell Creativity: Exploring the Effects of Olfactory and Auditory Cues to Support Creative Writing Tasks.- Night Mode, Dark Thoughts: Background Color Influences the Perceived Sentiment of Chat Messages.- Subjective usability, mental workload assessments and their impact on objective human performance.- What is user's perception of Naturalness? An Exploration of Natural User Experience.- Information on demand, on the move, and gesture interaction.- Presenting Information on the Driver's Demand on a Head-Up Display.- Seeing Through the Eyes of Heavy Vehicle Operators.- TrackLine: Refining touch-to-track Interaction for Camera Motion Control on Mobile Devices.- Understanding Gesture Articulations Variability.- Watching Your Back While Riding Your Bike: Designing for Preventive Self-Care During Motorbike Commuting.- Interaction at the workplace.- FeetForward: on Blending New Classroom Technologies into Secondary School Teachers' Routines.- Human-Building Interaction: When the machine becomes a building.- Investigating Wearable Technology for Fatigue Identification in the Workplace.- Leveraging Conversational Systems to assists New Hires during Onboarding.- RemindMe: Plugging a Reminder Manager into Email for Enhancing Workplace Responsiveness.- The Cost of Improved Overview: An analysis of the Use of Electronic Whiteboards in Emergency Departments.- Interaction with children.- An interactive elementary tutoring system for oral health education using an augmented approach.- Empowered and Informed: Participation of Children in HCI.- Gaze Awareness in Agent-Based Early-Childhood Learning Application.- Puffy: a Mobile Inflatable Interactive Companion for Children with Neurodevelopmental Disorder.
• (source: Nielsen Book Data)

The four-volume set LNCS 10513-10516 constitutes the proceedings of the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, held in Mumbai, India, in September 2017. The total of 68 papers presented in these books was carefully reviewed and selected from 221 submissions. The contributions are organized in topical sections named: Part I: adaptive design and mobile applications; aging and disabilities; assistive technology for blind users; audience engagement; co-design studies; cultural differences and communication technology; design rationale and camera-control. Part II: digital inclusion; games; human perception, cognition and behavior; information on demand, on the move, and gesture interaction; interaction at the workplace; interaction with children. Part III: mediated communication in health; methods and tools for user interface evaluation; multi-touch interaction; new int eraction techniques; personalization and visualization; persuasive technology and rehabilitation; and pointing and target selection. .
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Contents
• Data Mining, Knowledge Discovery and Big Data
• Word Embedding Based Event Detection on Social Media
• 1 Introduction
• 2 Related Work
• 3 Proposed Method
• 3.1 Data Collection
• 3.2 Data Preprocessing
• 3.3 Word Embedding
• 3.4 Clustering Algorithm
• 4 Experiments and Results
• 5 Conclusion
• References
• Sentiment Analysis on TripAdvisor: Are There Inconsistencies in User Reviews?
• 1 Introduction
• 2 Sentiment Analysis
• 2.1 The Sentiment Analysis Problem
• 2.2 Sentiment Analysis Methods (SAMs)
• 3 Methodology

• 3.1 TripAdvisor
• 3.2 Web Scraping
• 3.3 Experimental Setup
• 4 Experiment Results
• 4.1 The Data Sets
• 4.2 Analysis of Results
• 5 Conclusions and Future Work
• References
• Sentiment Classification from Multi-class Imbalanced Twitter Data Using Binarization
• 1 Introduction
• 2 Proposed Classification System
• 2.1 General Overview
• 2.2 Feature Space Reduction with Multiple Correspondence Analysis
• 2.3 Balancing the Skewed Distributions
• 2.4 Weighted Classifier Combination
• 3 Feature Extraction
• 4 Experimental Study
• 4.1 Dataset
• 4.2 Set-Up
• 4.3 Results and Discussion

• 5 Conclusions and Future Works
• References
• An Ontology for Generalized Disease Incidence Detection on Twitter
• Abstract
• 1 Introduction
• 1.1 Related Work
• 2 Materials and Methods
• 2.1 An Ontology for Disease Incidence Detection on Twitter
• 2.2 Feature Extraction
• 3 The Twitter Disease Incidence Detection Pipeline
• 3.1 Corpus Generation
• 3.2 Model Training
• 3.3 Doc2Vec Tuning
• 4 Evaluation
• 4.1 Results and Discussion
• 5 Conclusion and Future Work
• References

• Hybrid Methodology Based on Bayesian Optimization and GA-PARSIMONY for Searching Parsimony Models by Combining Hyperparameter Optimization and Feature Selection
• 1 Introduction
• 2 Materials and Methods
• 2.1 Extreme Gradient Boosting Machines
• 2.2 Bayesian Optimization
• 2.3 GA-PARSIMONY Methodology
• 2.4 Hybrid Method Based on Bayesian Optimization and GA-PARSIMONY
• 3 Experiments
• 3.1 Datasets and Validation Process
• 3.2 GA-PARSIMONY Settings
• 3.3 Bayesian Optimization Settings
• 3.4 Hybrid Method Settings
• 4 Results and Discussion
• 5 Conclusions
• References

• Concept Discovery in Graph Databases
• 1 Introduction
• 2 Background
• 2.1 Concept Discovery
• 2.2 Graph Databases
• 3 The Proposed Method
• 4 Experiments
• 4.1 Datasets and Experimental Setting
• 4.2 Experimental Results
• 5 Conclusion
• References
• Leveraging Distributed Representations of Elements in Triples for Predicate Linking
• 1 Introduction
• 2 Problem Definition
• 3 Related Work
• 4 Approach
• 4.1 Statistical Pattern-Based Candidate Generation
• 4.2 Similarity-Based Candidate Generation
• 4.3 Candidate Selection
• 5 Experiment
• 5.1 Dataset
• 5.2 Setting

This volume constitutes the refereed proceedings of the 12th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2017, held in La Rioja, Spain, in June 2017. The 60 full papers published in this volume were carefully reviewed and selected from 130 submissions. They are organized in the following topical sections: data mining, knowledge discovery and big data; bioinspired models and evolutionary computing; learning algorithms; visual analysis and advanced data processing techniques; data mining applications; and hybrid intelligent applications.
(source: Nielsen Book Data)

• History of SCIA.- Motion analysis and 3D vision.- Pattern detection and recognition.- Machine learning.- Image processing and applications.- Feature extraction and segmentation.- Remote sensing.- Medical and biomedical image analysis.- Faces, gestures and multispectral analysis.
• (source: Nielsen Book Data)

The two-volume set LNCS 10269 and 10270 constitutes the refereed proceedings of the 20th Scandinavian Conference on Image Analysis, SCIA 2017, held in Tromso, Norway, in June 2017. The 87 revised papers presented were carefully reviewed and selected from 133 submissions. The contributions are structured in topical sections on history of SCIA; motion analysis and 3D vision; pattern detection and recognition; machine learning; image processing and applications; feature extraction and segmentation; remote sensing; medical and biomedical image analysis; faces, gestures and multispectral analysis.
(source: Nielsen Book Data)

• History of SCIA.- Motion analysis and 3D vision.- Pattern detection and recognition.- Machine learning.- Image processing and applications.- Feature extraction and segmentation.- Remote sensing.- Medical and biomedical image analysis.- Faces, gestures and multispectral analysis.
• (source: Nielsen Book Data)

The two-volume set LNCS 10269 and 10270 constitutes the refereed proceedings of the 20th Scandinavian Conference on Image Analysis, SCIA 2017, held in Tromso, Norway, in June 2017. The 87 revised papers presented were carefully reviewed and selected from 133 submissions. The contributions are structured in topical sections on history of SCIA; motion analysis and 3D vision; pattern detection and recognition; machine learning; image processing and applications; feature extraction and segmentation; remote sensing; medical and biomedical image analysis; faces, gestures and multispectral analysis.
(source: Nielsen Book Data)

• Intro; Preface; Organization; Contents
• Part I; Contents
• Part II; Video Analysis and Understanding; A Rank Aggregation Framework for Video Interestingness Prediction; 1 Introduction; 2 Related Work; 3 Feature Extraction; 3.1 Histogram of Motion Patterns; 3.2 Mel-Frequency Cepstral Coefficients; 4 Ranking Models; 5 Rank Aggregation Framework; 5.1 Borda Method; 5.2 Reciprocal Rank Fusion; 5.3 Multiplicative Rank Aggregation; 6 Experiments and Results; 7 Conclusions; References; Graph-Based Hierarchical Video Cosegmentation; 1 Introduction; 2 Graph-Based Hierarchical Clustering.

• 3 Proposed Method4 Experiments; 5 Conclusion; References; Interest Region Based Motion Magnification; 1 Introduction; 2 Related Work; 3 Interest Region Based Motion Magnification; 3.1 Object Segmentation; 3.2 Scribble Drawing and Alpha Matting; 3.3 Video Magnification; 3.4 Pipeline; 4 Experiments and Discussion; 5 Conclusion; References; Investigating the Use of Space-Time Primitives to Understand Human Movements; 1 Introduction; 2 Shearlet Theory: An Overview; 3 Building Dictionaries of Space-Time Primitives; 4 Experimental Analysis; 4.1 Dataset and Experimental Protocol.

• 4.2 Preliminary Investigation5 Discussion; References; Organizing Videos Streams for Clustering and Estimation of Popular Scenes; 1 Introduction; 2 Related Works; 3 RECfusion System Overview; 3.1 Intraflow Analysis; 3.2 Interflow Analysis; 3.3 Cluster Tracking; 4 Datasets; 5 Experimental Settings and Results; 6 Conclusion and Future Works; References; 360° Tracking Using a Virtual PTZ Camera; 1 Introduction; 2 Related Works; 2.1 360 Image Representation; 2.2 PTZ Tracking; 3 360 Camera Model; 3.1 Equirectangular Projection; 3.2 Equirectangular to Virtual Camera Plane Projection.

• 4 Tracking Model4.1 Tracking Algorithm; 5 Results; 6 Conclusions; References; Benchmarking Two Algorithms for People Detection from Top-View Depth Cameras; 1 Introduction; 2 Methods Considered for the Benchmarking; 2.1 WATERFILLING; 2.2 HOG-SVM; 3 The Adopted Dataset; 4 Experimental Analysis; 4.1 Performance Indices; 4.2 Training Procedure; 4.3 Analysis of the Experimental Results; 5 Conclusions and Future Work; References; Gesture Modelling and Recognition by Integrating Declarative Models and Pattern Recognition Algorithms; 1 Introduction; 2 Related Work.

• 2.1 Vision-Based Gesture Recognition Approaches2.2 Gesture Recognition: The Declarative Modelling Approach; 3 Combining the Two Approaches with DEICTIC; 4 Experiments and Preliminary Results; 5 Conclusions; References; How Far Can You Get by Combining Change Detection Algorithms?; 1 Introduction; 2 The Proposed Approach; 3 Experimental Setup; 4 Results; 5 Computational Time; 6 Conclusion; References; Robust Tracking of Walking Persons by Elite-Type Particle Filters and RGB-D Images; 1 Introduction; 2 Elite-Type Particle Filter; 2.1 Overall Structure of Tracking Algorithm.

The two-volume set LNCS 10484 and 10485 constitutes the refereed proceedings of the 19th International Conference on Image Analysis and Processing, ICIAP 2017, held in Catania, Italy, in September 2017. The 138 papers presented were carefully reviewed and selected from 229 submissions. The papers cover both classic and the most recent trends in image processing, computer vision, and pattern recognition, addressing both theoretical and applicative aspects. They are organized in the following topical sections: video analysis and understanding; pattern recognition and machine learning; multiview geometry and 3D computer vision; image analysis, detection and recognition; multimedia; biomedical and assistive technology; information forensics and security; imaging for cultural heritage and archaeology; and imaging solutions for improving the quality of life.
(source: Nielsen Book Data)

The two-volume set LNCS 10484 and 10485 constitutes the refereed proceedings of the 19th International Conference on Image Analysis and Processing, ICIAP 2017, held in Catania, Italy, in September 2017. The 138 papers presented were carefully reviewed and selected from 229 submissions. The papers cover both classic and the most recent trends in image processing, computer vision, and pattern recognition, addressing both theoretical and applicative aspects. They are organized in the following topical sections: video analysis and understanding; pattern recognition and machine learning; multiview geometry and 3D computer vision; image analysis, detection and recognition; multimedia; biomedical and assistive technology; information forensics and security; imaging for cultural heritage and archaeology; and imaging solutions for improving the quality of life.
(source: Nielsen Book Data)

• Machine learning in image recognition.- Machine learning for medical image computing.- Image enhancement and reconstruction.- Image segmentation.- Motion and tracking.- 3D computer vision.- Feature extraction.- Detection and classification.- Biomedical image analysis.- Image analysis in ophthalmology.- Remote sensing.- Applications.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Image Analysis and Recognition, ICIAR 2017, held in Montreal, QC, Canada, in July 2017. The 73 revised full papers presented were carefully reviewed and selected from 133 submissions. The papers are organized in the following topical sections: machine learning in image recognition; machine learning for medical image computing; image enhancement and reconstruction; image segmentation; motion and tracking; 3D computer vision; feature extraction; detection and classification; biomedical image analysis; image analysis in ophthalmology; remote sensing; applications.
(source: Nielsen Book Data)

• Predicate invention.- Graph-based learning.- Spatial learning.- Logical foundations.- Statistical relational learning.-Probabilistic ILP.- Implementation and scalability.- Applications in robotics, cyber security and games.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Conference on Inductive Logic Programming, ILP 2016, held in London, UK, in September 2016. The 10 full papers presented were carefully reviewed and selected from 29 submissions. The papers represent well the current breath of ILP research topics such as predicate invention; graph-based learning; spatial learning; logical foundations; statistical relational learning; probabilistic ILP; implementation and scalability; applications in robotics, cyber security and games.
(source: Nielsen Book Data)

• Scheduling.- Knowledge engineering.- Modeling, simulation and reconfiguration.- Energy systems.- MAS in various areas.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017, held in Lyon, France, in August 2017. The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The papers are organized in the following topical sections: scheduling; knowledge engineering; modeling, simulation and reconfiguration; energy systems; and MAS in various areas.
(source: Nielsen Book Data)

• Time Event Extraction to Boost an Information Retrieval System
• Interactive Text Categorisation: The Geometry of Likelihood Spaces
• Mining Movement Data to Extract Personal Points of Interest: A Feature Based Approach
• SABRE: a Sentiment Aspect-Based Retrieval Engine
• Monitoring and Supporting People that Need Assistance: the BackHome Experience
• The Relevance of Providing Useful and Personalized Information to Therapists and Caregivers in Tele*.

This book focuses on new research challenges in intelligent information filtering and retrieval. It collects invited chapters and extended research contributions from DART 2014 (the 8th International Workshop on Information Filtering and Retrieval), held in Pisa (Italy), on December 10, 2014, and co-hosted with the XIII AI*IA Symposium on Artificial Intelligence. The main focus of DART was to discuss and compare suitable novel solutions based on intelligent techniques and applied to real-world contexts. The chapters of this book present a comprehensive review of related works and the current state of the art. The contributions from both practitioners and researchers have been carefully reviewed by experts in the area, who also gave useful suggestions to improve the quality of the book.