%{search_type} search results

• Advances in Business ICT: New Ideas from Ongoing Research.- Verification of Temporal Knowledge Bases as an Important Aspect of Knowledge Management Processes in Organization.- The role of simulation performance in software-in-the-loop simulations.- Cognitum Ontorion: Knowledge Representation and Reasoning System.- Overview of Selected Business Process Semantization Techniques.- Selected Approaches Towards Taxonomy of Business Process Anomalies.- Hybrid framework for investment project portfolio selection.- Towards Predicting Stock Price Moves with Aid of Sentiment Analysis of Twitter Social Network Data and Big Data Processing Environment.- On a Property of Phase Correlation and Possibilities to Reduce the Walsh Function System.
• (source: Nielsen Book Data)

This book discusses the effective use of modern ICT solutions for business needs, including the efficient use of IT resources, decision support systems, business intelligence, data mining and advanced data processing algorithms, as well as the processing of large datasets (inter alia social networking such as Twitter and Facebook, etc.). The ability to generate, record and process qualitative and quantitative data, including in the area of big data, the Internet of Things (IoT) and cloud computing offers a real prospect of significant improvements for business, as well as the operation of a company within Industry 4.0. The book presents new ideas, approaches, solutions and algorithms in the area of knowledge representation, management and processing, quantitative and qualitative data processing (including sentiment analysis), problems of simulation performance, and the use of advanced signal processing to increase the speed of computation. The solutions presented are also aimed at the effective use of business process modeling and notation (BPMN), business process semantization and investment project portfolio selection. It is a valuable resource for researchers, data analysts, entrepreneurs and IT professionals alike, and the research findings presented make it possible to reduce costs, increase the accuracy of investment, optimize resources and streamline operations and marketing.
(source: Nielsen Book Data)

• Bio-inspired Computing.- E-Health and Computational Biology.- Human Computer Interaction.- Image and Signal Processing.- Mathematics for Neural Networks.- Self-organizing Networks.- Spiking Neurons.- Artificial Neural Networks in Industry ANNI'17.- Computational Intelligence Tools and Techniques for Biomedical Applications.- Assistive Rehabilitation Technology.- Computational Intelligence Methods for Time Series.- Machine Learning Applied to Vision and Robotics.- Human Activity Recognition for Health and Well-Being Applications.- Software Testing and Intelligent Systems.- Real World Applications of BCI Systems.- Machine Learning in Imbalanced Domains.- Surveillance and Rescue Systems and Algorithms for Unmanned Aerial Vehicles.- End-User Development for Social Robotics.- Artificial Intelligence and Games.- Supervised, Non-Supervised, Reinforcement and Statistical Algorithms. .
• (source: Nielsen Book Data)

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. The 126 revised full papers presented in this double volume were carefully reviewed and selected from 199 submissions. The papers are organized in topical sections on Bio-inspired Computing; E-Health and Computational Biology; Human Computer Interaction; Image and Signal Processing; Mathematics for Neural Networks; Self-organizing Networks; Spiking Neurons; Artificial Neural Networks in Industry ANNI'17; Computational Intelligence Tools and Techniques for Biomedical Applications; Assistive Rehabilitation Technology; Computational Intelligence Methods for Time Series; Machine Learning Applied to Vision and Robotics; Human Activity Recognition for Health and Well-Being Applications; Software Testing and Intelligent Systems; Real World Applications of BCI Systems; Machine Learning in Imbalanced Domains; Surveillance and Rescue Systems and Algorithms for Unmanned Aerial Vehicles; End-User Development for Social Robotics; Artificial Intelligence and Games; and Supervised, Non-Supervised, Reinforcement and Statistical Algorithms.
(source: Nielsen Book Data)

• Bio-inspired Computing.- E-Health and Computational Biology.- Human Computer Interaction.- Image and Signal Processing.- Mathematics for Neural Networks.- Self-organizing Networks.- Spiking Neurons.- Artificial Neural Networks in Industry ANNI'17.- Computational Intelligence Tools and Techniques for Biomedical Applications.- Assistive Rehabilitation Technology.- Computational Intelligence Methods for Time Series.- Machine Learning Applied to Vision and Robotics.- Human Activity Recognition for Health and Well-Being Applications.- Software Testing and Intelligent Systems.- Real World Applications of BCI Systems.- Machine Learning in Imbalanced Domains.- Surveillance and Rescue Systems and Algorithms for Unmanned Aerial Vehicles.- End-User Development for Social Robotics.- Artificial Intelligence and Games.- Supervised, Non-Supervised, Reinforcement and Statistical Algorithms. .
• (source: Nielsen Book Data)

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. The 126 revised full papers presented in this double volume were carefully reviewed and selected from 199 submissions. The papers are organized in topical sections on Bio-inspired Computing; E-Health and Computational Biology; Human Computer Interaction; Image and Signal Processing; Mathematics for Neural Networks; Self-organizing Networks; Spiking Neurons; Artificial Neural Networks in Industry ANNI'17; Computational Intelligence Tools and Techniques for Biomedical Applications; Assistive Rehabilitation Technology; Computational Intelligence Methods for Time Series; Machine Learning Applied to Vision and Robotics; Human Activity Recognition for Health and Well-Being Applications; Software Testing and Intelligent Systems; Real World Applications of BCI Systems; Machine Learning in Imbalanced Domains; Surveillance and Rescue Systems and Algorithms for Unmanned Aerial Vehicles; End-User Development for Social Robotics; Artificial Intelligence and Games; and Supervised, Non-Supervised, Reinforcement and Statistical Algorithms.
(source: Nielsen Book Data)

• Natural Language Processing
• The relevance of the Named Entities in Authorship Attribution.- A compact representation for cross-domain short text clustering.- Characteristics of Most Frequent Spanish Verb-Noun Combinations.- Sentence Paraphrase Graphs: Classification Based on Predictive Models or Annotators Decisions.- Mathematical model of an ontological-semantic analyzer using basic ontological-semantic patterns.- CookingQA: A Question Answering System based on Cooking Ontology.- LEXIK. An Integrated System for Specialized Terminology.- Linguistic Restrictions in Automatic Translation from Written Spanish to MSL.- Intra-Document and Inter-Document Redundancy on Multi-Document Summarization.- Framework for searching judicial precedents based on Automatic summarization.- Discriminatory capacity of the most representative phonemes in Spanish: an evaluation for forensic speech recognition.- A Speech-Based Web Co-Authoring Platform for the Blind.- Social Networks and Opinion Mining.- Friends and Enemies of Clinton and Trump: Using Context for Detecting Stance in Political Tweets.- Additive Regularization for Topic Modeling in Sociological Studies of User-Generated Texts.- Effect of the inclusion of non-newsworthy messages in credibility assessment.- On the impact of neighborhood selection strategies for recommender systems in LBSNs.- Fuzzy Logic.- For Multi-Interval-Valued Fuzzy Sets, Centroid Defuzzification Is Equivalent to Defuzzifying Its Interval Hull: A Theorem.- Metric Spaces Under Interval Uncertainty: Towards an Adequate Definition.- A study of parameter dynamic adaptation with fuzzy logic for the grey wolf optimizer algorithm.- Interval Type-2 fuzzy logic for parameter adaptation in the gravitational search algorithm.- Water cycle algorithm with fuzzy logic for dynamic adaptation of parameters.- Off-line tuning of a PID controller using Type-2 Fuzzy Logic.- Detection of faults in induction motors using texture-based features and fuzzy inference.- Time Series Analysis and Forecasting.- Trend Detection in Gold Worth using Regression.- Queries to Internet as a Tool for Analysis of Regional Police Work and Forecast of Crimes in Regions.- Creating Collections of Descriptors of Events and Processes Based on Internet Queries.- Planning and Scheduling.- Using a Grammar Checker to Validate Compliance of Processes with Workflow Models.- On Verification of Workflow and Planning Domain Models using Attribute Grammars.- Tramp Ship Scheduling Problem with Berth Allocation Considerations and Time-dependent Constraints.- Hierarchical Task Model for Resource Failure Recovery in Production Scheduling.- A multi-objective hospital operating room planning and scheduling problem using compromise programming.- Solving Manufacturing Cell Design Problems using the Black Hole Algorithm.- Image Processing and Computer Vision.- Efficient Computation of the Euler Number of a 2-D Binary of Image.- Image filter based on block matching and principal component analysis.- Support to the diagnosis of the Pap test, using computer algorithms of digital image processing.- Implementation of Computer Vision Guided Peg-Hole Insertion Task Performed by Robot through LabVIEW.- Object Tracking Based on Modified TLD Framework Using Compressive Sensing Features.- Parameter characterization of complex wavelets and its use in 3D reconstruction.- Customer Analysis via Video Analytics: Customer Detection with Multiple Cues.- Methodology for Automatic Collection of Vehicle Traffic Data by Object Tracking.- Robotics.- GPS-based curve estimation for an adaptive pure pursuit algorithm.- Collective motion of a swarm of simulated quadrotors using repulsion, attraction and orientation rules.- Design and simulation of a new lower exoskeleton for rehabilitation of patients with paraplegia.- Sensorial system for obtaining the angles of the human movement in the coronal and sagittal anatomical planes.
• (source: Nielsen Book Data)

The two-volume set LNAI 10061 and 10062 constitutes the proceedings of the 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, held in Cancun, Mexico, in October 2016. The total of 86 papers presented in these two volumes was carefully reviewed and selected from 238 submissions. The contributions were organized in the following topical sections: Part I: natural language processing; social networks and opinion mining; fuzzy logic; time series analysis and forecasting; planning and scheduling; image processing and computer vision; robotics. Part II: general; reasoning and multi-agent systems; neural networks and deep learning; evolutionary algorithms; machine learning; classification and clustering; optimization; data mining; graph-based algorithms; and intelligent learning environments.
(source: Nielsen Book Data)

• Requirements analysis.-Business analysis:- Ambient Assisted Living:- Computing for Healthcare:- Data Science:-Data Analysis.- Business Intelligence.- Ontology.- Software Quality.- Model Quality.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of five workshops and a symposium, held at the 36th International Conference on Conceptual Modeling, ER 2017, in Valencia, Spain in November 2017. The 21 revised full papers were carefully reviewed and selected out of 47 submissions to the following events: AHA 2017 - 3rd International Workshop on Modeling for Ambient Assistance and Healthy Ageing MoBiD 2017 - 6th International Workshop on Modeling and Management of Big Data MREBA 2017 - 4th International Workshop on Conceptual Modeling in Requirements and Business Analysis OntoCom 2017 - 5th International Workshop on Ontologies and Conceptual Modeling QMMQ 2017 - 4th Workshop on Quality of Models and Models of Quality.
(source: Nielsen Book Data)

• PART 1, Data mining, machine learning, knowledge discovery, Tensor Networks for Dimensionality Reduction, Big Data and Deep Learning.- Local Data Characteristics in Learning Classifiers from Imbalanced Data.- Similarity dimensions of semantic ontologies.- Some interesting phenomenon occurring during self-learning process with its psychological interpretation.- PART 2, Neural networks and connectionist systems, On the interpretation and characterization of echo state networks dynamics: A complex systems perspective.- Optimization of Ensemble Neural Networks with Type-1 and Interval Type-2 Fuzzy Integration for Forecasting the Taiwan Stock Exchange.- Deep Neural Networks - A Brief History.- PART 3, Intelligent technologies in systems modeling, Techniques for Construction and Integration of Rule Bases.- New Aspects of Interpretability of Fuzzy Systems for Nonlinear Modeling.- On the intuitionistic fuzzy sets of n-th type.-
• PART 4. Intelligent technologies in decision making, optimization and control, MCTS/UCT in solving real-life problems.- Interactive cone contraction for evolutionary mutliple objective optimization.- A review of fuzzy and mathematic methods for dynamic parameter adaptation in the firefly algorithm.-
• PART 5. Applications of intelligent technologies Computational Intelligence Methods in Personalized Pharmacotherapy.- Embodying Intelligence in Autonomous and Robotic Systems with the Use of Cognitive Psychology and Motivation Theories.- Evolutionary Approach for Automatic Design of PID Controllers.- Fuzzy-genetic approach to identity verification using a handwritten signature.- A method of design and optimization for SiC-based grid-connected AC-DC converters.
• (source: Nielsen Book Data)

This book is a tribute to Professor Jacek Zurada, who is best known for his contributions to computational intelligence and knowledge-based neurocomputing. It is dedicated to Professor Jacek Zurada, Full Professor at the Computational Intelligence Laboratory, Department of Electrical and Computer Engineering, J.B. Speed School of Engineering, University of Louisville, Kentucky, USA, as a token of appreciation for his scientific and scholarly achievements, and for his longstanding service to many communities, notably the computational intelligence community, in particular neural networks, machine learning, data analyses and data mining, but also the fuzzy logic and evolutionary computation communities, to name but a few. At the same time, the book recognizes and honors Professor Zurada's dedication and service to many scientific, scholarly and professional societies, especially the IEEE (Institute of Electrical and Electronics Engineers), the world's largest professional technical professional organization dedicated to advancing science and technology in a broad spectrum of areas and fields. The volume is divided into five major parts, the first of which addresses theoretic, algorithmic and implementation problems related to the intelligent use of data in the sense of how to derive practically useful information and knowledge from data. In turn, Part 2 is devoted to various aspects of neural networks and connectionist systems. Part 3 deals with essential tools and techniques for intelligent technologies in systems modeling and Part 4 focuses on intelligent technologies in decision-making, optimization and control, while Part 5 explores the applications of intelligent technologies.
(source: Nielsen Book Data)

• Improving Chairlift Security with Deep Learning.- Discovering motifs with variants in music databases.- Biclustering Multivariate Time Series.- Visualization of Topic-Sentiment Dynamics in Crowdfunding Projects.- Regression tree for bandits models in A/B testing.- Seasonal Variation in Collective Mood via Twitter Content and Medical Purchases.- Skin Cancer Detection in Dermoscopy Images Using Sub-Region Features.- Bucket Selection: A Model-Independent Diverse Selection Strategy for Widening.- Interactive Pattern Sampling for Characterizing Unlabeled Data.- Searching for Spatio-Temporal-Keyword Patterns in Semantic Trajectories.- Natural Language Analysis of Online Health Forums.- Freudian Slips: Analysing the Internal Representations of a Neural Network from its Mistakes.- KAPMiner: Mining ordered association rules with constraints.- A Dynamic Adaptive Questionnaire for Improved Disease Diagnostics.- ABIDE: Querying Time-Evolving Sequences of Temporal Intervals.- The Actors of History: Narrative Network Analysis Reveals the Institutions of Power in British Society Between 1800-1950.- Learning DTW-Preserving Shapelets.- Droplet Ensemble Learning on Drifting Data Streams.- Predictive clustering trees for hierarchical multi-target regression.- Identifying novel features from specimen data for the prediction of valuable field trips.- Adapting supervised classifiation algorithms to arbitrary weak label scenarios.- The Combination of Decision in Crowds When The Number of Reliable Annotator is Rare.- Estimating Sequence Similarity from Contig Sets.- Computational Topology Techniques for Characterizing Time-Series Data.- Improving Cold-Start Recommendations with Social-Media Trends and Reputations.- Hierarchical Novelty Detection.- Towards automatic evaluation of asphalt irregularity using smartphone's Sensors.- A structural benchmark for logical argumentation frameworks.
• (source: Nielsen Book Data)

This book constitutes the conference proceedings of the 16th International Symposium on Intelligent Data Analysis, which was held in October 2017 in London, UK. The 28 full papers presented in this book were carefully reviewed and selected from 66 submissions. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis. IDA solicits papers on all aspects of intelligent data analysis, including papers on intelligent support for modelling and analyzing data from complex, dynamical systems.
(source: Nielsen Book Data)

• Classification and deep learning.- Social network and graph mining.- Privacy-preserving mining and security/risk applications.- Spatio-temporal and sequential data mining.- Clustering and anomaly detection.- Recommender system.- Feature selection.- Text and opinion mining.- Clustering and matrix factorization.- Dynamic, stream data mining.- Novel models and algorithms.- Behavioral data mining.- Graph clustering and community detection.- Dimensionality reduction.
• (source: Nielsen Book Data)

This two-volume set, LNAI 10234 and 10235, constitutes the thoroughly refereed proceedings of the 21st Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2017, held in Jeju, South Korea, in May 2017. The 129 full papers were carefully reviewed and selected from 458 submissions. They are organized in topical sections named: classification and deep learning; social network and graph mining; privacy-preserving mining and security/risk applications; spatio-temporal and sequential data mining; clustering and anomaly detection; recommender system; feature selection; text and opinion mining; clustering and matrix factorization; dynamic, stream data mining; novel models and algorithms; behavioral data mining; graph clustering and community detection; dimensionality reduction.
(source: Nielsen Book Data)

• Part I: Online learning of a weighted selective naive Bayes classifier with non-convex optimization
• On making skyline queries resistant to outliers
• Adaptive Down-Sampling and Dimension Reduction in Time Elastic Kernel Machines for Efficient Recognition of Isolated Gestures
• Exact and Approximate Minimal Pattern Mining
• Part II: Comparison of proximity measures for a topological discrimination
• Comparison of linear modularization criteria using the relational formalism, an approach to easily identify resolution limit
• A novel approach to feature selection based on quality estimation metrics
• Ultrametricity of Dissimilarity Spaces and Its Significance for Data Mining
• Part III: SMERA: Semantic Mixed Approach for Web Query Expansion and Reformulation
• Multi-layer ontologies for integrated 3D shape segmentation and annotation
• Ontology Alignment Using Web Linked Ontologies as Background Knowledge
• LIAISON: reconciLIAtion of Individuals profiles across SOcial Networks
• Clustering of Links and Clustering of Nodes: Fusion of Knowledge in Social Networks.

This book presents a collection of representative and novel work in the field of data mining, knowledge discovery, clustering and classification, based on expanded and reworked versions of a selection of the best papers originally presented in French at the EGC 2014 and EGC 2015 conferences held in Rennes (France) in January 2014 and Luxembourg in January 2015. The book is in three parts: The first four chapters discuss optimization considerations in data mining. The second part explores specific quality measures, dissimilarities and ultrametrics. The final chapters focus on semantics, ontologies and social networks. Written for PhD and MSc students, as well as researchers working in the field, it addresses both theoretical and practical aspects of knowledge discovery and management.

• A Combined Approach for Ontology Enrichment from Textual and Open Data.- C-SPARQL Extension for Sampling RDF Graphs Streams.- Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks.
• (source: Nielsen Book Data)

This book is a collection of representative and novel works in the field of data mining, knowledge discovery, clustering and classification. Discussing both theoretical and practical aspects of "Knowledge Discovery and Management" (KDM), it is intended for researchers interested in these fields, including PhD and MSc students, and researchers from public or private laboratories. The contributions included are extended and reworked versions of six of the best papers that were originally presented in French at the EGC'2016 conference held in Reims (France) in January 2016. This was the 16th edition of this successful conference, which takes place each year, and also featured workshops and other events with the aim of promoting exchanges between researchers and companies concerned with KDM and its applications in business, administration, industry and public organizations. For more details about the EGC society, please consult egc.asso.fr.
(source: Nielsen Book Data)

• Chapter 1 Memristor Emulators A Note on Modeling.-
• Chapter 2 A Simple Oscillator using Memristor.-
• Chapter 3 A Hyperjerk Memristive System with Hidden Attractors.-
• Chapter 4 A Memristive System with Hidden Attractors and its Engineering Application.-
• Chapter 5 Adaptive Control, Synchronization and Circuit Simulation of a Memristor-Based.-
• Chapter 6 Modern System Design using Memristors.-
• Chapter 7 RF/Microwave Applications of Memristors.-
• Chapter 8 Theory, Modeling and Design of Memristor-Based Min-Max Circuits.-
• Chapter 9 Analysis of a 4-D Hyperchaotic Fractional-Order Memristive System with Hidden Attractors.-
• Chapter 10 Adaptive Control and Synchronization of a Memristor-Based Shinriki's System.
• (source: Nielsen Book Data)

This book reports on the latest advances in and applications of memristors, memristive devices and systems. It gathers 20 contributed chapters by subject experts, including pioneers in the field such as Leon Chua (UC Berkeley, USA) and R.S. Williams (HP Labs, USA), who are specialized in the various topics addressed in this book, and covers broad areas of memristors and memristive devices such as: memristor emulators, oscillators, chaotic and hyperchaotic memristive systems, control of memristive systems, memristor-based min-max circuits, canonic memristors, memristive-based neuromorphic applications, implementation of memristor-based chaotic oscillators, inverse memristors, linear memristor devices, delayed memristive systems, flux-controlled memristive emulators, etc. Throughout the book, special emphasis is given to papers offering practical solutions and design, modeling, and implementation insights to address current research problems in memristors, memristive devices and systems. As such, it offers a valuable reference book on memristors and memristive devices for graduate students and researchers with a basic knowledge of electrical and control systems engineering.
(source: Nielsen Book Data)

This book describes new theories and applications of artificial neural networks, with a special focus on neural computation, cognitive science and machine learning. It discusses cutting-edge research at the intersection between different fields, from topics such as cognition and behavior, motivation and emotions, to neurocomputing, deep learning, classification and clustering. Further topics include signal processing methods, robotics and neurobionics, and computer vision alike. The book includes selected papers from the XIX International Conference on Neuroinformatics, held on October 2-6, 2017, in Moscow, Russia.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 15th International Conference on Practical Applications of Scalable Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017. The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions. The papers report on the application and validation of agent-based models, methods, and technologies in a number of key application areas, including day life and real world, energy and networks, human and trust, markets and bids, models and tools, negotiation and conversation, scalability and resources. .
(source: Nielsen Book Data)

• General.- Normality from Monte Carlo Simulation for Statistical Validation of Computer Intensive Algorithms.- Are Android Smartphones Ready to Locally Execute Intelligent Algorithms.- Reasoning and Multi-Agent Systems.- Large Scale Reasoning Using Allen's Interval Algebra.- Towards the Distributed Logic Programming of Intelligent Visual Surveillance Applications.- An efficient expert system for diabetes with a Bayesian inference engine.- iEnsemble: A Framework for Committee Machine based On Multiagent Systems with Reinforcement Learning.- Exploring Complex Networks with Failure-prone Agents.- On the Conception of Intelligent Power Plants Based on Multiple Agent Systems.- Neural Networks and Deep Learning.- Author Profiling with doc2vec Neural Network-Based Document Embeddings.- Neural network modelling for dissolved oxygen effects in extensive Litopenaeus vannamei culture.- Neural-network based algorithm for algae detection in automatic inspection of underwater pipelines.- Evolutionary Algorithms.- Study on the Development of Complex Network for Evolutionary and Swarm based Algorithms.- Estimation of Distribution Algorithms based on the Beta Distribution for Bounded Search Spaces.- Automated Analog Synthesis with an Estimation of the Distribution Algorithm.- Mathematical model of glucose metabolism by symbolic regression alpha beta.- Machine Learning.- Jensen inequality with subdifferential for Sugeno integral.- Towards a more general XCS: Classifier fusion and don't care in actions.- A Novel Artificial Hydrocarbon Networks Based Value Function Approximation in Hierarchical Reinforcement Learning.- Wind power forecasting for the Villonaco wind farm using AI techniques.- Predicting the need of mechanical ventilation in Guillain-Barre patients using machine learning algorithms with relevant features.- A Robust Machine learning Approach to Microprocessor Instructions Identification Final.- Classification and Clustering.- Stochastic Semantic-Based Multi-Objective Genetic Programming Optimisation for Classification of Imbalanced Data.- Consensus Clustering for Binning Metagenome Sequences.- Algorithm for Clustering of Web Search Results from a Hyper-Heuristic approach.- Grouping Business Process Models Based on Multimodal Search and Covering Arrays.- Optimization.- A new method to optimize dynamic environments with global changes using the chickens-hen' algorithm.- Transit Network Frequencies-Setting Problem Solved Using a new Multi-Objective Global-Best Harmony Search Algorithm and Discrete Event Simulation.- Optimal pricing model: case of study for convenience stores.- Method of musical composition for portfolio optimization problem.- Metaheuristic hybridized applied to solve the Capacity Vehicle Routing Problem.- ABC-PSO: An Efficient Bioinspired Metaheuristic for Parameter Estimation in Nonlinear Regression.- Data Mining.- Data mining in EEG wave trains in early stages of Parkinson's disease.- Data Mining in the Analysis of Ocean-Atmosphere Dynamics in Colombia's Central Caribbean Ocean.- Molecular docking based on ligand by Complexity LMC.- Integrating Information of Films by a Multi-Source Combining Framework.- Graph-Based Algorithms.- Computing the clique-width of Polygonal tree graphs.- A New Approach to Weakening and Destruction of Malicious Internet Networks.- Intelligent Learning Environments.- Toward Optimal Pedagogical Action Patterns by means of Partially Observable Markov Decision Process.- Data-driven construction of a student model using Bayesian networks in an electrical domain.- Strategic Learning Meta-model: A Selection Model of Learning Activities.- CodeTraining: An Authoring Tool for a Gamified Programming Learning Environment.- Generating a Logical Structure for Virtualizing Physiotherapy Instructions through NLP.- Building a Corpus and a Local Binary Pattern Recognizer for Learning-Centered Emotions.- Affective Learning System for Algorithmic Logic Applying Gamification. .
• (source: Nielsen Book Data)

The two-volume set LNAI 10061 and 10062 constitutes the proceedings of the 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, held in Cancun, Mexico, in October 2016. The total of 86 papers presented in these two volumes was carefully reviewed and selected from 238 submissions. The contributions were organized in the following topical sections: Part I: natural language processing; social networks and opinion mining; fuzzy logic; time series analysis and forecasting; planning and scheduling; image processing and computer vision; robotics. Part II: general; reasoning and multi-agent systems; neural networks and deep learning; evolutionary algorithms; machine learning; classification and clustering; optimization; data mining; graph-based algorithms; and intelligent learning environments. .
(source: Nielsen Book Data)

• Color Spaces Advantages and Disadvantages in Image Color Clustering Segmentation.- Multi-objective Whale Optimization Algorithm for Multi-level Thresholding Segmentation.- Evaluating Swarm Optimization Algorithms for Segmentation of Liver Images.- Thermal Image Segmentation Using Evolutionary Computation Techniques.- News Videos Segmentation Using Dominant Colors Representation.
• (source: Nielsen Book Data)

This book is a collection of the latest applications of methods from soft computing and machine learning in image processing. It explores different areas ranging from image segmentation to the object recognition using complex approaches, and includes the theory of the methodologies used to provide an overview of the application of these tools in image processing. The material has been compiled from a scientific perspective, and the book is primarily intended for undergraduate and postgraduate science, engineering, and computational mathematics students. It can also be used for courses on artificial intelligence, advanced image processing, and computational intelligence, and is a valuable resource for researchers in the evolutionary computation, artificial intelligence and image processing communities.
(source: Nielsen Book Data)

• Spatial and temporal databases.- Current research: Concepts, tools, techniques.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 15th International Symposium on Spatial and Temporal Databases, SSTD 2017, held in Arlington, VA, USA, in August 2017.The 19 full papers presented together with 8 demo papers and 5 vision papers were carefully reviewed and selected from 90 submissions. The papers are organized around the current research on concepts, tools, and techniques related to spatial and temporal databases. .
(source: Nielsen Book Data)

• Multi-objective Optimization.- A Parametric Study of Crossover Operators in Pareto-based Multiobjective Evolutionary Algorithm.- Non-dominated Sorting and Crowding Distance Based Multi-objective Chaotic Evolution.- On Performance Improvement based on Restart Meta-Heuristic Implementation for Solving Multi-Objective Optimization Problems.- Using multi-objective evolutionary algorithm to solve dynamic environment and economic dispatch with EVs.- Improved Interval Multi-objective Evolutionary Optimization Algorithm based on Directed Graph.- A Novel Linear Time Invariant Systems Order Reduction Approach based on Cooperative Multi-Objective Genetic Algorithm.- Solving Constrained Multi-objective Optimization Problems with Evolutionary Algorithms.- Portfolio Optimization.- Multi-objective Comprehensive Learning Bacterial Foraging Optimization for Portfolio Optimization.- Metaheuristics for Portfolio Optimization.- Community Detection.- Community Detection under Exponential Random Graph Model: A Metaheuristic Approach.- An Enhanced Particle Swarm Optimization Based on Physarum Model for Community Detection.- The Design and Development of the Virtual Learning Community for Teaching Resources Personalized Recommendation.- The Effect of Event Sentiment on Product Recommendation in a Microblog Platform.- Multi-Agent Systems and Swarm Robotics.- Solar Irradiance Forecasting Based on the Multi-agent Adaptive Fuzzy Neuronet.- Passive Field Dynamics Method: an Advanced Physics-based Approach for Formation Control of Robot Swarm.- Adaptive Potential Fields Model for Solving Distributed Area Coverage Problem in Swarm Robotics.- Swarm-based Spreading Points.- A Survivability Enhanced Swarm Robotic Searching System Using Multi-Objective Particle Swarm Optimization.- Autonomous Coordinated Navigation of Virtual Swarm Bots in Dynamic Indoor Environments by Bat Algorithm.- Building Fractals with a Robot Swarm.- A Stigmergy Based Search Method for Swarm Robots.- Cooperative Control of Multi-Robot System Using Mobile Agent for Multi Source Localization.- Hybrid Optimization Algorithms and Applications.- Evolutionary Fuzzy Control of Three Robots Cooperatively Carrying an Object for Wall Following through the Fusion of Continuous ACO and PSO.- Optimal Operational Planning of Energy Plants by Multi-population Differential Evolutionary Particle Swarm Optimization.- A Review on Hybridization of Particle Swarm Optimization with Artificial Bee Colony.- Study on Greedy Search to Improve Simulated Annealing Algorithm for Large-scale Traveling Salesman Problem.- A Hybrid Swarm based Composition for Chinese Music.- Fuzzy and Swarm Approach.- Fuzzy Logic Controller Design for Tuning the Cooperation of Bio-Inspired Algorithms.- Making Capital Budgeting Decisions for Project Abandonment by Fuzzy Approach.- An Imputation for Missing Data Features based on Fuzzy Swarm Approach in Heart Disease Classification.- Clustering and Forecast.- Total Optimization of Smart City Using Initial Searching Points Generation Based on k-means Algorithm.- Clustering Analysis of ECG Data Streams.- A Novel Multi-cell Multi-Bernoulli Tracking Method Using Local Fractal Feature Estimation.- An Improved Locality Preserving Projection Method for Dimensionality Reduction with Hyperspectral Image.- Applying a Classification Model for Selecting Postgraduate Programs.- University Restaurant Sales Forecast Based on BP neural Network
• InShanghai Jiao Tong University Case.- Classification and Detection.- Swarm ANN/SVR-based modeling method for warfarin dose prediction in Chinese.- A Novel HPSOSA for Kernel Function Type and Parameter Optimization of SVR in Rainfall Forecasting.- An Improved Weighted ELM with Krill Herd Algorithm for Imbalanced Learning.- Fast Pseudo Random Forest using Discrimination Hyper-space.- A Fast Video Vehicle Detection Approach based on Improved Adaboost Classifier.- Detection of Repetitive Forex Chart Patterns.- Damage Estimation from Cues of Image Change.- Identifying Deceptive Review Comments with Rumor and Lie Theories.- Identifying Fake Review Comments for Hostel Industry.- Planning and Routing Problems.- Multi-UAV Cooperative Path Planning for Sensor Placement Using Cooperative Coevolving Genetic Strategy.- Optimal Micro-Siting Planning Considering Long-Term Electricity Demand.- A Hyper-Heuristic Method for UAV Search Planning.- An Efficient MVMO-SH Method for Optimal Capacitor Allocation in Electric Power Distribution Systems.- A Method of New Workers' Accurate Acceptance of Tasks Using Capable Sensing.- A Genetic Mission Planner for Solving Temporal Multi-agent Problems with Concurrent Tasks.- Reformulation and Metaheuristic for the Team Orienteering Arc Routing Problem.- Application of Smell Detection Agent Based Algorithm for Optimal Path Identification by SDN Controllers.- A Comparison of Heuristic Algorithms for Bus Dispatch.- Simulation and Application of Algorithms CVRP to Optimize the Transport of Minerals Metallic and Nonmetallic by Rail for Export.- Dialog System Applications.- User Intention Classification in An Entities Missed In-vehicle Dialog System.- An Exploratory Study of Factors Affecting Number of Fans onFacebook Based on Dialogic Theory.- Assembling Chinese-Mongolian Speech Corpus via Crowdsourcing.- Robotic Control.- Developing Robot Drumming Skill with Listening-Playing Loop.- Evaluation of Parameters of Transactions When Remote Robot Control.- Desktop Gestures Recognition for Human Computer Interaction.- Approach to the Diagnosis and Configuration of Servo Drives in Heterogeneous Machine Control Systems.- Other Applications.- Gravitational Search Algorithm in Recommendation Systems.- A Driver Model Based on Emotions.- A Binaural Signal Synthesis Approach for Fast Rendering of Moving Sound.- Semantic Evolutionary Visualization.

This book and its companion volumes, LNCS volumes 10385 and 10386, constitute the proceedings of the 8th International Conference on Swarm Intelligence, ICSI 2017 held from July 27 to August 1, 2017, in Fukuoka, Japan. ICSI 2017 was held in conjunctionwith the Second International Conference on Data Mining and Big Data (DMBD 2017)at Fukuoka, Japan, to share common mutual ideas, promote transverse fusion, and stimulate innovation. ICSI 2017 received 267 submissions from about 512 authors in 35 countries and regions across six continents. Each submission was reviewed by at least two, and on average 2.9 reviewers. Based on rigorous reviews by the Program Committee members and reviewers, 133 high-quality papers were selected for publication in this proceedings volume, with an acceptance rate of 49.81%. The papers are organized in 24 cohesive sections covering all major topics of swarm intelligence and computational intelligence research and development.

• Inquiry-Based Learning and Gamification.- Learning Analytics.- Social Media and Web 2.0-based Learning Environments.- Assessment and Accessibility in Higher Education.- Open Educational Resources and Recommender Systems.- Practice and Experience Sharing.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 16th International Conference on Web-Based Learning, ICWL 2017, held in Cape Town, South Africa, in September 2017. The 13 revised full papers presented together with 9 short papers and 3 poster papers were carefully reviewed and selected from 56 submissions. The papers are organized in topical sections on Inquiry-Based Learning and Gamification; Learning Analytics; Social Media and Web 2.0-based Learning Environments; Assessment and Accessibility in Higher Education; Open Educational Resources and Recommender Systems; and Practice and Experience Sharing.
(source: Nielsen Book Data)

• Urban Systems Modelling.- Towards an Agent-Based Simulation of Housing in Urban Beirut.- Simulating Urban Growth with Raster and Vector models: A case study for the city of Can Tho, Vietnam.- Integrating Behavior and Microsimulation Models.- Agent-Based Modelling for Urban Planning Current Limitations and Future Trends.- Traffic Simulation in Urban Modelling.- Software Architecture for a Transparent and Versatile Traffic Simulation.- A Generic Software Framework for Carsharing Modelling based on a Large-Scale Multi-Agent Traffic Simulation Platform.- Mapping bicycling patterns with an agent-based model, census and crowdsourced data.- Transportation in Agent-Based Urban Modelling.- Applications.- Simulation-aided Crowd Management: a Multi-scale Model for an Urban Case Study.- A National Heat Demand Model for Germany.- How Smart is the Smart City? Assessing the Impact of ICT on Cities.
• (source: Nielsen Book Data)

This book constitutes revised, selected, and invited papers from the First International Workshop on Agent Based Modelling of Urban Systems, ABMUS 2016, held in conjunction with AAMAS 2016 in Singapore in May 2016. The 11 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: urban systems modeling; traffic simulation in urban modeling; and applications. .
(source: Nielsen Book Data)

• Machine Learning.- Optimization.- Swarm Intelligence and Evolutionary Computing.- Text Mining and Linguistic analysis.- Vision and Image.- Other Areas in Articial Intelligence.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 30th Australasian Joint Conference on Artificial Intelligence, AI 2017, held in Melbourne, VIC, Australia, in August 2017. The 29 full papers were carefully reviewed and selected from 58 submissions. This volume covers a wide spectrum of research streams in artificial intelligence ranging from machine learning, optimization to big data science and their practical applications. .
(source: Nielsen Book Data)

• Preferences and multi-criteria decision aiding.- Decision making and voting.- Game theory and decision theory.- Allocation and matching. .
• (source: Nielsen Book Data)

This book constitutes the conference proceedings of the 5th International Conference on Algorithmic Decision Theory , ADT 2017, held in Luxembourg, in October 2017.The 22 full papers presented together with 6 short papers, 4 keynote abstracts, and 6 Doctoral Consortium papers, were carefully selected from 45 submissions. The papers are organized in topical sections on preferences and multi-criteria decision aiding; decision making and voting; game theory and decision theory; and allocation and matching. .
(source: Nielsen Book Data)

• Graphs that arise from the Web and various user activities on the Web.- The development of high performance algorithms and applications that exploit graphs.- Graph-theoretic and algorithmic aspects of related complex networks.- Social networks, citation networks, biological networks
• molecular networks.- Other networks arising from the Internet.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 14th International Workshop Algorithms and Models for the Web Graph, WAW 2017, held in Toronto, ON, Canada, in June 2017. The 7 full papers presented in this volume were carefully reviewed and selected from 14 submissions. The papers are organized around topics such as graphs that arise from the Web and various user activities on the Web; the development of high Performance algorithms and applications that exploit these graphs; graph-theoretic and algorithmic aspects of related complex networks; social networks, citation networks, biological networks; molecular networks, and other networks arising from the Internet.
(source: Nielsen Book Data)

• Multi-Message Broadcast in Dynamic Radio Networks.- Global Synchronization and Consensus Using Beeps in a Fault-Prone MAC 16.- Vertex Coloring with Communication and Local Memory Constraints in Synchronous Broadcast Networks.- A New Kind of Selectors, and Their Applications to Conflict Resolution in Wireless Multi-channels Networks.- The Impact of the Gabriel Sub-graph of the Visibility Graph on the Gathering of Mobile Autonomous Robots.- Search-and-Fetch with One Robot on a Disk.- A 2-Approximation Algorithm for Barrier Coverage by Weighted Non-uniform Sensors on a Line.- Flexible Cell Selection in Cellular Networks.- The Euclidean k-Supplier Problem in IR2.
• (source: Nielsen Book Data)

This book constitutes revised selected papers from the 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, held in Aarhus, Denmark, in August 2016. The 9 full papers presented in this volume were carefully reviewed and selected from 19 submissions. This year papers were solicited into three tracks: Distributed and Mobile, Experiments and Applications, and Wireless and Geometry.
(source: Nielsen Book Data)

• Reconciling Humans and Technology: The Role of Ambient Intelligence.- Engineering a Cyber-Physical Intersection Management.- Exploring Design Opportunities for Intelligent Worker Assistance: A new Approach Using Projection-Based AR and a Novel Hand-Tracking Algorithm.- AuthentiCap - A Touchless Vehicle Authentication and Personalization System.- Indoor Localization Based on Passive Electric Field Sensing.- Safety Services in Smart Environments using Depth Cameras.- Contextual Requirements Prioritization and its Application to Smart Homes.- Voices and Views of Informal Caregivers: Investigating Ambient Assisted Living Technologies.- Easy to Install Indoor Positioning System that Parasitizes Home Lighting.- Exploring the Use of Ambient WiFi Signals to Find Vacant Houses.- A Framework for Distributed Interaction in Intelligent Environments.- Which mobile health toolkit should a service provider choose? A comparative evaluation of Apple HealthKit, Google Fit, and Samsung Digital Health Platform.- Visual End-User Programming of Personalized AAL in the Internet of Things.- Opportunities for Biometric Technologies in Smart Environments.- New approach for optimizing the usage of situation recognition algorithms within IoT domains.- HUDConCap - Automotive Head-Up Display Controlled with Capacitive Proximity Sensing.- E-textile Couch: Towards Smart Garments integrated Furniture.- Context-Aware Monitoring Agents For Ambient Assisted Living Applications.- Mobility competencies of people with Down syndrome supported by technical assistance - Results of the Requirement Analysis in POSEIDON Project.- An Exploratory Study on Electric Field Sensing.- A Framework for Responsive Environments.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 13th European Conference on Ambient Intelligence, AmI 2017, held in Malaga, Spain, in April 2017. The 16 revised full papers presented together with 4 short papers and 1 keynote paper were carefully reviewed and selected from 48 submissions. The papers cover topics such as: Enabling technologies, methods and platforms; objectives and approaches of ambient intelligence and internet of things; from information design to interaction and experience design, and application areas of AmI and IoT.
(source: Nielsen Book Data)

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

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

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

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

• Sliding Mode Control Design for Some Classes of Chaotic Systems.- Sliding Mode Based Control and Synchronization of Chaotic Systems in Presence of Parametric Uncertainties.- Chattering Free Sliding Mode Controller Design for a Quadrotor Unmanned Aerial Vehicle.- Terminal Sliding Mode Controller Design for a Quadrotor Unmanned Aerial Vehicle.- Insensibility of the Second Order Sliding Mode Control via Measurement Noises: Application to a Robot Manipulator Surveillance Camera.- Robust Control of a Photovoltaic Battery System via Fuzzy Sliding Mode Approach.- Particle Swarm Optimization based Sliding Mode Control Design: Application to a Quadrotor Vehicle.- Global Stabilization of Nonlinear Systems via Novel Second Order Sliding Mode Control with an Application to a Novel Highly Chaotic System.- Complete Synchronization of Chaotic Systems via Novel Second Order Sliding Mode Control with an Application to a Novel Three-Scroll Chaotic System.- Novel Second-Order Sliding Mode Control Design for the Anti-Synchronization of Chaotic Systems with an Application to a Novel Four-Wing Chaotic System.- Control and Synchronization of a Novel Hyperchaotic Two-Disk Dynamo System via Adaptive Integral Sliding Mode Control.- Adaptive Integral Sliding Mode Controller Design for the Control and Synchronization of a Rod-Type Plasma Torch Chaotic System.- Adaptive Integral Sliding Mode Controller Design for the Regulation and Synchronization of a Novel Hyperchaotic Finance System with a Stable Equilibrium.- Adaptive Integral Sliding Mode Controller Design for the Control of a Novel 6-D Coupled Double Convection Hyperchaotic System.- A Memristor-Based Hyperchaotic System with Hidden Attractor and its Sliding Mode Control.- Adaptive Integral Sliding Mode Control of a Chemical Chaotic Reactor System.- Adaptive Integral Sliding Mode Controller Design for the Control and Synchronization of a Novel Jerk Chaotic System.- Sliding Mode Control Design for a Sensorless Sun Tracker.- Super-Twisting Sliding Mode Control of the Enzymes-Substrates Biological Chaotic System.- Super-Twisting Sliding Mode Control and Synchronization of Moore-Spiegel Thermo-Mechanical Chaotic System.
• (source: Nielsen Book Data)

Gathering 20 chapters contributed by respected experts, this book reports on the latest advances in and applications of sliding mode control in science and engineering. The respective chapters address applications of sliding mode control in the broad areas of chaos theory, robotics, electrical engineering, physics, chemical engineering, memristors, mechanical engineering, environmental engineering, finance, and biology. Special emphasis has been given to papers that offer practical solutions, and which examine design and modeling involving new types of sliding mode control such as higher order sliding mode control, terminal sliding mode control, super-twisting sliding mode control, and integral sliding mode control. This book serves as a unique reference guide to sliding mode control and its recent applications for graduate students and researchers with a basic knowledge of electrical and control systems engineering.
(source: Nielsen Book Data)

• Meal-Assistance Robot Operated by Head Movement.- Decision Tree Analysis in Game Informatics.- Binary Blockchain: Solving the Mining Congestion Problem by Dynamically Adjusting the Mining Capacity.- An Efficient Signature Scheme for Anonymous Credentials.- Improve Example-Based Machine Translation Quality for Low-Resource Language Using Ontology.- A Fast Area Labeling Method using Auxiliary Lines.- Heuristic Test Case Generation Techniques Using Extended Place/Transistion Net.- Risk Assessment of Security Requirements of Banking Information Systems Based on Attack Patterns.- mCITYPASS: Privacy-preserving Secure Access to Federated Touristic Services with Mobile Devices.- Heuristic-Based Usability Evaluation Tool for Android Applications.- Automated Essay Scoring System Based on Rubric.- Mobile Development Tools and Method Integration.
• (source: Nielsen Book Data)

This book presents the scientific outcome of the 5th International Conference on Applied Computing and Information Technology (ACIT 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 on all aspects (theory, applications and tools) of computer and information science, and discusses the practical challenges encountered along the way and the solutions adopted to solve them. This book features 12 of the conference's most promising papers, written by authors who are expected to make important contributions to the field of computer and information science.
(source: Nielsen Book Data)

• Business Sustainability Conceptualization.- A Replicated Study on Relationship between Code Quality and Method Comments.- A Predictive Model for Standardized Test Performance in Michigan Schools.- A Development Technique for Mobile Applications Program.- Identification Method Applications Development using Adapting Component Model.- Development of Guiding Walking Support Device for Visually Impaired People with the GPS.- User Evaluation Prediction Models Based on Conjoint Analysis and Neural Networks for Interactive Evolutionary Computation.- Emotional Video Scene Retrieval Using Multilayer Convolutional Network.- Proactive Approach for the Prevention of DDoS Attacks in Cloud Computing Environments.- Practical Uses of Memory Storage Extension.- How to Build a High Quality Mobile Applications Based on Improved Process.- A New Hybrid Discrete Firefly Algorithm for Solving the Traveling Salesman Problem.
• (source: Nielsen Book Data)

This edited book presents scientific results of the 4th International Conference on Applied Computing and Information Technology (ACIT 2016) which was held on December 12-14, 2016 in Las Vegas, USA. 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 and to share their experiences and exchange new ideas and information in a meaningful way. The aim of this conference was also to bring out the research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected the best papers from those papers accepted for presentation at the conference. The papers were chosen based on review scores submitted by members of the Program Committee, and underwent further rigorous rounds of review. This book captures 11 of the conference's most promising papers, and the readers impatiently await the important contributions that they know these authors are going to bring to the field of computer and information science.
(source: Nielsen Book Data)

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

• Architectures.- Mathematical foundations.- Algorithms.- Safety.- Understanding.- Human cognition.- Philosophy.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 10th International Conference on Artificial General Intelligence, AGI 2017, held in Melbourne, VIC, Australia, in August 2017. The 24 regular papers presented in this book together with 1 short paper were carefully reviewed and selected from 35 submissions. They cover topics such as architectures; mathematical foundations; algorithms; safety; understanding; human cognition; and philosophy.
(source: Nielsen Book Data)

• Computer Vision for Ocean Observing
• Fault Diagnosis and Classification of Mine Motor based on RS and SVM
• Particle Swarm Optimization based Image Enhancement of Visual Cryptography Shares
• Fast Level set Algorithm for Extraction and Evaluation of Weld Defects in Radiographic Images
• Efficient Combination of Color, Texture and Shape Descriptor, using SLIC Segmentation for Image Retrieval
• DEPO: Detecting Events of Public Opinion in Microblog
• Hybrid Cuckoo Search based Evolutionary Vector Quantization for Image Compression
• Edge and Fuzzy Transform based Image Compression Algorithm: edgeFuzzy
• Real-Time Implementation of Moving Object Action Recognition System Based on Motion Analysis
• Cross-modal Learning with Images, Texts and Their Semantics
• Light Field Vision for Artificial Intelligence
• Author Index.

This edited book presents essential findings in the research fields of artificial intelligence and computer vision, with a primary focus on new research ideas and results for mathematical problems involved in computer vision systems. The book provides an international forum for researchers to summarize the most recent developments and ideas in the field, with a special emphasis on the technical and observational results obtained in the past few years.

• Intro; Preface; Organization; Contents
• Part I; Contents
• Part II; Neural Networks and Their Applications; Author Profiling with Classification Restricted Boltzmann Machines; 1 Introduction; 2 Author Profile Dimensions; 3 Restricted Boltzmann Machines; 4 Probabilities and Gradients; 4.1 Discriminative Training; 4.2 Generative Training; 5 Evaluation Datasets; 6 Experiments and Results; 6.1 Overall Results; 7 Conclusions; References; Parallel Implementation of the Givens Rotations in the Neural Network Learning Algorithm; 1 Introduction; 2 Givens Elimination Step; 3 Givens QR Decomposition.

• 4 QR Decomposition in Neural Network Weights Update5 Parallel Implementation; 6 Simulation Results; 7 Conclusion; References; Parallel Levenberg-Marquardt Algorithm Without Error Backpropagation; 1 Introduction; 2 Parallel Realisation; 2.1 Calculating the Weight Derivatives Without Error Backpropagation; 2.2 Calculating the A Matrix and the Gradient Vector; 2.3 The QR Decomposition Based on the Householser Reflections; 3 Computational Results; 4 Conclusions; References; Spectral Analysis of CNN for Tomato Disease Identification; Abstract; 1 Introduction; 2 Related Works.

• 3 Spectral Analysis of CNN for Tomato Disease3.1 Deep Visualization of CNN; 3.2 Color Sensitivity of RGB Images; 3.3 Sensitivity to Color with Different Wavelength Values; 3.3.1 Visible Spectrum of Images; 4 Experimental Results; 4.1 Dataset Description; 4.2 CNN Activations and Features Visualization; 4.2.1 Activations of Neurons; 4.2.2 RGB Color Sensitivity; 4.2.3 Feature Maps; 5 Conclusion and Future Work; Acknowledgments; References; From Homogeneous Network to Neural Nets with Fractional Derivative Mechanism; 1 Introduction; 2 Weight Distribution with Fractional Calculus.

• 3 Fractional Derivative Inside Neuron Transfer Function4 The Fractional Mechanism Within 2D Homogeneous Network; 5 Conclusion; References; Neurons Can Sort Data Efficiently; 1 Introduction; 2 Models of Neurons, Receptors, and the Senses; 2.1 Sensory Fields and Sensors; 2.2 Extreme, Sensory and Object Neurons; 3 Simplistic Sequential Neural Associative Sorting; 4 Conclusions and Remarks; References; Avoiding Over-Detection: Towards Combined Object Detection and Counting; 1 Introduction; 2 Related Work; 2.1 Deep Learning Methods for Object Detection; 2.2 Deep Learning Methods for Cell Detection.

• 3 Method3.1 Loss Function; 3.2 Model Architecture; 4 Results; 5 Conclusion; References; Echo State Networks Simulation of SIR Distributed Control; 1 Introduction; 2 Echo State Networks; 3 SIR Model with Delay and Spatial Diffusions; 3.1 Distributed Optimal Control Problem; 4 Discretisation and Adaptive Critic Neural Networks Solution of the Distributed Optimal Control; 4.1 Numerical Simulation; 5 Conclusion; References; The Study of Architecture MLP with Linear Neurons in Order to Eliminate the ``vanishing Gradient'' Problem; 1 Introduction; 2 Nonlinearity capabilities of deep neural networks.

The two-volume set LNAI 10245 and LNAI 10246 constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2017, held in Zakopane, Poland in June 2017. The 133 revised full papers presented were carefully reviewed and selected from 274 submissions. The papers included in the second volume are organized in the following five parts: data mining; artificial intelligence in modeling, simulation and control; various problems of artificial intelligence; special session: advances in single-objective continuous parameter optimization with nature-inspired algorithms; special session: stream data mining.
(source: Nielsen Book Data)
The two-volume set LNAI 10245 and LNAI 10246 constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2017, held in Zakopane, Poland in June 2017. The 133 revised full papers presented were carefully reviewed and selected from 274 submissions. The papers included in the first volume are organized in the following five parts: neural networks and their applications; fuzzy systems and their applications; evolutionary algorithms and their applications; computer vision, image and speech analysis; and bioinformatics, biometrics and medical applications.
(source: Nielsen Book Data)

• Intro; Preface; Organization; Contents
• Part II; Contents
• Part I; Data Mining; Computer Based Stylometric Analysis of Texts in Polish Language; 1 Introduction; 2 Features Used in Stylometry; 3 Performed Stylometric Analysis; 3.1 Data Sets and Classes; 3.2 Feature Generation Methods; 3.3 Classification; 4 Results; 4.1 Stylometric Features; 4.2 Training Set Size; 4.3 Classifiers Accuracy; 4.4 Statistical Features Importance; 4.5 Grammatical Classes Importance; 5 Summary; References; Integration Base Classifiers Based on Their Decision Boundary; 1 Introduction; 2 Basic Concept.

• 3 Proposed Method4 Experimental Studies; 5 Conclusion; References; Complexity of Rule Sets Induced by Two Versions of the MLEM2 Rule Induction Algorithm; 1 Introduction; 2 Incomplete Data Sets; 3 Probabilistic Approximations; 4 Rule Induction; 4.1 True MLEM2; 4.2 Emulated MLEM2; 5 Experiments; 6 Conclusions; References; Spark-Based Cluster Implementation of a Bug Report Assignment Recommender System; 1 Introduction; 2 Related Work; 3 The Recommender System; 3.1 Datasets; 3.2 Cleansing; 3.3 Preprocessing and Feature Reduction; 3.4 Training the Recommender; 3.5 Implementation.

• 4 Results and Discussion4.1 Results of Dimensionality Reduction Techniques; 4.2 Choice of SVM Kernel; 4.3 Comparison with Previous Approaches and Scalability; 5 Conclusion; References; The Bag-of-Words Method with Dictionary Analysis by Evolutionary Algorithm; 1 Introduction; 2 Description of Proposed Methods; 3 Experimental Research; 4 Conclusions; References; The Novel Method of the Estimation of the Fourier Transform Based on Noisy Measurements; 1 Introduction; 2 Orthogonal Series Estimation of Regression Function and Its Spectrum.

• 3 Nonparametric Orthogonal Series Estimation of Fourier Transform4 Simulation Example; 5 Remarks and Extensions; References; A Complete Efficient FFT-Based Algorithm for Nonparametric Kernel Density Estimation; 1 Introduction; 2 Problem Demonstration; 3 The Improved FFT-Based Algorithm for Density Estimation; 4 Binning; 5 Experiments; 6 Conclusions; References; A Framework for Business Failure Prediction; 1 Introduction; 2 Related Work; 3 The Dataset and the Proposed Framework; 3.1 Details of Dataset; 3.2 Proposed Framework; 4 Performance Evaluation Results; 5 Conclusions; References.

• Fuzzy Clustering with -Hyperballs and Its Application to Data Classification1 Introduction; 2 Fuzzy Clustering with -Hyperballs; 3 FCH Based Classification; 4 Results and Discussion; 5 Conclusions; References; Two Modifications of Yinyang K-means Algorithm; 1 Introduction; 2 Yinyang K-means; 3 Modifications of the Algorithm; 3.1 Regrouping of Centroids; 3.2 Initial Grouping and Regrouping Using Same-Size K-means; 4 Experimental Results; 5 Conclusions; References; Detection of the Innovative Logotypes on the Web Pages; 1 Introduction; 2 Related Works vs. Proposed Approach.

The two-volume set LNAI 10245 and LNAI 10246 constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2017, held in Zakopane, Poland in June 2017. The 133 revised full papers presented were carefully reviewed and selected from 274 submissions. The papers included in the second volume are organized in the following five parts: data mining; artificial intelligence in modeling, simulation and control; various problems of artificial intelligence; special session: advances in single-objective continuous parameter optimization with nature-inspired algorithms; special session: stream data mining.
(source: Nielsen Book Data)

• Artificial Life and Computational Intelligence.- Extending the Delaunay Triangulation Based Density Measurement to Many-objective Optimization.- Emotion, Trustworthiness and Altruistic Punishment in a Tragedy of the Commons Social Dilemma.- Equity Option Strategy Discovery and Optimization Using a Memetic Algorithm.- Co-Evolving Line Drawings with Hierarchical Evolution.- Reliability estimation of individual multi-target regression predictions.- Feedback Modulated Attention Within a Predictive Framework.- A Batch Infill Strategy for Computationally Expensive Optimization Problems.- Automatic Clustering and Summarisation of Microblogs: A Multi-Subtopic Phrase Reinforcement Algorithm.- Generation and exploration of architectural form using a composite Cellular Automata.- Wrapper Feature Construction for Figure-ground Image Segmentation Using Genetic Programming.- Surrogate-assisted Multi-swarm Particle Swarm Optimization of Morphing Airfoils.- Applying Dependency Patterns in Causal Discovery of Latent Variable Models.- An Evolutionary Multi-criteria Journey Planning Algorithm for Multi-modal Transportation Networks.- Estimating Passenger Preferences Using Implicit Relevance Feedback for Personalized Journey.- Quantitative Assessment of Hearts Function: A Hybrid Mechanism for Left Ventricles Segmentation from Cine MRI Sequences.- A Hybrid feature selection scheme based on local compactness and global separability for improving roller bearing diagnostic performance.- Reliable Fault Diagnosis of Bearings Using Distance and Density Similarity on an Enhanced k-NN.- Towards Solving TSPN with Arbitrary Neighborhoods: A Hybrid Solution.- Detectable Genetic Algorithms-based techniques for solving Dynamic Optimisation Problem with Unknown Active Variables.- Neighbourhood analysis: a case study on Google Machine Reassignment Problem.- Optimisation Algorithms and Applications.- Multi-Objective Optimisation with Multiple Preferred Regions.- An Adaptive Memetic Algorithm for the Architecture Optimisation Problem.- Resource Constrained Job Scheduling with Parallel Constraint-based ACO.- An Iterated Local Search with Guided Perturbation for the Heterogeneous Fleet Vehicle Routing Problem with Time Windows and Three-Dimensional Loading Constraints.- A Memetic Cooperative Co-evolution Model for Large Scale Continuous Optimization.- Investigating the Generality of Genetic Programming based Hyper-heuristic Approach to Dynamic Job Shop Scheduling with Machine Breakdown.- Exploratory Analysis of Clustering Problems Using a Comparison of Particle Swarm Optimization and Differential Evolution.- A PSO-based Reference Point Adaption Method for Genetic Programming Hyper-heuristic in Many-Objective Job Shop Scheduling.- Optimal power allocation of wireless sensor networks with multi-operator based constrained differential evolution.- CEMAB: A Cross-Entropy-based Method for Large-Scale Multi-Armed Bandits.- Binary PSO for Web Service Location-Allocation.- A MOEA/D with Non-uniform Weight Vector Distribution Strategy for Solving the Unit Commitment Problem in Uncertain Environment.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Third Australasian Conference on Artificial Life and Computational Intelligence, ACALCI 2017, held in Geelong, VIC, Australia, in January/February 2017. The 32 papers presented in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections named: artificial life and computational intelligence and optimization algorithms and applications. .
(source: Nielsen Book Data)

• From Perception to Action.- From Neurons to Networks.- Brain Imaging
• Recurrent Neural Networks.- Neuromorphic Hardware.- Brain Topology and Dynamics.- Neural Networks Meet Natural and Environmental Sciences.- Convolutional Neural Networks.- Games and Strategy.- Representation and Classification.- Clustering.- Learning from Data Streams and Time Series.- Image Processing and Medical Applications.- Advances in Machine Learning.
• (source: Nielsen Book Data)

The two volume set, LNCS 10613 and 10614, constitutes the proceedings of then 26th International Conference on Artificial Neural Networks, ICANN 2017, held in Alghero, Italy, in September 2017. The 128 full papers included in this volume were carefully reviewed and selected from 270 submissions. They were organized in topical sections named: From Perception to Action; From Neurons to Networks; Brain Imaging; Recurrent Neural Networks; Neuromorphic Hardware; Brain Topology and Dynamics; Neural Networks Meet Natural and Environmental Sciences; Convolutional Neural Networks; Games and Strategy; Representation and Classification; Clustering; Learning from Data Streams and Time Series; Image Processing and Medical Applications; Advances in Machine Learning. There are 63 short paper abstracts that are included in the back matter of the volume.
(source: Nielsen Book Data)

• From Perception to Action.- From Neurons to Networks.- Brain Imaging
• Recurrent Neural Networks.- Neuromorphic Hardware.- Brain Topology and Dynamics.- Neural Networks Meet Natural and Environmental Sciences.- Convolutional Neural Networks.- Games and Strategy.- Representation and Classification.- Clustering.- Learning from Data Streams and Time Series.- Image Processing and Medical Applications.- Advances in Machine Learning.
• (source: Nielsen Book Data)

The two volume set, LNCS 10613 and 10614, constitutes the proceedings of then 26th International Conference on Artificial Neural Networks, ICANN 2017, held in Alghero, Italy, in September 2017. The 128 full papers included in this volume were carefully reviewed and selected from 270 submissions. They were organized in topical sections named: From Perception to Action; From Neurons to Networks; Brain Imaging; Recurrent Neural Networks; Neuromorphic Hardware; Brain Topology and Dynamics; Neural Networks Meet Natural and Environmental Sciences; Convolutional Neural Networks; Games and Strategy; Representation and Classification; Clustering; Learning from Data Streams and Time Series; Image Processing and Medical Applications; Advances in Machine Learning. There are 63 short paper abstracts that are included in the back matter of the volume.
(source: Nielsen Book Data)

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

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

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

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

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

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

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

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

• Introduction.- Events and Times.- Temporal Relations.- Relation Labelling Analysis.- Using Temporal Signals.- Using a Framework of Tense and Aspect.- Conclusion.
• (source: Nielsen Book Data)

The book offers a detailed guide to temporal ordering, exploring open problems in the field and providing solutions and extensive analysis. It addresses the challenge of automatically ordering events and times in text. Aided by TimeML, it also describes and presents concepts relating to time in easy-to-compute terms. Working out the order that events and times happen has proven difficult for computers, since the language used to discuss time can be vague and complex. Mapping out these concepts for a computational system, which does not have its own inherent idea of time, is, unsurprisingly, tough. Solving this problem enables powerful systems that can plan, reason about events, and construct stories of their own accord, as well as understand the complex narratives that humans express and comprehend so naturally. This book presents a theory and data-driven analysis of temporal ordering, leading to the identification of exactly what is difficult about the task. It then proposes and evaluates machine-learning solutions for the major difficulties. It is a valuable resource for those working in machine learning for natural language processing as well as anyone studying time in language, or involved in annotating the structure of time in documents.
(source: Nielsen Book Data)

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

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

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

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

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

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

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

• Analogy for Reuse.- Activity recognition.- Case-based maintenance.- Computational analogy.- Computer vision.- Distributed AI.- Game AI.- Machine learning.- Recommender systems.- Similarity measures.- Time series analysis.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 25th International Conference on Case-Based Reasoning Research and Development, ICCBR 2017, held in Trondheim, Norway, in June 2017. The 27 full papers presented together with 3 keynote presentations were carefully reviewed and selected from 38 submissions. The theme of ICCBR-2017, "Analogy for Reuse", was highlighted in several events. These papers, which are included in the proceedings, address many themes related to the theory and application of case-based reasoning, analogical reasoning, CBR and Deep Learning, CBR in the Health Sciences, Computational Analogy, and Process-Oriented CBR.
(source: Nielsen Book Data)

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

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

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

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

• From the Content: From Multi-valued Logics to Fuzzy Logic
• A Dialogue Concerning Contradiction And Reasoning
• Some Entertainments Dealing with Three Valued Logic
• Fuzziness as an Experimental Science: an Homage to Claudio Moraga
• Some reflections on the use of interval fuzzy sets for dealing with Fuzzy Deformable Prototypes
• The way to the BliZ.

The book is an authoritative collection of contributions by leading experts on the topics of fuzzy logic, multi-valued logic and neural network. Originally written as an homage to Claudio Moraga, seen by his colleagues as an example of concentration, discipline and passion for science, the book also represents a timely reference guide for advance students and researchers in the field of soft computing, and multiple-valued logic. .