%{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)

• Efficient Implementation of Pedersen Commitments Using Twisted Edwards Curves.- Enhanced Sinkhole System: Collecting System Details to Support Investigation.- An Autonomous System based Security Mechanism for Network Coding Applications in Content-Centric Networking.- An Ultra-Lightweight Authentication Scheme for Heterogeneous Wireless Sensor Networks in the Context of Internet of Things.- Authentication based Elliptic Curves Cryptography for ZigBee Networks.- Formal Modeling and Performance Evaluation of Network's Server under SYN / TCP Attack.- Empirical Evaluation of a Distributed Deployment Strategy for Virtual Networks.- Identifying Service Contexts for QoS Support in IoT Service Oriented Software Defined Networks.- A fast bit-level MPLS-based source routing scheme in Software Defined Networks: SD-{L, W}AN.- Requirements and Complexity Analysis of Cross-Layer Design Optimization for Adaptive Inter-Vehicle DSRC.- Technique Stages for Efficient Wideband Spectrum Sensing Based on Compressive Sensing.- Predicting Response Time-related Quality-of-Service Outages of PaaS Cloud Applications by Machine Learning.- Intelligent Road Design Using Artificial Intelligence Techniques.- Mobility Prediction in Vehicular Network: An Approach through Hybrid Neural Network under Uncertainty.- Building an Information Retrieval System Based on Genetic Algorithms.- A GRC-Centric Approach for Enhancing Management Process of IoT-Based Health Institution.- Energy Consumption Estimation for Energy-Aware, Adaptive Sensing Applications.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Mobile, Secure and Programmable Networking, held in Paris, France, in June 2017. The 17 papers presented in this volume were carefully reviewed and selected from 35 submissions. They discuss new trends in networking infrastructures, security, services and applications while focusing on virtualization and cloud computing, network programming, software defined networks (SDN) and their security.
(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)

• Aggregation operators, fuzzy measures and integrals.- Clustering and classication.- Data privacy and security.- Data mining and applications.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 14th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2017, held in Kitakyushu, Japan, in October 2017.The 18 revised full papers presented together with one invited paper and three abstracts of invited talks were carefully reviewed and selected from 30 submissions. Providing a forum for researchers to discuss models for decision and information fusion (aggregation operators) and their applications to AI, the papers are organized in topical sections on aggregation operators, fuzzy measures and integrals; clustering and classication; data privacy and security; data mining and applications.
(source: Nielsen Book Data)

• Cooperative Games.- Fuzzy Coalitions and Fuzziness of Games.- Games with a Fuzzy Bilateral Relation among the Players.- Fuzzy Communication.- A Priori Fuzzy Unions
• Fuzzy Permission.
• (source: Nielsen Book Data)

This book offers a comprehensive introduction to cooperative game theory and a practice-oriented reference guide to new models and tools for studying bilateral fuzzy relations among several agents or players. It introduces the reader to several fuzzy models, each of which is first analyzed in the context of classical games (crisp games) and subsequently in the context of fuzzy games. Special emphasis is given to the value of Shapley, which is presented for the first time in the context of fuzzy games. Students and researchers will find here a self-contained reference guide to cooperative fuzzy games, characterized by a wealth of examples, descriptions of a wide range of possible situations, step-by-step explanations of the basic mathematical concepts involved, and easy-to-follow information on axioms and properties.
(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)

• Fifth International Workshop on Computational Methods for Molecular Imaging, CMMI 2017:
• 3D Lymphoma Segmentation in PET/CT Images Based on Fully Connected CRFs / Yuntao Yu, Pierre Decazes, Isabelle Gardin, Pierre Vera, Su Ruan
• Individual Analysis of Molecular Brain Imaging Data Through Automatic Identification of Abnormality Patterns / Ninon Burgos, Jorge Samper-González, Anne Bertrand, Marie-Odile Habert, Sébastien Ourselin, Stanley Durrleman et al.
• W-Net for Whole-Body Bone Lesion Detection on 68 Ga-Pentixafor PET/CT Imaging of Multiple Myeloma Patients / Lina Xu, Giles Tetteh, Mona Mustafa, Jana Lipkova, Yu Zhao, Marie Bieth et al.
• 3D Alpha Matting Based Co-segmentation of Tumors on PET-CT Images / Zisha Zhong, Yusung Kim, John Buatti, Xiaodong Wu
• Synthesis of Positron Emission Tomography (PET) Images via Multi-channel Generative Adversarial Networks (GANs) / Lei Bi, Jinman Kim, Ashnil Kumar, Dagan Feng, Michael Fulham
• Second International Workshop on Reconstruction and Analysis of Moving Body Organs, RAMBO 2017:
• Dynamic Respiratory Motion Estimation Using Patch-Based Kernel-PCA Priors for Lung Cancer Radiotherapy / Tiancheng He, Ramiro Pino, Bin Teh, Stephen Wong, Zhong Xue
• Mass Transportation for Deformable Image Registration with Application to Lung CT / Bartłomiej W. Papież, Sir Michael Brady, Julia A. Schnabel
• Motion-Robust Spatially Constrained Parameter Estimation in Renal Diffusion-Weighted MRI by 3D Motion Tracking and Correction of Sequential Slices / Sila Kurugol, Bahram Marami, Onur Afacan, Simon K. Warfield, Ali Gholipour
• Semi-automatic Cardiac and Respiratory Gated MRI for Cardiac Assessment During Exercise / Bram Ruijsink, Esther Puyol-Antón, Muhammad Usman, Joshua van Amerom, Phuoc Duong, Mari Nieves Velasco Forte et al.
• CoronARe: A Coronary Artery Reconstruction Challenge / Serkan Çimen, Mathias Unberath, Alejandro Frangi, Andreas Maier
• Freehand Ultrasound Image Simulation with Spatially-Conditioned Generative Adversarial Networks / Yipeng Hu, Eli Gibson, Li-Lin Lee, Weidi Xie, Dean C. Barratt, Tom Vercauteren et al.
• Context-Sensitive Super-Resolution for Fast Fetal Magnetic Resonance Imaging / Steven McDonagh, Benjamin Hou, Amir Alansary, Ozan Oktay, Konstantinos Kamnitsas, Mary Rutherford et al.
• Reconstruction of 3D Cardiac MR Images from 2D Slices Using Directional Total Variation / Nicolas Basty, Darryl McClymont, Irvin Teh, Jürgen E. Schneider, Vicente Grau
• An Efficient Multi-resolution Reconstruction Scheme with Motion Compensation for 5D Free-Breathing Whole-Heart MRI / Rosa-María Menchón-Lara, Javier Royuela-del-Val, Alejandro Godino-Moya, Lucilio Cordero-Grande, Federico Simmross-Wattenberg, Marcos Martín-Fernández et al.
• First International Stroke Workshop on Imaging and Treatment Challenges, SWITCH 2017:
• Automated Ventricular System Segmentation in CT Images of Deformed Brains Due to Ischemic and Subarachnoid Hemorrhagic Stroke / E. Ferdian, A. M. Boers, L. F. Beenen, B. M. Cornelissen, I. G. Jansen, K. M. Treurniet et al.
• Towards Automatic Collateral Circulation Score Evaluation in Ischemic Stroke Using Image Decompositions and Support Vector Machines / Yiming Xiao, Ali Alamer, Vladimir Fonov, Benjamin W. Y. Lo, Donatella Tampieri, D. Louis Collins et al.
• The Effect of Non-contrast CT Slice Thickness on Thrombus Density and Perviousness Assessment / M. L. Tolhuisen, J. Enthoven, E. M. M. Santos, W. J. Niessen, L. F. M. Beenen, D. W. J. Dippel et al.
• Quantitative Collateral Grading on CT Angiography in Patients with Acute Ischemic Stroke / Anna M. M. Boers, Renan Sales Barros, Ivo G. H. Jansen, Cornelis H. Slump, Diederik W. J. Dippel, Aad van der Lugt et al.

This book constitutes the refereed joint proceedings of the International Workshop on Computational Methods for Molecular Imaging, CMMI 2017, the International Workshop on Reconstruction and Analysis of Moving Body Organs, RAMBO 2017, and the International Stroke Workshop: Imaging and Treatment Challenges, SWITCH 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 5 full papers presented at FIFI 2017, the 9 full papers presented at RAMBO 2017, and the 4 full papers presented at SWITCH 2017 were carefully reviewed and selected. The CMMI papers cover various areas from image synthesis to data analysis and from clinical diagnosis to therapy individualization, using molecular imaging modalities PET, SPECT, PET/CT, SPECT/CT, and PET/MR. The RAMBO papers present research from both academia and industry, They are organized into the categories "registration and tracking" and "image reconstruction and information retrieval" while application areas include cardiac, pulmonal, abdominal, fetal, and renal imaging. The SWITCH papers focus on CT(A)-based quantitative imaging biomarkers for stroke.
(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)

• Knowledge representation and reasoning.- Data mining and machine learning.- Deep learning and its applications.- Document analysis.- Intelligent information systems.- Swarm intelligence.
• (source: Nielsen Book Data)

This book constitutes the refereed conference proceedings of the 11th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2017, held in Gadong, Brunei, in November 2017. The 40 revised full papers presented were carefully reviewed and selected from 82 submissions. They are organized in the following topical sections: knowledge representation and reasoning; data mining and machine learning; deep learning and its applications; document analysis; intelligent information systems; swarm intelligence.
(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)

• Type-2 and Intuitionistic Fuzzy Logic: On the Graphical Representation of Intuitionistic Membership Functions for its use in Intuitionistic Fuzzy Inference Systems.- A gravitational search algorithm using type-2 fuzzy logic for parameter adaptation.- General Type-2 Fuzzy edge detection in the preprocessing of a face recognition system.- Interval Type-2 Fuzzy Possibilistic C-Means Optimization using Particle Swarm Optimization.- Optimization of Type-2 and Type-1 Fuzzy Integrator to Ensemble Neural Network with Fuzzy Weights Adjustment.- Choquet integral and Interval Type-2 Fuzzy Choquet integral for edge detection.- An Overview of Granular Computing using Fuzzy Logic Systems.
• (source: Nielsen Book Data)

This book highlights recent advances in the design of hybrid intelligent systems based on nature-inspired optimization and their application in areas such as intelligent control and robotics, pattern recognition, time series prediction, and optimization of complex problems. The book is divided into seven main parts, the first of which addresses theoretical aspects of and new concepts and algorithms based on type-2 and intuitionistic fuzzy logic systems. The second part focuses on neural network theory, and explores the applications of neural networks in diverse areas, such as time series prediction and pattern recognition. The book's third part presents enhancements to meta-heuristics based on fuzzy logic techniques and describes new nature-inspired optimization algorithms that employ fuzzy dynamic adaptation of parameters, while the fourth part presents diverse applications of nature-inspired optimization algorithms. In turn, the fifth part investigates applications of fuzzy logic in diverse areas, such as time series prediction and pattern recognition. The sixth part examines new optimization algorithms and their applications. Lastly, the seventh part is dedicated to the design and application of different hybrid intelligent systems.
(source: Nielsen Book Data)

• Part I Genetic Programming
• Part II Combinatorial Optimization
• Part IV Machine Learning and Real World Applications.

This volume comprises a selection of works presented at the Numerical and Evolutionary Optimization (NEO) workshop held in September 2015 in Tijuana, Mexico. The development of powerful search and optimization techniques is of great importance in today’s world that requires researchers and practitioners to tackle a growing number of challenging real-world problems. In particular, there are two well-established and widely known fields that are commonly applied in this area: (i) traditional numerical optimization techniques and (ii) comparatively recent bio-inspired heuristics. Both paradigms have their unique strengths and weaknesses, allowing them to solve some challenging problems while still failing in others. The goal of the NEO workshop series is to bring together people from these and related fields to discuss, compare and merge their complimentary perspectives in order to develop fast and reliable hybrid methods that maximize the strengths and minimize the weaknesses of the underlying paradigms. Through this effort, we believe that the NEO can promote the development of new techniques that are applicable to a broader class of problems. Moreover, NEO fosters the understanding and adequate treatment of real-world problems particularly in emerging fields that affect us all such as health care, smart cities, big data, among many others. The extended papers the NEO 2015 that comprise this book make a contribution to this goal.

• Part I: Smart Cities.- Defensive Driving Strategy and Control for Autonomous Ground Vehicle in Mixed Traffic.- Augmenting the LSA Technique to Evaluate Ubicomp Environments.- Mixed Integer Programming Formulation for the Energy-Efficient Train Timetables Problem.- Distributing Computing in the Internet of Things: Cloud, Fog and Edge Computing Overview.- Part II: Search, Optimization and Hybrid Algorithms.- Integer Programming Models and Heuristics for Non-Crossing Euclidean 3-Matchings.- A Multi-Objective Robust Ellipse Fitting Algorithm.- Gradient-Based Multiobjective Optimization with Uncertainties.- A New Local Search Heuristic for the Multidimensional Assignment Problem.- Part III: Electronics and Embedded Systems.- A Multi-Objective and Multidisciplinary Optimisation Algorithm for Microelectromechanical Systems.- Coefficients Estimation of MPM through LSE, ORLS and SLS for RF-PA Modeling and DPD.- Optimal Sizing of Amplifiers by Evolutionary Algorithms with Integer Encoding and gm/ID Design Method.- Index. .
• (source: Nielsen Book Data)

This volume comprises a selection of works presented at the Numerical and Evolutionary Optimization (NEO 2016) workshop held in September 2016 in Tlalnepantla, Mexico. The development of powerful search and optimization techniques is of great importance in today's world and requires researchers and practitioners to tackle a growing number of challenging real-world problems. In particular, there are two well-established and widely known fields that are commonly applied in this area: (i) traditional numerical optimization techniques and (ii) comparatively recent bio-inspired heuristics. Both paradigms have their unique strengths and weaknesses, allowing them to solve some challenging problems while still failing in others. The goal of the NEO workshop series is to bring together experts from these and related fields to discuss, compare and merge their complementary perspectives in order to develop fast and reliable hybrid methods that maximize the strengths and minimize the weaknesses of the underlying paradigms. In doing so, NEO promotes the development of new techniques that are applicable to a broader class of problems. Moreover, NEO fosters the understanding and adequate treatment of real-world problems particularly in emerging fields that affect all of us, such as healthcare, smart cities, big data, among many others. The extended papers presented in the book contribute to achieving this goal. .
(source: Nielsen Book Data)

• Parallel and distributed applications and algorithms.- Parallel and distributed architectures and systems.- Parallel and distributed software environments and tools.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 14th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2017, held in Hefei, China, in October 2017.The 9 full papers and 10 short papers presented in this book were carefully reviewed and selected from 88 submissions. The papers cover traditional areas of network and parallel computing including parallel applications, distributed algorithms, software environments, and distributed tools. .
(source: Nielsen Book Data)

• RFID-based Multilevel Sensing Network for Industrial Internet of Things.- Convey Intelligence to Edge Aggregation Analytics.- Publish-Subscribe Based Monitoring Model For Wireless Sensor Networks.- Towards Data governance in the Internet of Things.- Advancing Cognitive Cities with the Web of Things.- Transferring Wireless High Update Rate Supermedia Streams Over IoT.- Smart Connectivity for Internet of Things (IoT) Applications.- A Blockchain-based Storage System for Data Analytics in the Internet of Things.- Ensuring Quality of Service in the Internet of Things.- Wireless Sensor Network-IoT Infrastructure.
• (source: Nielsen Book Data)

This book presents a selection of highly relevant works concerning the Internet of Things, including: IoT Architectures, Standardization, Smart Cities, Smart Health, the communication of Smart Things, and outstanding IoT use cases. Some of these works present important future lines for the evolution of IoT systems. Thanks to its unique structure, the book allows authors to describe their works at an unprecedented level of detail. The special chapters contain extended versions of prominent and/or high-impact IoT projects that have laid the foundations of many subsequent IoT systems due to their level of innovation, and reflect highly relevant and innovative trends in the development of a new generation of IoT Systems.
(source: Nielsen Book Data)

• Discourse particles.- Disjunction.- Truth.- Copredication.- Expressive content.- Categorial grammar.- Dependent type semantics.- Sequent calculus.- Fundamental and practical issues.- Law.- Social science.- Information.- Intelligent technology.- Logic and philosophy.- Formal and informal logic.- Artificial intelligence.- Safety engineering.- Healthy aging.- Elderly care support.- Time series data analysis.- Real life application.- Prediction.- Autism spectrum disorders.- Robots.- Social anxiety.- Skill science.- Analogical abduction.- Dynamic balancing.
• .
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2015 Workshops LENLS 12, JURISIN 9, AAA 2015, HAT-MASH 2015, TSDAA 2015, ASD-HR 2015, and SKL 2015, held in Kanagawa, Japan, in November 2015. The 39 regular papers presented in this volume were carefully reviewed and selected from 114 submissions. LENLS 12 (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and focused on discourse particles; disjunction; truth; copredication; expressive content; categorial grammar; dependent type semantics; sequent calculus; and various aspects of formal pragmatics. JURISIN 9 (Juris-Informatics) is the 9th event in the series. The purpose of this workshop is to discuss fundamental and practical issues such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. AAA 2015 (Argument for Agreement and Assurance) has the goal of deepening a mutual understanding and exploring a new research field involving researchers/practitioners in formal and informal logic, artificial intelligence, and safety engineering working on agreement and assurance through argument. HAT-MASH 2015 (Healthy Aging Tech Mashup Service, Data and People) provides a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches. TSDAA 2015 (Workshop on Time Series Data Analysis and its Applications) aimes at providing an interdisciplinary forum for discussion of different approaches and techniques of time series data analysis and their implementation in various real life applications. ASD-HR 2015 (Autism Spectrum Disorders Using a Humanoid Robot) presents the studies in the interdisciplinary field of research including both engineering and medical sides. SKL 2015 (Skill Science) discusses the theoretical foundations of skill science as well as practical and engineering issues.
(source: Nielsen Book Data)

• Logic engineering of natural language semantics.- Healthy aging tech mashup service, data and people.- Artificial intelligence of and for business.- Juris-informatics - studies of legal issues from the perspecitve of informatics.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2016 Workshops, LENLS 13, HAT-MASH, AI-Biz, JURISIN and SKL, held in Kanagawa, Japan, in November 1016. The 22 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. LENLS 13 was the 13th event in the series, and it focused on the formal and theoretical aspects of natural language. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop recognized internationally in the formal syntax-semantics-pragmatics community. It has been bringing together for discussion and interdisciplinary communication researchers working on formal theories of natural language syntax, semantics and pragmatics, (formal) philosophy, artificial intelligence and computational linguistics. HAT-MASH 2016 (Healthy Aging Tech mashup service, data and people) was the second international workshop bridges healthy aging and elderly care technology, information technology and service engineering. The main objective of this workshop was to provide a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches. AI-Biz 2016 (Artificial Intelligence of and for Business) was the first workshop held to foster the concepts and techniques of Business Intelligence (BI) in Artificial Intelligence. BI should include such cutting-edge techniques as data science, agent-based modelling, complex adaptive systems, and IoT. The main purpose of this workshop is to provide a forum to discuss important research questions and practical challenges in Business Intelligence, Business Informatics, Data Analysis and Agent-based Modelling to exchange latest results, to join efforts in solving the common challenges.JURISIN 2016 was the tenth international workshop on Juris-informatics. Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop was to discuss both the fundamental and practical issues among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. SKL 2016 (The Third International Workshop on Skill Science) was aimed to internationalize the research on skill sciences through organizing the meeting. Human skills involve well-attuned perception and fine motor control, often accompanied by thoughtful planning. The involvement of body, environment, and tools mediating them makes the study of skills unique among researches of human intelligence.
(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)

• Numerical Modeling.- Numerical Stochastics
• Numerical Approximation and Computational Geometry.- Numerical Linear Algebra and Numerical Solution of Transcendental Equations-.- Numerical Methods for Differential Equations.- High Performance Scientific Computing.
• (source: Nielsen Book Data)

This book constitutes thoroughly revised selected papers of the 6th International Conference on Numerical Analysis and Its Applications, NAA 2016, held in Lozenetz, Bulgaria, in June 2016. The 90 revised papers presented were carefully reviewed and selected from 98 submissions. The conference offers a wide range of the following topics: Numerical Modeling; Numerical Stochastics; Numerical Approx-imation and Computational Geometry; Numerical Linear Algebra and Numer-ical Solution of Transcendental Equations; Numerical Methods for Differential Equations; High Performance Scientific Computing; and also special topics such as Novel methods in computational finance based on the FP7 Marie Curie Action, Project Multi-ITN STRIKE - Novel Methods in Compu-tational Finance, Grant Agreement Number 304617; Advanced numerical and applied studies of fractional differential equations.
(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)

• OnTheMove 2017 Keynotes.- International Conference on Cooperative Information Systems (CoopIS) 2017.- Cloud and Trusted Computing (C&TC) 2017.- International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE) 2017.
• (source: Nielsen Book Data)

This double volumes LNCS 10573-10574 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2017, Ontologies, Databases, and Applications of Semantics, ODBASE 2017, and Cloud and Trusted Computing, C&TC, held as part of OTM 2017 in October 2017 in Rhodes, Greece. The 61 full papers presented together with 19 short papers were carefully reviewed and selected from 180 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)

• OnTheMove 2017 Keynotes.- International Conference on Cooperative Information Systems (CoopIS) 2017.- Cloud and Trusted Computing (C&TC) 2017.- International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE) 2017.
• (source: Nielsen Book Data)

This double volumes LNCS 10573-10574 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2017, Ontologies, Databases, and Applications of Semantics, ODBASE 2017, and Cloud and Trusted Computing, C&TC, held as part of OTM 2017 in October 2017 in Rhodes, Greece. The 61 full papers presented together with 19 short papers were carefully reviewed and selected from 180 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)

• Reuse methods in ontology engineering practices and software engineering.- Reuse practices throughout the ontology development cycle.- Modeling/terminological decisions, alignment and comparison between ontologies.- How ontologies are stored, versioned, distributed and consumed over the Web.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed conference proceedings of the 13International Workshop on OWL: Experiences and Directions, OWLED 2016, and the 5th International Workshop on OWL: Reasoner Evaluation, ORE 2016, held in Bologna, Italy in November 20, 2016. The Workshops were co-located with the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016. The 11 revised full papers, 3 short paper and one invited talk presented were carefully reviewed and selected from 27 initial submissions. The papers are trying to bridge the gap between ontology engineering practices and software engineering with the aim of describing reuse methods employed throughout the ontology development cycle; modeling/terminological decisions, alignment and comparison between ontologies, how ontologies are stored, versioned, distributed and consumed over the Web. .
(source: Nielsen Book Data)

• Multi-atlas segmentation.- Segmentation.- Alzheimer's disease.- Reconstruction, denoising, super-resolution.- Tumor, lesion.- Classification, retrival.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Third International Workshop on Patch-Based Techniques in Medical Images, Patch-MI 2017, which was held in conjunction with MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 18 regular papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections on multi-atlas segmentation; segmentation; Alzheimer's disease; reconstruction, denoising, super-resolution; tumor, lesion; and classification, retrival.
(source: Nielsen Book Data)

• Biomedical Image Processing and Analysis.- Classication and Detection.- Computational Photography.- Image and Video Processing.- Machine Learning and Pattern Recognition.- Mathematical Foundations, Statistical Data Analysis and Models.- Motion and Segmentation.- Pose, Face and Gesture.- Reconstruction and Depth.- Tracking.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 39th German Conference on Pattern Recognition, GCPR 2017, held in Basel, Switzerland, in September 2017.The 33 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on biomedical image processing and analysis; classification and detection; computational photography; image and video processing; machine learning and pattern recognition; mathematical foundations, statistical data analysis and models; motion and segmentation; pose, face and gesture; reconstruction and depth; and tracking.
(source: Nielsen Book Data)

• Pattern recognition and artificial intelligence techniques.- Image processing and analysis.- Robotics and remote sensing.- Natural language processing and recognition.- Applications of pattern recognition.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 9th Mexican Conference on Pattern Recognition, MCPR 2017, held in Huatulco, Mexico, in June 2017. The 29 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on pattern recognition and artificial intelligence techniques, image processing and analysis, robotics and remote sensing, natural language processing and recognition, applications of pattern recognition.
(source: Nielsen Book Data)

• Pattern Recognition and Machine Learning.- Computer Vision.- Image and Signal Processing.- Medical Image.-Applications.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 8th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2017, held in Faro, Portugal, in June 2017. The 60 regular papers presented in this volume were carefully reviewed and selected from 86 submissions. They are organized in topical sections named: Pattern Recognition and Machine Learning; Computer Vision; Image and Signal Processing; Medical Image; and Applications.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Contents
• Experimental Evaluation of Graph Classification with Hadamard Code Graph Kernels
• 1 Introduction
• 2 Graph Kernels
• 2.1 Framework of Representative Graph Kernels
• 2.2 Drawbacks of Existing Graph Kernels
• 3 Graph Kernels Based on the Hadamard Code
• 4 Experimental Evaluation
• 4.1 Experiments on Artificial Datasets
• 4.2 Experiments on Real-World Graphs
• 4.3 Effect of Assignment of Initial Labels
• 5 Conclusion
• References
• Document Clustering Games in Static and Dynamic Scenarios
• 1 Introduction
• 2 Game Theory

• 3 Dominant Set Clustering
• 4 Document Clustering Games
• 4.1 Document Representation
• 4.2 Data Preparation
• 4.3 Graph Construction
• 4.4 Clustering
• 4.5 Strategy Space Implementation
• 4.6 Clustering Games
• 5 Experimental Setup
• 5.1 Basic Experiments
• 5.2 Experiments with Feature Selection
• 5.3 Experiments with LSA
• 5.4 Comparison with State-of-the-Art Algorithms
• 5.5 Experiments with No Cluster Number
• 5.6 Experiments on Streaming Data
• 6 Conclusions
• References
• Criteria for Mixture-Model Clustering with Side-Information
• 1 Introduction

• 2 Clustering with Side-Information
• 2.1 Data Description
• 2.2 Mixture Model
• 3 Criteria
• 3.1 Criterion BIC
• 3.2 Criterion AIC
• 3.3 Criterion NEC
• 4 Results
• 4.1 Comparison of the Original and Adapted Versions of the Three Criteria
• 4.2 Influence of the Amount of Side-Information
• 4.3 Iris Data Set
• 4.4 Climatic Data
• 5 Conclusion
• References
• Near-Boolean Optimization: A Continuous Approach to Set Packing and Partitioning
• 1 Introduction
• 2 Set Partitioning: Full-Dimensional Case
• 3 Set Packing: Lower-Dimensional Case
• 4 Local Search
• 5 Near-Boolean Functions

• 5.1 Approximations
• 5.2 Equivalent Polynomials
• 5.3 MLE of Partition Functions
• 6 Near-Boolean Games
• 7 Conclusions
• References
• Approximate Inference in Related Multi-output Gaussian Process Regression
• 1 Introduction
• 2 Gaussian Process Regression
• 3 Multi-output Gaussian Process
• 3.1 Related Work
• 3.2 Multi-output Joint-Covariance Kernels
• 3.3 GP Regression Using Joint-Covariance
• 4 Approximating Inference
• 4.1 Variational Approximation on Multi-output GP
• 4.2 Distributed Inference on Multi-output GP
• 5 Experiments
• 5.1 Experiments on Theoretical Data

• 5.2 Experiments on Flight Test Data
• 6 Conclusions and Future Work
• References
• An Online Data Validation Algorithm for Electronic Nose
• 1 Introduction
• 1.1 Background
• 1.2 Motivation
• 1.3 Data Preparation
• 2 Data Analysis
• 3 Simulation
• 4 Experiment
• 5 Computational Complexity
• 6 Conclusion
• References
• Near-Duplicate Retrieval: A Benchmark Study of Modified SIFT Descriptors
• 1 Introduction
• 2 Near-Duplicate Images
• 3 Related Works
• 3.1 SIFT-128 D Descriptor
• 4 Region Compressed SIFT Descriptor
• 5 Evaluation
• 5.1 Benchmark Datasets

This book contains revised and extended versions of selected papers from the 5th International Conference on Pattern Recognition, ICPRAM 2016, held in Rome, Italy, in February 2016. The 13 full papers were carefully reviewed and selected from 125 initial submissions and describe up-to-date applications of pattern recognition techniques to real-world problems, interdisciplinary research, experimental and/or theoretical studies yielding new insights that advance pattern recognition methods.
(source: Nielsen Book Data)

• Health(care), monitoring, and coaching.- Personality, personalization, and persuasion.- Motivations, facilitators, and barriers.- Design principles and strategies.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 12th International Conference on Persuasive Technology, PERSUASIVE 2017, held in Amsterdam, The Netherlands, in April 2017. The 23 revised full papers presented were carefully reviewed and selected from 85 submissions. The papers are grouped in topical sections on health(care), monitoring, and coaching; personality, personalization, and persuasion; motivations, facilitators, and barriers; design principles and strategies.
(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)

• technical track
• application track
• machine learning & CP track
• operations research & CP track
• satisfiability & CP track, test and verification & CP track
• journal & sister conference track.
• (source: Nielsen Book Data)

This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. The conference is colocated with the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33rd International Conference on Logic Programming. The 46 revised full papers presented were carefully reviewed and selected from 115 submissions. The scope of the contributions includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource al location, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track.
(source: Nielsen Book Data)

• Purpose and Scope of the Monograph.- Introduction.- Image Acquisition.- Image Pre-processing.- Image Processing.- Examples of Tailoring the Algorithm.
• (source: Nielsen Book Data)

The book presents automatic and reproducible methods for the analysis of medical infrared images. All methods highlighted here have been practically implemented in Matlab, and the source code is presented and discussed in detail. Further, all methods have been verified with medical specialists, making the book an ideal resource for all IT specialists, bioengineers and physicians who wish to broaden their knowledge of tailored methods for medical infrared image analysis and processing.
(source: Nielsen Book Data)

• Processing of Hyperspectral Medical Images: Applications in Dermatology Using Matlab (R).- Foreword.- Preface.- Acknowledgments.- List of selected symbols.- Chapte
• r1: Introduction.- Chapte
• r2: Image acquisition.- Chapte
• r3: Image pre-processing.- Chapte
• r4: Image processing.- Chapte
• r5: Classification.- Chapte
• r6: Sensitivity to parameter changes.- Chapte
• r7: Conclusions.- Appendix.- References.- Summary.
• (source: Nielsen Book Data)

This book presents new methods of analyzing and processing hyperspectral medical images, which can be used in diagnostics, for example for dermatological images. The algorithms proposed are fully automatic and the results obtained are fully reproducible. Their operation was tested on a set of several thousands of hyperspectral images and they were implemented in Matlab. The presented source code can be used without licensing restrictions. This is a valuable resource for computer scientists, bioengineers, doctoral students, and dermatologists interested in contemporary analysis methods.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 18th EPIA Conference on Artificial Intelligence, EPIA 2017, held in Porto, Portugal, in September 2017. The 69 revised full papers and 2 short papers presented were carefully reviewed and selected from a total of 177 submissions. The papers are organized in 16 tracks devoted to the following topics: agent-based modelling for criminological research (ABM4Crime), artificial intelligence in cyber-physical and distributed embedded systems (AICPDES), artificial intelligence in games (AIG), artificial intelligence in medicine (AIM), artificial intelligence in power and energy systems (AIPES), artificial intelligence in transportation systems (AITS), artificial life and evolutionary algorithms (ALEA), ambient intelligence and affective environments (AmIA), business applications of artificial intelligence (BAAI), intelligent robotics (IROBOT), knowledge discovery and business intelligence (KDBI), knowledge representation and reasoning (KRR), multi-agent systems: theory and applications (MASTA), software engineering for autonomous and intelligent systems (SE4AIS), social simulation and modelling (SSM), and text mining and applications (TeMA).
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Contents
• Direction-Based Segmentation of Retinal Blood Vessels
• Abstract
• 1 Introduction
• 2 Building the Direction Map DMG
• 3 The Segmentation Method
• 4 Experimental Results and Concluding Remarks
• References
• Identifying Aedes aegypti Mosquitoes by Sensors and One-Class Classifiers
• 1 Introduction
• 2 Optical Sensor and Insect Data
• 2.1 Data Collection
• 2.2 Feature Extraction
• 3 One-Class Classification
• 4 Experimental Evaluation
• 5 Conclusion
• References

• Partial Matching of Finger Vein Patterns Based on Point Sets Alignment and Directional Information
• Abstract
• 1 Introduction
• 2 The Proposed Approach
• 3 Experiments and Results
• 4 Conclusion
• References
• Highly Transparent and Secure Scheme for Concealing Text Within Audio
• 1 Introduction
• 2 Proposed Audio Steganography Model
• 2.1 Embedding Module
• 2.2 Recovering Module
• 3 Experimental Results and Discussion
• 3.1 Transparency
• 3.2 Security
• 4 Conclusion
• References
• Spatio-Colour Asplünd's Metric and Logarithmic Image Processing for Colour Images (LIPC)

• 1 Introduction
• 2 Prerequisites
• 2.1 LIPC Model
• 2.2 Marginal Asplünd's Metric for Colour and Multivariate Images
• 3 Asplünd's Metric Defined in the Logarithmic Image Processing Colour (LIPC) Framework
• 4 Examples
• 5 Conclusion and Perspectives
• References
• Two Compound Random Field Texture Models
• 1 Introduction
• 2 Compound Random Field Texture Models
• 2.1 Region Switching Model
• 2.2 Local Markov Models
• 3 Experiments
• 4 Conclusion
• References
• An Automatic Tortoise Specimen Recognition
• 1 Introduction
• 2 Discriminative Tortoise Features

• 3 Automatic Detection of Tortoise Features
• 3.1 Plastron Localization
• 3.2 Central Seam Junctions Localization
• 4 Tortoise Classification
• 5 Experimental Results
• 5.1 Feature Discriminability Validation
• 5.2 Classification of Automatically Measured Features
• 6 Conclusion
• References
• Autonomous Scanning of Structural Elements in Buildings
• Abstract
• 1 Introduction: Key Points and Contributions
• 2 A Brief Overview of the Method
• 3 Structural Elements Recognition
• 3.1 Finding the Region of Interest
• 3.2 Structural Elements Classification
• 4 NBS

• 5 Test and Experimental Comparison
• 6 Conclusions
• Acknowledgements
• References
• Parallel Integer Motion Estimation for High Efficiency Video Coding (HEVC) Using OpenCL
• 1 Introduction
• 2 Parallel Integer Motion Estimation
• 2.1 Distortion Measure Calculations
• 2.2 Distortion Measure Accumulations
• 2.3 Estimating Minima of Rate-Distortion
• 2.4 GPU and CPU Communication
• 3 Experimental Evaluation
• 3.1 Experimental Setup and Encoder Configuration
• 3.2 Experimental Results
• 4 Conclusions
• References

This book constitutes the refereed post-conference proceedings of the 21st Iberoamerican Congress on Pattern Recognition, CIARP 2016, held in Lima, Peru, in November 2016. The 69 papers presented were carefully reviewed and selected from 131 submissions. The papers feature research results in the areas of pattern recognition, biometrics, image processing, computer vision, speech recognition, and remote sensing. They constitute theoretical as well as applied contributions in many fields related to the main topics of the conference.
(source: Nielsen Book Data)

• Fundamentals.- Quantum Cognition.- Language and Applications.- Contextuality and Foundations of Probability.- Quantum-Like Measurements.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2016, held in San Francisco, CA, USA, in July 2016. The 21 papers presented in this book were carefully reviewed and selected from 39 submissions. The papers address topics such as: Fundamentals; Quantum Cognition; Language and Applications; Contextuality and Foundations of Probability; and Quantum-Like Measurements.
(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)

• Data Integration for Open Data on the Web.- Ontological Query Answering over Semantic Data.- Ontology Querying: Datalog Strikes Back.- Integrating Relational Databases with the Semantic Web: A Reflection.- Datalog Revisited for Reasoning in Linked Data.- A Tutorial on Hybrid Answer Set Solving with Clingo.- Answer Set Programming with External Source Access.- Uncertainty Reasoning for the Semantic Web.- OBDA for Log Extraction in Process Mining. .
• (source: Nielsen Book Data)

This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017. In 2017, the theme of the school was "Semantic Interoperability on the Web", which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies. .
(source: Nielsen Book Data)

• Sequential Predictive Scheduling in Partitioned Data Domains.- Wildfire Optimizations in Modeling and Calibrations for Bulgarian Test Cases.- Process Control with the Variability Constraints.- Comparison of Different ACO Start Strategies Based on InterCriteria Analysis.- Evolutionary Approach for Tuning of Longwall Scraper Conveyor Model.- Solving Graph Partitioning Problems with Parallel Metaheuristics.- Comparison of Selected Fuzzy PSO Algorithms.
• (source: Nielsen Book Data)

This book presents new optimization approaches and methods and their application in real-world and industrial problems, and demonstrates how many of the problems arising in engineering, economics and other domains can be formulated as optimization problems. Constituting a comprehensive collection of extended contributions from the 9th International Workshop on Computational Optimization (WCO) held in Gdansk, Poland, September 11-14, 2016, the book discusses important applications such as job scheduling, wildfire modeling, parameter settings for controlling different processes, capital budgeting, data mining, finding the location of sensors in a given network, identifying the conformation of molecules, algorithm correctness, decision support system, and computer memory management. Further, it shows how to develop algorithms for these based on new intelligent methods like evolutionary computations, ant colony optimization and constraint programming. The book is a valuable resource for researchers and practitioners alike.
(source: Nielsen Book Data)

• Low-Level Image Processing Based on Interval-Valued Fuzzy Sets and Scale-Space Smoothing.- Generalized Net Representation of Dataflow Process Networks.- Wireless Sensor Positioning ACO Algorithm.- Time Accounting Artificial Neural Networks for Biochemical Process Models.- Periodic Time-varying Observer-based Learning Control of A/F Ratio in Multi-cylinder IC Engines.- Fuzzy T-S Model Based Design of Min-Max Control for Uncertain Nonlinear Systems.- Modeling Parallel Optimization of the Early Stopping Method of Multilayer Perceptron.- Intelligent Controls for Switched Fuzzy Systems: Synthesis via Non-standard Lyapunov Functions.- A New Architecture for an Adaptive Switching Controller Based on Hybrid Multiple T-S Models.- Optimization of Linear Objective Function under min-Probabilistic Sum Fuzzy Linear Equations Constraint.- Intuitionistic Fuzzy Logic Implementation to Assess Purposeful Model Parameters Genesis.- Dynamic Representation and Interpretation in a Multiagent 3D Tutoring System.- Generalized Net Model of the Scapulohumeral Rhythm.- Method for Interpretation of Functions of Propositional Logic by Specific Binary Markov Processes.- Generalized Net Models of Academic Promotion and Doctoral Candidature.- Modeling Telehealth Services with Generalized Nets.- State-Space Fuzzy-Neural Predictive Control.- Free Search and Particle Swarm Optimisation Applied to Global Optimisation Numerical Tests From Two to Hundred Dimensions.-Intuitionistic Fuzzy Sets Generated by Archimedean Metrics and Ultrametrics.-Production Rule and Network Structure Models for Knowledge Extraction from Complex Processes Under Uncertainty.
• (source: Nielsen Book Data)

This volume is a brief, yet comprehensive account of new development, tools, techniques and solutions in the broadly perceived "intelligent systems". New concepts and ideas concern the development of effective and efficient models which would make it possible to effectively and efficiently describe and solve processes in various areas of science and technology. Special emphasis is on the dealing with uncertainty and imprecision that permeates virtually all real world processes and phenomena, and has to properly be modeled by formal and algorithmic tools and techniques so that they be adequate and useful. The papers in this volume concern a wide array of possible techniques exemplified by, on the one hand, logic, probabilistic, fuzzy, intuitionistic fuzzy, neuro-fuzzy, etc. approaches. On the other hand, they represent the use of such systems modeling tools as generalized nets, optimization and control models, systems analytic models, etc. They concerns a variety of approaches, from pattern recognition, image analysis, education system modeling, biological and medical systems modeling, etc.
(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)

• Pattern recognition algorithms.- Reproducible research frameworks.- Reproducible research results.- Previous works on reproducible research.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Reproducible Research in Pattern Recognition, RRPR 2016, held in Cancun, Mexico, in December 2016. The 12 revised full papers, among them 2 invited talks, presented were carefully reviewed and selected from 16 submissions. They focus on pattern recognition algorithms; reproducible research frameworks; reproducible research results, previous works on reproducible research.
(source: Nielsen Book Data)

• Linked data.- Corpora.- Data in digital libraries.- Quality in digital libraries.- Digital humanities.- Entities.- Scholarly communication.- Sentiment analysis.- Information behavior.- Information retrieval.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 21st International Conference on Theory and Practice of Digital Libraries, TPDL 2017, held in Thessaloniki, Greece, in September 2017. The 39 full papers, 11 short papers, and 10 poster papers presented in this volume were carefully reviewed and selected from 106 submissions. In addition the book contains 7 doctoral consortium papers. The contributions are organized in topical sections named: linked data; corpora; data in digital libraries; quality in digital libraries; digital humanities; entities; scholarly communication; sentiment analysis; information behavior; information retrieval.
(source: Nielsen Book Data)

• Boosting alignment accuracy by adaptive local realignment.- A concurrent subtractive assembly approach for identification of disease associated sub-meta-genomes.- A flow procedure for the linearization of genome variation graphs.- Dynamic alignment-free and reference-free read compression.- A fast approximate algorithm for mapping long reads to large reference databases.- Determining the consistency of resolved triplets and fan triplets.- Progressive calibration and averaging for tandem mass spectrometry statistical confidence estimation: Why settle for a single decoy.- Resolving multi-copy duplications de novo using polyploid phasing.- A Bayesian active learning experimental design for inferring signaling networks.- BBK* (Branch and Bound over K*): A provable and efficient ensemble-based algorithm to optimize stability and binding affinity over large sequence spaces.- Super-bubbles, ultra-bubbles and cacti.- EPR-dictionaries: A practical and fast data structure for constant time searches in unidirectional and bidirectional FM indices.- A Bayesian framework for estimating cell type composition from DNA methylation without the need for methylation reference.- Towards recovering Allele-specific cancer genome graphs.- Using stochastic approximation techniques to efficiently construct confidence intervals for heritability.- Improved search of large transcriptomic sequencing databases using split sequence bloom trees.- All some sequence bloom trees.- Longitudinal genotype-phenotype association study via temporal structure auto-learning predictive model.- Improving imputation accuracy by inferring causal variants in genetic studies.- The copy-number tree mixture deconvolution problem and applications to multi-sample bulk sequencing tumor data.- Quantifying the impact of non-coding variants on transcription factor-DNA binding.- aBayesQR: A Bayesian method for reconstruction of viral populations characterized by low diversity.- BeWith: A between-within method for module discovery in cancer using integrated analysis of mutual exclusivity, co-occurrence and functional interactions.- K-mer Set Memory (KSM) motif representation enables accurate prediction of the impact of regulatory variants.- Network-based coverage of mutational profiles reveals cancer genes.- Ultra-accurate complex disorder prediction: case study of neurodevelopmental disorders.- Inference of the human polyadenylation Code.- Folding membrane proteins by deep transfer learning.- A network integration approach for drug-target interaction prediction and computational drug repositioning from heterogeneous information.- Epistasis in genomic and survival data of cancer patients.- Ultra-fast identity by descent detection in biobank-scale cohorts using positional burrows-wheeler transform.- Joker de Bruijn: sequence libraries to cover all k-mers using joker characters.- GATTACA: Lightweight metagenomic binning using kmer counting.- Species tree estimation using ASTRAL: how many genes are enough.- Reconstructing antibody repertoires from error-prone immune-sequencing datasets.- NetREX: Network rewiring using EXpression - Towards context specific regulatory networks.- E pluribus unum: United States of single cells.- ROSE: a deep learning based framework for predicting ribosome stalling. .
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 21th Annual Conference on Research in Computational Molecular Biology, RECOMB 2017, held in Hong Kong, China, in May 2017. The 22 regular papers presented in this volume were carefully reviewed and selected from 184 submissions. 16 short abstracts are included in the back matter of the volume. They report on original research in all areas of computational molecular biology and bioinformatics.
(source: Nielsen Book Data)