%{search_type} search results

• Conversational Bot/QA/IR
• Knowledge graph/IE
• Machine Learning for NLP
• Machine Translation
• NLP Applications.

This two volume set of LNAI 11108 and LNAI 11109 constitutes the refereed proceedings of the 7th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2018, held in Hohhot, China, in August 2018. The 55 full papers and 31 short papers presented were carefully reviewed and selected from 308 submissions. The papers of the first volume are organized in the following topics: conversational Bot/QA/IR; knowledge graph/IE; machine learning for NLP; machine translation; and NLP applications. The papers of the second volume are organized as follows: NLP for social network; NLP fundamentals; text mining; and short papers.

• Cover
• Title Page
• Copyright and Credits
• About Packt
• Contributors
• Table of Contents
• Preface
• Chapter 1: Machine Learning for Cybersecurity
• Technical requirements
• Train-test-splitting your data
• Getting ready
• How to do it ...
• How it works ...
• Standardizing your data
• Getting ready
• How to do it ...
• How it works ...
• Summarizing large data using principal component analysis
• Getting ready
• How to do it ...
• How it works ...
• Generating text using Markov chains
• Getting ready
• How to do it ...
• How it works ...

• Performing clustering using scikit-learn
• Getting ready
• How to do it ...
• How it works ...
• Training an XGBoost classifier
• Getting ready
• How to do it ...
• How it works ...
• Analyzing time series using statsmodels
• Getting ready
• How to do it ...
• How it works ...
• Anomaly detection with Isolation Forest
• Getting ready
• How to do it ...
• How it works ...
• Natural language processing using a hashing vectorizer and tf-idf with scikit-learn
• Getting ready
• How to do it ...
• How it works ...
• Hyperparameter tuning with scikit-optimize
• Getting ready
• How to do it ...

• How it works ...
• Chapter 2: Machine Learning-Based Malware Detection
• Technical requirements
• Malware static analysis
• Computing the hash of a sample
• Getting ready
• How to do it ...
• How it works ...
• YARA
• Getting ready
• How to do it ...
• How it works ...
• Examining the PE header
• Getting ready
• How to do it ...
• How it works ...
• Featurizing the PE header
• Getting ready
• How to do it ...
• How it works ...
• Malware dynamic analysis
• Getting ready
• How to do it ...
• How it works ...
• Using machine learning to detect the file type

• Scraping GitHub for files of a specific type
• Getting ready
• How to do it ...
• How it works ...
• Classifying files by type
• Getting ready
• How to do it ...
• How it works ...
• Measuring the similarity between two strings
• Getting ready
• How to do it ...
• How it works ...
• Measuring the similarity between two files
• Getting ready
• How to do it ...
• How it works ...
• Extracting N-grams
• Getting ready
• How to do it ...
• How it works ...
• Selecting the best N-grams
• Getting ready
• How to do it ...
• How it works ...
• Building a static malware detector
• Getting ready

• How to do it ...
• How it works ...
• Tackling class imbalance
• Getting ready
• How to do it ...
• How it works ...
• Handling type I and type II errors
• Getting ready
• How to do it ...
• How it works ...
• Chapter 3: Advanced Malware Detection
• Technical requirements
• Detecting obfuscated JavaScript
• Getting ready
• How to do it ...
• How it works ...
• Featurizing PDF files
• Getting ready
• How to do it ...
• How it works ...
• Extracting N-grams quickly using the hash-gram algorithm
• Getting ready
• How to do it ...
• How it works ...
• See also
• Building a dynamic malware classifier

This book helps data scientists and cybersecurity experts on implementing the latest AI techniques in cybersecurity. Concrete and clear steps for implementing ML security systems are provided, saving you months in research and development. By the end of this book, you will be able to build defensive systems to curb cybersecurity threats.

• 1. Models for mobile agent computing
• Introduction
• What is a mobile agent
• Why mobile agents
• An algorithmic model for mobile agents
• Mobile agents
• Distributed networks
• Resource measures
• Mobile agent rendezvous
• Outline of the book
• Comments and bibliographic remarks.

• 2. Deterministic rendezvous in a ring
• Introduction
• A single stationary token
• The feasibility of rendezvous
• The time complexity of rendezvous
• Memory tradeoff for rendezvous with detection
• Limits to the memory trade-off
• Movable tokens
• Comments and bibliographic remarks.

• 3. Multiple agent rendezvous in a ring
• Introduction
• Impossibility of rendezvous
• Rendezvous with detection
• Conditional solutions
• Comments and bibliographic remarks.

• 4. Randomized rendezvous in a ring
• Introduction
• Random walk algorithm
• Randomization and tokens
• Time/memory trade-offs
• Coin half tour algorithm
• Approximate counting algorithm
• Comments and bibliographic remarks.

• 5. Other models
• Introduction
• Leader election and rendezvous
• Rendezvous with failing tokens
• Rendezvous when tokens fail upon release
• Rendezvous when tokens can fail at any time
• The cost of token failure
• Flickering tokens
• Asynchronous rendezvous
• Look-compute-move
• Model and terminology
• Impossibility results
• Gathering configurations with a single multiplicity
• Gathering rigid configurations
• Gathering an odd number of robots
• Dangerous networks
• Black-hole search in an asynchronous ring
• Rendezvous in asynchronous rings in spite of a black-hole
• Comments and bibliographic remarks.

• 6. Other topologies
• Introduction
• Synchronous torus
• Memory lower bounds for rendezvous
• Rendezvous algorithms
• Trees
• Arbitrary graphs
• Comments and bibliographic remarks.

• Bibliography
• Glossary
• Authors' biographies
• Index.

Mobile agent computing is being used in fields as diverse as artificial intelligence, computational economics and robotics. Agents' ability to adapt dynamically and execute asynchronously and autonomously brings potential advantages in terms of fault-tolerance, flexibility and simplicity. This monograph focuses on studying mobile agents as modelled in distributed systems research and in particular within the framework of research performed in the distributed algorithms community. It studies the fundamental question of how to achieve rendezvous, the gathering of two or more agents at the same node of a network. Like leader election, such an operation is a useful subroutine in more general computations that may require the agents to synchronize, share information, divide up chores, etc. The work provides an introduction to the algorithmic issues raised by the rendezvous problem in the distributed computing setting. For the most part our investigation concentrates on the simplest case of two agents attempting to rendezvous on a ring network. Other situations including multiple agents, faulty nodes and other topologies are also examined. An extensive bibliography provides many pointers to related work not covered in the text. The presentation has a distinctly algorithmic, rigorous, distributed computing flavor and most results should be easily accessible to advanced undergraduate and graduate students in computer science and mathematics departments.

• Ensembles Discovered Predictive Learning and Decision Trees Model Complexity, Model Selection and Regularization Importance Sampling and the Classic Ensemble Methods Rule Ensembles and Interpretation Statistics Ensemble Complexity.
• (source: Nielsen Book Data)

Ensemble methods have been called the most influential development in Data Mining and Machine Learning in the past decade. They combine multiple models into one usually more accurate than the best of its components. Ensembles can provide a critical boost to industrial challenges - from investment timing to drug discovery, and fraud detection to recommendation systems - where predictive accuracy is more vital than model interpretability. Ensembles are useful with all modeling algorithms, but this book focuses on decision trees to explain them most clearly. After describing trees and their strengths and weaknesses, the authors provide an overview of regularization - today understood to be a key reason for the superior performance of modern ensembling algorithms. The book continues with a clear description of two recent developments: Importance Sampling (IS) and Rule Ensembles (RE). IS reveals classic ensemble methods - bagging, random forests, and boosting - to be special cases of a single algorithm, thereby showing how to improve their accuracy and speed. REs are linear rule models derived from decision tree ensembles. They are the most interpretable version of ensembles, which is essential to applications such as credit scoring and fault diagnosis. Lastly, the authors explain the paradox of how ensembles achieve greater accuracy on new data despite their (apparently much greater) complexity. This book is aimed at novice and advanced analytic researchers and practitioners -- especially in Engineering, Statistics, and Computer Science. Those with little exposure to ensembles will learn why and how to employ this breakthrough method, and advanced practitioners will gain insight into building even more powerful models. Throughout, snippets of code in R are provided to illustrate the algorithms described and to encourage the reader to try the techniques. The authors are industry experts in data mining and machine learning who are also adjunct professors and popular speakers. Although early pioneers in discovering and using ensembles, they here distill and clarify the recent groundbreaking work of leading academics (such as Jerome Friedman) to bring the benefits of ensembles to practitioners.
(source: Nielsen Book Data)

• Introduction Ranking-Based Clustering Classification of Heterogeneous Information Networks Meta-Path-Based Similarity Search Meta-Path-Based Relationship Prediction Relation Strength-Aware Clustering with Incomplete Attributes User-Guided Clustering via Meta-Path Selection Research Frontiers.
• (source: Nielsen Book Data)

Real-world physical and abstract data objects are interconnected, forming gigantic, interconnected networks. By structuring these data objects and interactions between these objects into multiple types, such networks become semi-structured heterogeneous information networks. Most real-world applications that handle big data, including interconnected social media and social networks, scientific, engineering, or medical information systems, online e-commerce systems, and most database systems, can be structured into heterogeneous information networks. Therefore, effective analysis of large-scale heterogeneous information networks poses an interesting but critical challenge. In this book, we investigate the principles and methodologies of mining heterogeneous information networks. Departing from many existing network models that view interconnected data as homogeneous graphs or networks, our semi-structured heterogeneous information network model leverages the rich semantics of typed nodes and links in a network and uncovers surprisingly rich knowledge from the network. This semi-structured heterogeneous network modeling leads to a series of new principles and powerful methodologies for mining interconnected data, including: (1) rank-based clustering and classification; (2) meta-path-based similarity search and mining; (3) relation strength-aware mining, and many other potential developments. This book introduces this new research frontier and points out some promising research directions.
(source: Nielsen Book Data)

• Preface Sentiment Analysis: A Fascinating Problem The Problem of Sentiment Analysis Document Sentiment Classification Sentence Subjectivity and Sentiment Classification Aspect-Based Sentiment Analysis Sentiment Lexicon Generation Opinion Summarization Analysis of Comparative Opinions Opinion Search and Retrieval Opinion Spam Detection Quality of Reviews Concluding Remarks Bibliography Author Biography.
• (source: Nielsen Book Data)

Sentiment analysis and opinion mining is the field of study that analyzes people's opinions, sentiments, evaluations, attitudes, and emotions from written language. It is one of the most active research areas in natural language processing and is also widely studied in data mining, Web mining, and text mining. In fact, this research has spread outside of computer science to the management sciences and social sciences due to its importance to business and society as a whole. The growing importance of sentiment analysis coincides with the growth of social media such as reviews, forum discussions, blogs, micro-blogs, Twitter, and social networks. For the first time in human history, we now have a huge volume of opinionated data recorded in digital form for analysis. Sentiment analysis systems are being applied in almost every business and social domain because opinions are central to almost all human activities and are key influencers of our behaviors. Our beliefs and perceptions of reality, and the choices we make, are largely conditioned on how others see and evaluate the world. For this reason, when we need to make a decision we often seek out the opinions of others. This is true not only for individuals but also for organizations. This book is a comprehensive introductory and survey text. It covers all important topics and the latest developments in the field with over 400 references. It is suitable for students, researchers and practitioners who are interested in social media analysis in general and sentiment analysis in particular. Lecturers can readily use it in class for courses on natural language processing, social media analysis, text mining, and data mining. Lecture slides are also available online.
(source: Nielsen Book Data)

• Table of Contents An Overview of Amazon EMR Exploring the Architecture and Deployment Options Common Use Cases and Architecture Patterns Big Data Applications and Notebooks Available in Amazon EMR Setting Up and Configuring EMR Clusters Monitoring, Scaling, and High Availability Understanding Security in Amazon EMR Understanding Data Governance in Amazon EMR Implementing Batch ETL Pipeline with Amazon EMR and Apache Spark Implementing Real-Time Streaming with Amazon EMR and Spark Streaming Implementing UPSERT on S3 Data Lake with Apache Spark and Apache Hudi Orchestrating Amazon EMR Jobs with AWS Step Functions and Apache Airflow/MWAA Migrating On-Premises Hadoop Workloads to Amazon EMR Best Practices and Cost Optimization Techniques.
• (source: Nielsen Book Data)

Design scalable big data solutions using Hadoop, Spark, and AWS cloud native services Key Features Build data pipelines that require distributed processing capabilities on a large volume of data Discover the security features of EMR such as data protection and granular permission management Explore best practices and optimization techniques for building data analytics solutions in Amazon EMR Book DescriptionAmazon EMR, formerly Amazon Elastic MapReduce, provides a managed Hadoop cluster in Amazon Web Services (AWS) that you can use to implement batch or streaming data pipelines. By gaining expertise in Amazon EMR, you can design and implement data analytics pipelines with persistent or transient EMR clusters in AWS. This book is a practical guide to Amazon EMR for building data pipelines. You'll start by understanding the Amazon EMR architecture, cluster nodes, features, and deployment options, along with their pricing. Next, the book covers the various big data applications that EMR supports. You'll then focus on the advanced configuration of EMR applications, hardware, networking, security, troubleshooting, logging, and the different SDKs and APIs it provides. Later chapters will show you how to implement common Amazon EMR use cases, including batch ETL with Spark, real-time streaming with Spark Streaming, and handling UPSERT in S3 Data Lake with Apache Hudi. Finally, you'll orchestrate your EMR jobs and strategize on-premises Hadoop cluster migration to EMR. In addition to this, you'll explore best practices and cost optimization techniques while implementing your data analytics pipeline in EMR. By the end of this book, you'll be able to build and deploy Hadoop- or Spark-based apps on Amazon EMR and also migrate your existing on-premises Hadoop workloads to AWS. What you will learn Explore Amazon EMR features, architecture, Hadoop interfaces, and EMR Studio Configure, deploy, and orchestrate Hadoop or Spark jobs in production Implement the security, data governance, and monitoring capabilities of EMR Build applications for batch and real-time streaming data analytics solutions Perform interactive development with a persistent EMR cluster and Notebook Orchestrate an EMR Spark job using AWS Step Functions and Apache Airflow Who this book is forThis book is for data engineers, data analysts, data scientists, and solution architects who are interested in building data analytics solutions with the Hadoop ecosystem services and Amazon EMR. Prior experience in either Python programming, Scala, or the Java programming language and a basic understanding of Hadoop and AWS will help you make the most out of this book.
(source: Nielsen Book Data)

• Table of Contents Introduction to Software Architecture API Design Data Modeling The Data Layer The Twelve-Factor App Methodology Web Server Structures Event-Driven Structures Advanced Event-Driven Structures Microservices vs Monolith Testing and TDD Package Management Logging Metrics Profiling Debugging Ongoing Architecture.
• (source: Nielsen Book Data)

Make the best of your test suites by using cutting-edge software architecture patterns in Python Key Features Learn how to create scalable and maintainable applications Build a web system for micro messaging using concepts in the book Use profiling to find bottlenecks and improve the speed of the system Book DescriptionDeveloping large-scale systems that continuously grow in scale and complexity requires a thorough understanding of how software projects should be implemented. Software developers, architects, and technical management teams rely on high-level software design patterns such as microservices architecture, event-driven architecture, and the strategic patterns prescribed by domain-driven design (DDD) to make their work easier. This book covers these proven architecture design patterns with a forward-looking approach to help Python developers manage application complexity-and get the most value out of their test suites. Starting with the initial stages of design, you will learn about the main blocks and mental flow to use at the start of a project. The book covers various architectural patterns like microservices, web services, and event-driven structures and how to choose the one best suited to your project. Establishing a foundation of required concepts, you will progress into development, debugging, and testing to produce high-quality code that is ready for deployment. You will learn about ongoing operations on how to continue the task after the system is deployed to end users, as the software development lifecycle is never finished. By the end of this Python book, you will have developed "architectural thinking": a different way of approaching software design, including making changes to ongoing systems. What you will learn Think like an architect, analyzing software architecture patterns Explore API design, data storage, and data representation methods Investigate the nuances of common architectural structures Utilize and interoperate elements of patterns such as microservices Implement test-driven development to perform quality code testing Recognize chunks of code that can be restructured as packages Maintain backward compatibility and deploy iterative changes Who this book is forThis book will help software developers and architects understand the structure of large complex systems and adopt architectural patterns that are scalable. Examples in the book are implemented in Python so a fair grasp of basic Python concepts is expected. Proficiency in any programming languages such as Java or JavaScript is sufficient.
(source: Nielsen Book Data)

• Title page; Preface; Contents; Part I. Foundations of Well-Being; Part II. Supporting the Well-Being Through Care Taking in Smart Environments; Part III. Improving the Well-Being Through Life-Style and Entertainment; Subject Index; Author Index.

The notion of well-being is one which is crucial to many aspects of our daily lives. In addition to providing one of the cornerstones to a healthy lifestyle, the concept of well-being extends to the selection of the type of environment we live in, our interaction with other people and the things we do to realize our plans for the future. Well-being is so intrinsic to our daily lives that it plays a fundamental role at all times and in all places, so it is important that it is taken into account when designing the ubiquitous computing technologies which pervade our lives nowadays. This book contains the papers presented at the 2009 Behaviour Monitoring and Interpretation (BMI) workshop, third in the annual series launched in 2007, and co-located with the German conference on Artificial Intelligence. The focus of the 2009 workshop on the topic of well-being reflects the significant interest in this area of research and the book offers state-of-the-art contributions in the application area of well-being from diverse disciplines such as engineering and philosophy. This overview of a wide range of research projects will be of interest to researchers and developers whose work necessitates a consideration of well-being, either as part of the task of implementing current applications or of designing the systems of the future.
(source: Nielsen Book Data)

• Database and Distributed Machine Learning.- Querying and Mining Strings Made Easy Distributed Training Large-Scale Deep Architectures.- Fault Detection and Localization in Distributed Systems using Recurrent Convolutional Neural Networks.- Discovering Group Skylines with Constraints by Early Candidate Pruning.- Comparing MapReduce-Based k-NN Similarity Joins On Hadoop For High-dimensional Data.- A Higher-Fidelity Frugal Quantile Estimator.- Recommender System.- Fair Recommendations Through Diversity Promotion.- A Hierarchical Bayesian Factorization Model for Implicit and Explicit Feedback Data.- Empirical Analysis of Factors Influencing Twitter Hashtag Recommendation on Detected Communities.- Group Recommender Model Based on Preference Interaction.- Identification of Grey Sheep Users By Histogram Inter
• section In Recommender Systems.- Social Network and Social Media.- A Feature-based Approach for the Redefined Link Prediction Problem in Signed Networks.- From Mutual Friends to Overlapping Community Detection: A Non-negative Matrix Factorization Approach.- Calling for Response: Automatically Distinguishing Situation-aware Tweets During Crises.- Efficient Revenue Maximization for Viral Marketing in Social Networks.- Generating Life Course Trajectory Sequences with Recurrent Neural Networks and Application to Early Detection on Social Disadvantage.- FRISK: A Multilingual Approach to Find twitteR InterestS via wiKipedia.- A Solution to Tweet-Based User Identification across Online Social Networks.- Machine Learning.- Supervised Feature Selection Algorithm Based on Low-Rank and Manifold Learning.- Mixed Membership Sparse Gaussian Conditional Random Fields.- Effects of Dynamic Subspacing in Random Forest.- Diversity and Locality in Multi-Component, Multi-Layer Predictive Systems: A Mutual Information Based Approach.- Hybrid Subspace Mixture Models For Prediction and Anomaly Detection in High Dimensions.- Classification and Clustering Methods.- StruClus: Scalable Structural Graph Set Clustering with Representative Sampling.- Employing Hierarchical Clustering and Reinforcement Learning for Attribute-based Zero-Shot Classification.- Environmental Sound Recognition using Masked Conditional Neural Networks.- Analyzing Performance of Classification Techniques in Detecting Epileptic Seizure.- A Framework for Clustering and Dynamic Maintenance of XML Documents.- Language-independent Twitter Classification using Character-based Convolutional Networks.- Behavior Modeling and User Profiling.- Modeling Check-in Behavior with Geographical Neighborhood Influence of Venues.- An empirical study on collective online behaviors of extremist supporters. -Your Moves, Your Device: Establishing Behavior Profiles using Tensors.- An Approach for Identifying Author Profiles of Blogs.- Generating Topics of Interests for Research Communities.- An Evolutionary Approach for Learning Conditional Preference Network from Inconsistent Examples.- Bioinformatic and Medical Data Analysis.- Predicting Clinical Outcomes of Alzheimer's Disease from Complex Brain Networks.- Doctoral Advisor or Medical Condition: Towards Entity-specific Rankings of Knowledge Base Properties.- Multiclass Lung Cancer Diagnosis by Gene Expression Programming and Microarray Datasets.- Drug-drug Interaction Extraction via Recurrent Neural Network with Multiple Attention Layers.- Spatio-temporal Data.- People-Centric Mobile Crowdsensing Platform for Urban Design.- Long-Term User Location Prediction Using Deep Learning and Periodic Pattern Mining.- An Intelligent Weighted Fuzzy Time Series Model Based on A Sine-Cosine Adaptive Human Learning Optimization Algorithm and Its Application to Financial Markets Forecasting.- Mobile Robot Scheduling with Multiple Trips and Time Windows.- Natural Language Processing and Text Mining.- Feature Analysis for Duplicate Detection in Programming QA Communities.- A Joint Human/Machine Process for Coding Events and Conflict Drivers.- Quality Prediction of Newly Proposed Questions in CQA by Leveraging Weakly Supervised Learning.- Improving Chinese Sentiment Analysis via Segmentation-based Representation Using Parallel CNN.- Entity Recognition by Distant Supervision with Soft List Constraint.- Structured Sentiment Analysis.- Data Mining Applications.- Improving Real-Time Bidding Using a Constrained Markov Decision Process.- PowerLSTM: Power Demand Forecasting Using Long Short-Term Memory Neural Network.- Identifying Unreliable Sensors Without a Knowledge of the Ground Truth in Deceptive Environments.- Color-sketch simulator: a guide for color-based visual known-item search.- Applications.- Making Use of External Company Data to Improve the Classification of Bank Transactions.- Mining Load Profile Patterns for Australian Electricity Consumers.- STA: a Spatio-temporal Thematic Analytics Framework for Urban Ground Sensing.- Privacy and Utility Preservation for Location Data Using Stay Region Analysis.- Location-aware Human Activity Recognition.- Demos.- SWYSWYK: a new Sharing Paradigm for the Personal Cloud.- Tools and Infrastructure for Supporting Enterprise Knowledge Graphs.- An Interactive Web-based Toolset for Knowledge Discovery from Short Text Log Data.- Carbon: Forecasting Civil Unrest Events by Monitoring News and Social Media.- A system for Querying and Analyzing Urban Regions.- Detect tracking behavior among trajectory data.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 13th International Conference on Advanced Data Mining and Applications, ADMA 2017, held in Singapore in November 2017. The 20 full and 38 short papers presented in this volume were carefully reviewed and selected from 118 submissions. The papers were organized in topical sections named: database and distributed machine learning; recommender system; social network and social media; machine learning; classification and clustering methods; behavior modeling and user profiling; bioinformatics and medical data analysis; spatio-temporal data; natural language processing and text mining; data mining applications; applications; and demos. .
(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)

• 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)

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)

• 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)

• 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)

• 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)

• 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• Continuous Extensions for Structural Runge
• Kutta Methods.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• Network security.- Threat analysis.- Application security.- Cryptographic protocols.- Cryptanalysis.- Cryptographic implementations.- Authentication using bio and ML.- Authentication.- ICT Convergent security.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-workshop proceedings of the 17th International Workshop on Information Security Applications, WISA 2016, held on Jeju Island, Korea, in August 2016. The 31 revised full papers including two invited talks presented in this volume were carefully reviewed and selected from 61 submissions. The papers are organized in topical sections such as network security, threat analysis, application security, cryptographic. Protocols, cryptanalysis, cryptographic implementations, authentication using bio and ML, authentication, ICT Convergent security.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..
(source: Nielsen Book Data)

• Sharpening Constraint Programming approaches for Bit-Vector Theory.- Range-Consistent Forbidden Regions of Allen's Relations.- MDDs are Efficient Modeling Tools: An Application to Dispersion Constraints.- On Finding the Optimal Relaxed Decision Diagram.- Design and Implementation of Bounded-Length Sequence Variables.- In Search of Balance: The Challenge of Generating Balanced Latin Rectangles.- Debugging Unsatisfiable Constraint Models.- Learning Decision Trees with Exible Constraints and Objectives Using Integer Optimization.- Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery.- Minimizing Landscape Resistance for Habitat Conservation.- A Hybrid Approach for Stator Winding Design Optimization.- A Distributed Optimal Method for the Geographically Distributed Data Centres Problem.- Explanation-Based-Weighted Degree.- Counting-Weighted Spanning Trees to Solve Constrained Minimum Spanning Tree Problems.- The Weighted Arborescence Constraint.- Learning When to Use a Decomposition.- Experiments with Conict Analysis in Mixed Integer Programming.- A First Look at Picking Dual Variables for Maximizing Reduced-cost Based fixing.- Experimental Validation of Volume-based Comparison for Double-McCormick Relaxations.- Vehicle Routing Problem with Min-max Objective and Heterogeneous Fleet.- Solving the Traveling Salesman Problem with Time Windows with Dynamic Discretization Discovery.- A Fast Prize-collecting Steiner Forest Algorithm for Functional Analyses in Biological Networks.- Scenario Based Learning for Stochastic Combinatorial Optimization.- Optimal Stock Sizing in a Cutting Stock Problem with Stochastic Demands.- Stochastic Task Networks: Trading Performance for Stability.- Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables.- A Multi-stage Simulated Annealing Algorithm for the Torpedo Scheduling Problem.- Combining CP and ILP in a Tree Decomposition of Bounded Height to Solve the Sum Coloring Problem.- A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond.- The Nemhauser-Trotter Reduction and Lifted Message Passing for Weighted CSPs.- A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2017, held in Padua, Italy, in June 2017. The 32 full papers presented together with 6 abstracts were carefully reviewed and selected from numerous submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in the intersection of these fields and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 12th Pacific Asia Workshop on Intelligence and Security Informatics, PAISI 2017, held in Jeju Island, South Korea, in May 2017 in conjunction with PAKDD 2017, the 21st Pacific-Asia Conference on Knowledge Discovery and Data Mining. The 8 revised full papers and one short paper were carefully reviewed and selected from 13 submissions. The papers cover topics such as information access and security, cybersecurity and infrastructure protection, data and text mining, and network based data analytics.
(source: Nielsen Book Data)

• Calculemus track: integration of symbolic computation and mechanized reasoning.- Digital Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes.- Mathematical Knowledge Management track: aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings.- Systems and Projects track: descriptions of systems and relevant projects as keys research topics.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.
(source: Nielsen Book Data)

• Applied computing.- Artificial intelligence.- Bioinformatics.- Computing methodologies.- Data management systems.- Data mining.- Deep learning.- Information retrieval.- Health informatics.- Human computer interaction.- Machine learning.- Neural informatics.- Neural networks.- Neural systems.- Web applications.- Web mining.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2017, held in Guilin, China, in October/November 2017. The 65 full papers presented were carefully reviewed and selected from 110 submissions. These papers provided a sample of latest research outcomes in data engineering and automated learning, from methodologies, frameworks and techniques to applications. In addition to various topics such as evolutionary algorithms, deep learning neural networks, probabilistic modelling, particle swarm intelligence, big data analytics, and applications in image recognition, regression, classification, clustering, medical and biological modelling and prediction, text processing and social media analysis.
(source: Nielsen Book Data)

• Intelligent interfaces.- Brain machine interaction.- HCI applications and technology.- Interface and systems.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 8th International Conference on Intelligent Human Computer Interaction, IHCI 2016, held in Pilani, India, in December 2016. The 22 regular papers and 3 abstracts of invited talks included in this volume were carefully reviewed and selected from 115 initial submissions. They deal with intelligent interfaces; brain machine interaction; HCI applications and technology; and interface and systems.
(source: Nielsen Book Data)

• Whitebox Automation.- Automated Theory Exploration for Interactive Theorem Proving: An Introduction to the Hipster System.- Automating Formalization by Statistical and Semantic Parsing of Mathematics.- A Formalization of Convex Polyhedra Based on the Simplex Method.- A Formal Proof of the Expressiveness of Deep Learning.- Formalization of the Lindemann-Weierstrass Theorem.- CompCertS: A Memory-Aware Verified C Compiler Using Pointer as Integer Semantics.- Formal Verification of a Floating-Point Expansion Renormalization Algorithm.- How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation.- FoCaLiZe and Dedukti to the Rescue for Proof Interoperability.- A Formal Proof in Coq of LaSalle's Invariance Principle.- How to Get More out of Your Oracles.- Certifying Standard and Stratified Datalog Inference Engines in SSReect.- Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq.- Bellerophon: Tactical Theorem Proving for Hybrid Systems.- Formalizing Basic Quaternionic Analysis.- A Formalized General Theory of Syntax with Bindings.- Proof Certificates in PVS.- Efficient, Verified Checking of Propositional Proofs.- Proof Tactics for Assertions in Separation Logic.- Categoricity Results for Second-Order ZF in Dependent Type Theory.- Making PVS Accessible to Generic Services by Interpretation in a Universal Format.- Formally Verified Safe Vertical Maneuvers for Non-Deterministic, Accelerating Aircraft Dynamics.- Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms.- Typing Total Recursive Functions in Coq.- Effect Polymorphism in Higher-Order Logic (Proof Pearl).- Schulze Voting as Evidence Carrying Computation.- Verified Spilling and Translation Validation with Repair.- A Verified Generational Garbage Collector for CakeML.- A Formalisation of Consistent Consequence for Boolean Equation Systems.- Homotopy Type Theory in Lean.- Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology.- Formalization of the Fundamental Group in Untyped Set Theory Using auto2.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
(source: Nielsen Book Data)

• Database and Graph Theory [16].- Crossover and Permutation.- Similarity Between Graphs in Database by Permutations.- Morphogenetic and Morpheme Network to Structured Worlds.- Formal Description and References in Graph Theory.
• (source: Nielsen Book Data)

This book offers a concise introduction to morphogenetic computing, showing that its use makes global and local relations, defects in crystal non-Euclidean geometry databases with source and sink, genetic algorithms, and neural networks more stable and efficient. It also presents applications to database, language, nanotechnology with defects, biological genetic structure, electrical circuit, and big data structure. In Turing machines, input and output states form a system - when the system is in one state, the input is transformed into output. This computation is always deterministic and without any possible contradiction or defects. In natural computation there are defects and contradictions that have to be solved to give a coherent and effective computation. The new computation generates the morphology of the system that assumes different forms in time. Genetic process is the prototype of the morphogenetic computing. At the Boolean logic truth value, we substitute a set of truth (active sets) values with possible contradictions. The value of a proposition is a set of true and false values. The aim of morphogenetic computing is to use and solve the contradictions in order to transform systems to allow classical computation.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Contents
• Tutorial
• Modeling, Generating, and Publishing Knowledge as Linked Data
• 1 Introduction
• 2 Linked Data Modeling
• 3 Linked Data Generation
• 3.1 Generation
• 3.2 Validation
• 3.3 RMLProcessor
• 3.4 RMLValidator
• 4 Linked Data Publishing
• 4.1 Linked Data Interfaces
• 4.2 Linked Data Licensing, Announcement and Maintenance
• 5 Linked Data Publishing Workflow Administration
• 5.1 RMLWorkbench
• 6 EKAW2016 Tutorial Report
• References

• First Workshop on Detection, Representation and Management of Concept Drift in Linked Open Data: Report of the Drift-a-LOD2016 Workshop
• 1 Introduction
• 2 Workshop Overview
• 3 Research Directions
• References
• Tracing Shifting Conceptual Vocabularies Through Time
• Abstract
• 1 Introduction
• 2 Related Work
• 3 Time-Varying Relationships in Text
• 4 Algorithm
• 5 Results
• 6 Discussion
• 7 Constructing Ground Truth Evaluation Data from LOD
• 8 Limitations, Potential Improvements, Other Considerations
• Acknowledgments
• References

• The SemaDrift Protégé Plugin to Measure Semantic Drift in Ontologies: Lessons Learned
• Abstract
• 1 Introduction
• 2 Related Work
• 3 The SemaDrift Protégé Plugin
• 3.1 Semantic Drift Metrics
• 3.2 Functionality
• 4 Use Case Scenarios
• 4.1 SemaDrift Within the PERICLES Project
• 4.2 Semantic Drift in Digital Preservation
• 4.3 Semantic Drift in the Web Services Domain
• 5 Discussion
• 6 Conclusions and Future Work
• Acknowledgements
• References
• Combining Distributional Semantics and Structured Data to Study Lexical Change
• 1 Introduction
• 2 Source Data
• 3 Approach

• 4 Usage Examples
• 5 Discussion and Future Work
• References
• Second International Workshop on Educational Knowledge Management (EKM 2016)
• Educational Knowledge Management(EKM 2016)
• Abstract
• Program Committee
• Learning Scorecard: Monitor and Foster Student Learning Through Gamification
• Abstract
• 1 Introduction
• 2 Business Intelligence in Higher Education
• 3 Gamification in Higher Education
• 4 The Learning Scorecard
• 4.1 Strategic Design of the Learning Scorecard
• 5 LS Prototype
• 6 Conclusions and Future Work
• Acknowledgments
• References

• Towards an Architecture for Universities Management
• Abstract
• 1 Introduction
• 2 Problem Statement
• 3 Related Work
• 4 Global Approach
• 4.1 Knowledge Definition
• 4.2 Linked Open Data
• 4.3 Knowledge Extraction and Classification
• 4.4 Knowledge Representation
• 5 Conclusion and Future Work
• References
• A Formalization of the French Elementary School Curricula
• 1 Introduction
• 2 Related Work
• 3 The French Educational Model
• 4 The EduProgression Ontology and Associated thesaurus
• 4.1 The EduProgression Ontology

This book contains the best selected papers of two Satellite Events held at the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, in November 2016 in Bologna, Italy: The Second International Workshop on Educational Knowledge Management, EKM 2016, and the First Workshop: Detection, Representation and Management of Concept Drift in Linked Open Data, Drift-an-LOD 2016. The 6 revised full papers included in this volume were carefully reviewed and selected from the 13 full papers that were accepted for presentation at the conference from the initial 82 submissions. This volume also contains the 37 accepted contributions for the EKAW 2016 tutorials, demo and poster sessions, and the doctoral consortium. The special focus of this year's EKAW was "evolving knowledge", which concerns all aspects of the management and acquisition of knowledge representations of evolving, contextual, and local models. This includes change management, trend detection, model evolution, streaming data and stream reasoning, event processing, time-and space dependent models, contextual and local knowledge representations with a special emphasis on the evolvability and localization of knowledge and the correct usage of these limits.
(source: Nielsen Book Data)

• Ontologies in health care.- Clinical quality, evaluation, and simulation.- Computer guidelines engineering and usage.- Comorbidity and clinical process management.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of two workshops held at the International Conference on Health - Exploring Complexity and Medical Informatics Europe, HEC 2016, held in Munich, Germany, in September 2016: the 8th International Workshop on Knowledge Representation for Health Care, KR4HC 2016, and the 9th International Workshop on Process-oriented Information Systems in Healthcare, ProHealth 2016. The 8 revised full papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections on ontologies in health care; clinical quality, evaluation, and simulation; computer guidelines engineering and usage; and comorbidity and clinical process management.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 10th International Conference on Knowledge Science, Engineering and Management, KSEM 2017, held in Melbourne, Australia, in August 2017. The 35 revised full papers and 12 short papers presented were carefully reviewed and selected from 134 submissions. The papers are organized in the following topical sections: text mining and document analysis; formal semantics and fuzzy logic; knowledge management; knowledge integration; knowledge retrieval; recommendation algorithms and systems; knowledge engineering; and knowledge representation and reasoning.
(source: Nielsen Book Data)

• Language data.- Knowledge graphs.- Applications in NLP.- Use cases in digital humanities, social sciences, and BioNLP.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the First International Conference on Language, Data and Knowledge, LDK 2017, held in Galway, Ireland, in June 2017. The 14 full papers and 19 short papers included in this volume were carefully reviewed and selected from 68 initial submissions. They deal with language data; knowledge graphs; applications in NLP; and use cases in digital humanities, social sciences, and BioNLP.
(source: Nielsen Book Data)

• Cryptanalysis.- Lightweight designs.- Implementation challenges.
• (source: Nielsen Book Data)

This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Lightweight Cryptography for Security and Privacy, LightSec 2016, held in Aksaray, Turkey, in September 2016.The 9 full papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in the following topical sections: cryptanalysis, lightweight designs, implementation challenges.
(source: Nielsen Book Data)

• Logic and Language.- Logic and Information.- Computation.- Mathematical Logic.- Theory of Computation.- Model Theory. - Proof Theory.- Type Theory. Computability Theory. - Complexity Theory.
• (source: Nielsen Book Data)

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation. .
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference for Machine Learning and Knowledge Extraction, CD-MAKE 2017, held in Reggio, Italy, in August/September 2017. The 24 revised full papers presented were carefully reviewed and selected for inclusion in this volume. The papers deal with fundamental questions and theoretical aspects and cover a wide range of topics in the field of machine learning and knowledge extraction. They are organized in the following topical sections: MAKE topology; MAKE smart factory; MAKE privacy; MAKE VIS; MAKE AAL; and MAKE semantics.
(source: Nielsen Book Data)

• Chapter 1 Introduction.-
• Chapter 2 Some Theoretical Background.-
• Chapter 3 Spatial Grasp Model.-
• Chapter 4 SGL Detailed Specification.-
• Chapter 5 Main Spatial Mechanisms in SGL.-
• Chapter 6 SGL Networked Interpreter.-
• Chapter 7 Creation, Activation and Management of a Distributed World.-
• Chapter 8 Parallel and Distributed Network Operations.-
• Chapter 9 Solving Social Problems.-
• Chapter 10 Automated Command and Control.-
• Chapter 11 Collective Robotics.-
• Chapter 12 Conclusions.
• (source: Nielsen Book Data)

The book describes a novel ideology and supporting information technology for integral management of both civil and defence-orientated large, distributed dynamic systems. The approach is based on a high-level Spatial Grasp Language, SGL, expressing solutions in physical, virtual, executive and combined environments in the form of active self-evolving and self-propagating patterns spatially matching the systems to be created, modified and controlled. The communicating interpreters of SGL can be installed in key system points, which may be in large numbers (up to millions and billions) and represent equipped humans, robots, laptops, smartphones, smart sensors, etc. Operating under gestalt-inspired scenarios in SGL initially injected from any points, these systems can be effectively converted into goal-driven spatial machines (rather than computers as dealing with physical matter too) capable of responding to numerous challenges caused by growing world dynamics in the 21st century. Including numerous practical examples, the book is a valuable resource for system managers and programmers.
(source: Nielsen Book Data)

• Information retrieval.- Machine learning.- Pattern recognition.- Knowledge discovery.- Classification.-Clustering,
• Image processing.- Network security.- Speech processing.- Natural language processing.- Language,
• Cognition and Computation.- Fuzzy sets, and Business Intelligence.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 4th International Conference on Mining Intelligence and Knowledge Exploration, MIKE 2016, held in Mexico City, Mexico, in November 2016. The 18 full papers presented were carefully reviewed and selected from 56 submissions. Accepted papers were grouped into various subtopics including information retrieval, machine learning, pattern recognition, knowledge discovery, classification, clustering, image processing, network security, speech processing, natural language processing, language, cognition and computation, fuzzy sets, and business intelligence.
(source: Nielsen Book Data)

This book constitutes the proceedings of the 10th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2017, held in Paris, France, in June 2017. The 26 full papers and 15 short papers presented were carefully reviewed and selected from 88 submissions. The papers feature research in a wide range of disciplines related to issues of context and contextual knowledge and discuss commonalities across and differences between the disciplines' approaches to the study of context. They are organized in the following topical sections: context in representation; context modeling of human activities; context in communication; context awareness; and various specific topics.
(source: Nielsen Book Data)

• BiTrust: A Comprehensive Trust Management Model for Multi-agent Systems.- Using Reference Points for Competitive Negotiations in Service Composition.- A Cooperative Framework for Mediated Group Decision Making.- A CPN-Based Protocol for Concurrent Multiple Negotiation
• A Dependency-based Mediation Mechanism for Complex Negotiations.- Using graph properties and clustering techniques to select division mechanisms for scalable negotiations.- Compromising Strategy considering Interdependencies of Issues for Multi-issue Closed Nonlinear Negotiations.
• (source: Nielsen Book Data)

This book addresses several important aspects of complex automated negotiations and introduces a number of modern approaches for facilitating agents to conduct complex negotiations. It demonstrates that autonomous negotiation is one of the most important areas in the field of autonomous agents and multi-agent systems. Further, it presents complex automated negotiation scenarios that involve negotiation encounters that may have, for instance, a large number of agents, a large number of issues with strong interdependencies and/or real-time constraints.
(source: Nielsen Book Data)

• Modeling and analyzing multi-agent systems.- Applying agent-based simulation techniques to real-world problems.- The confluence of socio-technical- natural sciences and multi-agents systems with a strong application/empirical vein.- Exploratory agent-based simulation as a principled way of undertaking scientific research in the social sciences.- Social theories as an inspiration to new frameworks and developmentsin multi-agent systems.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Workshop on Multi-Agent-Based Simulation, MABs 2016, held in Singapore, in May 2016. The workshop was held in Conjunction with the 15th International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2016. The 10 revised full papers included in this volume were carefully selected from 15 submissions. The topic of the papers is about modeling and analyzing multi-agent systems and applying agent-based simulation techniques to real-world problems, focusing on the confluence of socio-technical- natural sciences and multi-agents systems with a strong application/empirical vein. Special emphasis is given on exploratory agent-based simulation as a principled way of undertaking scientific research in the social sciences and on using social theories as an inspiration to new frameworks and developments in multi-agent systems.
(source: Nielsen Book Data)

• Multiagent Systems.- Distributed Artificial Intelligence.- Intelligent Agents.- Agent Architectures.- Multiagent Planning.- Scheduling.- Autonomous Coordination.- Machine Learning.- Agent-based Manufacturing.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 15th German Conference on Multiagent System Technologies, MATES 2017, held in Lepzig, Germany, in August 2017. The 17 full papers presented in this volume were carefully reviewed and selected from 24 submissions for inclusion in the proceedings. Over these 15 years, the MATES conference series has been aiming at the promotion of and the cross-fertilization between theory and application of intelligent agents and multi-agent systems.
(source: Nielsen Book Data)

• agent and multi-agent system models.- algorithms.- applications.- simulations.- theoretical studies.- algorithms and frameworks.- philosophical and theoretical studies.
• (source: Nielsen Book Data)

This book constitutes the revised selected papers from the 14th European Conference on Multi-Agent Systems, EUMAS 2016, and the Fourth International Conference on Agreement Technologies, AT 2016, held in Valencia, Spain, in December 2016. The 43 papers and 2 invited papers presented in this volume were carefully reviewed and selected from 68 submissions. The papers cover thematic areas as agent and multi-agent system models, algorithms, applications, simulations, theoretical studies, and for AT the thematic areas are: algorithms.
(source: Nielsen Book Data)

• Active Shape Model Vs. Deep Learning for Facial Emotion Recognition in Security.- Bimodal Recognition of Cognitive Load Based on Speech and Physiological Changes.- Human Mobility-Pattern Discovery and Next-Place Prediction from GPS data.- Fusion Architectures for Multimodal Cognitive Load Recognition.- Face Recognition in Home Security System Using Tensor Decomposition Based on Radix Hierarchical SVD.- Performance analysis of gesture recognition classifiers for building a human robot interface.- On Automatic Question Answering Using Efficient Primal-dual Models.- Hierarchical Bayesian Multiple Kernel Learning Based Feature Fusion for Action Recognition.- Audio Visual Speech Recognition Using Deep Recurrent Neural Networks.- Audio-Visual Recognition of Pain Intensity.- The Sense Emotion Database: A Multimodal Database for the Development and Systematic Validation of an Automatic Pain- and Emotion-Recognition System.- Photometric Stereo for 3D face reconstruction using non linear illumination models.- Recursively Measured Action Units.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-workshop proceedings of the Fourth IAPR TC9 Workshop on Pattern Recognition of Social Signals in Human-Computer-Interaction, MPRSS 2016, held in Cancun, Mexico, in December 2016.The 13 revised papers presented focus on pattern recognition, machine learning and information fusion methods with applications in social signal processing, including multimodal emotion recognition, user identification, and recognition of human activities.
(source: Nielsen Book Data)

• Theoretical neural computation.- Models.- Natural computing in bioinformatics.- Physiological computing in affective smart environments.- Emotions.- Signal processing and machine learning applied to biomedical and neuroscience 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)

• Intro
• Preface
• Organization
• Invited Papers
• Linguistic Musicology
• Using Machine Reading to Aid Cancer Understanding and Treatment
• Contents
• Feature Engineering
• Fine-Grained Opinion Mining from Mobile App Reviews with Word Embedding Features
• 1 Introduction
• 2 Related Work
• 3 Baseline Model
• 4 Word Embedding Model
• 4.1 Synonym Expansion
• 4.2 Clustering
• 5 Experiments and Results
• 5.1 Data
• 5.2 Experimental Setup
• 5.3 Evaluation Results
• 6 Conclusion
• References

• Feature Selection Using Multi-objective Optimization for Aspect Based Sentiment Analysis
• 1 Introduction
• 2 Method
• 2.1 Brief Overview of MOO
• 2.2 Non-dominated Sorting Genetic Algorithm-II (NSGA-II)
• 2.3 Problem Formulation
• 2.4 Problem Encoding
• 2.5 Fitness Computation
• 2.6 Features
• 3 Experiments and Analysis
• 3.1 Datasets
• 3.2 Results and Analysis
• 3.3 Comparisons
• 3.4 Feature Selection: Analysis
• 4 Error Analysis
• 4.1 OTE
• 4.2 Sentiment Classification
• 5 Conclusion
• References

• Feature Selection and Class-Weight Tuning Using Genetic Algorithm for Bio-molecular Event Extraction
• 1 Introduction
• 2 Major Steps for Event Extraction
• 2.1 Event Trigger Extraction
• 2.2 Argument Extraction by Edge Detection
• 3 Features
• 4 Experimental Results and Analysis
• 4.1 Comparison with Existing Systems
• 5 Conclusion
• References
• Automated Lexicon and Feature Construction Using Word Embedding and Clustering for Classification of ASD Diagnoses Using EHR
• Abstract
• 1 Introduction
• 2 Manual and Automated Creation of Lexicons as Features

• 3 ASD Case Status Classification
• 4 Conclusion
• Acknowledgements
• References
• Multi-objective Optimisation-Based Feature Selection for Multi-label Classification
• 1 Introduction
• 2 Multiobjective Feature Subset Selection
• 3 Experimental Setup
• 4 Results
• 5 Conclusion
• References
• Information Extraction
• WikiTrends: Unstructured Wikipedia-Based Text Analytics Framework
• 1 Introduction
• 2 Related Work
• 3 The WikiTrends Framework
• 3.1 WikiTrends Parser
• 3.2 WikiTrends Extractors
• 3.3 WikiTrends Analysis Layer
• 4 Evaluation
• 4.1 Test Set

• 4.2 Gender Extractor Evaluation
• 4.3 Location Extractor Evaluation
• 4.4 Time Extractor Evaluation
• 5 Conclusion and Future Work
• References
• An Improved PLDA Model for Short Text
• 1 Introduction
• 2 Related Works
• 3 Model and Algorithms
• 3.1 Notation
• 3.2 ST-PLDA Model
• 3.3 Model Inference
• 3.4 Classification
• 4 Experiment Analysis
• 4.1 Data Sets
• 4.2 Classification Performance
• 4.3 Evaluation of Topics
• 4.4 Sensitivity Analysis
• 5 Conclusions
• References
• Mining Incoherent Requirements in Technical Specifications
• 1 Motivations and Objectives

This book constitutes the refereed proceedings of the 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, held in Liege, Belgium, in June 2017. The 22 full papers, 19 short papers, and 16 poster papers presented were carefully reviewed and selected from 125 submissions. The papers are organized in the following topical sections: feature engineering; information extraction; information extraction from resource-scarce languages; natural language processing applications; neural language models and applications; opinion mining and sentiment analysis; question answering systems and applications; semantics-based models and applications; and text summarization.
(source: Nielsen Book Data)

• Mathematical Analysis of Nature-Inspired Algorithms.- A Review of No Free Lunch Theorems, and their Implications for Metaheuristic Optimisation.- Global Convergence Analysis of Cuckoo Search Using Markov Theory.- On Effeciently Solving the Vehicle Routing Problem with Time Windows Using the Bat Algorithm.- Variants of the Flower Pollination Algorithm: A Review.
• (source: Nielsen Book Data)

This book reviews the state-of-the-art developments in nature-inspired algorithms and their applications in various disciplines, ranging from feature selection and engineering design optimization to scheduling and vehicle routing. It introduces each algorithm and its implementation with case studies as well as extensive literature reviews, and also includes self-contained chapters featuring theoretical analyses, such as convergence analysis and no-free-lunch theorems so as to provide insights into the current nature-inspired optimization algorithms. Topics include ant colony optimization, the bat algorithm, B-spline curve fitting, cuckoo search, feature selection, economic load dispatch, the firefly algorithm, the flower pollination algorithm, knapsack problem, octonian and quaternion representations, particle swarm optimization, scheduling, wireless networks, vehicle routing with time windows, and maximally different alternatives. This timely book serves as a practical guide and reference resource for students, researchers and professionals.
(source: Nielsen Book Data)

• Feature selection and induction.- Classification andprediction.- Clustering.- Pattern discovery.- Applications.
• (source: Nielsen Book Data)

This book features a collection of revised and significantly extended versions of the papers accepted for presentation at the 5th International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2016, held in conjunction with ECML-PKDD 2016 in Riva del Garda, Italy, in September 2016. The book is composed of five parts: feature selection and induction; classification prediction; clustering; pattern discovery; applications. .
(source: Nielsen Book Data)

• Verification and validation of global properties,
• Implementation of numerical techniques on modern hardware.- Development and analysis of cyber-physical systems (CPS).
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
(source: Nielsen Book Data)

• OnTheMove 2016 Keynotes.- International Workshop on Enterprise Integration, Interoperability and Networking (EI2N) 2016.- Fact Based Modeling (FBM) 2016.- Industry Case Studies Program (ICSP) 2016.- International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society(Meta4eS) 2016.- OnTheMove Academy (OTMA) 2016.
• (source: Nielsen Book Data)

This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ) , Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS), and OnTheMove Academy (OTMA 2016), held as part of OTM 2016 in October 2016 in Rhodes, Greece. The 27 full papers presented together with 8 short papers were carefully reviewed and selected from 58 submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, information systems, enterprise workflow and collaboration, ubiquity, interoperability, mobility, grid and high-performance computing. .
(source: Nielsen Book Data)

• Eliminating Irrelevant Non-determinism in Functional Logic Programs.- Canonicalizing High-Level Constructs in Picat.- An Overview of P_rhoLog.- Integrating Answer Set Programming with Object-oriented Languages.- Extending Answer Set Programs with Interpreted Functions as First-class Citizens.- Lowering the learning curve for declarative programming: a Python API for the IDP system.- Failing Faster: Overlapping Patterns for Property-Based Testing.- Boltzmann Samplers for Closed Simply-Typed Lambda Terms.- Selection Equilibria of Higher-Order Games.- DALI for Cognitive Robotics: Principles and Prototype Implementation.- Funky Grooves: Declarative Programming of Full-Fledged Musical Applications.- A Domain-Specific Language for Software-Defined Radio.- A Declarative DSL for Customizing ASCII Art.- Using Iterative Deepening for Probabilistic Logic Inference.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages. .
(source: Nielsen Book Data)

• Agent and Multiagent Theories, Architectures, and Languages.- Teamwork and Coordination in Multiagent Systems.- Applications of Agents and Multiagent Systems.- Cooperation and Negotiation in Multiagent Systems.- Organizations, Institutions and Norms in Multiagent Systems.- Argumentation in Multiagent Systems.- Early Innovations.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017. The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions. The intention of the papers is to showcase research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.
(source: Nielsen Book Data)

• Reachability problems in infinite state systems.- rewriting systems.- dynamical and hybrid systems.- reachability problems in logic and verification.- eachability analysis in different computational models.- Petri-Nets.- Computational aspects of algebraic structures.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The 12 full papers presented together with 1 invited paper were carefully reviewed and selected from 17 submissions. The aim of the conference is to bring together scholars from diverse fields with a shared interest in reachability problems, and to promote the exploration of new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques. Topics of interest include (but are not limited to): reachability for innite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps, and new computational paradigms.
(source: Nielsen Book Data)

• Algebra for Quantitative Information Flow.- Dual space of a lattice as the completion of a Pervin space.- Images as relations under RelView.- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces.- Varieties of Cubical Sets.- Non-Associative Kleene Algebra and Temporal Logics.- Algebraic Investigation of Connected Components.- Stone Relation Algebras.- Relation algebras, idempotent semirings and generalized bunched implication algebras.- Parsing and Printing of and with Triples.- Software Development in Relation Algebra with Ampersand.- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras.- Aggregation of Votes with Multiple Positions on Each Issue.- Complete solution of an optimization problem in tropical semifield.- Concurrency-Preserving Minimal Process Representation.- Embeddability into relational lattices is undecibable.- Tower Induction and Up-To Techniques for CCS with Fixed Points.- Reasoning about Cardinalities of Relations with Applications Supported by Proof Assistants.- Type-n Arrow Categories.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. .
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017. The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. The papers are organized in the following topical sections: foundations; reversible circuit synthesis; reversible circuit optimization; testing and fault tolerance; and quantum circuits.
(source: Nielsen Book Data)