%{search_type} search results

• Analysis on manifolds.- Shape analysis.- Disease diagnosis/progression.- Brain networks an connectivity.- Diffusion imaging.- Quantitative imaging.- Imaging genomics.- Image registration.- Segmentation.- General image analysis. <.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 25th International Conference on Information Processing in Medical Imaging, IPMI 2017, held at the Appalachian State University, Boon, NC, USA, in June 2017. The 53 full papers presented in this volume were carefully reviewed and selected from 147 submissions. They were organized in topical sections named: analysis on manifolds; shape analysis; disease diagnosis/progression; brain networks an connectivity; diffusion imaging; quantitative imaging; imaging genomics; image registration; segmentation; general image analysis.
(source: Nielsen Book Data)

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

• Intro
• Preface
• Organization
• Contents
• Editorial
• IT in Biology & Medical Informatics: On the Challenge of Understanding the Data Ecosystem
• 1 Life Science and Medicine as Data Science
• 2 Challenge: Understanding the Data Ecosystem
• 3 Conclusion
• References
• General Track
• A Hybrid Feature Selection Method to Classification and Its Application in Hypertension Diagnosis
• Abstract
• 1 Introduction
• 2 Materials and Methods
• 2.1 Data
• 2.2 Feature Selection
• 3 Experiment and Results
• 3.1 Generation of Target Population
• 3.2 Hybrid Feature Selection

• 3.3 Bayesian Network
• 3.4 Experimental Results
• 4 Conclusion
• Acknowledgment
• References
• Statistical Analysis of Perinatal Risk Factors for Emergency Caesarean Section
• 1 Introduction
• 2 Materials and Methods
• 2.1 Dataset
• 2.2 Population and Inclusion Criteria
• 2.3 Features
• 2.4 Statistical Evaluation
• 3 Results
• 4 Discussion
• 5 Conclusion
• References
• Modelling of Cancer Patient Records: A Structured Approach to Data Mining and Visual Analytics
• Abstract
• 1 Introduction
• 1.1 Background
• 1.2 Case Study
• University Hospital Southampton
• 2 Methodology

• 2.1 Process-Driven Framework
• 2.2 Data Warehousing
• 2.3 Data Mining and Modelling
• 2.4 Visualisation
• 3 Clinical Data
• 3.1 Data Sources and Understanding
• 3.2 Data Pre-processing
• 3.3 Multi-dimensional Modelling
• 4 Results
• 4.1 Visual Analytics
• 4.2 Data Mining and Analytics
• 4.3 Discussion
• 5 Conclusion
• Acknowledgements
• References
• Poster Session
• Contextual Decision Making for Cancer Diagnosis
• 1 Introduction
• 2 Model and Decision Analytic Model
• 3 Cancer Diagnosis and Modeling Cancer Diagnosis
• 3.1 Cancer and Cancer Diagnosis

• 3.2 Modeling Cancer Diagnosis
• 4 Computer Aided/Assisted Diagnosis (CAD)
• 5 Context and the Role of Context in Medical Decision Making
• 5.1 Context
• 5.2 Modeling Context for Medical Decision Making
• 6 Critical Discussion and Our Approach
• 6.1 Discussion
• 6.2 Our Contribution
• 7 Conclusion
• References
• A Review of Model Prediction in Diabetes and of Designing Glucose Regulators Based on Model Predictive Control for the Artificial Pancreas
• 1 Introduction
• 2 Datasets
• 3 Evaluation Criteria
• 4 Prediction Models
• 4.1 Linear/Nonlinear Dynamic Models

• 4.2 Neural Network Models
• 5 Results
• 6 Artificial Pancreas
• Model Predictive Control
• 7 Discussion
• 8 Conclusion
• References
• Audit Trails in OpenSLEX: Paving the Road for Process Mining in Healthcare
• 1 Motivation
• 2 Background
• 2.1 Standardized Audit Trails
• 2.2 OpenSLEX Meta Model
• 3 Problem
• 4 Approach
• 4.1 Mapping of ATNA Messages to OpenSLEX
• 4.2 Transformation of ATNA Messages
• 5 Conclusion and Future Work
• References
• Riemannian Geometry in Sleep Stage Classification
• 1 Introduction
• 2 Materials and Methods
• 2.1 Covariance Matrix

This book constitutes the refereed proceedings of the 8th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2017, held in Lyon, France, in August 2017. The 3 revised full papers and 6 poster papers presented were carefully reviewed and selected from 15 submissions. The papers address a broad range of topics in applications of information technology to biomedical engineering and medical informatics.
(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)

• Statistics and learning.- Deep neural networks.- Faces and people.- Objects.- Classification and clustering.- Imaging.- Biomedical signal processing.- Recommendation.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 7th International Conference on Intelligence Science and Big Data Engineering, IScIDE 2017, held in Dalian, China, in September 2017.The 48 full papers and 14 short papers presented in this volume were carefully reviewed and selected from 121 submissions. They deal with statistics and learning; deep neural networks; faces and people; objects; classification and clustering; imaging; biomedical signal processing; and recommendation.
(source: Nielsen Book Data)

• A strong left Fractional Calculus for Banach space valued functions.- Strong Right Abstract Fractional Calculus.- Strong mixed and generalized Abstract Fractional Calculus.- Foundations of General Fractional Analysis for Banach space valued functions.- Vector abstract fractional Korovkin Approximation.- Basic Abstract Korovkin theory.- High Approximation for Banach space valued functions.- Vectorial abstract fractional approximation using linear operators.- Abstract fractional trigonometric Korovkin approximation.- Multivariate Abstract Approximation for Banach space valued functions.- Arctangent function based Abstract Neural Network approximation. .
• (source: Nielsen Book Data)

This brief book presents the strong fractional analysis of Banach space valued functions of a real domain. The book's results are abstract in nature: analytic inequalities, Korovkin approximation of functions and neural network approximation. The chapters are self-contained and can be read independently. This concise book is suitable for use in related graduate classes and many research projects. An extensive list of references is provided for each chapter. The book's results are relevant for many areas of pure and applied mathematics. As such, it offers a unique resource for researchers, and a valuable addition to all science and engineering libraries.
(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)

• Intelligent Computing in Robotics.- Intelligent Computing in Computer Vision.- Intelligent Control and Automation.- Intelligent Agent and Web Applications.- Fuzzy Theory and Algorithms.- Supervised Learning.- Unsupervised Learning.- Kernel Methods and Supporting Vector Machines.- Knowledge Discovery and Data Mining.- Natural Language Processing and Computational Linguistics.- Advances of Soft Computing: Algorithms and Its Applications - Rozaida Ghazali.- Advances in Swarm Intelligence Algorithm.- Computational Intelligence and Security for Image Applications in Social Network.- Biomedical Image Analysis.- Information Security.- Machine Learning.- Intelligent Data Analysis and Prediction.
• (source: Nielsen Book Data)

This three-volume set LNCS 10361, LNCS 10362, and LNAI 10363 constitutes the refereed proceedings of the 13th International Conference on Intelligent Computing, ICIC 2017, held in Liverpool, UK, in August 2017. The 212 full papers and 20 short papers of the three proceedings volumes were carefully reviewed and selected from 612 submissions. This third volume of the set comprises 67 papers. The papers are organized in topical sections such as Intelligent Computing in Robotics; Intelligent Computing in Computer Vision; Intelligent Control and Automation; Intelligent Agent and Web Applications; Fuzzy Theory and Algorithms; Supervised Learning; Unsupervised Learning; Kernel Methods and Supporting Vector Machines; Knowledge Discovery and Data Mining; Natural Language Processing and Computational Linguistics; Advances of Soft Computing: Algorithms and Its Applications - Rozaida Ghazali; Advances in Swarm Intelligence Algorithm; Computational Intelligence and Security for Image Applications in SocialNetwork; Biomedical Image Analysis; Information Security; Machine Learning; Intelligent Data Analysis and Prediction.
(source: Nielsen Book Data)

• Evolutionary Computation and Learning.- Neural Networks.- Nature Inspired Computing and Optimization.- Signal Processing.- Pattern Recognition.- Biometrics Recognition.- Image Processing
• Information Security.- Virtual Reality and Human-Computer Interaction.- Business Intelligence and Multimedia Technology.- Genetic Algorithms.- Biomedical Informatics Theory and Methods.- Particle Swarm Optimization and Niche Technology.- Swarm Intelligence and Optimization.- Independent Component Analysis.- Compressed Sensing and Sparse Coding.- Natural Computing.- Intelligent Computing in Computer Vision.- Computational Intelligence and Security for Image Applications in Social Network.- Neural Networks: Theory and Application.
• (source: Nielsen Book Data)

This three-volume set LNCS 10361, LNCS 10362, and LNAI 10363 constitutes the refereed proceedings of the 13th International Conference on Intelligent Computing, ICIC 2017, held in Liverpool, UK, in August 2017. The 212 full papers and 20 short papers of the three proceedings volumes were carefully reviewed and selected from 612 submissions. This first volume of the set comprises 71 papers. The papers are organized in topical sections such as Evolutionary Computation and Learning; Neural Networks; Nature Inspired Computing and Optimization; Signal Processing; Pattern Recognition; Biometrics Recognition; Image Processing; Information Security; Virtual Reality and Human-Computer Interaction; Business Intelligence and Multimedia Technology; Genetic Algorithms; Biomedical Informatics Theory and Methods; Particle Swarm Optimization and Niche Technology; Swarm Intelligence and Optimization; Independent Component Analysis; Compressed Sensing and Sparse Coding; Natural Computing; Intelligent Computing in Computer Vision; Computational Intelligence and Security for Image Applications in Social Network; Neural Networks: Theory and Application.
(source: Nielsen Book Data)

• Evolutionary Computation and Learning.- Neural Networks.- Nature Inspired Computing and Optimization.- Signal Processing.- Pattern Recognition.- Biometrics Recognition.- Image Processing
• Information Security.- Virtual Reality and Human-Computer Interaction.- Business Intelligence and Multimedia Technology.- Genetic Algorithms.- Biomedical Informatics Theory and Methods.- Particle Swarm Optimization and Niche Technology.- Swarm Intelligence and Optimization.- Independent Component Analysis.- Compressed Sensing and Sparse Coding.- Natural Computing.- Intelligent Computing in Computer Vision.- Computational Intelligence and Security for Image Applications in Social Network.- Neural Networks: Theory and Application.
• (source: Nielsen Book Data)

• Pattern Recognition.- Image Processing.- Virtual Reality and Human-Computer Interaction.- Healthcare Informatics Theory and Methods.- Genetic Algorithms.- Blind Source Separation.- Intelligent Fault Diagnosis.- Machine Learning
• Knowledge Discovery and Data Mining.- Gene Expression Array Analysis.- Systems Biology.- Modeling, Simulation, and Optimization of Biological Systems.- Intelligent Computing in Computational Biology.- Computational Genomics.- Computational Proteomics.- Gene Regulation Modeling and Analysis.- SNPs and Haplotype Analysis.- Protein-Protein Interaction Prediction.- Protein Structure and Function Prediction.- Next-Gen Sequencing and Metagenomics.- Structure Prediction and Folding.- Biomarker Discovery.- Applications of Machine Learning Techniques to Computational Proteomics, Genomics, and Biological Sequence Analysis
• Biomedical Image Analysis.- Human-Machine Interaction: Shaping Tools Which Will Shape Us.- Protein and Gene Bioinformatics: Analysis, Algorithms and Applications.- Special Session on Computer Vision based Navigation.- Neural Networks: Theory and Application.
• (source: Nielsen Book Data)

This three-volume set LNCS 10361, LNCS 10362, and LNAI 10363 constitutes the refereed proceedings of the 13th International Conference on Intelligent Computing, ICIC 2017, held in Liverpool, UK, in August 2017. The 221 full papers and 15 short papers of the three proceedings volumes were carefully reviewed and selected from 639 submissions. This second volume of the set comprises 74 papers. The papers are organized in topical sections such as Pattern Recognition; Image Processing; Virtual Reality and Human-Computer Interaction; Healthcare Informatics Theory and Methods; Genetic Algorithms; Blind Source Separation; Intelligent Fault Diagnosis; Machine Learning; Knowledge Discovery and Data Mining; Gene Expression Array Analysis; Systems Biology; Modeling, Simulation, and Optimization of Biological Systems; Intelligent Computing in Computational Biology; Computational Genomics; Computational Proteomics; Gene Regulation Modeling and Analysis; SNPs and Haplotype Analysis; Protein-Protein Interaction Prediction; Protein Structure and Function Prediction; Next-Gen Sequencing and Metagenomics; Structure Prediction and Folding; Biomarker Discovery; Applications of Machine Learning Techniques to Computational Proteomics, Genomics, and Biological Sequence Analysis; Biomedical Image Analysis; Human-Machine Interaction: Shaping Tools Which Will Shape Us; Protein and Gene Bioinformatics: Analysis, Algorithms and Applications; Special Session on Computer Vision based Navigation; Neural Networks: Theory and Application.
(source: Nielsen Book Data)
This three-volume set LNCS 10361, LNCS 10362, and LNAI 10363 constitutes the refereed proceedings of the 13th International Conference on Intelligent Computing, ICIC 2017, held in Liverpool, UK, in August 2017. The 212 full papers and 20 short papers of the three proceedings volumes were carefully reviewed and selected from 612 submissions. This first volume of the set comprises 71 papers. The papers are organized in topical sections such as Evolutionary Computation and Learning; Neural Networks; Nature Inspired Computing and Optimization; Signal Processing; Pattern Recognition; Biometrics Recognition; Image Processing; Information Security; Virtual Reality and Human-Computer Interaction; Business Intelligence and Multimedia Technology; Genetic Algorithms; Biomedical Informatics Theory and Methods; Particle Swarm Optimization and Niche Technology; Swarm Intelligence and Optimization; Independent Component Analysis; Compressed Sensing and Sparse Coding; Natural Computing; Intelligent Computing in Computer Vision; Computational Intelligence and Security for Image Applications in Social Network; Neural Networks: Theory and Application.
(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 Decision Support Systems for Sustainable Computing.- A Genetic Algorithm based Efficient Load Distribution Strategy for Handling Large Scale Workloads on Sustainable Computing Systems.- Efficiency in Energy Decision Support Systems using Soft Computing Techniques.- Computational Intelligence Based Heuristic Approach for Maximizing Energy Efficiency in Internet of Things.- Distributed Algorithm with Inherent Intelligence for Multi-Cloud Resource Provisioning.- Parameter Optimization methods based on Computational Intelligence Techniques in Context of Sustainable Computing.- The Maximum Power Point tracking using Fuzzy Logic Algorithm for DC Motor based Conveyor System.- Differential Evolution Based Significant Data Region Identification on Large Storage Drives.- A Fuzzy Based Power Switching Selection for Residential Application to beat Peak Time Power Demand.- Energy Saving Using Memorization: A Novel Energy-Efficient and Fault Tolerant Algorithm.- Analyzing Slavic Textual Sentiment using Deep Convolutional Neural Networks.- Intelligent Decision Support System for an Integrated Pest Management in Apple Orchard.- Analysis of Error Propagation in Safety Critical Software Systems: An Approach based on UGF.- A Framework for Analyzing Uncertainty in Data using Computational Intelligence Techniques.- .
• (source: Nielsen Book Data)

This unique book dicusses the latest research, innovative ideas, challenges and computational intelligence (CI) solutions in sustainable computing. It presents novel, in-depth fundamental research on achieving a sustainable lifestyle for society, either from a methodological or from an application perspective. Sustainable computing has expanded to become a significant research area covering the fields of computer science and engineering, electrical engineering and other engineering disciplines, and there has been an increase in the amount of literature on aspects sustainable computing such as energy efficiency and natural resources conservation that emphasizes the role of ICT (information and communications technology) in achieving system design and operation objectives. The energy impact/design of more efficient IT infrastructures is a key challenge in realizing new computing paradigms. The book explores the uses of computational intelligence (CI) techniques for intelligent decision support that can be exploited to create effectual computing systems, and addresses sustainability problems in computing and information processing environments and technologies at the different levels of CI paradigms. An excellent guide to surveying the state of the art in computational intelligence applied to challenging real-world problems in sustainable computing, it is intended for scientists, practitioners, researchers and academicians dealing with the new challenges and advances in area.
(source: Nielsen Book Data)

• Part I: Distributed Algorithms and Optimization.- A Performance Analysis of Self-* Evolutionary Algorithms on Networks with Correlated Failures.- Spatially Structured Evolutionary Algorithms: Graph Degree, Population Size and Convergence Speed.- Heuristic of Anticipation for Fair Scheduling and Resource Allocation in Grid VOs.- On the Applications of Dijkstra's Shortest Path Algorithm in Software Defined Networks.- Part II: Reasoning and Decision Making in Distributed Environments.- Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments.- A Modified Vickrey Auction with Regret Minimization for Uniform Alliance Decisions.- Lightweight Cooperative Self-Localization as Support to Traffic Regulation for Autonomous Car Driving.- A New Approach for Vertical Handover between LTE and WLAN Based on Fuzzy Logic and Graph Theory.- Part III: Multi-agent Systems.- Programming the Interaction Space Effectively with ReSpecTX.- Multi-Agent System to Design Next Generation of Airborne Platform.- A Drone-based Building Inspection System using Software-Agents.- Part IV: Data Analysis, Mining and Integration.- Connecting Social Media Data with Observed Hybrid Data for Environment Monitoring.- EUStress: a Human Behaviour Analysis System for Monitoring and Assessing Stress during Exams.- Post Sharing-based Credibility Network for Social Network.- Ontological Hybrid Storage for Security Data.- Part V: Machine Learning.- Wind Power Production Forecasting using Ant Colony Optimization and Extreme Learning Machines.- Convolutional Neural Networks for Four-Class Motor Imagery Data Classification.- Binary Classification of Images for Applications in Intelligent 3D Scanning.- Part VI: Internet of Things and Cloud Computing.- Context Aware Resource and Service Provisioning Management in Fog Computing Systems.- An Argumentative Approach to Smart Home Office Ambient Lighting.- A Recommender System Based on Hierarchical Clustering for Cloud e-Learning.- A Taxonomy of Anomalies in Distributed Cloud Systems: The CRI-Model.- Modeling and Analysis of IoT Energy Resource Exhaustion Attacks.- Part VII: Service-based Distributed Systems.- Service Discovery in Megascale Distributed Systems.- Context-Aware Access Control Model for Services Provided from Cloud Computing.- Reference Architecture for Self-Adaptive Microservice Systems.- Part VIII: WASA 2017 (7th Workshop on Applications of Software Agents).- Agent-Based Computing in the Internet of Things: a Survey.- Teaching, Learning and Assessment of Agents and Robotics in a Computer Science Curriculum.
• (source: Nielsen Book Data)

This book presents a collection of contributions addressing recent advances and research in synergistic combinations of topics in the joint fields of intelligent computing and distributed computing. It focuses on the following specific topics: distributed data mining and machine learning, reasoning and decision-making in distributed environments, distributed evolutionary algorithms, trust and reputation models for distributed systems, scheduling and resource allocation in distributed systems, intelligent multi-agent systems, advanced agent-based and service-based architectures, and Smart Cloud and Internet of Things (IoT) environments. The book represents the combined peer-reviewed proceedings of the 11th International Symposium on Intelligent Distributed Computing (IDC 2017) and the 7th International Workshop on Applications of Software Agents (WASA 2017), both of which were held in Belgrade, Serbia from October 11 to 13, 2017.
(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)

• Knowledge Engineering and Semantic Web.- Social Networks and Recommender Systems.- Text Processing and Information Retrieval.- Intelligent Database Systems.- Intelligent Information Systems.- Decision Support and Control Systems.- Machine Learning and Data Mining.- Computer Vision Techniques.- Advanced Data Mining Techniques and Applications.- Intelligent and Context Systems.- Multiple Model Approach to Machine Learning.- Applications of Data Science.- Artificial Intelligence Applications for E-services.- Automated Reasoning and Proving Techniques with Applications in Intelligent Systems.- Collective Intelligence for Service Innovation, Technology Opportunity, E-Learning and Fuzzy Intelligent Systems.- Intelligent Computer Vision Systems and Applications.- Intelligent Data Analysis, Applications and Technologies for Internet of Things.- Intelligent Algorithms and Brain Functions.- Intelligent Systems and Algorithms in Information Sciences.- IT in Biomedicine.- Intelligent Technologies in the Smart Cities in the 21st Century.- Analysis of Image, Video and Motion Data in Life Sciences.- Modern Applications of Machine Learning for Actionable Knowledge Extraction.- Mathematics of Decision Sciences and Information Science.- Scalable Data Analysis in Bioinformatics and Biomedical Informatics.- and Technological Perspective of Agile Transformation in IT organizations.
• (source: Nielsen Book Data)

The two-volume set LNAI 10191 and 10192 constitutes the refereed proceedings of the 9th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2017, held in Kanazawa, Japan, in April 2017. The total of 152 full papers accepted for publication in these proceedings was carefully reviewed and selected from 420 submissions.They were organized in topical sections named: Knowledge Engineering and Semantic Web; Social Networks and Recommender Systems; Text Processing and Information Retrieval; Intelligent Database Systems; Intelligent Information Systems; Decision Support and Control Systems; Machine Learning and Data Mining; Computer Vision Techniques; Advanced Data Mining Techniques and Applications; Intelligent and Context Systems; Multiple Model Approach to Machine Learning; Applications of Data Science; Artificial Intelligence Applications for E-services; Automated Reasoning and Proving Techniques with Applications in Intelligent Systems; Collective Intelligence for Service Innovation, Technology Opportunity, E-Learning and Fuzzy Intelligent Systems; Intelligent Computer Vision Systems and Applications; Intelligent Data Analysis, Applications and Technologies for Internet of Things; Intelligent Algorithms and Brain Functions; Intelligent Systems and Algorithms in Information Sciences; IT in Biomedicine; Intelligent Technologies in the Smart Cities in the 21st Century; Analysis of Image, Video and Motion Data in Life Sciences; Modern Applications of Machine Learning for Actionable Knowledge Extraction; Mathematics of Decision Sciences and Information Science; Scalable Data Analysis in Bioinformatics and Biomedical Informatics; and Technological Perspective of Agile Transformation in IT organizations.
(source: Nielsen Book Data)

• Knowledge Engineering and Semantic Web.- Social Networks and Recommender Systems.- Text Processing and Information Retrieval.- Intelligent Database Systems.- Intelligent Information Systems.- Decision Support and Control Systems.- Machine Learning and Data Mining.- Computer Vision Techniques.- Advanced Data Mining Techniques and Applications.- Intelligent and Context Systems.- Multiple Model Approach to Machine Learning.- Applications of Data Science.- Artificial Intelligence Applications for E-services.- Automated Reasoning and Proving Techniques with Applications in Intelligent Systems.- Collective Intelligence for Service Innovation, Technology Opportunity, E-Learning and Fuzzy Intelligent Systems.- Intelligent Computer Vision Systems and Applications.- Intelligent Data Analysis, Applications and Technologies for Internet of Things.- Intelligent Algorithms and Brain Functions.- Intelligent Systems and Algorithms in Information Sciences.- IT in Biomedicine.- Intelligent Technologies in the Smart Cities in the 21st Century.- Analysis of Image, Video and Motion Data in Life Sciences.- Modern Applications of Machine Learning for Actionable Knowledge Extraction.- Mathematics of Decision Sciences and Information Science.- Scalable Data Analysis in Bioinformatics and Biomedical Informatics.- and Technological Perspective of Agile Transformation in IT organizations.
• (source: Nielsen Book Data)

The two-volume set LNAI 10191 and 10192 constitutes the refereed proceedings of the 9th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2017, held in Kanazawa, Japan, in April 2017. The total of 152 full papers accepted for publication in these proceedings was carefully reviewed and selected from 420 submissions. They were organized in topical sections named: Knowledge Engineering and Semantic Web; Social Networks and Recommender Systems; Text Processing and Information Retrieval; Intelligent Database Systems; Intelligent Information Systems; Decision Support and Control Systems; Machine Learning and Data Mining; Computer Vision Techniques; Advanced Data Mining Techniques and Applications; Intelligent and Context Systems; Multiple Model Approach to Machine Learning; Applications of Data Science; Artificial Intelligence Applications for E-services; Automated Reasoning and Proving Techniques with Applications in Intelligent Systems; Collective Intelligence for Service Innovation, Technology Opportunity, E-Learning and Fuzzy Intelligent Systems; Intelligent Computer Vision Systems and Applications; Intelligent Data Analysis, Applications and Technologies for Internet of Things; Intelligent Algorithms and Brain Functions; Intelligent Systems and Algorithms in Information Sciences; IT in Biomedicine; Intelligent Technologies in the Smart Cities in the 21st Century; Analysis of Image, Video and Motion Data in Life Sciences; Modern Applications of Machine Learning for Actionable Knowledge Extraction; Mathematics of Decision Sciences and Information Science; Scalable Data Analysis in Bioinformatics and Biomedical Informatics; and Technological Perspective of Agile Transformation in IT organizations. .
(source: Nielsen Book Data)

• Introduction.- Medical foundations.- Elements of fuzzy set theory.- Cardinalities of interval-valued fuzzy sets and their applications in decision making with imperfect information.- OvaExpert System.- Summary.
• (source: Nielsen Book Data)

This book discusses computer-supported medical diagnosis with a particular focus on ovarian tumor diagnosis - since ovarian cancer is difficult to diagnose and has high mortality rates, especially in Central and Eastern Europe. It presents the theoretical foundations (both medical and mathematical) of the intelligent OvaExpert system, which supports decision-making in tumor diagnosis. OvaExpert was created primarily to help gynecologists predict the malignancy of ovarian tumors by applying the existing diagnostic models and using modern methods of computational intelligence that accommodate imprecise and imperfect medical data, both of which are common features of everyday medical practice. The book presents novel methods based on interval-valued fuzzy sets and the theory of their cardinalities.
(source: Nielsen Book Data)

• Soft, micro-nano, bio-inspired robotics.- Human-machine interaction.- Swarm robotics.- Underwater robotics.
• (source: Nielsen Book Data)

The three volume set LNAI 10462, LNAI 10463, and LNAI 10464 constitutes the refereed proceedings of the 10th International Conference on Intelligent Robotics and Applications, ICIRA 2017, held in Wuhan, China, in August 2017. The 235 papers presented in the three volumes were carefully reviewed and selected from 310 submissions. The papers in this first volume of the set are organized in topical sections on soft, micro-nano, bio-inspired robotics; human-machine interaction; swarm robotics; underwater robotics.
(source: Nielsen Book Data)

• Industrial robot and robot manufacturing.- Mechanism and parallel robotics.- Machine and robot vision.- Robot grasping and control.
• (source: Nielsen Book Data)

The three volume set LNAI 10462, LNAI 10463, and LNAI 10464 constitutes the refereed proceedings of the 10th International Conference on Intelligent Robotics and Applications, ICIRA 2017, held in Wuhan, China, in August 2017.The 235 papers presented in the three volumes were carefully reviewed and selected from 310 submissions. The papers in this second volume of the set are organized in topical sections on industrial robot and robot manufacturing; mechanism and parallel robotics; machine and robot vision; robot grasping and control.
(source: Nielsen Book Data)

• Security of Multimedia Contents: A Brief.- A Survey on Intelligent Security Techniques for High Definition Multimedia Data.- Intelligent Morphing and Steganography Techniques for Multimedia Security.- Information Hiding: Steganography.- Digital Watermarking: A Potential Solution For Multimedia Authentication.- Real Time Implementation of Reversible Watermarking.- Comparative Approach between Singular Value Decomposition and Randomized Singular Value Decomposition based watermarking.- Biometric Based Security System: Issues and Challenges.- Parametric Evaluation of Different CryptographicTechniques for Enhancement of Energy Efficiency in Wireless Communication Network.- Hand Image based Personal Authentication System.- A Study on Security and Surveillance System using Gait Recognition.- Face Recognition under Dry and Wet Face Conditions.- Improved Approach for 3D Face Characterization.- Attendance Recording System using Partial Face Recognition Algorithm.- Automatic Human Emotion Recognition in Surveillance Video.- Watermarking in Bio-medical Signal Processing.- Pixel Repetition Technique: A high capacity and reversible data hiding method for e-healthcare applications.- A New method of Haar and Db10 based Secured Compressed Data Transmission over GSM Voice Channel.- StegNmark: A Joint Stego-Watermark Approach for Early Tamper Detection.- Adaptive Color Image Watermarking Scheme Using Weibull Distribution.- Multi-Fingerprint Unimodel based Biometric Authentication Supporting Cloud Computing.
• (source: Nielsen Book Data)

This book proposes new algorithms to ensure secured communications and prevent unauthorized data exchange in secured multimedia systems. Focusing on numerous applications' algorithms and scenarios, it offers an in-depth analysis of data hiding technologies including watermarking, cryptography, encryption, copy control, and authentication. The authors present a framework for visual data hiding technologies that resolves emerging problems of modern multimedia applications in several contexts including the medical, healthcare, education, and wireless communication networking domains. Further, it introduces several intelligent security techniques with real-time implementation. As part of its comprehensive coverage, the book discusses contemporary multimedia authentication and fingerprinting techniques, while also proposing personal authentication/recognition systems based on hand images, surveillance system security using gait recognition, face recognition under restricted constraints such as dry/wet face conditions, and three-dimensional face identification using the approach developed here. This book equips perception technology professionals with the latest technologies, techniques, and strategies for multimedia security systems, offering a valuable resource for engineers and researchers working to develop security systems.
(source: Nielsen Book Data)

• Assistive robots.- Child-robot interaction.- Collaborative robotics.- Educational robotics.- Human-robot interaction.-Medical robotics.- Robotic mobility systems.- Robots at home.- Robot control and communication.- Social robotics.- Safety robot behavior.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the Second International Conference on Interactive Collaborative Robotics, ICR 2017, held in Hatfield, UK, in September 2017, as a satellite event of the 19th International Conference on Speech and Computer, SPECOM 2017. The 30 papers presented in this volume were carefully reviewed and selected from 51 submissions. This new conference invites researchers in the area of social robotics and collaborative robotics to share experience in human-machine interaction research and development of robotic and cyberphysical systems. Topics addressed are: assistive robots, child-robot interaction, collaborative robotics, educational robotics, human-robot interaction, medical robotics, robotic mobility systems, robots at home, robot control and communication, social robotics, as well as safety robot behavior.
(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)

• Next generation community engagement.- Online policy, politics and co-creation.- Understanding and empowering digital citizens.- Data-driven research and design.- Social media and online interaction.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 4th International Conference on Internet Science held in Thessaloniki, Greece, in November 2017. The 34 papers presented were carefully reviewed and selected for inclusion in this volume. They were organized in topical sections named: next generation community engagement; online policy, politics and co-creation; understanding and empowering digital citizens; data-driven research and design; social media and online interaction.
(source: Nielsen Book Data)

• Semantic interoperability.- Interoperabile architectures and platforms.- Business models and security.-Platform performance and applications.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the second International Workshop on Interoperability and Open-Source Solutions for the Internet of Things, InterOSS-IoT 2016, held in Stuttgart, Germany, November 7, 2016. The 11 revised full papers presented were carefully reviewed and selected from 17 submissions during two rounds of reviewing. They are organized in topical sections on semantic interoperability, interoperabile architectures and platforms, business models and security, platform performance and applications.
(source: Nielsen Book Data)

This book constitutes the refereed joint proceedings of the 6th Joint International Workshop on Computing and Visualization for Intravascular Imaging and Computer Assisted Stenting, CVII-STENT 2017, and the Second International Workshop on Large-Scale Annotation of Biomedical Data and Expert Label Synthesis, LABELS 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 6 full papers presented at CVII-STENT 2017 and the 11 full papers presented at LABELS 2017 were carefully reviewed and selected. The CVII-STENT papers feature the state of the art in imaging, treatment, and computer-assisted intervention in the field of endovascular interventions. The LABELS papers present a variety of approaches for dealing with few labels, from transfer learning to crowdsourcing.
(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)

• Agents.- Robotics.- Cognitive Sciences.- Machine learning.- Planning.- Knowledge representation.- Reasoning, and Ontologies.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017. The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions. The conference cover a range of topics from, e. g., agents, robotics, cognitive sciences, machine learning, planning, knowledge representation, reasoning, and ontologies, with numerous applications in areas like social media, psychology, transportation systems and reflecting the richness and diversity of their field.
(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)

• The use of linguistic linked open data.- The linguistic aspectsof DBpedia.- The improvement of of DBpedia through NLP applications.- Increasing theNLP applications through integrating knowledge from DPpedia.
• (source: Nielsen Book Data)

This book constitutes the combined refereed proceedings of ISWC Satellite Wor shops KEKIand NLP&DBpedia 2016 which were held in conjunction with ISWC 2016 in Kobe, Japan, inOctober 2016. The 9 papers presented were carefully selected and reviewed from 20submissions. They focus on the use of linguistic linked open data, the linguistic aspectsof DBpedia, the improvement of of DBpedia through NLP applications, on increasing theNLP applications through integrating knowledge from DPpedia.
(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)

• Algorithmic learning and semantics.- Automata and logics.- Combinatorics on words, compression, and pattern matching.- Complexity.- Finite automata.- Grammars, languages, and parsing.- Graphs and Petri Nets.- Non-classical automata.- Pushdown automata and systems.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umea, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions. The papers cover the following topics: algorithmic learning and semantics; automata and logics; combinatorics on words, compression, and pattern matching; complexity; finite automata; grammars, languages, and parsing; graphs and Petri Nets; non-classical automata; and pushdown automata and systems.
(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)

This book constitutes the proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2017, held in Grenoble, France, in Feburary 2017. The 53 papers presented in this volume were carefully reviewed and selected from 60 submissions. They were organized in topical sections named: tensor approaches; from source positions to room properties: learning methods for audio scene geometry estimation; tensors and audio; audio signal processing; theoretical developments; physics and bio signal processing; latent variable analysis in observation sciences; ICA theory and applications; and sparsity-aware signal processing. .
(source: Nielsen Book Data)

• Intro; Foreword; HCI International 2017 Thematic Areas and Affiliated Conferences; Contents
• Part I; Contents
• Part II; Multimodal and Natural Interaction for Learning; Immersive Visualization Technologies to Facilitate Multidisciplinary Design Education; Abstract; 1 Introduction; 2 Educational Needs and Multidisciplinary Programs; 3 Emerging Visualization Technologies; 4 Approach; 5 Discussion; References; Peacemaking Affordances of Shareable Interfaces: A Provocative Essay on Using Technology for Social ... ; Abstract; 1 Introduction; 2 Background Work; 2.1 Peace and Technology

• 2.2 Interactive Tabletops2.3 Tabletops for Peace; 3 Discussion; Acknowledgements; References; Acoustic Filter; Abstract; 1 Introduction; 2 Background; 2.1 Multi-channel Audio; 2.2 Object-Based Audio; 2.3 Ambisonics; 3 Methodology; 3.1 The Case Study Places; 4 Audio Filter Design and Analysis: Basic Parameters; 5 Filter Design; 6 Conclusion; Acknowledgments; References; Gesture Deviation in Interactive Communication
• A Cross Cultural Study of Indian Case Examples; Abstract; 1 Introduction; 2 Related Work on Gesture Based Studies; 3 Methodology

• 4 Planning the Experiment and Methodology Used for the Cross-Cultural Study of Gestures Amongst Indi ... 4.1 Selection of Content for the Study; 4.2 Selection of Subjects; 4.3 Selection of the Medium for Documentation; 4.4 Design and Studio Setup; 4.5 Identification of Gestures from Secondary Literature; 4.6 Method for Analysis of Video Recordings; 4.7 Data on Total Gesture Types Taken for Observation and Study; 5 Results and Observations; 5.1 Deictic Gestures (D); 5.2 Iconic Gestures; 5.3 Semaphoric Gestures (S); 5.4 Pantomimic Gestures; 6 Conclusion; 7 Implication for Interaction Design

The two-volume set LNCS 10295 and 10296 constitute the refereed proceedings of the 4th International Conference on Learning and Collaboration Technologies, LCT 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, in conjunction with 15 thematically similar conferences. The 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. The papers cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The papers included in this volume are organized in the following topical sections: multimodal and natural interaction for learning; learning and teaching ecosystems; e-learning, social media and MOOCs; beyond the classroom; and games and gamification for learning.
(source: Nielsen Book Data)

• Learning and Optimization in interconnected fields such as mathematical programming, global optimization, machine learning, and artificial intelligence.- Special focus: Advanced ideas, technologies, methods, and applications in optimization and machine learning.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Learning and Intelligent Optimization, LION 11, held in Nizhny, Novgorod, Russia, in June 2017. The 20 full papers (among these one GENOPT paper) and 15 short papers presented have been carefully reviewed and selected from 73 submissions. The papers explore the advanced research developments in such interconnected fields as mathematical programming, global optimization, machine learning, and artificial intelligence. Special focus is given to advanced ideas, technologies, methods, and applications in optimization and machine learning.
(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)

• Invited Talks.- The Design of the Seventh Answer Set Programming Competition.- A Bird's-Eye View of Forgetting in Answer-Set Programming.- Answer Set Programming and its Applications in Planning and Multi-Agent Systems.- From logic programming and non-monotonic reasoning to computational argumentation and beyond. - Nonmonotonic Reasoning Modular Construction of Minimal Models.- A Hasse Diagram for Weighted Sceptical Semantics with a Unique-status Grounded Semantics.- Foundations For A Probabilistic Event Calculus.- Contextual Reasoning: Usually Birds can Abductively Fly.- Including Quantification in Defeasible Reasoning for the Description Logic EL bot.- A Monotonic View on Reflexive Autoepistemic Reasoning.- The Minimal Inference Problem over Finite Domains: The Landscape of Complexity.- Answer Set Programming.- Gelfond-Zhang aggregates as propositional formulas.- Answer Set Solving with Bounded Treewidth Revisited.- Vicious Circle Principle and Formation of Sets in ASP Based Languages.- Answer Set Programs with Queries over Subprograms.- Explaining Inconsistency in Answer Set Programs and Extensions.- Blending Lazy-Grounding and CDNL Search for Answer-Set Solving.- Answer Set Programming with Graded Modality.- LPNMR Systems.- The ASP System DLV2.- lp2normal - A Normalization Tool for Extended Logic Programs.- Harvey: A System for Random Testing in ASP.- NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond.- ArgueApply: A Mobile App for Argumentation.- LPNMR Applications.- catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.- Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming.- plasp
• 3: Towards effective ASP Planning.- Nurse Scheduling via Answer Set Programming.- Hybrid Metabolic Network Completion.- Action Language Hybrid AL.- moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming.- Adjudication of Coreference Annotations via Answer Set Optimization. .
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The book also contains 4 invited talks. The papers were organized in topical sections named: nonmonotonic reasoning; answer set programming; LPNMR systems; and LPNMR applications.
(source: Nielsen Book Data)

• Sex Robots from the Perspective of Machine Ethics.- Affective Labor and Technologies of Gender in Wei Yahua's "Conjugal Happiness in the Arms of Morpheus.- Teletongue: A Lollipop Device For Remote Oral Interaction.- ROMOT: a Robotic 3D-Movie Theater Allowing Interaction and Multimodal Experiences.- For the Love of Artifice 2: Attachment.- Influences on the Intention to buy a Sex Robot: An empirical study on influences of personality traits and personal characteristics on the intention to buy a sex robot.- The Cyborg Mermaid (or how techne can help the misfits fit in).- Exploration of Relational Factors and the Likelihood of a Sexual Robotic Experience.- The Impact of a Humanlike Communication Medium on The Development of Intimate Human Relationship.- Kissenger - Development of a Real-Time Internet Kiss Communication Interface for Mobile Phones.- Sex with Robots for Love Free Encounters.- Robots, and Intimacies
• A Preliminary Study of Perceptions of Robots and Intimacies with Robots.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Second International Conference on Love and Sex with Robots 2016 in December 2016, in London, UK. The 12 revised papers presented together with 1 keynote were carefully reviewed and selected from a total of 38 submissions. The papers of the Second International Conference have been accepted and reviewed in 2015 but could not be presented as there was no conference in 2015 but at the conference in 2016. The topics of the conferences were as follows: robot emotions, humanoid robots, clone robots, entertainment robots, robot personalities, teledildonics, intelligent electronic sex hardware, gender approaches, affective approaches, psychological approaches, sociological approaches, roboethics, and philosophical approaches. The papers from the First International Conference 2015 were as follows: The Impact of a Humanlike Communication Medium on The Development of Intimate Human Relationship Kissenger - Development of a Real-Time Internet Kiss Communication Interface for Mobile Phones Sex with Robots for Love Free Encounters The papers from the Second International Conference 2016 were as follows: Why Not Marry a Robot? Sex Robots from the Perspective of Machine Ethics Affective Labor and Technologies of Gender in Wei Yahua's "Conjugal Happiness in the Arms of Morpheus" Teletongue: A Lollipop Device For Remote Oral Interaction ROMOT: a Robotic 3D-Movie Theater Allowing Interaction and Multimodal Experiences For the Love of Artifice 2: Attachment Influences on the Intention to buy a Sex Robot: An empirical study on influences of personality traits and personal characteristics on the intention to buy a sex robot The Cyborg Mermaid (or how techne can help the misfits fit in) Exploration of Relational Factors and the Likelihood of a Sexual Robotic Experience Robots, and Intimacies; A Preliminary Study of Perceptions of Robots and Intimacies with Robots.
(source: Nielsen Book Data)

• Classification.- Clustering.- Association rule.- Pattern mining.- Specific data mining methods.- Different multi-media data types.- Image mining.- Text mining.- Video mining.- Web mining.
• .
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 13th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 2017, held in New York, NY, USA in July/August 2017.The 31 full papers presented in this book were carefully reviewed and selected from 150 submissions. The topics range from theoretical topics for classification, clustering, association rule and pattern mining to specific data mining methods for the different multi-media data types such as image mining, text mining, video mining, and Web mining.
(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)

• From Large to Small Organ Segmentation in CT Using Regional Context.- Motion Corruption Detection in Breast DCE-MRI.- Detection and Localization of Drosophila Egg Chambers in Microscopy Images.- Growing a Random Forest with Fuzzy Spatial Features for Fully Automatic Artery-specific Coronary Calcium Scoring.- Atlas of Classifiers for Brain MRI Segmentation.- Dictionary Learning and Sparse Coding-based Denoising for High-Resolution Task Functional Connectivity MRI Analysis.- Yet Another ADNI Machine Learning Paper? Paving The Way Towards Fully-reproducible Research on Classification of Alzheimer's Disease.- Multi-Factorial Age Estimation from Skeletal and Dental MRI Volumes.- Automatic Classification of Proximal Femur Fractures Based on Attention Models.- Joint Supervoxel Classification Forest for Weakly-Supervised Organ Segmentation.- Accurate and Consistent Hippocampus Segmentation Through Convolutional LSTM and View Ensemble.- STAR: Spatio-Temporal Architecture for Super-Resolution in Low-Dose CT Perfusion.- Classification of Alzheimer's Disease by Cascaded Convolutional Neural Networks Using PET Images.- Finding Dense Supervoxel Correspondence of Cone-Beam Computed Tomography Images.- Multi-Scale Volumetric ConvNet with Nested Residual Connections for Segmentation of Anterior Cranial Base.- Feature Learning and Fusion of Multimodality Neuroimaging and Genetic Data for Multi-Status Dementia Diagnosis.- 3D Convolutional Neural Networks with Graph Refinement for Airway Segmentation Using Incomplete Data Labels.- Efficient Groupwise Registration for Brain MRI by Fast Initialization.- Sparse Multi-View Task-centralized Learning for ASD Diagnosis.- Inter-Subject Similarity Guided Brain Network Modelling for MCI Diagnosis.- Scalable and Fault Tolerant Platform for Distributed Learning on Private Medical Data.- Triple-Crossing 2.5D Convolutional Neural Network for Detecting Neuronal Arbours in 3D Microscopic Images.- Longitudinally-Consistent Parcellation of Infant Population Cortical Surfaces Based on Functional Connectivity.- Gradient Boosted Trees for Corrective Learning.- Self-paced Convolutional Neural Network for Computer Aided Detection in Medical Imaging Analysis.- A Point Says a Lot: An Interactive Segmentation Method for MR Prostate via One-Point Labeling.- Collage CNN for Renal Cell Carcinoma Detection from CT.- Aggregating Deep Convolutional Features for Melanoma Recognition in Dermoscopy Images.- Localizing Cardiac Structures in Fetal Heart Ultrasound Video.- Deformable Registration Through Learning of Context-Specific Metric Aggregation.- Segmentation of Craniomaxillofacial Bony Structures from MRI with a 3D Deep-learning Based Cascade Framework.- 3D U-net with Multi-Level Deep Supervision: Fully Automatic Segmentation of Proximal Femur in 3D MR Images.- Indecisive Trees for Classification and Prediction of Knee Osteoarthritis.- Whole Brain Segmentation and Labeling from CT using synthetic MR Images.- Structural Connectivity Guided Sparse Effective Connectivity for MCI Identification.- Fusion of High-order and Low-order Effective Connectivity Networks for MCI Classification.- Novel Effective Connectivity Network Inference for MCI Identification.- Reconstruction of Thin-Slice Medical Images Using Generative Adversarial Network.- Neural Network Convolution (NNC) for Converting Ultra-Low-Dose to "Virtual" High-Dose CT Images.- Deep-Fext: Deep Feature Extraction for Vessel Segmentation and Centerline Prediction.- Product Space Decompositions for Continuous Representations of Brain Connectivity.- Identifying Autism from Resting-State fMRI Using Long Short-Term Memory Networks.- Machine Learning for Large-Scale Quality Control of 3D Shape Models in Neuroimaging.- Tversky Loss Function for Image Segmentation Using 3D Fully Convolutional Deep Networks.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 8th International Workshop on Machine Learning in Medical Imaging, MLMI 2017, held in conjunction with MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 44 full papers presented in this volume were carefully reviewed and selected from 63 submissions. The main aim of this workshop is to help advance scientific research within the broad field of machine learning in medical imaging. The workshop focuses on major trends and challenges in this area, and presents works aimed to identify new cutting-edge techniques and their use in medical imaging.
(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)

• Introduction.- SLAM Front-end.- SLAM Back-end.- Path planning in belief space with Pose SLAM.- Active Pose SLAM.- Conclusions.
• (source: Nielsen Book Data)

This monograph introduces a unifying framework for mapping, planning and exploration with mobile robots considering uncertainty, linking such problems with a common SLAM approach, adopting Pose SLAM as the basic state estimation machinery. Pose SLAM is the variant of SLAM where only the robot trajectory is estimated and where landmarks are used to produce relative motion measurements between robot poses. With regards to extending the original Pose SLAM formulation, this monograph covers the study of such measurements when they are obtained with stereo cameras, develops the appropriate noise propagation models for such case, extends the Pose SLAM formulation to SE(3), introduces information-theoretic loop closure tests, and presents a technique to compute traversability maps from the 3D volumetric maps obtained with Pose SLAM. A relevant topic covered in this monograph is the introduction of a novel path planning approach that exploits the modeled uncertainties in Pose SLAM to search for the path in the pose graph that allows the robot to navigate to a given goal with the least probability of becoming lost. Another relevant topic is the introduction of an autonomous exploration method that selects the appropriate actions to drive the robot so as to maximize coverage, while minimizing localization and map uncertainties. This monograph is appropriate for readers interested in an information-theoretic unified perspective to the SLAM, path planning and exploration problems, and is a reference book for people who work in mobile robotics research in general.
(source: Nielsen Book Data)

• Algebraic Theory, Max-Plus and Max-Min Mathematics.- Discrete Geometry and Discrete Topology.- Watershed and Graph-based Segmentation.- Trees and Hierarchies.- Topological and Graph-based Clustering, Classification and Filtering.- Connected Operators and Attribute Filters.- PDE-based Morphology.- Scale-Space Representations and Nonlinear Decompositions.- Computational Morphology.- Object Detection.- Biomedical, Material Science and Physical Applications.
• (source: Nielsen Book Data)

This book contains the refereed proceedings of the 13th International Symposium on Mathematical Morphology, ISMM 2017, held in Fontainebleau, France, in May 2017. The 36 revised full papers presented together with 4 short papers were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on algebraic theory, max-plus and max-min mathematics; discrete geometry and discrete topology; watershed and graph-based segmentation; trees and hierarchies; topological and graph-based clustering, classification and filtering; connected operators and attribute filters; PDE-based morphology; scale-space representations and nonlinear decompositions; computational morphology; object detection; and biomedical, material science and physical applications.
(source: Nielsen Book Data)

• Constructing Subject- and Disease-Specific Effect Maps: Application to Neurodegenerative Diseases.- BigBrain: Automated Cortical Parcellation and Comparison with Existing Brain Atlases.- LATEST: Local AdapTivE and Sequential Training for Tissue Segmentation of Isointense Infant Brain MR Images.- Landmark-based Alzheimer's Disease Diagnosis Using Longitudinal Structural MR Images.- Inferring Disease Status by non-Parametric Probabilistic Embedding.- A Lung Graph-Model for Pulmonary Hypertension and Pulmonary Embolism Detection on DECT Images.- Explaining Radiological Emphysema Subtypes with Unsupervised Texture Prototypes: MESA COPD Study.- Automatic Segmentation of Abdominal MRI Using Selective Sampling and Random Walker.- Gaze2Segment: A Pilot Study for Integrating Eye-Tracking Technology into Medical Image Segmentation.- Automatic Detection of Histological Artifacts in Mouse Brain Slice Images.- Lung Nodule Classification by Jointly Using Visual Descriptors and Deep Features.- Representation Learning for Cross-Modality Classification.- Guideline-based Machine Learning for Standard Plane Extraction in 3D Cardiac Ultrasound.- A Statistical Model for Simultaneous Template Estimation, Bias Correction, and Registration of 3D Brain Images.- Bayesian Multiview Manifold Learning Applied to Hippocampus Shape and Clinical Score Data.- Rigid Slice-To-Volume Medical Image Registration through Markov Random Fields.- Sparse Probabilistic Parallel Factor Analysis for the Modeling of PET and Task-fMRI data.- Non-local Graph-based Regularization for Deformable Image Registration.- Unsupervised Framework for Consistent Longitudinal MS Lesion Segmentation. .
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Medical Computer Vision, MCV 2016, and of the International Workshop on Bayesian and grAphical Models for Biomedical Imaging, BAMBI 2016, held in Athens, Greece, in October 2016, held in conjunction with the 19th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2016. The 13 papers presented in MCV workshop and the 6 papers presented in BAMBI workshop were carefully reviewed and selected from numerous submissions. The goal of the MCV workshop is to explore the use of "big data" algorithms for harvesting, organizing and learning from large-scale medical imaging data sets and for general-purpose automatic understanding of medical images. The BAMBI workshop aims to highlight the potential of using Bayesian or random field graphical models for advancing research in biomedical image analysis.
(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)