%{search_type} search results

• Applications of AI.- Natural language processing.- Knowledge representation and reasoning.- Knowledge engineering, ontologies and the semantic web.- Machine learning.- Philosophical foundations, metacognitive modeling and ethics.- Planning and scheduling.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2017, held in Bari, Italy, in November 2017. The 37 full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on applications of AI; natural language processing; knowledge representation and reasoning; knowledge engineering, ontologies and the semantic web; machinelearning; philosophical foundations, metacognitive modeling and ethics; and planning and scheduling.
(source: Nielsen Book Data)

• Agents and Multi-Agent Systems.- Applications of AI.- Knowledge Engineering, Ontologies and the Semantic Web.- Knowledge Representation and Reasoning.- Machine Learning.- Natural Language Processing.- Planning and Scheduling.- Recommendation Systems and Decision Making.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018. The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge Engineering, Ontologies and the Semantic Web; Knowledge Representation and Reasoning; Machine Learning; Natural Language Processing; Planning and Scheduling; and Recommendation Systems and Decision Making.
(source: Nielsen Book Data)

• Minimum Diameter $k$-Steiner Forest.- Factors Impacting the Label Denoising of Neural Relation Extraction.- Makespan Minimization on Unrelated Parallel Machines with a Few Bags.- Channel Assignment with r-Dynamic Coloring.- Profit Maximization Problem with Coupons in Social Networks.- A Bicriteria Approximation Algorithm for Minimum Submodular Cost Partial Multi-Cover Problem.- A Novel Approach to Verifying Context Free Properties of Programs.- Determination of Dual Distances for a Kind of Perfect Mixed Codes.- Approximation and Competitive Algorithms for Single-Minded Selling Problem.- An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints.- Quality-aware Online Task Assignment Using Latent Topic Model.- Calibration Scheduling with Time Slot Cost.- The k-power domination problem in weighted trees.- General Rumor Blocking: An Efficient Random Algorithm with Martingale Approach.- A Robust Power Optimization Algorithm to Balance Base Stations' Load in LTE-A Network.- Faster Compression of Patterns to Rectangle Rule Lists.- Algorithm Designs for Dynamic Ridesharing System.- New LP Relaxations for Minimum Cycle/Path/Tree Cover Problems.- Computation of Kullback-Leibler Divergence between Labeled Stochastic Systems with Non-Identical State Spaces.- Order preserving barrier coverage with weighted sensors on a line.- Achieving Location Truthfulness in Rebalancing Supply-Demand Distribution for Bike Sharing.- Approximation algorithms and a hardness result for the three-machine proportionate mixed-shop problem.- A New Algorithm Design Technique for Hard Problems, Building on Methods of Complexity Theory.- Community-based Acceptance Probability Maximization for Target Users on Social Networks.- Knowledge Graph Embedding Based on Subgraph-aware Proximity.
• (source: Nielsen Book Data)

This volume constitutes the proceedings of the 12th International Conference on Algorithmic Aspects in Information and Management, AAIM 2018, held in Dallas, Texas, USA, in December 2018. The 25 full papers presented were carefully reviewed and selected. The papers deal with current trends of research on algorithms, data structures, operation research, combinatorial optimization and their applications.
(source: Nielsen Book Data)

• Information retrieval and data mining on the Web.- Web as a text repository and as a graph, induced in various ways by link among pages, hosts and users.- The understanding of graphs that arise from the Web and various user activities on the Web.- Stimulation of the development of high-performance algorithms and applications that exploit these graphs.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 15th International Workshop on Algorithms and Models for the Web Graph, WAW 2018, held in Moscow, Russia in May 2018. The 11 full papers presented in this volume were carefully reviewed and selected from various submissions. The papers focus on topics like the information retrieval and data mining on the Web; Web as a text repository and as a graph, induced in various ways by link among pages, hosts and users; the understanding of graphs that arise from the Web and various user activities on the Web; stimulation of the development of high-performance algorithms and applications that exploit these graphs.
(source: Nielsen Book Data)

• Phylogenetics.- Sequence Rearrangement and Analysis.- Systems Biology and Other Biological Processes.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 5th InternationalConference on Algorithms for Computational Biology, AlCoB 2018, held in Hong Kong, China, in June 2018. The 11 full papers presented together with 1 invited paper were carefully reviewed and selected from 20 submissions. They are organized in the following topical sections: Phylogenetics, Sequence Rearrangement and Analysis, Systems Biology and Other Biological Processes. .
(source: Nielsen Book Data)

• Ambient Services and Smart Environments.- Sensor Networks and Artificial Intelligence.- Activity and Situation Recognition.- Ambient Intelligence in Education.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 14th European Conference on Ambient Intelligence, AmI 2018, held in Larnaca, Cyprus, in November 2018. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 36 submissions. The papers cover topics such as: Ambient Services and Smart Environments; Sensor Networks and Artificial Intelligence; Activity and Situation Recognition; Ambient Intelligence in Education.
(source: Nielsen Book Data)

• Natural language processing
• General topics of data analysis
• Analysis of images and video
• Optimization problems on graphs and network structures
• Analysis of dynamic behavior through event data
• Social network analysis.

This book constitutes the proceedings of the 6th International Conference on Analysis of Images, Social Networks and Texts, AIST 2017, held in Moscow, Russia, in July 2017. The 29 full papers and 8 short papers were carefully reviewed and selected from 127 submissions. The papers are organized in topical sections on natural language processing; general topics of data analysis; analysis of images and video; optimization problems on graphs and network structures; analysis of dynamic behavior through event data; social network analysis.

• Intro; Volume Editors; Preface; Organization; Contents; EvoBAFIN; Multi-objective Cooperative Coevolutionary Algorithm with Dynamic Species-Size Strategy; Abstract; 1 Introduction; 2 Multi-objective CCA with Dynamic Problem Decomposition; 2.1 Dynamic Species-Size; 2.2 Dynamic Process; 2.3 Collaborator Selection Method; 2.4 DMOCCA Main Algorithm; 3 Formulation of CCMVPOP; 4 Computational Experiments; 4.1 Data; 4.2 Parameter Setting; 4.3 Computational Results; 4.4 Effects of Implementing the Dynamic Species-Size Strategy; 5 Conclusions; References; EvoBIO.

• Task Classification Using Topological Graph Features for Functional M/EEG Brain Connectomics1 Introduction; 2 Model Selection as an Optimization Problem; 3 Models and Methods; 4 Experiments and Results; 5 Conclusions and Future Research Lines; References; Feature Selection for Detecting Gene-Gene Interactions in Genome-Wide Association Studies; 1 Introduction; 2 Methods; 2.1 Datasets; 2.2 Quantification of Pairwise Interactions Using Information Gain; 2.3 Feature Selection Algorithms; 3 Results; 3.1 Feature Selection Algorithms on the Simulated Data.

• 3.2 Feature Selection Algorithms on the CRC Data4 Discussion; References; Fitness Functions Evaluation for Segmentation of Lymphoma Histological Images Using Genetic Algorithm; 1 Introduction; 2 Materials and Methods; 2.1 Images Dataset; 2.2 Proposed Algorithm; 2.3 Evaluation Metrics; 3 Results and Discussion; 4 Conclusion; References; Mutual Information Iterated Local Search: A Wrapper-Filter Hybrid for Feature Selection in Brain Computer Interfaces; 1 Introduction; 2 Background; 2.1 Filters; 2.2 Wrappers; 2.3 Hybrid Approaches; 3 Proposed Method; 3.1 Iterated Local Search.

• 3.2 Minimal Redundancy Maximal Relevance-Iterated Local Search4 Methodology; 4.1 Datasets; 4.2 Features; 4.3 Solution Size; 4.4 Classifiers; 5 Results and Discussion; 6 Conclusion; References; Automatic Segmentation of Neurons in 3D Samples of Human Brain Cortex; Abstract; 1 Introduction; 2 Materials and Methods; 2.1 Sample Collection and Preparation; 2.2 Imaging: Two-Photon Fluorescence Microscopy; 2.3 Image Stitching; 2.4 Pattern-Level Segmentation by CNN; 3 Results; 4 Discussion and Conclusion; Acknowledgements; References.

• Analysis of Relevance and Redundance on Topoisomerase 2b (TOP2B) Binding Sites: A Feature Selection Approach1 Introduction; 2 Materials and Methods; 2.1 Data; 2.2 Classification; 2.3 Feature Selection; 3 Experimental Results; 3.1 Baseline Classification Results; 3.2 Feature Selection; 4 Feature Analysis; 4.1 Baseline Classification; 4.2 Feature Selection; 5 Conclusions and Future Works; References; EvoCOMNET; Multimodal Transportation Network Design Using Physarum Polycephalum-Inspired Multi-agent Computation Methods; 1 Introduction; 2 Previous Work; 3 Research Methodology.

This book constitutes the refereed conference proceedings of the 21st International Conference on the Applications of Evolutionary Computation, EvoApplications 2018, held in Parma, Italy, in April 2018, collocated with the Evo* 2018 events EuroGP, EvoCOP, and EvoMUSART.The 59 revised full papers presented were carefully reviewed and selected from 84 submissions. EvoApplications 2018 combined research from 14 different domains: business analytics and finance (EvoBAFIN); computational biology (EvoBIO); communication networks and other parallel and distributed systems (EvoCOMNET); complex systems (EvoCOMPLEX); energy-related optimization (EvoENERGY); games and multi-agent systems (EvoGAMES); image analysis, signal processing and pattern recognition (EvoIASP); realworld industrial and commercial environments (EvoINDUSTRY); knowledge incorporation in evolutionary computation (EvoKNOW); continuous parameter optimization (EvoNUM); parallel architectures and distributed infrastructures (EvoPAR); evolutionary robotics (EvoROBOT); nature-inspired algorithms in software engineering and testing (EvoSET); and stochastic and dynamic environments (EvoSTOC).
(source: Nielsen Book Data)

• SFactors Affecting Satisfaction of NCS Based Educational System
• Model-Driven Development of Mobile Applications Allowing Role-Driven Variants
• E-Learning Adaptation and Mobile Learning for Education
• Design and Evaluation of Soil pH IoT Sensor Attribute for Rice Agriculture in Central Africa
• A Study on the Architecture of Mixed Reality Application for Architectural Design Collaboration
• Exploring the Improvement of the Defense Information System
• A Modern Solution for Identifying, Monitoring, and Selecting Configurations for SSL/TLS Deployment
• Analyses of Characteristics of Changes in Cerebral Activation Status, Depending on Blood Types, in Response to Auditory Stimulation
• Development of Infant Care System Application.

This book presents the scientific outcomes of the 6th International Conference on Applied Computing and Information Technology (ACIT 2018), which was held in Kunming, China on June 13-15, 2018. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. The book includes research findings on all aspects (theory, applications and tools) of computer and information science and discusses the practical challenges encountered and the solutions adopted to address them. The book features 13 of the conference's most promising papers.

• Machine Learning and Neural Networks.- Approximate FPGA-based LSTMs under Computation Time Constraints.- Redundancy-reduced MobileNet Acceleration on Reconfigurable Logic For ImageNet Classification.- Accuracy to Throughput Trade-offs for Reduced Precision Neural Networks on Reconfigurable Logic.- Deep Learning on High Performance FPGA Switching Boards: Flow-in-Cloud.- SqueezeJet: High-level Synthesis Accelerator Design for Deep Convolutional Neural Networks.- Efficient hardware acceleration of recommendation engines: a use case on collaborative filtering.- FPGA-based Design and CGRA Optimizations.- VerCoLib: Fast and Versatile Communication for FPGAs via PCI Express.- Performance Estimation of FPGA Modules for Modular Design Methodology using Artificial Neural Network.- Achieving Efficient Realization of Kalman Filter on CGRA through Algorithm-Architecture Co-design.- FPGA-based Memory Efficient Shift-And Algorithm for Regular Expression Matching.- Towards an optimized multi FPGA architecture with STDM network: a preliminary study.- Applications and Surveys.- An FPGA/HMC-based Accelerator for Resolution Proof Checking.- An Efficient FPGA Implementation of the Big Bang-Big Crunch Optimization Algorithm.- ReneGENE-GI: Empowering Precision Genomics with FPGAs on HPCs.-FPGA-based Parallel Pattern Matching.- Embedded Vision Systems: A Review of the Literature.- A Survey of Low Power Design Techniques for Last Level Caches.- Fault-Tolerance, Security and Communication Architectures.- ISA-DTMR: Selective Protection in Configurable Heterogeneous Multicores.- Analyzing AXI Streaming Interface for Hardware Acceleration in AP-SoC under Soft Errors.- High Performance UDP/IP 40Gb Ethernet Stack for FPGAs.- Tackling Wireless Sensor Network Heterogeneity Through Novel Reconfigurable Gateway Approach.- A Low-Power FPGA-Based Architecture for Microphone Arrays in Wireless Sensor Networks.- A Hybrid FPGA Trojan Detection Technique Based-on Combinatorial Testing and On-chip Sensing.- HoneyWiN: Novel Honeycomb-based Wireless NoC Architecture in Many-Core Era.- Reconfigurable and Adaptive Architectures.- Fast Partial Reconfiguration on SRAM-based FPGAs: A Frame-Driven Routing Approach.- A Dynamic Partial Reconfigurable Overlay Framework for Python.- Runtime Adaptive Cache for the LEON3 Processor.- Exploiting Partial Reconfiguration on a Dynamic Coarse Grained Reconfigurable Architecture.- DIM-VEX: Exploiting Design Time Configurability and Runtime Reconfigurability.- The use of HACP+SBT lossless compression in optimizing memory bandwidth requirement for hardware implementation of background modelling algorithms.- A Reconfigurable PID Controller.- Design Methods and Fast Prototyping.- High-Level Synthesis of Software-defined MPSoCs.- Improved High-Level Synthesis for Complex CellML Models.- An Intrusive Dynamic Reconfigurable Cycle-accurate Debugging System for Embedded Processors.- Rapid prototyping and verification of hardware modules generated using HLS.- Comparing C and SystemC Based HLS Methods for Reconfigurable Systems Design.- Fast DSE for Automated Parallelization of Embedded Legacy Applications.- Control Flow Analysis for Embedded Multi-Core Hybrid Systems.- FPGA-based Design and Applications.- A Low-Cost BRAM-based Function Reuse for Configurable Soft-Core Processors in FPGAs.- A Parallel-Pipelined OFDM Baseband Modulator with Dynamic Frequency Scaling for 5G Systems.- Area-Energy Aware Dataow Optimisation of Visual Tracking Systems.- Fast Carry Chain based Architectures for Two's Complement to CSD Recoding on FPGAs.- Exploring Functional Acceleration of OpenCL on FPGAs and GPUs Through Platform-Independent Optimizations.- ReneGENE-Novo: Co-designed Algorithm-Architecture for Accelerated Preprocessing and Assembly of Genomic Short Reads.- An OpenCL Implementation of WebP Accelerator on FPGAs.- Efficient Multitasking on FPGA Using HDL-based Checkpointing.- High Level Synthesis Implementation of Object Tracking Algorithm on Reconfigurable Hardware.- Reconfigurable FPGA-Based Channelization Using Polyphase Filter Banks for Quantum Computing Systems.- Reconfigurable IP-Based Spectral Interference Canceller.- FPGA-Assisted Distribution Grid Simulator.- Analyzing the Use of Taylor Series Approximation in Hardware and Embedded Software for Good Cost-Accuracy Tradeoffs.- Special Session: Research Projects.- CGRA Tool Flow for Fast Run-Time Reconfiguration.- Seamless FPGA deployment over Spark in cloud computing: A use case on Machine learning hardware acceleration.- The ARAMiS Project Initiative: Multicore Systems in Safety- and Mixed-Critical Applications.- Mapping and scheduling hard real time applications on multicore systems - The ARGO approach.- Robots in assisted living environments as an unobtrusive, efficient, reliable and modular solution for independent ageing: The RADIO Experience.- HLS Algorithmic Explorations for HPC Execution on Reconfigurable Hardware ECOSCALE.- Supporting uTilities for Heterogeneous EMbedded image processing platforms (STHEM): An Overview.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 14th International Conference on Applied Reconfigurable Computing, ARC 2018, held in Santorini, Greece, in May 2018. The 29 full papers and 22 short presented in this volume were carefully reviewed and selected from 78 submissions. In addition, the volume contains 9 contributions from research projects. The papers were organized in topical sections named: machine learning and neural networks; FPGA-based design and CGRA optimizations; applications and surveys; fault-tolerance, security and communication architectures; reconfigurable and adaptive architectures; design methods and fast prototyping; FPGA-based design and applications; and special session: research projects. .
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Contents
• Mammographic Mass Segmentation Using Fuzzy C-means and Decision Trees
• 1 Introduction
• 2 Segmentation of Masses in Mammograms Using Fuzzy C-means and Decision Trees
• 2.1 Fuzzy C-means Based on Gray Levels Histogram
• 2.2 Reduction of False Positive ROIs
• 2.3 Feature Extraction
• 2.4 Binary Decision Tree
• 3 Experimentation
• 3.1 Results and Discussion
• 4 Conclusions
• References
• Refining the Pose: Training and Use of Deep Recurrent Autoencoders for Improving Human Pose Estimation
• 1 Introduction

• 2 Deep Architecture for 3D Human Pose Refinement
• 2.1 Denoising Recurrent Autoencoder
• 2.2 Convolutional Network for Pose Prediction
• 2.3 Pose Refinement Training
• 2.4 Cost Function
• 3 Experiments
• 3.1 Evaluation on HumanEva-I
• 3.2 Evaluation on Human 3.6 Million
• 3.3 Ablation Experiments
• 3.4 Conclusions
• References
• How Can Deep Neural Networks Be Generated Efficiently for Devices with Limited Resources?
• 1 Introduction
• 2 Background
• 3 Parameter Pruning
• 4 Quantization
• 5 Low-Rank Factorization
• 6 Compact Network Design
• 7 Neural Model Deployment

• 7.1 Compact Network Design
• 7.2 Training and Pruning
• 7.3 Quantize Model
• 7.4 Inference Optimization
• 8 Conclusion
• References
• Controlling a Smartphone with Brain-Computer Interfaces: A Preliminary Study
• 1 Introduction
• 2 Subjects and Methods
• 2.1 Acquisition
• 2.2 Processing
• 2.3 Application
• 2.4 Evaluation Procedure
• 3 Results
• 4 Discussion
• 5 Conclusion
• References
• Capturing Industrial Machinery into Virtual Reality
• 1 Introduction
• 2 Related Work
• 3 System Design
• 3.1 Initialisation
• 3.2 Capturing Images
• 3.3 Calibration
• 3.4 Visualisation

• 4 Results
• 5 Conclusion
• References
• Leishmaniasis Parasite Segmentation and Classification Using Deep Learning
• 1 Introduction
• 2 Data
• 3 Method
• 4 Results
• 5 Conclusions
• References
• Robust Pedestrian Detection for Semi-automatic Construction of a Crowded Person Re-Identification Dataset
• 1 Introduction
• 2 The JNU Dataset
• 3 Automatic Pedestrian Detection
• 4 Automatic Data Association
• 5 Evaluation
• 6 Conclusion
• References
• Shape and Appearance Based Sequenced Convnets to Detect Real-Time Face Attributes on Mobile Devices
• 1 Introduction
• 2 Related Work

• 3 Datasets and Data Preparation
• 3.1 FER-2013 and FER+ Datasets
• 3.2 Data Preprocessing
• 4 Proposed CNN Architecture
• 4.1 Sequenced CNN Models
• 4.2 Face Heatmap Image Construction
• 4.3 CNN Models
• 4.4 Learning with a Shape Heatmap Image
• 5 Results and Applications
• 5.1 Effects of Data Preparation and Alignment
• 5.2 Combining Face Shape and Appearance with VGG
• 5.3 Combining Face Shape and Appearance with Mobilenet
• 5.4 Implementation
• 6 Conclusions
• References
• Image Colorization Using Generative Adversarial Networks
• 1 Introduction

This book constitutes the refereed proceedings of the 10th International Conference on Articulated Motion and Deformable Objects, AMDO 2018, held in Palma de Mallorca, Spain, in July 2018. The 12 papers presented were carefully reviewed and selected from 26 submissions. The papers address the following topics: advanced computer graphics and immersive videogames; human modeling and animation; human motion analysis and tracking; 3D human reconstruction and recognition; multimodal user interaction and applications; ubiquitous and social computing; design tools; input technology; programming user interfaces; 3D medical deformable models and visualization; deep learning methods for computer vision and graphics; and multibiometric.
(source: Nielsen Book Data)

• Intro
• Preface
• Évolution Artificielle 2017
• EA 2017
• Abstracts of Invited Talks
• The Cartography of Computational Search Spaces
• Progressive Data Analysis: A New Computation Paradigm for Scalability in Exploratory Data Analysis
• Contents
• On the Design of a Master-Worker Adaptive Algorithm Selection Framework
• 1 Introduction
• 2 Related Works
• 2.1 Sequential Adaptive Algorithm Selection
• 2.2 Parallel Adaptive Algorithm Selection
• 2.3 Benchmarks: The Fitness Cloud Model
• 3 M/W Framework Description
• 3.1 Aggregation of Local Reward Values

• 3.2 Homogeneous vs. Heterogeneous Adaptive Selection
• 4 Experimental Analysis
• 4.1 Overall Relative Performance
• 4.2 Analysis of the Reward Aggregation Functions
• 4.3 Analysis of the Heterogeneity Scenarios
• 5 Conclusions
• References
• Comparison of Acceptance Criteria in Randomized Local Searches
• 1 Introduction
• 2 Literature Review
• 3 Experimental Setup
• 4 Experiments on the Quadratic Assignment Problem
• 5 Experiments on the Permutation Flow-Shop Problem
• 6 Conclusions
• References

• A Fitness Landscape View on the Tuning of an Asynchronous Master-Worker EA for Nuclear Reactor Design
• 1 Introduction
• 2 Preliminaries
• 2.1 Evolutionary Optimization for Nuclear Energy Problems
• 2.2 Parallel Evolutionary Algorithms
• 2.3 Landscape Aware Parameter Tuning
• 3 Problem Definition
• 3.1 Description of the System
• 3.2 Criterion of Interest
• 4 Asynchronous Parallel EA
• 4.1 Algorithm Definition
• 4.2 Mutation Operator
• 5 Experimental Analysis
• 5.1 Baseline Parameters Setting
• 5.2 Impact of the Mutation Parameters
• 5.3 Fitness Landscape Analysis
• 6 Conclusions

• 3.2 Semantic Crossover for Program Synthesis
• 4 Experimental Setup
• 4.1 Benchmark Problems
• 5 Results
• 5.1 Successful Runs and Fitness
• 5.2 Parent Comparison
• 5.3 Types Selected for Similarity Measurement
• 6 Conclusion and Future Work
• References
• On the Use of Dynamic GP Fitness Cases in Static and Dynamic Optimisation Problems
• 1 Introduction
• 2 Related Work
• 2.1 Fitness Cases in Genetic Programming
• 2.2 Promoting and Maintaining Diversity
• 3 Proposed Approaches
• 3.1 Dynamic Fitness Cases
• 3.2 Kendall Tau Distance
• 4 Experimental Setup

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Artificial Evolution, EA 2017, held in Paris, France, in October 2017. The 16 revised papers were carefully reviewed and selected from 33 submissions. The papers cover a wide range of topics in the field of artificial evolution, such as evolutionary computation, evolutionary optimization, co-evolution, artificial life, population dynamics, theory, algorithmics and modeling, implementations, application of evolutionary paradigms to the real world (industry, biosciences, ...), other biologically-inspired paradigms (swarm, artificial ants, artificial immune systems, cultural algorithms...), memetic algorithms, multi-objective optimisation, constraint handling, parallel algorithms, , dynamic optimization, machine learning and hybridization with other soft computing techniques.
(source: Nielsen Book Data)

• A Two-Stage Bi-LSTM Model for Chinese Company Name Recognition.- Multi-modal Multi-scale Speech Expression Evaluation in Computer-Assisted Language Learning.- From Global to Local: Local Popularity Prediction Using Context-embedded LSTM Recurrent Network.- Matching Low-Quality photo to DSLR-Quality with Deep Convolutional Networks.- Learning Frame-Level Recurrent Neural Networks Representations for Query-by-Example Spoken Term Detection on Mobile Devices.- Plant Identification based on Image Set Analysis.- Economic Index Forecasting via Multi-Scale Recursive Dynamic Factor Analysis.- Sub-Goal Oriented A* Search.- Towards Efficient Mobile Augmented Reality in Indoor Environments.- MAD-API: Detection, Correction and Explanation of API Misuses in Distributed Android Applications.- Relaxed Event-triggered Control of Networked Control Systems under Denial of Service Attacks.- Sentiment Analysis Based on Hybrid Bi-Attention mechanism in Mobile Application.- Automotive Diagnostics as a Service: An Artificially Intelligent Mobile Application for Tire Condition Assessment.- AICDS: An infant crying detection system based on lightweight convolutional neural network.- Exploring Trends of Lung Cancer Research Based on Word Representation.- Effective Facial Obstructions Removal With Enhanced Cycle-Consistent Generative Adversarial Networks.- Applied Analysis of Social Network Data in Personal Credit Evaluation.- Deep Neural Network Based Frame Reconstruction For Optimized Video Coding.- Detection and tracking of moving objects system for indoor mobile robots with a low-cost laser scanner.- Using IT/IS Applications to Empower Physically Challenged Individuals to Enjoy a High Quality of Life.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the International Conference on Artificial Intelligence and Mobile Services, AIMS 2018, held as part of SCF 2018, in Seattle, WA, USA, in June 2018. The 20 papers presented in this volume were carefully reviewed and selected from numerous submissions. The papers cover different aspects of mobile services from business management to computing systems, algorithms and applications. They promote technological technological innovations in research and development of mobile services, including, but not limited to, wireless and sensor networks, mobile and wearable computing, mobile enterprise and eCommerce, ubiquitous collaborative and social services, machine-to-machine and Internet-of-things, clouds, cyber-physical integration, and big data analytics for mobility-enabled services.
(source: Nielsen Book Data)

The two-volume set LNAI 10841 and LNAI 10842 constitutes the refereed proceedings of the 17th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2018, held in Zakopane, Poland in June 2018. The 140 revised full papers presented were carefully reviewed and selected from 242 submissions. The papers included in the first volume are organized in the following three parts: neural networks and their applications; evolutionary algorithms and their applications; and pattern classification.
(source: Nielsen Book Data)

• Artificial Intelligence, Theorem Proving and SAT Solving.- Symbolic and Numerical Computation.- Intelligent Documents and Collective Intelligence.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning. .
(source: Nielsen Book Data)

• Computer science.- Cognitive and learning sciences.- Education.- Game design.- Psychology.-Sociology.- Linguistics. .
• (source: Nielsen Book Data)

This two volume set LNAI 10947 and LNAI 10948 constitutes the proceedings of the 19th International Conference on Artificial Intelligence in Education, AIED 2018, held in London, UK, in June 2018.The 45 full papers presented in this book together with 76 poster papers, 11 young researchers tracks, 14 industry papers and 10 workshop papers were carefully reviewed and selected from 192 submissions. The conference provides opportunities for the cross-fertilization of approaches, techniques and ideas from the many fields that comprise AIED, including computer science, cognitive and learning sciences, education, game design, psychology, sociology, linguistics as well as many domain-specific areas.
(source: Nielsen Book Data)

• Natural Language Processing.- Machine Learning and Data Mining Applications.- Knowledge Representation, Reasoning and Search.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 18th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2018, held in Varna, Bulgaria, in September 2018. The 22 revised full papers and 7 poster papers presented were carefully reviewed and selected from 72 submissions. They cover a wide range of topics in AI: from machine learning to natural language systems, from information extraction to text mining, from knowledge representation to soft computing; from theoretical issues to real-world applications.
(source: Nielsen Book Data)

• TECHNICAL STREAM PAPERS.- BEST TECHNICAL PAPER
• Using Constraint Satisfaction Problem Solving to Enable Workflow Flexibility by Deviation.- MACHINE LEARNING AND NEURAL NETWORKS.- Masked Conditional Neural Networks for Environmental Sound Classification.- Ensembles of Recurrent Neural Networks for Robust Time Series Forecasting.- A Blackboard based Hybrid Multi-Agent System for Improving Classification Accuracy using Reinforcement Learning Techniques.- MACHINE LEARNING, SPEECH AND VISION AND FUZZY LOGIC.- Programming Without Program or How To Program in Natural Language Utterances.- Capturing the Dynamics of Cellular Automata, for the Generation of Synthetic Persian Music, Using Conditional Restricted Boltzmann Machines.- Measuring Relations between Concepts in Conceptual Spaces.- Towards a Deep reinforcement learning approach for Tower Line Wars.- Improving Modular Classification Rule Induction with G-Prism using Dynamic Rule Term Boundaries.- SHORT TECHNICAL PAPERS.- Inference and discovery in remote sensing data with features extracted using deep networks.- Quantization Error-based Regularization in Neural Networks.- Knowledge Transfer in Neural Language Models.- Emotion Recognition in Text Using PPM.- An experimental comparison of ensemble classifiers for evolving data streams.- A learning automata Local Contribution Sampling applied to hydropower production optimization.- Toward Component Based Self-Adaptive Multi-Strategic Pedagogical Agent.- APPLICATION STREAM PAPERS.- BEST APPLICATION PAPER.- Cable Belief Networks.- AI FOR HEALTHCARE.- Towards the Integration of Prescription Analytics into Health Policy and General Practice.- An Ontology to support Knowledge Management in Behaviour-based Healthcare.- Using Semantic Web technologies to underpin the SNOMED CT query language.- APPLICATIONS OF MACHINE LEARNING.- Feature Level Ensemble Method for Classifying Multi-media Data.- Reliability Based Bayesian Inference for Probabilistic Classification: An Overview of Sampling Schemes.- Algorithms and Architecture for Real-time Recommendations at News UK.- Customer Contact Journey Prediction.- APPLICATIONS OF NEURAL NETWORKS AND FUZZY LOGIC.- A Better Predictor of Marathon Race Times based on Neural Networks.- Fuzzy Logic Based Personalized Task Recommendation System for Field Services.- Application of Neural Network in Modeling Commuter Choice Behavior with a Novel Fuzzy Access Measure.- CASE-BASED REASONING.- Predicting Fraud in Mobile Money Transfer Using Case-Based Reasoning.- Predicting Dust Storms Using Hybrid Intelligence System.- AI TECHNIQUES.- Decision support system for green real-life field scheduling problems.- Multi-label Classification of Movie Posters into Genres with Rakel ensemble method.- Parameter Search for a small swarm of AUVs using Particle Swarm Optimisation.- SHORT APPLICATION PAPERS.- Deep learning for classification of bi-lingual ads in online classifieds.- Enhancing Symmetry in GAN Generated Fashion Images.- Predicting Service Levels Using Neural Networks.- Using Machine Learning for Dynamic Multicast Capacity Planning.- Asynchronous Population-Based Hill Climbing Applied to SPICE Model Generation from EM Simulation Data.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 37th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2017, held in Cambridge, UK, in December 2017. The 25 full papers and 12 short papers presented in this volume were carefully reviewed and selected from 55 submissions. There are technical and application papers which were organized in topical sections named: machine learning and neural networks; machine learning, speech and vision and fuzzy logic; short technical papers; AI for healthcare; applications of machine learning; applications of neural networks and fuzzy logic; case-based reasoning; AI techniques; and short applications papers. .
(source: Nielsen Book Data)

• Neural Networks.- Planning and Scheduling.- Machine Learning.- Industrial Applications of Artificial Intelligence.- Planning and Scheduling in Action.- Machine Learning in Action.- Applications of Machine Learning.- Applications of Agent Systems and Genetic Algorithms.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 38th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2018, held in Cambridge, UK, in December 2018. The 25 full papers and 12 short papers presented in this volume were carefully reviewed and selected from 46 submissions. There are technical and application papers which were organized in topical sections named: Neural Networks; Planning and Scheduling; Machine Learning; Industrial Applications of Artificial Intelligence; Planning and Scheduling in Action; Machine Learning in Action; Applications of Machine Learning; and Applications of Agent Systems and Genetic Algorithms.
(source: Nielsen Book Data)

• Introduction.- Problem Description and Related Work.- Concept.- Fuzzy Rulebase Systems.- Parameters and most Possible Ranges.- Rulebase Construction.- Constrained Defuzzification.- Data Comparison.- Experiments.- Conclusion.
• (source: Nielsen Book Data)

This book provides readers with an insight into the development of a novel method for regridding gridded spatial data, an operation required to perform the map overlay operation and apply map algebra when processing spatial data. It introduces the necessary concepts from spatial data processing and fuzzy rulebase systems and describes the issues experienced when using current regridding algorithms. The main focus of the book is on describing the different modifications needed to make the problem compatible with fuzzy rulebases. It offers a number of examples of out-of-the box thinking to handle aspects such as rulebase construction, defuzzification, spatial data comparison, etc. At first, the emphasis is put on the newly developed method, and additional datasets containing information on the underlying spatial distribution of the data are identified. After this, an artificial intelligent system (in the form of a fuzzy inference system) is constructed using this knowledge and then applied on the input data to perform the regridding. The book offers an example of how an apparently simple problem can pose many different challenges, even when trying to solve it with existing soft computing technologies. The workflow and solutions to solve these challenges are universal and may therefore be broadly applied into other contexts.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Keynote Talks
• Cognitive Phase Transitions in the Cerebral Cortex
• John Taylor Memorial Lecture
• On the Deep Learning Revolution in Computer Vision
• From Machine Learning to Machine Diagnostics
• Multimodal Deep Learning in Biomedical Image Analysis
• Contents
• Part I
• Contents
• Part II
• Contents
• Part III
• CNN/Natural Language
• Fast CNN Pruning via Redundancy-Aware Training
• 1 Introduction
• 2 Related Work
• 3 Redundancy-Aware Training
• 3.1 Pruning Weights During Training
• 3.2 Model Partition
• 4 Evaluation

• 4.1 Compression Result and Time Efficiency
• 4.2 Ablation Study
• 5 Conclusion
• References
• Two-Stream Convolutional Neural Network for Multimodal Matching
• 1 Introduction
• 2 Related Work
• 3 Two-Stream CNN
• 3.1 Network Architecture
• 3.2 Network Learning
• 4 Experiment
• 4.1 Datasets and Evaluation Metrics
• 4.2 Implementation Details
• 4.3 Experimental Results
• 5 Conclusion
• References
• Kernel Graph Convolutional Neural Networks
• 1 Introduction
• 2 Related Work
• 3 Proposed Approach
• 3.1 Patch Extraction and Normalization
• 3.2 Graph Processing

• 3.3 Processing New Graphs
• 3.4 Channels
• 4 Experimental Setup
• 4.1 Synthetic Dataset
• 4.2 Real-World Datasets
• 5 Conclusion
• References
• A Histogram of Oriented Gradients for Broken Bars Diagnosis in Squirrel Cage Induction Motors
• Abstract
• 1 Introduction
• 2 Theoretical Background
• 2.1 The Histogram of Oriented Gradients as a Feature Descriptor
• 3 The HOG-MLP Method for Broken Bars Detection
• 4 Experimental Results
• 4.1 Analysis of Parameters for the Proposed Method
• 4.2 Fault Detection Using HOG, MLP and Bayesian Approach
• 5 Conclusions
• Acknowledgments

• 4.1 Convolutional Neural Network Model
• 4.2 Residual Convolutional Neural Network Model
• 5 Results and Discussion
• 6 Conclusion
• References
• A Convolutional Neural Network Approach for Modeling Semantic Trajectories and Predicting Future Locations
• 1 Introduction
• 2 Related Work
• 3 Theoretical Background
• 3.1 Semantic Trajectories
• 3.2 Convolutional Neural Networks (CNNs)
• 4 CNNs for Semantic Trajectories
• Our Approach
• 5 Evaluation
• 6 Conclusion
• References
• Neural Networks for Multi-lingual Multi-label Document Classification
• 1 Introduction
• 2 Related Work

This three-volume set LNCS 11139-11141 constitutes the refereed proceedings of the 27th International Conference on Artificial Neural Networks, ICANN 2018, held in Rhodes, Greece, in October 2018. The papers presented in these volumes was carefully reviewed and selected from total of 360 submissions. They are related to the following thematic topics: AI and Bioinformatics, Bayesian and Echo State Networks, Brain Inspired Computing, Chaotic Complex Models, Clustering, Mining, Exploratory Analysis, Coding Architectures, Complex Firing Patterns, Convolutional Neural Networks, Deep Learning (DL), DL in Real Time Systems, DL and Big Data Analytics, DL and Big Data, DL and Forensics, DL and Cybersecurity, DL and Social Networks, Evolving Systems - Optimization, Extreme Learning Machines, From Neurons to Neuromorphism, From Sensation to Perception, From Single Neurons to Networks, Fuzzy Modeling, Hierarchical ANN, Inference and Recognition, Information and Optimization, Interacting with The Brain, Machine Learning (ML), ML for Bio Medical systems, ML and Video-Image Processing, ML and Forensics, ML and Cybersecurity, ML and Social Media, ML in Engineering, Movement and Motion Detection, Multilayer Perceptrons and Kernel Networks, Natural Language, Object and Face Recognition, Recurrent Neural Networks and Reservoir Computing, Reinforcement Learning, Reservoir Computing, Self-Organizing Maps, Spiking Dynamics/Spiking ANN, Support Vector Machines, Swarm Intelligence and Decision-Making, Text Mining, Theoretical Neural Computation, Time Series and Forecasting, Training and Learning.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Keynote Talks
• Cognitive Phase Transitions in the Cerebral Cortex
• John Taylor Memorial Lecture
• On the Deep Learning Revolution in Computer Vision
• From Machine Learning to Machine Diagnostics
• Multimodal Deep Learning in Biomedical Image Analysis
• Contents
• Part II
• ELM/Echo State ANN
• Rank-Revealing Orthogonal Decomposition in Extreme Learning Machine Design
• Abstract
• 1 Introduction
• 2 Basic Extreme Learning Machine
• 3 ELM with Rank-Revealing Orthogonal Decomposition
• 4 Modification of Non-contributing Neurons

• 5 Numerical Examples
• 6 Conclusions
• References
• An Improved CAD Framework for Digital Mammogram Classification Using Compound Local Binary Pattern and Chaotic Whale Optimization-Based Kernel Extreme Learning Machine
• 1 Introduction
• 2 Proposed Methodology
• 2.1 Pre-processing Using CLAHE
• 2.2 Feature Extraction Using Compound Local Binary Pattern (CM-LBP)
• 2.3 Feature Reduction Using PCA
• 2.4 Classification Using CWO-KELM
• 3 Experimental Results and Analysis
• 4 Conclusion
• References

• A Novel Echo State Network Model Using Bayesian Ridge Regression and Independent Component Analysis
• 1 Introduction
• 2 Related Work
• 3 Basics of Echo State Network
• 4 Bayesian Ridge Echo State Network (BRESN)
• 4.1 Time Series Reconstruction
• 4.2 Dimensionality Reduction
• 4.3 Bayesian Ridge Regression (BayeRidge)
• 4.4 Hyperparameters Optimization Using Genetic Algorithm
• 5 Results and Discussion
• 5.1 Experimental Setup
• 5.2 Dimensionality Reduction Technique
• 5.3 Accuracy Comparison
• 5.4 Running Time
• 6 Conclusion
• References
• Image Processing

• A Model for Detection of Angular Velocity of Image Motion Based on the Temporal Tuning of the Drosophila
• 1 Introduction
• 2 Results
• 3 Methods
• 3.1 Input Signals Simulation
• 3.2 AVDM Neural Layers
• 4 Discussion
• References
• Local Decimal Pattern for Pollen Image Recognition
• Abstract
• 1 Introduction
• 2 Local Decimal Pattern (LDP)
• 3 Pollen Recognition Experiments
• 3.1 Parameter Selection
• 3.2 Experimental Results on Pollenmonitor Dataset
• 3.3 Experimental Comparison and Analysis
• 4 Conclusions
• Acknowledgments
• References

• New Architecture of Correlated Weights Neural Network for Global Image Transformations
• Abstract
• 1 Introduction
• 2 Problem Definition
• 3 Network Model
• 4 Learning Method
• 5 Results
• 6 Conclusion
• Acknowledgments
• References
• Compression-Based Clustering of Video Human Activity Using an ASCII Encoding
• 1 Introduction
• 2 Methodology
• 2.1 Normalize Compression Distances
• 2.2 Data Format: From Video to ASCII
• 2.3 Clustering of ASCII Objects Using String Compression
• 3 Experiments and Results
• 4 Conclusions
• References
• Medical/Bioinformatics

This three-volume set LNCS 11139-11141 constitutes the refereed proceedings of the 27th International Conference on Artificial Neural Networks, ICANN 2018, held in Rhodes, Greece, in October 2018. The 139 full and 28 short papers as well as 41 full poster papers and 41 short poster papers presented in these volumes was carefully reviewed and selected from total of 360 submissions. They are related to the following thematic topics: AI and Bioinformatics, Bayesian and Echo State Networks, Brain Inspired Computing, Chaotic Complex Models, Clustering, Mining, Exploratory Analysis, Coding Architectures, Complex Firing Patterns, Convolutional Neural Networks, Deep Learning (DL), DL in Real Time Systems, DL and Big Data Analytics, DL and Big Data, DL and Forensics, DL and Cybersecurity, DL and Social Networks, Evolving Systems - Optimization, Extreme Learning Machines, From Neurons to Neuromorphism, From Sensation to Perception, From Single Neurons to Networks, Fuzzy Modeling, Hierarchical ANN, Inference and Recognition, Information and Optimization, Interacting with The Brain, Machine Learning (ML), ML for Bio Medical systems, ML and Video-Image Processing, ML and Forensics, ML and Cybersecurity, ML and Social Media, ML in Engineering, Movement and Motion Detection, Multilayer Perceptrons and Kernel Networks, Natural Language, Object and Face Recognition, Recurrent Neural Networks and Reservoir Computing, Reinforcement Learning, Reservoir Computing, Self-Organizing Maps, Spiking Dynamics/Spiking ANN, Support Vector Machines, Swarm Intelligence and Decision-Making, Text Mining, Theoretical Neural Computation, Time Series and Forecasting, Training and Learning.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Contents
• Invited Papers
• What's Wrong with Computer Vision?
• 1 Introduction
• 2 Top Ten Questions a Theory on Vision Should Address
• 3 Hierarchical Description of Visual Tasks
• 3.1 Pixel-Wise and Abstract Visual Interpretations
• 3.2 The Interwound Story of Vision and Language
• 3.3 When Vision Collapses to Classification
• 4 Conclusions
• References
• Deep Learning in the Wild
• 1 Introduction
• 2 Face Matching
• 3 Print Media Monitoring
• 4 Visual Quality Control
• 5 Music Scanning
• 6 Game Playing
• 7 Automated Machine Learning

• 8 Conclusions
• References
• Learning Algorithms and Architectures
• Effect of Equality Constraints to Unconstrained Large Margin Distribution Machines
• 1 Introduction
• 2 Least Squares Support Vector Machines
• 3 Large Margin Distribution Machines and Their Variants
• 3.1 Large Margin Distribution Machines
• 3.2 Least Squares Large Margin Distribution Machines
• 3.3 Unconstrained Large Margin Distribution Machines
• 4 Performance Evaluation
• 4.1 Conditions for Experiment
• 4.2 Results for Two-Class Problems
• 5 Conclusions
• References
• DLL: A Fast Deep Neural Network Library

• 1 Introduction
• 2 DLL: Deep Learning Library
• 2.1 Performance
• 2.2 Example
• 3 Experimental Evaluation
• 4 MNIST
• 4.1 Fully-Connected Neural Network
• 4.2 Convolutional Neural Network
• 5 CIFAR-10
• 6 ImageNet
• 7 Conclusion and Future Work
• References
• Selecting Features from Foreign Classes
• 1 Introduction
• 2 Methods
• 2.1 Learning from Context Classes
• 2.2 Foreign Class Combinations
• 3 Experiments
• 3.1 Datasets
• 4 Results
• 5 Discussion and Conclusion
• References
• A Refinement Algorithm for Deep Learning via Error-Driven Propagation of Target Outputs

• 1 Introduction
• 2 Error-Driven Target Propagation: Formalization of the Algorithms
• 2.1 The Inversion Net
• 2.2 Refinement of Deep Learning via Target Propagation
• 3 Experiments
• 4 Conclusions
• References
• Combining Deep Learning and Symbolic Processing for Extracting Knowledge from Raw Text
• 1 Introduction
• 2 Model
• 2.1 Semantic Features
• 2.2 Logic Constraints
• 2.3 Segmentation
• 3 Experiments
• 4 Conclusions
• References
• SeNA-CNN: Overcoming Catastrophic Forgetting in Convolutional Neural Networks by Selective Network Augmentation
• 1 Introduction
• 2 Related Work

• 3 Proposed Method
• 4 Experiments
• 4.1 Network Architecture
• 4.2 Training Methodology
• 4.3 Isolated Learning
• 4.4 Adding New Tasks to the Models
• 4.5 Three Tasks Scenario
• 5 Conclusion
• References
• Classification Uncertainty of Deep Neural Networks Based on Gradient Information
• 1 Introduction
• 2 Entropy, Softmax Baseline and Gradient Metrics
• 3 Meta Classification
• A Benchmark Between Maximum Softmax Probability and Gradient Metrics
• 4 Recognition of Unlearned Concepts
• 5 Meta Classification with Known Unknowns
• 6 Conclusion and Outlook
• References

This book constitutes the refereed proceedings of the 8th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2018, held in Siena, Italy, in September 2018. The 29 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 35 submissions. The papers present and discuss the latest research in all areas of neural network- and machine learning-based pattern recognition. They are organized in two sections: learning algorithms and architectures, and applications. Chapter "Bounded Rational Decision-Making with Adaptive Neural Network Priors" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
(source: Nielsen Book Data)

• Context aware adaption strategies in augmented cognition.- Brain sensors and measures for operational environments.- Artificial intelligence and machine learning in augmented cognition.- Augmented cognition in virtual and mixed reality.- Cognitive modeling, perception, emotion and interaction.- Augmented learning and training, shared cognition.- Team performance and decision-making.
• .
• (source: Nielsen Book Data)

This two-volume set LNCS 10915 and 10916 constitutes the refereed proceedings of the 12h International Conference on Augmented Cognition, AC 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA in July 2018. The 1171 papers presented at HCII 2018 conferences were carefully reviewed and selected from 4346 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 applications areas. The papers in this volume are organized in the following topical sections: context aware adaption strategies in augmented cognition, brain sensors and measures for operational environments, artificial intelligence and machine learning in augmented cognition, augmented cognition in virtual and mixed reality.
(source: Nielsen Book Data)

• Context aware adaption strategies in augmented cognition.- Brain sensors and measures for operational environments.- Artificial intelligence and machine learning in augmented cognition.- Augmented cognition in virtual and mixed reality.- Cognitive modeling, perception, emotion and interaction.- Augmented learning and training, shared cognition.- Team performance and decision-making.
• (source: Nielsen Book Data)

This two-volume set LNCS 10915 and 10916 constitutes the refereed proceedings of the 12h International Conference on Augmented Cognition, AC 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA in July 2018. The 1171 papers presented at HCII 2018 conferences were carefully reviewed and selected from 4346 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 applications areas. The papers in this volume are organized in the following topical sections:Cognitive modeling, perception, emotion and interaction, augmented learning and training, shared cognition, team performance and decision-making.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Spatial Augmented Reality: A Way to Increase Content in Cultural Heritage Context (Tutorial)
• Keynote Speakers
• Augmented and Virtual Reality Enabler for the "Factory 4.0"
• 3D Audio for VR Applications: Fundamentals and Practicalities
• Sensing Cultural Heritage: User-Centered Approaches Towards Senseable Spaces
• Opportunities of the Use of Embodied Agents in Virtual Reality for Cultural Heritage
• Contents
• Part I
• Contents
• Part II
• Virtual Reality

• Sense of Presence and Cybersickness While Cycling in Virtual Environments: Their Contribution to Subjective Experience
• Abstract
• 1 Introduction
• 2 Related Works
• 3 Methods
• 3.1 Participants
• 3.2 Study Design
• 3.3 Equipment
• 3.4 Study Protocol
• 3.5 Measures
• 3.6 Statistical Analysis
• 4 Results
• 4.1 Sense of Presence
• 4.2 Cybersickness
• 4.3 Correlation Between SoP and Cybersickness
• 4.4 Device Preference
• 4.5 Participants Comments and Free Notes
• 5 Discussion
• 6 Conclusion
• References
• Omero 2.0
• Abstract
• 1 Introduction
• 2 Software Architecture

• 2.1 The X3D File Format
• 2.1.1 X3D Nodes
• 2.2 H3D
• 3 Interactive Virtual Environments
• 3.1 Labyrinth Example
• 3.2 Apulia Region Example
• 4 Interactive Haptic Editor
• 5 Experimental Results
• 6 Conclusion and Future Works
• References
• Geometry Extraction for Ad Hoc Redirected Walking Using a SLAM Device
• 1 Introduction
• 2 Related Work
• 3 Methodology
• 3.1 Wall Map
• 3.2 Occupancy Map
• 3.3 World Map
• 3.4 Geometry Extraction
• 4 S2C Initialization
• 5 Discussion
• 6 Conclusion
• 7 Future Work
• A Design Variables
• References

• Wrist-Worn Sensor-Based Tangible Interface for Virtual Percussion Instruments
• Abstract
• 1 Introduction
• 2 Related Work
• 3 System Design and Implementation
• 3.1 Design
• 3.2 Implementation Details
• 4 Experimental Results and Analysis
• 5 Conclusion
• Acknowledgments
• References
• Training for Bus Bodywork in Virtual Reality Environments
• Abstract
• 1 Introduction
• 2 Parameters of Electric Welding
• 3 Structure in Virtual Reality
• 4 Bodywork Structure
• 5 Process Programming
• 6 Analysis of Results
• 7 Conclusions
• Acknowledgements
• References

• Market Study of Durable Consumer Products in Multi-user Virtual Environments
• Abstract
• 1 Introduction
• 2 Problem Formulation
• 3 System Structure
• 4 Procedure
• 4.1 Designer Mode
• 4.2 Consumer Mode
• 5 Analysis of Results
• 6 Conclusions
• Acknowledgements
• References
• Guiding the Viewer in Cinematic Virtual Reality by Diegetic Cues
• Abstract
• 1 Introduction
• 2 Related Work
• 3 Methods
• 4 Results
• 5 Discussion
• 6 Limitations
• 7 Conclusion
• References
• Virtual System for Teaching-Learning of Initial Education Using a Haptic Device
• Abstract

The 2-volume set LNCS 10850 and 10851 constitutes the refereed proceedings of the 5th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2018, held in Otranto, Italy, in June 2018. The 67 full papers and 26 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: virtual reality; augmented and mixed reality; computer graphics; human-computer interaction; applications of VR/AR in medicine; and applications of VR/AR in cultural heritage; and applications of VR/AR in industry.
(source: Nielsen Book Data)

The 2-volume set LNCS 10850 and 10851 constitutes the refereed proceedings of the 5th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2018, held in Otranto, Italy, in June 2018. The 67 full papers and 26 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: virtual reality; augmented and mixed reality; computer graphics; human-computer interaction; applications of VR/AR in medicine; and applications of VR/AR in cultural heritage; and applications of VR/AR in industry.
(source: Nielsen Book Data)

• Introduction.- First approach: sentence analysis using rewriting rules.- Second approach: constituent grammars.- Third approach: dependency trees.- Evaluation of the dependency parser.- Applications.- Prepositional phrase attachment disambiguation.- The unsupervised approach: grammar induction.- Multiple argument handling.- The need for full co-occurrence.
• (source: Nielsen Book Data)

This book describes effective methods for automatically analyzing a sentence, based on the syntactic and semantic characteristics of the elements that form it. To tackle ambiguities, the authors use selectional preferences (SP), which measure how well two words fit together semantically in a sentence. Today, many disciplines require automatic text analysis based on the syntactic and semantic characteristics of language and as such several techniques for parsing sentences have been proposed. Which is better? In this book the authors begin with simple heuristics before moving on to more complex methods that identify nouns and verbs and then aggregate modifiers, and lastly discuss methods that can handle complex subordinate and relative clauses. During this process, several ambiguities arise. SP are commonly determined on the basis of the association between a pair of words. However, in many cases, SP depend on more words. For example, something (such as grass) may be edible, depending on who is eating it (a cow?). Moreover, things such as popcorn are usually eaten at the movies, and not in a restaurant. The authors deal with these phenomena from different points of view.
(source: Nielsen Book Data)

• Elastic and Load-spike Proof One-to-many Negotiation to Improve The Service Acceptability of an Open SaaS Provider.- Opponent Modeling with Information Adaptation (OMIA) in Automated Negotiations.- Uncertainty Assessment in Agent-Based Simulation: An Exploratory Study.- Developing multi-agent-based thought experiments: a case study on the evolution of gamete dimorphism.-Cooperative Multi-Agent Control Using Deep Reinforcement Learning.- Stereotype Reputation with Limited Observability.- Working Together: Committee Selection and the Supermodular Degree.- On the Deployment of Factor Graph Elements to Operate Max-Sum in Dynamic Ambient Environments.- Optimizing Peer Teaching to Enhance Team Performance.- A Protocol for Mixed Autonomous and Human-Operated Vehicles at Intersections.- Evaluating Ad Hoc Teamwork Performance in Drop-In Player Challenges.-Convention Emergence in Partially Observable Topologies.-Reasoning about Opportunistic Propensity in Multi-agent Systems.- Approaching Interactions in Agent-Based Modelling with an Affordance Perspective.-Towards a fast detection of opponents in repeated stochastic game.- Event Calculus agent minds applied to diabetes monitoring.- Multiple-Profile Prediction-of-Use Games. .
• (source: Nielsen Book Data)

This book features a selection of best papers from 13 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017, held in Sao Paulo, Brazil, in May 2017. The 17 full papers presented in this volume were carefully reviewed and selected for inclusion in this volume. They cover specific topics, both theoretical and applied, in the general area of autonomous agents and multiagent systems. .
(source: Nielsen Book Data)

• Competitive Belief Propagation to efficiently solve Complex Multi-Agent Negotiations with Network Structure.- Stable Configurations with (Meta) Punishing Agents.- KILT: a modelling approach based on participatory agent-based simulation of stylized socio-ecosystems to stimulate social learning with local stakeholders.- Vote Buying Through Decoy Ballots.- Efficient evaluation of influenza mitigation strategies using preventive bandits.- Adaptive Agents in Minecraft: A Hybrid Paradigm for Combining Domain Knowledge with Reinforcement Learning.- Budget Limited Trust-Aware Decision Making.-Max-sum Revisited
• The Real Power of Damping.- A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs.- Computers That Negotiate on Our Behalf: Major Challenges for Self-sufficient, Self-directed, and Interdependent Negotiating Agents.- A MaxSAT-Based Approach to the Team Composition Problem in a Classroom.- Heuristic Data Merging for Constructing Initial Agent Populations.- Norm Conflict Identification using Deep Learning.- Identifying affordances for modelling second order emergent phenomena with the WIT framework.- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios.
• (source: Nielsen Book Data)

This book compiles the most visionary papers from 10 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017, held in Sao Paulo, Brazil, in May 2017. The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this volume. They deal with novel ideas proposing a change in the way research is currently carried out. .
(source: Nielsen Book Data)

• Uncertainty Quantification.- Fuzzy sets.- Belief Functions.- Imprecise Probabilities.- Machine Learning.- Imprecision Data Science.- Statistics.- Graphical Models.- Information Fusion.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 5th International Conference on Belief Functions, BELIEF 2018, held in Compiegne, France, in September 2018.The 33 revised regular papers presented in this book were carefully selected and reviewed from 73 submissions. The papers were solicited on theoretical aspects (including for example statistical inference, mathematical foundations, continuous belief functions) as well as on applications in various areas including classification, statistics, data fusion, network analysis and intelligent vehicles.
(source: Nielsen Book Data)

• BigData Modeling.- BigData Analysis.- BigData Algorithms.- BigData Practices.- BigData Analysis.- BigData Modeling.
• (source: Nielsen Book Data)

This volume constitutes the proceedings of the 7th International Conference on BIGDATA 2018, held as Part of SCF 2018 in Seattle, WA, USA in June 2018. The 22 full papers together with 10 short papers published in this volume were carefully reviewed and selected from 97 submissions. They are organized in topical sections such as Data analysis, data as a service, services computing, data conversion, data storage, data centers, dataflow architectures, data compression, data exchange, data modeling, databases, and data management.
(source: Nielsen Book Data)

• Big data analytics.- Information and knowledge management.- Mining of massive datasets.- Computational modeling.- Data mining and analysis.
• (source: Nielsen Book Data)

This book constitutes the refereed conference proceedings of the 5th International Conference on Big Data Analytics, BDA 2017, held in Hyderabad, India, in December 2017. The 21 revised full papers were carefully reviewed and selected from 80 submissions and cover topics on big data analytics, information and knowledge management, mining of massive datasets, computational modeling, data mining and analysis.
(source: Nielsen Book Data)

• Graph Analytics.- Case Studies.- Classification and Clustering.- Pre-Processing.- Sequences.- Cloud and Database Systems.- Data Mining.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 20th International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2018, held in Regensburg, Germany, in September 2018.The 13 revised full papers and 17 short papers presented were carefully reviewed and selected from 76 submissions. The papers are organized in the following topical sections: Graph analytics; case studies; classification and clustering; pre-processing; sequences; cloud and database systems; and data mining.
(source: Nielsen Book Data)

• Chapter 1. Designing a method of data transfer using dual message queue brokers in an IoT environment (Hyun-Seong Lee).-
• Chapter 2. Bluetooth Low Energy Plate and PDR Hybrid for Indoor Navigation (Hee-Yong Kang).-
• Chapter 3. A Study on the Common Collaboration Platform Activation of Cloud-based Manufacturing Supply Management System (SCM) (Sanhae Kim).-
• Chapter 4. Service Management and Model Driven Management (Haeng-Kon Kim).-
• Chapter 5. Measuring the Effectiveness of E-Wallet in Malaysia (Faisal Nizam).-
• Chapter 6. Designing of Domain Modeling for Mobile Applications Development (Haeng-Kon Kim) etc.
• (source: Nielsen Book Data)

This book presents the outcomes of the 3rd IEEE/ACIS International Conference on Big Data, Cloud Computing, Data Science & Engineering (BCD 2018), which was held on July 10-12, 2018 in Kanazawa. The aim of the conference was to bring together researchers and scientists, businesspeople and entrepreneurs, teachers, engineers, computer users, and students to discuss the various fields of computer science, to share their experiences, and to exchange new ideas and information in a meaningful way. All aspects (theory, applications and tools) of computer and information science, the practical challenges encountered along the way, and the solutions adopted to solve them are all explored here. The conference organizers selected the best papers from among those accepted for presentation. The papers were chosen on the basis of review scores submitted by members of the program committee and subsequently underwent further rigorous review. Following this second round of review, 13 of the conference's most promising papers were selected for this Springer (SCI) book. We eagerly await the important contributions that we know these authors will make to the field of computer and information science.
(source: Nielsen Book Data)

• Network analysis and modeling.- genomic data analysis.- cancer data analysis.- structure and interaction.- HPC and CryoEM.- machine and deep learning.- data analysis and methodology.- analysis and visualization tools.- RNA-Seq data analysis.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 14th International Conference on Bioinformatics Research and Applications, ISBRA 2018, held in Beijing, China, in June 2018.The 24 full and 10 short papers presented in this volume were carefully reviewed and selected from a total of 138 submissions. They were organized in topical sections named: network analysis and modelling; genomic data analysis; cancer data analysis; structure and interaction; HPC and CryoEM; machine and deep learning; data analysis and methodology; analysis and visualization tools; and RNA-Seq data analysis.
(source: Nielsen Book Data)

• Possibilistic Framework for Multi-objective Optimization under Uncertainty.- Solving the Uncapacitated Single Allocation p-Hub Median Problem on GPU. Phase Equilibrium Description of a Supercritical Extraction System using Metaheuristic Optimization Algorithms.- Intrusion Detection System based on a behavioral approach.- A new hybrid method to solve the multi-objective optimization problem for a composite hat-stiffened panel.- Storage yard management: modelling and solving.- Multi-capacitated location problem : A new resolution method combining exact and heuristic approaches based on set partitioning.- Application of genetic algorithm for solving bilevel linear programming problems.- Adapted Bin-Packing algorithm for the yard optimization problem.- Hidden Markov Model classifier for the adaptive ACS-TSP pheromone parameters.
• (source: Nielsen Book Data)

This book presents recent research on bioinspired heuristics for optimization. Learning- based and black-box optimization exhibit some properties of intrinsic parallelization, and can be used for various optimizations problems. Featuring the most relevant work presented at the 6th International Conference on Metaheuristics and Nature Inspired Computing, held at Marrakech (Morocco) from 27th to 31st October 2016, the book presents solutions, methods, algorithms, case studies, and software. It is a valuable resource for research academics and industrial practitioners.
(source: Nielsen Book Data)

• Optimization of Home Care Visits Schedule by Genetic Algorithm.- New Techniques for Inferring L-systems Using Genetic Algorithm.- An Adaptive Metaheuristic for Unconstrained Multimodal Numerical Optimization.- Scrum Task Allocation Based on Particle Swarm Optimization.- Cooperative Model for Nature-Inspired Algorithms in Solving Real-World Optimization Problems.- Collaborative Agent Teams (CAT): from the Paradigm to Implementation Guidelines.- A Bio-inspired Approach for Collaborative Exploration with Mobile Battery Recharging in Swarm Robotics.- Constructive Metaheuristics for the Set Covering Problem.- Single and multiobjective evolutionary algorithms for clustering biomedical information with unknown number of clusters.- Evolutionary algorithms for scheduling of crude oil preheating process under linear fouling.- Hybrid weighted barebones exploiting particle swarm optimization algorithm for time series representation.- Data-driven Preference-based Deep Statistical Ranking for Comparing.- sMulti-Objective Optimization Algorithms.- Construction of heuristic for protein structure optimization using deep reinforcement learning.- Comparing Boundary Control Methods for Firefly Algorithm.- A New Binary Encoding Scheme in Genetic Algorithm for Solving the Capacitated Vehicle Routing Problem.- Ensemble and Fuzzy techniques applied to Imbalanced Traffic Congestion Datasets: a Comparative Study.- Multi-Objective Design of Time-Constrained Bike Routes using Bio-inspired Meta-Heuristics.- Ensemble of Kriging with Multiple Kernel Functions for Engineering Design Optimization.- Path Planning Optimization Method Based on Genetic Algorithm for Mapping Toxic Environment.- Tuning Multi-Objective Optimization Algorithms for the Integration and Testing Order Problem.- Surrogate-Assisted Particle Swarm with Local Search for Expensive Constrained Optimization.- Indicator-based versus Aspect-based Selection in Multi- and Many-objective Biochemical Optimization.- An Approach for Recovering Distributed Systems from Disasters.- Population Diversity Analysis for the Chaotic based Selection of Individuals in Differential Evolution.- Robust Design with Surrogate-Assisted Evolutionary Algorithm: Does it work?.- How Distance based Parameter Adaptation Affects Population Diversity.- Collaborative Variable Neighborhood Search.
• .
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed revised selected papers of the 10th International Conference on Bioinspired Optimization Models and Their Applications, BIOMA 2018, held in Paris, France, in May 2018. The 27 revised full papers were selected from 53 submissions and present papers in all aspects of bioinspired optimization research such as new algorithmic developments, high-impact applications, new research challenges, theoretical contributions, implementation issues, and experimental studies.
(source: Nielsen Book Data)

• Foreword.- Should anthropomorphic systems be"redundant"?.- From Biomechanics to Robotics.- Multibody optimisations: from kinematic constraints to knee contact forces and ligament forces.- Creating personalized dynamic models.- Optimality and modularity in human movement: from optimal control to muscle synergies.- Human Movements: Synergies, Stability, and Agility.- Motor compositionality and timing: combined geometrical and optimization approaches.- Review of Anthropomorphic Head Stabilisation and Verticality Estimation in Robots.- The Physics and Control of Balancing on a Point in the Plane.- Design and Control of a passive noise rejecting Variable Stiffness Actuator.- Bipedal locomotion: a continuous tradeoff between robustness and energy-efficiency.- An overview of humanoid robots technologies.
• (source: Nielsen Book Data)

Mechanical laws of motion were applied very early for better understanding anthropomorphic action as suggested in advance by Newton "For from hence are easily deduced the forces of machines, which are compounded of wheels, pullies, levers, cords, and weights, ascending directly or obliquely, and other mechanical powers; as also the force of the tendons to move the bones of animals". In the 19th century E.J. Marey and E. Muybridge introduced chronophotography to scientifically investigate animal and human movements. They opened the field of motion analysis by being the first scientists to correlate ground reaction forces with kinetics. Despite of the apparent simplicity of a given skilled movement, the organization of the underlying neuro-musculo-skeletal system remains unknown. A reason is the redundancy of the motor system: a given action can be realized by different muscle and joint activity patterns, and the same underlying activity may give rise to several movements. After the pioneering work of N. Bernstein in the 60's on the existence of motor synergies, numerous researchers "walking on the border" of their disciplines tend to discover laws and principles underlying the human motions and how the brain reduces the redundancy of the system. These synergies represent the fundamental building blocks composing complex movements. In robotics, researchers face the same redundancy and complexity challenges as the researchers in life sciences. This book gathers works of roboticists and researchers in biomechanics in order to promote an interdisciplinary research on anthropomorphic systems at large and on humanoid robotics in particular.
(source: Nielsen Book Data)

• Sliding Motion
• Group-wise Registration
• Acceleration
• Applications and Evaluation.

This book constitutes the refereed proceedings of the 8th International Workshop on Biomedical Image Registration, WBIR 2018, held in Leiden, The Netherlands, in June 2018. The 11 full and poster papers included in this volume were carefully reviewed and selected from 17 submitted papers. The papers are organized in the following topical sections: Sliding Motion, Groupwise Registration, Acceleration, and Applications and Evaluation.
(source: Nielsen Book Data)

• Hand-based Biometrics.- Gesture.- Gait.- Action.- Feature Extraction and Classication Theory.- Face.- Eye-based Biometrics.- Emerging Biometrics.- Behavioral Biometrics.
• (source: Nielsen Book Data)

The LNCS volume 10996 constitutes the proceedings of the 13th Chinese Conference on Biometric Recognition, held in Urumchi, China, in August 2018. The 79 regular papers presented in this book were carefully reviewed and selected from 112 submissions. The papers cover a wide range of topics such as Biometrics, Speech recognition, Activity recognition and understanding, Online handwriting recognition, System forensics, Multi-factor authentication, Graphical and visual passwords.
(source: Nielsen Book Data)

• Artificial Neural Network.- Bio-actuators.- Bio-robotics.- Biohybrid systems.- Biomimetics.- Bipedal robots.- Earthoworm-like robots.- Robotics.- Decision-making.- Tactile sensing.- Soft robots.- Locomotion.- Insects.- Sensors.- Actuators.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 7th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2018, held in Paris, France, in July 2018.The 40 full and 18 short papers presented in this volume were carefully reviewed and selected from 60 submissions. The theme of the conference targeted at the intersection of research on novel life-like technologies inspired by the scientific investigation of biological systems, biomimetics, and research that seeks to interface biological and artificial systems to create biohybrid systems. .
(source: Nielsen Book Data)

• Intro; Preface; Organization; Contents; Cognitive and Computational Foundations of Brain Science; Speech Emotion Recognition Using Local and Global Features; 1 Introduction; 2 Materials and Methods; 2.1 Database; 2.2 Features for Speech Emotion Recognition; 3 Results/Discussion; 3.1 Classification Results for EMODB; 3.2 Classification Results for RAVDESS; 3.3 SFFS; 4 Conclusions; References; Advertisement and Expectation in Lifestyle Changes: A Computational Model; 1 Introduction; 2 Temporal-Causal Modeling; 3 The Computational Model; 3.1 Graphical Representation of the Model.

• 3.2 Numerical Representations and Parameters4 Simulation Experiments; 4.1 Hypotheses; 4.2 Scenarios and Results; 4.3 Explanation; 5 Conclusion; References; A Computational Cognitive Model of Self-monitoring and Decision Making for Desire Regulation; Abstract; 1 Introduction; 2 Background; 3 Conceptual Representation of the Model; 3.1 Desire Generation and Choosing Actions; 3.2 Self-monitoring and Regulation Strategies; 3.3 Numerical Representation of the Model; 4 Simulation Results; 5 Conclusion; References; Video Category Classification Using Wireless EEG; Abstract; 1 Introduction.

• 2 Experimental Setup and Data Acquisition Techniques2.1 Demographics of Subjects; 2.2 EEG Recordings; 2.3 Experimental Setup; 3 Experimental Study and Findings; 3.1 Algorithms and Methods; 3.2 Experimental Results; 4 Discussion; 5 Conclusion; References; Learning Music Emotions via Quantum Convolutional Neural Network; 1 Introduction; 2 Related Work on Quantum Information; 3 Quantum Convolutional Neural Network for Music Emotion Analysis; 3.1 Rationale; 3.2 Quantum Convolutional Neural Network; 4 Experiments; 5 Conclusions; References.

• Supervised EEG Source Imaging with Graph Regularization in Transformed Domain1 Introduction; 2 Inverse Problem; 3 Graph Regularized EEG Source Imaging in Transformed Domain; 3.1 EEG Source Imaging in Transformed Domain; 3.2 Discriminative Source Reconstruction with Graph Regularization; 4 Optimization with ADMM Algorithm; 5 Numerical Experiment; 6 Conclusion; References; Insula Functional Parcellation from FMRI Data via Improved Artificial Bee-Colony Clustering; 1 Introduction; 2 Related Content; 2.1 Insula Functional Parcellation Based on FMRI Data; 2.2 Artificial Bee Colony (ABC) Algorithm.

• 3 DABCC Algorithm3.1 Food Source Representation; 3.2 Initialization; 3.3 Self-adaptive Multidimensional Search Mechanism Based on Difference Bias for Employed Bee Search; 3.4 Algorithm Description; 4 Experimental Results and Analysis; 4.1 Data Description and Preprocessing; 4.2 Evaluation Metrics; 4.3 Search Capability; 4.4 Parcellation Results; 4.5 Functional Consistency; 5 Conclusion; References; EEG-Based Emotion Recognition via Fast and Robust Feature Smoothing; 1 Introduction; 2 Related Work; 3 Moving Average Smoothing on Statistical Feature Set; 3.1 Feature Extraction.

This book constitutes the refereed proceedings of the International Conference on Brain Informatics, BI 2017, held in Beijing, China, in November 2017. The 31 revised full papers were carefully reviewed and selected from 64 submissions. BI addresses the computational, cognitive, physiological, biological, physical, ecological and social perspectives of brain informatics, as well as topics related tomental health and well-being.
(source: Nielsen Book Data)

• Invited Talks.- Dice overlap measures for objects of unknown number: Application to lesion segmentation.- Lesion Detection, Segmentation and Prediction in Multiple Sclerosis Clinical Trials.- Brain Lesion Image Analysis.- Automated Segmentation of Multiple Sclerosis Lesions using Multi-Dimensional Gated Recurrent Units.- Joint Intensity Fusion Image Synthesis Applied to Multiple Sclerosis Lesion Segmentation.- MARCEL (inter-Modality Ane Registration with CorELation ratio): An Application for Brain Shift Correction in Ultrasound-Guided Brain Tumor Resection.- Generalised Wasserstein Dice Score for Imbalanced Multi-class Segmentation using Holistic Convolutional Networks.- Overall Survival Time Prediction for High Grade Gliomas based on Sparse Representation Framework.- Traumatic Brain Lesion Quantication based on Mean Diusivity Changes.- Pairwise, Ordinal Outlier Detection of Traumatic Brain Injuries.- Sub-Acute & Chronic Ischemic Stroke Lesion MRI Segmentation.- Brain Tumor Segmentation Using an Adversarial Network.- Brain Cancer Imaging Phenomics Toolkit (brain-CaPTk): An Interactive Platform for Quantitative Analysis of Glioblastoma.- Brain Tumor Image Segmentation.- Deep Learning based Multimodal Brain Tumor Diagnosis.- Multimodal Brain Tumor Segmentation using Ensemble of Forest Method.- Pooling-free fully convolutional networks with dense skip connections for semantic segmentation, with application to brain tumor segmentation.- Automatic Brain Tumor Segmentation using Cascaded Anisotropic Convolutional Neural Networks.- 3D Brain Tumor Segmentation through Integrating Multiple 2D FCNNs.- MRI Brain Tumor Segmentation and Patient Survival Prediction using Random Forests and Fully Convolutional Networks.- Automatic Segmentation and Overall Survival Prediction in Gliomas using Fully Convolutional Neural Network and Texture Analysis.- Multimodal Brain Tumor Segmentation Using 3D Convolutional Networks.- A Conditional Adversarial Network for Semantic Segmentation of Brain Tumor.- Dilated Convolutions for Brain Tumor Segmentation in MRI Scans.- Residual Encoder and Convolutional Decoder Neural Network for Glioma Segmentation.- TPCNN: Two-phase Patch-based Convolutional Neural Network for Automatic Brain Tumor Segmentation and Survival Prediction.- Brain Tumor Segmentation and Radiomics Survival Prediction: Contribution to the BRATS 2017 Challenge.- Multi-modal PixelNet for Brain Tumor Segmentation.- Brain Tumor Segmentation using Dense Fully Convolutional Neural Network.- Brain Tumor Segmentation in MRI Scans using Deeply-Supervised Neural Networks.- Brain Tumor Segmentation and Parsing on MRIs using Multiresolution Neural Networks.- Brain Tumor Segmentation using Deep Fully Convolutional Neural Networks.- Glioblastoma and Survival Prediction.- MRI Augmentation via Elastic Registration for Brain Lesions Segmentation.- Cascaded V-Net using ROI masks for brain tumor segmentation.- Brain Tumor Segmentation using a 3D FCN with Multi-Scale Loss.- Brain tumor segmentation using a multi-path CNN based method.- 3D Deep Neural Network-Based Brain Tumor Segmentation Using Multimodality Magnetic Resonance Sequences.- Automated Brain Tumor Segmentation on Magnetic Resonance Images (MRIs) and Patient Overall Survival Prediction using Support Vector Machines.- Ensembles of Multiple Models and Architectures for Robust Brain Tumour Segmentation.- Tumor segmentation from multimodal MRI using random forest with superpixel and tensor based feature extraction.- Towards Uncertainty-assisted Brain Tumor Segmentation and Survival Prediction.- Ischemic Stroke Lesion Image Segmentation.- WMH Segmentation Challenge: a Texture-based Classication Approach.- White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning.
• (source: Nielsen Book Data)

This book constitutes revised selected papers from the Third International MICCAI Brainlesion Workshop, BrainLes 2017, as well as the International Multimodal Brain Tumor Segmentation, BraTS, and White Matter Hyperintensities, WMH, segmentation challenges, which were held jointly at the Medical Image computing for Computer Assisted Intervention Conference, MICCAI, in Quebec City, Canada, in September 2017. The 40 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: brain lesion image analysis; brain tumor image segmentation; and ischemic stroke lesion image segmentation.
(source: Nielsen Book Data)

• Reflections on BPM.- BPM: Foundations, Engineering, Management.- Bringing Middleware to Everyday Programmers with Ballerina.- Track I: Concepts and Methods in Business Process Modeling and Analysis.- Open to Change: A Theory for Iterative Test-Driven Modelling.- Construction Process Modeling: Representing Activities, Items and their Interplay.- Feature-Oriented Composition of Declarative Artifact-Centric Process Models.- Animating Multiple Instances in BPMN Collaborations: from Formal Semantics to Tool Support.- Managing Decision Tasks and Events in Time-aware Business Process Models.- Track I: Foundations of Process Discovery.- Interestingness of Traces in Declarative Process Mining: The Janus LTLpf Approach.- Unbiased, Fine-Grained Description of Processes Performance from Event Data.- Abstract-and-Compare: A Family of Scalable Precision Measures for Automated Process Discovery.- Correlating Activation and Target Conditions in Data-Aware Declarative Process Discovery.- Track II: Alignments and Conformance Checking.- Efficiently Computing Alignments using the Extended Marking Equation.- An Evolutionary Technique to Approximate Multiple Optimal Alignments.- Maximizing Synchronization for Aligning Observed and Modelled Behaviour.- Online Conformance Checking Using Behavioural Patterns.- Track II: Process Model Analysis and Machine Learning.- BINet: Multivariate Business Process Anomaly Detection Using Deep Learning.- Finding Structure in the Unstructured: Hybrid Feature Set Clustering for Process Discovery.- act2vec, trace2vec, log2vec, and model2vec: Representation Learning for Business Processes.- Who is behind the Model? Classifying Modelers based on Pragmatic Model Features.- Finding the "Liberos": Discover Organizational Models with Overlaps.- Track III: Digital Process Innovation.- On The Synergies Between Business Process Management and Digital Innovation.- Effective Leadership in BPM Implementations: A Case Study of BPM in a Developing Country, Public Sector Context.- Conceptualizing a Framework to Manage the Short Head and Long Tail of Business Processes.- Using Business Process Compliance Approaches for Compliance Management with regard to Digitization: Evidence from a Systematic Literature Review.- Big Data Analytics as an Enabler of Process Innovation Capabilities: A Configurational Approach.- Track III: Method Analysis and Selection.- Assessing the Quality of Search Process Models.- Predictive Process Monitoring Methods: Which One Suits Me Best.- How Context-aware are Extant BPM Methods and Tools? - Development of an Assessment Scheme.- Process Forecasting: Towards Proactive Business Process Management.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 16th International Conference on Business Process Management, BPM 2018, held in Sydney, Australia, in September 2018. The 27 papers presented in this volume were carefully reviewed and selected from 140 submissions. They were organized in topical sections named: reflections on BPM; concepts and methods in business process modeling and analysis; foundations of process discovery; alignments and conformance checking; process model analysis and machine learning; digital process innovation; and method analysis and selection.
(source: Nielsen Book Data)

• Introduction.- Classification and Architecture.- Geometric and Static Foundations.- Kinematic Codes.- Workspace.- Dynamics.- Kinematics with Nonstandard Cable Models.- Design.- Practice.
• (source: Nielsen Book Data)

Cable-driven parallel robots are a new kind of lightweight manipulators with excellent scalability in terms of size, payload, and dynamics capacities. For the first time, a comprehensive compendium is presented of the field of cable-driven parallel robots. A thorough theory of cable robots is setup leading the reader from first principles to the latest results in research. The main topics covered in the book are classification, terminology, and fields of application for cable-driven parallel robots. The geometric foundation of the standard cable model is introduced followed by statics, force distribution, and stiffness. Inverse and forward kinematics are addressed by elaborating efficient algorithms. Furthermore, the workspace is introduced and different algorithms are detailed. The book contains the dynamic equations as well as simulation models with applicable parameters. Advanced cable models are described taking into account pulleys, elastic cables, and sagging cables. For practitioner, a descriptive design method is stated including methodology, parameter synthesis, construction design, component selection, and calibration. Rich examples are presented by means of simulation results from sample robots as well as experimental validation on reference demonstrators. The book contains a representative overview of reference demonstrator system. Tables with physical parameters for geometry, cable properties, and robot parameterizations support case studies and are valuable references for building custom cable robots. For scientist, the book provides the starting point to address new scientific challenges as open problems are named and a commented review of the literature on cable robot with more than 500 references are given.
(source: Nielsen Book Data)

• Main technical papers.- Computational analogy.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 26th International Conference on Case-Based Reasoning Research and Development, ICCBR 2018, held in Stockholm, Sweden, in July 2018. The 39 full papers presented in this book were carefully reviewed and selected from 77 submissions. The theme of ICCBR-2017, "The Future of CBR", was highlighted by several activities. These papers, which are included in the proceedings, address many themes related to the theory and application of case-based reasoning and its future direction. Topics included multiple papers on textual CBR and a number of cognitive and human oriented papers as well as hybrid research between CBR and machine learning.
(source: Nielsen Book Data)

• Biological Systems Modeling.- Simulation and Other Applications of CA.- Multi-agent Systems.- Pedestrian and Traffic Dynamics.- Synchronization and Control.- Theory and Cryptography.- Asynchronous Cellular Automata.- Crowds, Traffic and Cellular Automata.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, held in Como, Italy, in September 2018. The 47 full papers presented in this volume were carefully reviewed and selected from 64 submissions.This volume contains invited contributions and accepted papers from the main track and from the three organized workshops. The volume is organized in the following topics: biological systems modeling; simulation and other applications of CA; multi-agent systems; pedestrian and traffic dynamics; synchronization and control; theory and cryptography; asynchronous cellular automata; and crowds, traffic and cellular automata.
(source: Nielsen Book Data)

• Semantics.- Machine Translation.- Knowledge Graph and Information Extraction.- Linguistic Resource Annotation and Evaluation.- Information Retrieval and Question Answering.- Text Classification and Summarization.- Social Computing and Sentiment Analysis.- NLP Applications.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 17th China National Conference on Computational Linguistics, CCL 2018, and the 6th International Symposium on Natural Language Processing Based on Naturally Annotated Big Data, NLP-NABD 2018, held in Changsha, China, in October 2018. The 33 full papers presented in this volume were carefully reviewed and selected from 84 submissions. They are organized in topical sections named: Semantics; machine translation; knowledge graph and information extraction; linguistic resource annotation and evaluation; information retrieval and question answering; text classification and summarization; social computing and sentiment analysis; and NLP applications.
(source: Nielsen Book Data)

• Cloud Computing.- Encryption.- Information Hiding.- Cloud Security.- IoT Security.
• (source: Nielsen Book Data)

This six volume set LNCS 11063 - 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018. The 386 full papers of these six volumes were carefully reviewed and selected from 1743 submissions. The papers cover ideas and achievements in the theory and practice of all areas of inventive systems which includes control, artificial intelligence, automation systems, computing systems, electrical and informative systems. The six volumes are arranged according to the subject areas as follows: cloud computing, cloud security, encryption, information hiding, IoT security, multimedia forensics.
(source: Nielsen Book Data)

• Cloud Computing.- Encryption.- Information Hiding.- Cloud Security.- IoT Security.
• (source: Nielsen Book Data)

This six volume set LNCS 11063 - 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018. The 386 full papers of these six volumes were carefully reviewed and selected from 1743 submissions. The papers cover ideas and achievements in the theory and practice of all areas of inventive systems which includes control, artificial intelligence, automation systems, computing systems, electrical and informative systems. The six volumes are arranged according to the subject areas as follows: cloud computing, cloud security, encryption, information hiding, IoT security, multimedia forensics.
(source: Nielsen Book Data)

• Relating Structure and Power: Comonadic Semantics for Computational Resources.- Coalgebraic Logics and Duality.- Intuitionistic Podelski-Rybalchenko Theorem and Equivalence between Inductive Definitions and Cyclic Proofs.- Undecidability of Equality for Codata Types.- Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages.- Long-Term Values in Markov Decision Processes, (Co)Algebraically.- (In)finite Trace Equivalence of Probabilistic Transition Systems.- Steps and Traces.- On Algebras with Effectful Iteration.- Monoidal computer III: A coalgebraic view of computability and complexity.- Fibrational Bisimulations and Quantitative Reasoning.- Categorical Buchi and Parity Conditions via Alternating Fixed Points of Functors.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
(source: Nielsen Book Data)

• A Set-Associated Bin Packing Algorithm with Multiple Objectives in the Cloud.- A Pair-wise Method for Aspect-based Sentiment Analysis.- Forum User Profiling by Integrating Behavior and Social Network.- Adversarial Training for Sarcasm Detection.- Reinforcement Learning with Monte Carlo Sampling in Imperfect Information Problems.- Comparative Evaluation of Priming Effects on HMDs and Smartphones with Photo Taking Behaviors.- An Efficient Diagnosis System for Thyroid Disease Based on Enhanced Kernelized Extreme Learning Machine Approach.- Supporting Social Information Discovery from Big UncertainSocial Key-Value Data via Graph-like Metaphors.- Development Status and Trends of Wearable Smart Devices on Wrists.- Localized Mandarin Speech Synthesis Services for Enterprise Scenarios.- Biologically Inspired Augmented Memory Recall Model for Pattern Recognition.- Utilizing the Capabilities Offered by Eye-Tracking to Foster Novices' Comprehension of Business Process Models Detecting Android Malware Using Bytecode Image.- The study of learners' Emotional Analysis Based on MOOC.- Source Detection Method Based on Propagation Probability.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the International Conference on Cognitive Computing, ICCC 2018, held as part of SCF 2018, in Seattle, WA, USA, in June 2018. The 15 papers presented in this volume were carefully reviewed and selected from numerous submissions. The papers cover all aspects of Sensing Intelligence (SI) as a Service (SIaaS). Cognitive Computing is a sensing-driven computing (SDC) schema that explores and integrates intelligence from all types of senses in various scenarios and solution contexts.
(source: Nielsen Book Data)

• Communication Enhancement.- Inter-Cultural Collaboration.- Learning Support System.- Entertainment System.- Social Studies.- UI and UX.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 10th International Conference on Collaboration Technologies, CollabTech 2018, held in Costa de Caparica, in September 2018. The 12 full papers presented in this book together with 4 short papers were carefully reviewed and selected from 36 submissions. The papers focus on topics such as: Communication Enhancement, Inter-Cultural Collaboration, Learning Support System, Entertainment System, Social Studies, and UI and UX.
(source: Nielsen Book Data)

• Approximation algorithms and hardness.- Computational complexity.- Computational geometry.- Graphs and combinatorics.- Graph colourings, labellings and power domination.- Heuristics.- Mixed integer programming.- Polynomial algorithms.- Privacy.- String algorithms.
• (source: Nielsen Book Data)

This book constitutes the refereed post-conference proceedings of the 28th International Workshopon Combinatorial Algorithms, IWOCA 2017, held in Newcastle, NSW, Australia, in July 2017.The 30 regular papers presented in this volume together with 5 invited talks were carefully reviewed and selected from 55 submissions. They were organized in topical sessions named: approximation algorithms and hardness; computational complexity; computational geometry; graphs and combinatorics; graph colourings, labellings and power domination; heuristics; mixed integer programming; polynomial algorithms; privacy; and string algorithms.
(source: Nielsen Book Data)

• Combinatorial Optimization.- Algorithms and Complexity.- Mathematical programming.- Operations research.- Stochastic optimization.- Multi-objective optimization.- Graphs.- Combinatorics.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Symposium on Combinatorial Optimization, ISCO 2018, held in Marrakesh, Marocco, in April 2018. The 35 revised full papers presented in this book were carefully reviewed and selected from 75 submissions. The symposium aims to bring together researchers from all the communities related to combinatorial optimization, including algorithms and complexity, mathematical programming and operations research.
(source: Nielsen Book Data)

• Introduction.- How to Get More Accurate Estimates.- How to Speed Up Computations.- Towards a Better Understandability of Uncertainty-Estimating Algorithms.- How General Can We Go: What Is Computable and What Is Not.- Decision Making Under Uncertainty.- Conclusions.
• (source: Nielsen Book Data)

How can we solve engineering problems while taking into account data characterized by different types of measurement and estimation uncertainty: interval, probabilistic, fuzzy, etc.? This book provides a theoretical basis for arriving at such solutions, as well as case studies demonstrating how these theoretical ideas can be translated into practical applications in the geosciences, pavement engineering, etc. In all these developments, the authors' objectives were to provide accurate estimates of the resulting uncertainty; to offer solutions that require reasonably short computation times; to offer content that is accessible for engineers; and to be sufficiently general - so that readers can use the book for many different problems. The authors also describe how to make decisions under different types of uncertainty. The book offers a valuable resource for all practical engineers interested in better ways of gauging uncertainty, for students eager to learn and apply the new techniques, and for researchers interested in processing heterogeneous uncertainty. .
(source: Nielsen Book Data)

• Part I: Network measures.- A comparison of approaches to computing betweenness centrality for large graphs.- Cycle-centrality in economic and biological networks.- A game theoretic neighbourhood-based relevance index.- The impact of partially missing communities on the reliability of centrality measures.- Consistent estimation of mixed memberships with successive projections.- Reducing pivots of approximated betweenness computation by hierarchically clustering complex networks.- Power network equivalents: a network science based k-means clustering method integrated with silhouette analysis.- Part II: Link Analysis and Ranking.- Newton's gravitational law for link prediction in social networks.- Efficient outlier detection in hyperedge streams using minHash and locality-sensitive hashing.- Layer-wise model stacking for link prediction in multilayer networks. Case of scientific collaboration networks.- Evolutionary community mining for link prediction in dynamic networks.- Rank aggregation for course sequence discovery.- Part III: Community Structure.- Community-based feature selection for credit card default prediction.- Tracking bitcoin users activity using community detection on a network of weak signals.
• (source: Nielsen Book Data)

This book highlights cutting-edge research in the field of network science, offering scientists, researchers, students and practitioners a unique update on the latest advances in theory and a multitude of applications. It presents the peer-reviewed proceedings of the VI International Conference on Complex Networks and their Applications (COMPLEX NETWORKS 2017), which took place in Lyon on November 29 - December 1, 2017. The carefully selected papers cover a wide range of theoretical topics such as network models and measures; community structure, network dynamics; diffusion, epidemics and spreading processes; resilience and control as well as all the main network applications, including social and political networks; networks in finance and economics; biological and ecological networks and technological networks.
(source: Nielsen Book Data)

• Knowledge Engineering and Semantic Web.- Social Network Analysis.- Recommendation Methods and Recommender Systems.- Agents and Multi-Agent Systems.- Text Processing and Information Retrieval.- Sensor Networks and Internet of Things.- Data Mining Methods and Applications.
• (source: Nielsen Book Data)

This two-volume set (LNAI 11055 and LNAI 11056) constitutes the refereed proceedings of the 10th International Conference on Collective Intelligence, ICCCI 2018, held in Bristol, UK, in September 2018 The 98 full papers presented were carefully reviewed and selected from 240 submissions. The conference focuses on knowledge engineering and semantic web, social network analysis, recommendation methods and recommender systems, agents and multi-agent systems, text processing and information retrieval, data mining methods and applications, decision support and control systems, sensor networks and internet of things, as well as computer vision techniques.
(source: Nielsen Book Data)

• Decision Support and Control Systems.- Cooperative Strategies for Decision Making and Optimization.- Complex Decision Systems.- Machine Learning in Real-World Data.- Intelligent Sustainable Smart Cities.- Computer Vision Techniques.
• (source: Nielsen Book Data)

This two-volume set (LNAI 11055 and LNAI 11056) constitutes the refereed proceedings of the 10th International Conference on Collective Intelligence, ICCCI 2018, held in Bristol, UK, in September 2018 The 98 full papers presented were carefully reviewed and selected from 240 submissions. The conference focuses on knowledge engineering and semantic web, social network analysis, recommendation methods and recommender systems, agents and multi-agent systems, text processing and information retrieval, data mining methods and applications, decision support and control systems, sensor networks and internet of things, as well as computer vision techniques.
(source: Nielsen Book Data)

• Visual art inspired by the collective feeding behavior of sand-bubbler crabs.- Dynamical Music with Musical Boolean Networks.- Non-photorealistic Rendering with Cartesian Genetic Programming using Graphics Processing Units.- Construction of a Repertoire of Analog Form-finding Techniques as a Basis for Computational Morphological Exploration in Design and Architecture.- Medical art therapy of the future: building an interactive virtual underwater world in a children's hospital.- Expressive Piano Music Playing Using a Kalman Filter.- Generative Solid Modelling Employing Natural Language Understanding and 3D Data.- evoExplore: Multiscale Visualization of Evolutionary Histories in Virtual Reality.- Musical Organisms: A generative approach to growing musical scores.- Generating Drum Rhythms Through Data-Driven Conceptual Blending of Features and Genetic Algorithms.- RoboJam: A Musical Mixture Density Network for Collaborative Touchscreen Interaction.- Towards a General Framework for Artistic Style Transfer.- Adaptive interface for mapping body movements to sounds.- On Collaborator Selection in Creative Agent Societies: An Evolutionary Art Case Study.- Towards Partially Automatic Search of Edge Bundling Parameters.- Co-Evolving Melodies and Harmonization in Evolutionary Music Composition.- Jewellery Design Optimisation using Genetic Algorithm: An Industrial Case Study of Halo Setting.- Learning as Performance: Autoencoding and Generating Dance Movements in Real Time.- Deep Interactive Evolution.- The Light Show: Flashing Fireflies Gathering and Flying over Digital Images.- Evotype: Towards the Evolution of Type Stencils.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 7th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2018, held in Parma, Italy, in April 2018, co-located with the Evo*2017 events EuroGP, EvoCOP and EvoApplications. The 21 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers cover a wide range of topics and application areas, including: generative approaches to music and visual art; medical art therapy; visualization in virtual reality; jewellery design; interactive evolutionary computation; and the art theory of evolutionary computation.
(source: Nielsen Book Data)

• Adam Kilgarriff's Legacy to Computational Linguistics and Beyond.- General Formalisms.- A Roadmap towards Machine Intelligence.- Algebraic specification for interoperability between data formats: Application on Arabic lexical data.- Persianp: a Persian Text Processing Toolbox.- Embeddings, Language Modeling, and Sequence Labeling.- Generating Bags of Words from the Sums of their Word Embeddings.- New word analogy corpus for exploring embeddings of Czech words.- Using embedding models for lexical categorization in morphologically rich languages.- A new language model based on possibility theory.- Combining Discrete and Neural Features for Sequence Labeling.- New Recurrent Neural Network Variants for Sequence Labeling.- Lexical Resources and Terminology Extraction.- Mining the Web for Collocations: IR Models of Term Associations.- A Continuum-based Model of Lexical Acquisition.- DESCRIPTION OF TURKISH PARAPHRASE CORPUS STRUCTURE AND GENERATION METHOD.- Extracting Terminological Relationships from Historical Patterns of Social Media Terms.- Adaptation of cross-lingual transfer methods for the building of medical terminology in Ukrainian.- Adaptation of a term extractor to Arabic specialised texts: first experiments and limits.- Morphology and Part-of-Speech Tagging.- Corpus Frequency and Affix Ordering in Turkish.- Pluralising Nouns in isiZulu and Related Languages.- Morphological Analysis of Urdu Verbs.- Stemming and Segmentation for Classical Tibetan.- Part of Speech Tagging for Polish: State of the Art and Future Perspectives.- Turkish PoS Tagging by Reducing Sparsity with Morpheme Tags in Small Datasets.- Part-of-Speech Tagging for Code mixed English-Telugu Social media data.- Syntax and Chunking.- Analysis of Word Order in Multiple Treebanks.- A Framework for Language Resource Construction and Syntactic Analysis: Case of Arabic.- Enhancing Neural Network based Dependency Parsing Using Morphological Information for Hindi.- Construction Grammar based Annotation Framework for parsing Tamil.- Comparative Error Analysis Of Parser Outputs On Telugu Dependency Treebank Data.- Gut, Besser, Chunker - Selecting the best models for text chunking with voting.- Named Entity Recognition.- A Deep Learning Solution to Named Entity Recognition.- Deep Learning Approach for Arabic Named Entity Recognition.- Hybrid Feature Selection Approach for Arabic Named Entity Recognition.- Named-Entity-Recognition (NER) for Tamil Language Using Margin-Infused Relaxed Algorithm (MIRA).- Word Sense Disambiguation and Anaphora Resolution.- Word Sense Disambiguation Using Swarm Intelligence: A Bee Colony Optimization Approach.- Verb Sense Annotation For Turkish PropBank via Crowdsourcing.- Coreference Resolution for French Oral Data: Machine Learning Experiments with ANCOR.- Arabic Anaphora resolution using Markov decision process.- Arabic Pronominal Anaphora Resolution Based on New Set of Features.- Semantics, Discourse, and Dialog.- GpSense: A GPU-friendly method for common-sense subgraph matching in massively parallel architectures.- Parameters driving effectiveness of LSA on topic segmentation.- A New Russian Paraphrase Corpus. Paraphrase Identification and Classification Based on Different Prediction Models.- Constructing A Turkish Corpus for Paraphrase Identification and Semantic Similarity.- Evaluation of Semantic Relatedness Measures for Turkish Language.- Using sentence semantic similarity to improve LMF standardized Arabic dictionary quality.- Multiword Expressions (MWE) for Mizo Language: Literature Survey.- Classification of Textual Genres using Discourse Information.- Features for discourse-new referent detection in Russian.- A Karaka Dependency based Dialog Act Tagging for Telugu using Combination of LMs and HMM.
• (source: Nielsen Book Data)

The two-volume set LNCS 9623 + 9624 constitutes revised selected papers from the CICLing 2016 conference which took place in Konya, Turkey, in April 2016. The total of 89 papers presented in the two volumes was carefully reviewed and selected from 298 submissions. The book also contains 4 invited papers and a memorial paper on Adam Kilgarriff's Legacy to Computational Linguistics. The papers are organized in the following topical sections: Part I: In memoriam of Adam Kilgarriff; general formalisms; embeddings, language modeling, and sequence labeling; lexical resources and terminology extraction; morphology and part-of-speech tagging; syntax and chunking; named entity recognition; word sense disambiguation and anaphora resolution; semantics, discourse, and dialog. Part II: machine translation and multilingualism; sentiment analysis, opinion mining, subjectivity, and social media; text classification and categorization; information extraction; and applications. .
(source: Nielsen Book Data)

• Machine Translation and Multilingualism.- Enabling Medical Translation for Low-Resource Languages.- Combining Phrase and Neural-based Machine Translation: what worked and did not.- Combining machine translated sentence chunks from multiple MT systems.- Forest to String Based Statistical Machine Translation with Hybrid Word Alignments.- Instant Translation Model Adaptation by Translating Unseen Words in Continuous Vector Space.- Fast-Syntax-Matching-based Japanese-Chinese Limited Machine Translation.- A Classifier-based Preordering Approach for English-Vietnamese Statistical Machine Translation.- Quality Estimation for English-Hungarian Machine Translation Systems with Optimized Semantic Features.- Genetic-based decoder for statistical machine translation.- Bilingual Contexts from Comparable Corpora to Mine for Translations of Collocations.- Bi-Text Alignment of Movie Subtitles for Spoken English-Arabic Statistical Machine Translation.- A Parallel Corpus of Translationese.- A Low Dimensionality Representation for Language Variety Identification.- Sentiment Analysis, Opinion Mining, Subjectivity, and Social Media.- Towards Empathetic Human-Robot Interactions.- Extracting Aspect Specific Sentiment Expressions implying Negative Opinions.- Aspect Terms Extraction of Arabic Dialects for Opinion Mining Using Conditional Random Fields.- Large Scale Authorship Attribution of Online Reviews.- Discovering Correspondence of Sentiment Words and Aspects.- Aspect Based Sentiment Analysis: Category Detection and Sentiment Classifcation for Hindi.- A New Emotional Vector Representation For Sentiment Analysis.- Cascading Classifiers for Twitter Sentiment Analysis with Emotion Lexicons.- A Multilevel Approach to Sentiment Analysis of Figurative Language in Twitter.- Determining sentiment in citation text and analyzing its impact on the proposed ranking index.- Combining Lexical Features and a Supervised Approach for Arabic Sentiment Analysis.- Sentiment analysis in Arabic Twitter posts using supervised methods with combined features.- Interactions between Term Weighting and Feature Selection Methods for Sentiment Analysis of Turkish Reviews.- Developing a concept-level knowledge base for sentiment analysis in Singlish.- Using syntactic and semantic features for classifying modal values in the Portuguese language.- Detecting the Likely Causes behind the Emotion Spikes of Influential Twitter Users.- Age Identification of Twitter Users: Classification Methods and Sociolinguistic Analysis.- Mining of Social Networks from Literary Texts of Resource Poor Languages.- Collecting and Annotating Indian Social Media Code-Mixed Corpora.- Turkish Normalization Lexicon for Social Media.- Text Classification and Categorization.- Introducing Semantics in Short Text Classification.- Topics and Label Propagation: Best of Both Worlds for Weakly Supervised Text Classification.- Deep Neural Networks for Czech Multi-label Document Classification.- Turkish Document Classification with Coarse-grained Semantic Matrix.- Supervised Topic Models for Diagnosis Code Assignment to Discharge Summaries.- Information Extraction.- Identity and Granularity of Events in Text.- An informativeness approach to Open IE evaluation.- End-to-End Relation Extraction using Markov Logic Networks.- Knowledge Extraction with NooJ Using a syntactico-Semantic Approach for the Arabic Utterances Understanding.- Adapting TimeML to Basque: Event annotation.- Applications.- Deeper summarisation: the second time around.- Tracing Language Variation for Romanian.- Aoidos: A System for the Automatic Scansion of Poetry Written in Portuguese.
• (source: Nielsen Book Data)

The two-volume set LNCS 9623 + 9624 constitutes revised selected papers from the CICLing 2016 conference which took place in Konya, Turkey, in April 2016. The total of 89 papers presented in the two volumes was carefully reviewed and selected from 298 submissions. The book also contains 4 invited papers and a memorial paper on Adam Kilgarriff's Legacy to Computational Linguistics. The papers are organized in the following topical sections: Part I: In memoriam of Adam Kilgarriff; general formalisms; embeddings, language modeling, and sequence labeling; lexical resources and terminology extraction; morphology and part-of-speech tagging; syntax and chunking; named entity recognition; word sense disambiguation and anaphora resolution; semantics, discourse, and dialog. Part II: machine translation and multilingualism; sentiment analysis, opinion mining, subjectivity, and social media; text classification and categorization; information extraction; and applications. .
(source: Nielsen Book Data)

• General.- Overview of Character-Based Models for Natural Language Processing.- Pooling Word Vector Representations across Models.- Strategies to select examples for Active Learning with Conditional Random Fields.- Label-Dependencies Aware Recurrent Neural Networks.- Universal Computational Formalisms and Developer Environment for Rule-Based NLP.- Morphology and Text Segmentation.- Several ways to use the lingwarium.org online MT collaborative platform to develop rich morphological analyzers.- A Trie-Structured Bayesian Model for Unsupervised Morphological Segmentation.- Building Morphological Chains for Agglutinative Languages.- Joint POS Tagging and Stemming for Agglutinative Languages.- Hungarian particle verbs in a corpus-driven approach.- HANS: A Service-Oriented Framework for Chinese Language Processing.- Syntax and Parsing.- Learning to Rank for Coordination Detection.- Classifier Ensemble Approach to Learning in Dependency Parsing.- Evaluation and enrichment of Stanford Parser using an Arabic Property Grammar.- Word Sense Disambiguation.- SenseDependency-Rank: A Word Sense Disambiguation Method Based on Random Walks and Dependency Trees.- Domain Adaptation for Word Sense Disambiguation using Word Embeddings.- Reference and Coreference Resolution.- "Show me the cup": Reference with Continuous Representations.- Improved Best-First Clustering for Coreference Resolution in Indian Classical Music Forums.- A robust Co-reference Chain builder for Tamil.- Named Entity Recognition.- Structured Named Entity Recognition by Cascading CRFs.- Arabic Named Entity Recognition : A Bidirectional GRU-CRF Approach.- Named Entity Recognition for Amharic Using Stack-Based Deep Learning.- Semantics and Text Similarity.- Idioms: Humans or machines, it's all about context.- Dialogue act taxonomy interoperability using a meta-model.- Textual Entailment Using Machine Translation Evaluation Metrics.- Supervised Learning of Entity Disambiguation Models by Negative Sample Selection.- The Enrichment of Arabic WordNet Antonym Relations.- Designing An Ontology for Physical Exercise Actions.- Visualizing Textbook Concepts: Beyond Word Co-occurrences.- Matching, Re-ranking and Scoring: Learning Textual Similarity by Incorporating Dependency Graph Alignment and Coverage Features.- Text similarity function based on word embeddings for short text analysis.- Information Extraction.- Domain Specific Features Driven Information Extraction from Web Pages of Scientific Conferences.- Classifier-based Pattern Selection Approach for Relation Instance Extraction.- An Ensemble Architecture for Linked Data Lexicalization.- A Hybrid Approach for Biomedical Relation Extraction Using Finite State Automata and Random Forest-Weighted Fusion.- Exploring Linguistic and Graph based Features for the Automatic Classification and Extraction of Adverse Drug Effects.- Extraction of Semantic Relation between Arabic Named Entities Using Different Kinds of Transducer Cascades.- Semi-supervised Relation Extraction from Monolingual Dictionary for Russian WordNet.- Speech Recognition.- ASR Hypothesis Rerarnking using Prior-informed Restricted Boltzmann Machine.- A Comparative Analysis of Speech Recognition Systems for the Tatar Language.- Applications to Linguistics and the Humanities.- Interactive Data Analytics for the Humanities.- Language Technology for Digital Linguistics: Turning the Linguistic Survey of India Into a Rich Source of Linguistic Information.- Classifying World Englishes from a lexical perspective: A corpus-based approach.- Towards a Map of the Syntactic Similarity of Languages.- Romanian Word Production: An Orthographic Approach Based on Sequence Labeling. .
• (source: Nielsen Book Data)

The two-volume set LNCS 10761 + 10762 constitutes revised selected papers from the CICLing 2017 conference which took place in Budapest, Hungary, in April 2017. The total of 90 papers presented in the two volumes was carefully reviewed and selected from numerous submissions. In addition, the proceedings contain 4 invited papers. The papers are organized in the following topical sections: Part I: general; morphology and text segmentation; syntax and parsing; word sense disambiguation; reference and coreference resolution; named entity recognition; semantics and text similarity; information extraction; speech recognition; applications to linguistics and the humanities. Part II: sentiment analysis; opinion mining; author profiling and authorship attribution; social network analysis; machine translation; text summarization; information retrieval and text classification; practical applications. .
(source: Nielsen Book Data)

• Sentiment Analysis.- A Comparison among Significance Tests and Other Feature Building Methods for Sentiment Analysis: A First Study.- BATframe: An Unsupervised Approach for Domain-sensitive Affect Detection.- Leveraging Target-oriented Information for Stance Classification.- Sentiment Polarity Classification of Figurative Language: Exploring the Role of Irony-Aware and Multifaceted Affect Features.- Sarcasm Annotation and Detection in Tweets.- Modeling the Impact of Modifiers on Emotional Statements.- CSenticNet: A Concept-Level Resource for Sentiment Analysis in Chinese Language.- Emotional Tone Detection in Arabic Tweets.- Morphology based Arabic Sentiment Analysis of Book Reviews.- Adaptation of Sentiment Analysis Techniques to Persian Language.- Verb-mediated Composition of Attitude Relations Comprising Reader and Writer Perspective.- Customer Churn Prediction using Sentiment Analysis and Text Classification of VOC.-Benchmarking Multimodal Sentiment Analysis.- Machine learning approaches for speech emotion recognition: Classic and novel advances.- Opinion Mining.- Mining Aspect-Specific Opinions from Online Reviews Using a Latent Embedding Structured Topic Model.- A comparative study of target-based and entity-based opinion extraction.- Supervised Domain Adaptation via Label Alignment for Opinion Expression Extraction.- Comment relevance classification in Facebook.- Detecting Sockpuppets in Deceptive Opinion Spam.- Author Profiling and Authorship Attribution.- Reading the Author and Speaker: Towards a Holistic and Deep Approach on Automatic Assessment of What is in One's Words.- Improving Cross-Topic Authorship Attribution: The Role of Pre-Processing.- Author Identification using Latent Dirichlet Allocation.- Personality Recognition using Convolutional Neural Networks.- Character-Level Dialect Identi_cation in Arabic Using Long Short-Term Memory.- A Text Semantic Similarity Approach for Arabic Paraphrase Detection.- Social Network Analysis.- Curator: Enhancing Micro-blogs Ranking by Exploiting User's Context.- A Multi-view Clustering Model for Event Detection in Twitter.- Monitoring Geographical Entities with Temporal Awareness in Tweets.- Just the Facts: Winnowing Microblogs for Newsworthy Statements using Non-Lexical Features.- Impact Of Content Features For Automatic Online Abuse Detection.- Detecting Aggressive Behavior in Discussion Threads Using Text Mining.- Machine Translation.- Combining Machine Translation Systems with Quality Estimation.- Evaluation of Neural Machine Translation for Highly Inflected and Small Languages.- Towards Translating Mixed-Code Comments from Social Media.- Multiple System Combination for PersoArabic-Latin Transliteration.- Building a Location Dependent Dictionary for Speech Translation Systems.- Text Summarization.- Gold Standard Online Debates Summaries and First Experiments Towards Automatic Summarization of Online Debate Data.- Optimization in Extractive Summarization Processes through Automatic Classification.- Summarizing Weibo with Topics Compression.- Timeline Generation based on a Two-stage Event-time Anchoring Model.- Information Retrieval and Text Classification.- Efficient Semantic Search over Structured Web Data: A GPU Approach.- Efficient Association Rules Selection for Automatic Query Expansion.- Text-to-concept: a semantic indexing framework for Arabic News videos.- Approximating Multi-Class Text Classification via Automatic Generation of Training Examples.- Practical Applications.- Generating Appealing Brand Names.- Radiological text simplification using a general knowledge base.- Mining Supervisor Evaluation and Peer Feedback in Performance Appraisals.- Automatic Detection of Uncertain Statements in the Financial Domain.- Automatic Question Generation from Passages.
• (source: Nielsen Book Data)

The two-volume set LNCS 10761 + 10762 constitutes revised selected papers from the CICLing 2017 conference which took place in Budapest, Hungary, in April 2017. The total of 90 papers presented in the two volumes was carefully reviewed and selected from numerous submissions. In addition, the proceedings contain 4 invited papers. The papers are organized in the following topical sections: Part I: general; morphology and text segmentation; syntax and parsing; word sense disambiguation; reference and coreference resolution; named entity recognition; semantics and text similarity; information extraction; speech recognition; applications to linguistics and the humanities. Part II: sentiment analysis; opinion mining; author profiling and authorship attribution; social network analysis; machine translation; text summarization; information retrieval and text classification; practical applications. .
(source: Nielsen Book Data)

• Localization of Bone Surfaces from Ultrasound Data Using Local Phase Information and Signal Transmission Maps.- Shape-aware Deep Convolutional Neural Network for Vertebrae Segmentation.- Automated Characterization of Body Composition and Frailty with Clinically Acquired CT.- Unfolded cylindrical projection for rib fracture diagnosis.- 3D Cobb Angle Measurements from Scoliotic Mesh Models with Varying Face-Vertex Density.- Automatic Localization of the Lumbar Vertebral Landmarks in CT Images with Context Features.- Joint Multimodal Segmentation of Clinical CT and MR from Hip Arthroplasty Patients.- Reconstruction of 3D muscle fiber structure using high resolution cryosectioned volume.- Segmentation of Pathological Spines in CT Images Using a Two-Way CNN and a Collision-Based Model.- Attention-driven deep learning for pathological spine segmentation.- Automatic Full Femur Segmentation from Computed Tomography Datasets using an Atlas-Based Approach.- Classification of Osteoporotic Vertebral Fractures using Shape and Appearance Modelling.- DSMS-FCN: A Deeply Supervised Multi-Scale Fully Convolutional Network for Automatic Segmentation of Intervertebral Disc in 3D MR Images.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 5th International Workshop and Challenge on Computational Methods and Clinical Applications for Musculoskeletal Imaging, MSKI 2017, held in conjunction with MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 13 workshop papers were carefully reviewed and selected for inclusion in this volume. Topics of interest include all major aspects of musculoskeletal imaging, for example: clinical applications of musculoskeletal computational imaging; computer-aided detection and diagnosis of conditions of the bones, muscles and joints; image-guided musculoskeletal surgery and interventions; image-based assessment and monitoring of surgical and pharmacological treatment; segmentation, registration, detection, localization and visualization of the musculoskeletal anatomy; statistical and geometrical modeling of the musculoskeletal shape and appearance; image-based microstructural characterization of musculoskeletal tissue; novel techniques for musculoskeletal imaging.
(source: Nielsen Book Data)

• Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia coli.- Deep Abstractions of Chemical Reaction Networks.- Derivation of A Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models.- Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data.- Characterization of the Experimentally Observed Clustering of VEGF Receptors.- Synthesis for Vesicle Traffic Systems.- Formal Analysis of Network Motifs.- Buffering Gene Expression Noise by microRNA Based Feed Forward Regulation.- Stochastic Rate Parameter Inference Using the Cross-Entropy Method.- Experimental Biological Protocols with Formal Semantics.- Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks.- Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks.- A Trace Query Language for Rule-based Models.- Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data.- Composable Rate-Independent Computation in Continuous Chemical Reaction Networks.- ASSA-PBN 3
• .0: Analysing Context-sensitive Probabilistic Boolean Networks.- KaSa: A Static Analyzer for Kappa.- On Robustness Computation and Optimization in BIOCHAM-4.- LNA++: Linear Noise Approximation with First and Second Order Sensitivities.- Reparametrizing the Sigmoid Model of Gene Regulation for Bayesian Inference.- On the Full Control of Boolean Networks.- Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 16th International Conference on Computational Methods in Systems Biology, CMSB 2018, held in BRNO, Czech Republic, in September 2018. The 15 full and 7 short papers presented together with 5 invited talks were carefully reviewed and selected from 46 submissions. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology; parameter and model inference from experimental data; automated parameter and model synthesis; model integration and biological databases; multi-scale modeling and analysis methods; design, analysis, and verification methods for synthetic biology; methods for biomolecular computing and engineered molecular devices. Chapters 3, 9 and 10 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
(source: Nielsen Book Data)

• Improving Accuracy of Nuclei Segmentation by Reducing Histological Image Variability.- Multi-Resolution Networks for Semantic Segmentation in Whole Slide Images.- Improving High Resolution Histology Image Classification with Deep Spatial Fusion Network.- Construction of a Generative Model of H&E Stained Pathology Images of Pancreas Tumors Conditioned by a Voxel Value of MRI Image.- Accurate 3D reconstruction of a whole pancreatic cancer tumor from pathology images with different stains.- Role of Task Complexity and Training in Crowdsourced Image Annotation.- Capturing global spatial context for accurate cell classification in skin cancer histology.- Exploiting Multiple Color Representations to Improve Colon Cancer Detection in Whole Slide H&E Stains.- Leveraging Unlabeled Whole-Slide-Images for Mitosis Detection.- Evaluating Out-of-the-box Methods for the Classification of Hematopoietic Cells in Images of Stained Bone Marrow.- DeepCerv: Deep neural network for segmentation free robust cervical cell classification.- Whole slide image registration for the study of tumor heterogeneity.- Modality Conversion from Pathological Image to Ultrasonic Image Using Convolutional Neural Network.- Structure instance segmentation in renal tissue: a case study on tubular immune cell detection.- Cellular Community Detection for Tissue Phenotyping in Histology Images.- Automatic Detection of Tumor Budding in Colorectal Carcinoma with Deep Learning.- Significance of Hyperparameter Optimization for Metastasis Detection in Breast Histology Images.- Image Magnification Regression Using DenseNet for Exploiting Histopathology Open Access Content.- Uncertainty Driven Pooling Network for Microvessel Segmentation in Routine Histology Images.- Ocular Structures Segmentation from Multi-sequences MRI using 3D Unet with Fully Connected CRFs.- Classification of Findings with Localized Lesions in Fundoscopic Images using a Regionally Guided CNN.- Segmentation of Corneal Nerves Using a U-Net-based Convolutional Neural Network.- Automatic Pigmentation Grading of the Trabecular Meshwork in Gonioscopic Images.- Large Receptive Field Fully Convolutional Network for Semantic Segmentation of Retinal Vasculature in Fundus Images.- Explaining Convolutional Neural Networks for Area Estimation of Choroidal Neovascularization via Genetic Programming.- Joint Segmentation and Uncertainty Visualization of Retinal Layers in Optical Coherence Tomography Images using Bayesian Deep Learning.- cGAN-based lacquer cracks segmentation in ICGA image.- Localizing Optic Disc and Cup for Glaucoma Screening via Deep Object Detection Networks.- Fundus Image Quality-guided Diabetic Retinopathy Grading.- DeepDisc: Optic Disc Segmentation based on Atrous Convolution and Spatial Pyramid Pooling.- Large-scale Left and Right Eye Classification in Retinal Images.- Automatic Segmentation of Cortex and Nucleus in Anterior Segment OCT Images.- Local Estimation of the Degree of Optic Disc Swelling from Color Fundus Photography.- Visual Field based Automatic Diagnosis of Glaucoma Using Deep Convolutional Neural Network.- Towards standardization of retinal vascular measurements: on the effect of image centering.- Feasibility study of Subfoveal Choroidal Thickness Changes in Spectral-Domain Optical Coherence Tomography Measurements of Macular Telangiectasia Type 2.- Segmentation of retinal layers in OCT images of the mouse eye utilizing polarization contrast.- Glaucoma Diagnosis from Eye Fundus Images Based on Deep Morphometric Feature Estimation.- 2D Modeling and Correction of Fan-beam Scan Geometry in OCT.- A Bottom-up Saliency Estimation Approach for Neonatal Retinal Images.
• (source: Nielsen Book Data)

This book constitutes the refereed joint proceedings of the First International Workshop on Computational Pathology, COMPAY 2018, and the 5th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018. The 19 full papers (out of 25 submissions) presented at COMPAY 2018 and the 21 full papers (out of 31 submissions) presented at OMIA 2018 were carefully reviewed and selected. The COMPAY papers focus on artificial intelligence and deep learning. The OMIA papers cover various topics in the field of ophthalmic image analysis.
(source: Nielsen Book Data)

• Corpus Linguistics.- Information Extraction.- Natural Language Processing Applications.- Language Resources.- Sentiment Analysis and Opinion Mining.- Speech Processing.- Syntax and Parsing.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 13th International Conference on Computational Processing of the Portuguese Language, PROPOR 2018, held in Canela, RS, Brazil, in September 2018. The 42 full papers, 3 short papers and 4 other papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections named: Corpus Linguistics, Information Extraction, LanguageApplications, Language Resources, Sentiment Analysis and Opinion Mining, Speech Processing, and Syntax and Parsing.
(source: Nielsen Book Data)

• Track of Advances in High-Performance Computational Earth.- Sciences: Applications and Frameworks Development of scalable three-dimensional elasto-plastic nonlinear wave propagation analysis method for earthquake damage estimation of soft grounds.- A New Matrix-free Approach for Large-scale Geodynamic Simulations and its Performance.- Viscoelastic Crustal Deformation Computation Method with Reduced Random Memory Accesses for GPU-based Computers.- An Event Detection Framework for Virtual Observation System: Anomaly Identification for An Acme Land Simulation.- Enabling Adaptive Mesh Refinement for Single Components of ECHAM6.- Efficient and accurate evaluation of Bezier tensor product surfaces.- Track of Agent-based simulations, adaptive algorithms and solvers Agent-Based Simulations, Adaptive Algorithms and Solvers.- Hybrid Swarm and Agent-based Evolutionary Optimization.- Data-driven Agent-based Simulation for Pedestrian Capacity Analysis.- A Novel Agent-based Modeling Approach for Image Coding and Lossless Compression Based on the Wolf-Sheep Predation Model.- Planning Optimal Path Networks Using Dynamic Behavioral Modeling.- Multiagent context-dependent model of opinion dynamics in a virtual society.- An algorithm for tensor product approximation of three-dimensional material data for implicit dynamics simulations.- Track of Applications of Matrix Methods in Artificial Intelligence and Machine Learning Applications of Matrix Methods in Artificial Intelligence and Machine Learning.- On Two Kinds of Dataset Decomposition.- A Graph-based Algorithm for Supervised Image Classification.- An Adversarial Training Framework for Relation Classification.- Topic-Based Microblog Polarity Classification Based on Cascaded Model.- An Efficient Deep Learning Model for Recommender Systems.- Standardization of Featureless Variables for Machine Learning Models using Natural Language Processing (NLP).- Generalized Variable Conversion using K-means Clustering and Web Scraping.- Parallel Latent Dirichlet Allocation on GPUs.- Improving Search through A3C Reinforcement Learning based Conversational Agent.- Track of Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems Architecture Emulation and Simulation of Future Many-Core Epiphany RISC Array Processors.- Automatic mapping for OpenCL-Programs on CPU/GPU Heterogeneous Platforms.- Track of Biomedical and Bioinformatics Challenges for Computer Science, 11th Workshop on Biomedical and Bioinformatics Challenges for Computer Science: new computational models, algorithms and computer architectures.- Combining Data Mining Techniques to Enhance Cardiac Arrhythmia Detection.- CT medical imaging reconstruction using direct algebraic methods with few projections.- On blood viscosity and its correlation with biological parameters.- Development of Octree-Based High-Quality Mesh Generation Method for Biomedical Simulation.- 1,000x Faster than PLINK: Genome-Wide Epistasis Detection with Logistic Regression Using Combined FPGA and GPU Accelerators.- Track of Computational Finance and Business Intelligence.- Deep Learning and Wavelets for High-Frequency Price Forecasting.- Kernel Extreme Learning Machine for Learning from Label Proportions.- Extreme Market Prediction for Trading Signal with Deep Recurrent Neural Network.- Multi-view Multi-task Support Vector Machine.- Research on Stock Price Forecast Based on News Sentiment Analysis -A Case Study of Alibaba.- Parallel Harris Corner Detection on Heterogeneous Architecture.- A New Method for Structured Learning with Privileged Information.- An Effective Model between Mobile Phone Usage and P2P Default Behavior.- A Novel Data Mining Approach towards Human Resource Performance Appraisal.- Word Similarity Fails in Multiple Sense Word Embedding.- Track of Computational Optimization, Modelling and Simulation A hybrid optimization algorithm for electric motor design.- Dynamic Current Distribution in the Electrodes of Submerged Arc Furnace using Scalar and Vector Potentials.- Optimizing Deep Learning by Hyper Heuristic Approach for Classifying Good Quality Images.- An Agent-based Distributed Approach for Bike Sharing Systems.- A fast vertex-swap operator for the prize-collecting Steiner tree problem.- Solving CSS-Sprite Packing Problem using a Transformation to the Probabilistic Non-Oriented Bin Packing Problem.- Optimization of Resources Selection for Jobs Scheduling in Heterogeneous Distributed Computing Environments.- Explicit Size-Reduction-Oriented Design of a Compact Microstrip Rat-Race Coupler Using Surrogate-Based Optimization Methods.- Stochastic-Expansions-Based MAPOD Analysis of the Spherically-Void-Defect Benchmark Problem.- Accelerating Optical Absorption Spectra and Exciton Energy Computation via Interpolative Separable Density Fitting.- Model-Assisted Probability of Detection for Structural Health Monitoring of Flat Plates.- Track of Data, Modeling, and Computation in IoT and Smart Systems Anomalous Trajectory Detection between Regions of Interest Based on ANPR System.- Dynamic real-time infrastructure planning and deployment for disaster early warning systems.- Calibration and Monitoring of IoT Devices by Means of Embedded Scientific Visualization Tools.- Gated Convolutional LSTM for Speech Commands Recognition.- Enabling machine learning on resource constrained devices by source code generation of the learned models.- Track of Data-Driven Computational Sciences Fast Retrieval of Weather Analogues in a Multi-petabytes Archive using Wavelet-based Fingerprints.- Assimilation of fire perimeters and satellite detections by minimization of the residual in a fire spread model.- Analyzing Complex Models using Data and Statistics.- Research on Technology Foresight Method Based on Intelligent Convergence in Open Network Environment.- Prediction of Blasting Vibration Intensity by Improved PSO-SVR on Apache Spark Cluster.- Bisections-weighted-by-element-size-and-order algorithm to optimize direct solver performance on 3D hp-adaptive grids.- Establishing EDI for a Clinical Trial of a Treatment for Chikungunya.- Deadlock Detection in MPI Programs Using Static Analysis and Symbolic Execution.- Track of Mathematical-Methods-and-Algorithms for Extreme Scale Reproducible Roulette Wheel Sampling for Message Passing Environments.- Speedup of Bicubic Spline Interpolation.- Track of Multiscale Modelling and Simulation Multiscale Modelling and Simulation, 15th International Workshop.- Optimized Eigenvalue Solvers for the Neutron Transport Equation.- Multi-scale homogenization of pre-treatment rapid and slow filtration processes with experimental and computational validations. - The solution of the lambda modes problem using block iterative eigensolvers.- A Versatile Hybrid Agent-Based, Particle and Partial Differential Equations Method to Analyze Vascular Adaptation.- Development of a multiscale simulation approach for forced migration.
• (source: Nielsen Book Data)

• Track of Simulations of Flow and Transport: Modeling, Algorithms and Computation Simulations of Flow and Transport: Modeling, Algorithms and Computation.- ALE Method for a Rotating Structure Immersed in the Fluid and Its Application to the Artificial Heart Pump in Hemodynamics.- Free Surface Flow Simulation of Fish Turning Motion.- Circular Function-Based Gas-kinetic Scheme for Simulation of Viscous Compressible Flows.- A new edge stabilization method for the convection-dominated diffusion-convection equations.- Symmetric Sweeping Algorithms for Intersections of Two Quadrilateral Mesh.- A Two-field Finite Element Solver for Poroelasticity on Quadrilateral Meshes.- Preprocessing parallelization for the ALT-algorithm.- Efficient Linearly and Unconditionally Energy Stable Schemes for the Phase Field Model of Solid-State Dewetting Problems.- A novel energy stable numerical scheme for Navier-Stokes-Cahn-Hilliard two-phase flow model with variable densities and viscosities.- Study on Numerical Methods for Gas Flow Simulation Using Double-Porosity Double-Permeability Model.- Molecular Simulation of Displacement of Methane by Injection Gases in Shale.- A Compact and Efficient Lattice Boltzmann Scheme to Simulate Complex Thermal Fluid Flows.- Study on topology-based identification of sources of vulnerability for natural gas pipeline networks.- LES study on high Reynolds turbulent drag-reducing flow of viscoelastic fluids based on multiple relaxation times constitutive model and mixed subgrid-scale model.- Track of Solving Problems with Uncertainties Statistical and Multivatiate Analysis Applied to a Database of Patients with Type-2 Diabetes.- Novel Monte Carlo Algorithm for Solving Singular Linear Systems.- Reducing Data Uncertainty in Forest Fire Spread Prediction: a Matter of Error Function Assessment.- Analysis of the accuracy of OpenFOAM solvers for the problem of supersonic flow around a cone.- Modification Of Interval Arithmetic For Modelling And Solving Uncertainly Defined Problems By Interval Parametric Integral Equations System.- A Hybrid Heuristic for the Probabilistic Capacitated Vehicle Routing Problem with Two-Dimensional Loading Constraints.- A human-inspired model to represent uncertain knowledge in the Semantic Web.- Bayesian based approach learning for outcome prediction of soccer matches.- Fuzzy and Data-Driven Urban Crowds.- Track of Teaching Computational Science Design and Analysis of an Undergraduate Computational Engineering Degree at Federal University of Juiz de Fora.- Extended Cognition Hypothesis View on Computational Thinking in Computer Science Education.- Interconnected Enterprise Systems - A Call for New Teaching Approaches.- Poster Papers.- Efficient Characterization of Hidden Processor Memory Hierarchies.- Discriminating Postural Control Behaviors from Posturography with Statistical Tests and Machine Learning Models: Does Time Series Length Matter.- Mathematical Modelling of Wormhole-routed x-Folded TM Topology in the Presence of Uniform Traffic.- Adaptive Time-Splitting Scheme for Nanoparticles Transport with Two-phase Flow in Heterogeneous Porous Media.- Identifying Central Individuals in Organised Criminal Groups and Underground Marketplaces.- Guiding the optimization of parallel codes on multicores using an analytical cache model.- LDA-Based Scoring of Sequences Generated by RNN for Automatic Tanka Composition.- Computing Simulation of Interactions between + ProteinandJanusNanoparticle.- A modified bandwidth reduction heuristic based on the WBRA and George-Liu algorithm.- Improving Large-scale Fingerprint-based Queries in Distributed Infrastructure.- A Effective Truth Discovery Algorithm with Multi-Source Sparse Data.- Blackboard Meets Dijkstra for Resource Allocation Optimization.- Augmented Self-paced Learning with Generative Adversarial Networks.- Benchmarking Parallel Chess Search in Stockfish on Intel Xeon and Intel Xeon Phi Processors.- Leveraging Uncertainty Analysis of Data to Evaluate User Influence Algorithms of Social Networks.- E-Zone: A faster Neighbor Point Query Algorithm For Matching Spacial Objects.- Application of Algorithmic Differentiation for Exact Jacobians to the Universal Laminar Flame Solver.- Morph Resolution Based on Autoencoders Combined with Effective Context Information.- Old Habits Die Hard: Fingerprinting Websites On The Cloud.- Deep Streaming Graph Representations.- Adversarial Reinforcement Learning for Chinese Text Summarization.- Column Concept Determination for Chinese Web Tables via Convolutional Neural Network.- Service-oriented approach for Internet of Things.- Adversarial Framework for General Image Inpainting.- A Stochastic Model to Simulate the Spread of Leprosy in Juiz de For a.- Data Fault Identification and Repair Method of Traffic Detector.- The valuation of CCIRS with a new design.- Method of Node Importance Measurement in Urban Road Network.- AdaBoost-LSTM Ensemble Learning for Financial Time Series Forecasting.- Analysis of Bluetooth Low Energy Detection Range Improvements for the Healthcare Environment.- Study on an N-parallel FENE-P constitutive model based on multiple relaxation times for viscoelastic fluid.- RADIC based Fault Tolerance System with Dynamic Resource Controller.- Effective Learning with Joint Discriminative and Representative Feature Selection.- Agile tuning method in successive steps for a river flow simulator.- A Parallel Quicksort Algorithm on Manycore Processors in Sunway TaihuLight.- How is the Forged Certificates in the Wild: Practice on Large-scale SSL Usage Measurement and Analysis.- Managing Cloud Data Centers with Three-state Server Model under Job Abandonment Phenomenon.- The Analysis of the Effectiveness of the Perspective-based Observational Tunnels Method by the Example of the Evaluation of Possibilities to Divide the Multidimensional Space of Coal Samples.- Urban data and spatial segregation: analysis of food services clusters in St. Petersburg, Russia.- Control driven lighting design for large-scale installations.- An OpenMP implementation of the TVD-Hopmoc method based on a synchronization mechanism using locks between adjacent threads on Xeon Phi accelerators.- Data-Aware Scheduling of Scientific Workflows in Hybrid Clouds.- Large margin proximal non-parallel support vector classifiers.- The multi-core optimization of the unbalanced calculation in the clean numerical simulation of Rayleigh-Benard turbulence.- ES-GP: An Effective Evolutionary Regression Framework with Gaussian Process and Adaptive Segmentation Strategy.- Evaluating Dynamic Scheduling of Tasks in Mobile Architectures using ParallelME Framework.- An OAuth2.0-Based Unified Authentication System for Secure Services in the Smart Campus Environment.- Time Series Cluster analysis on electricity consumption of North Hebei Province in China.- Effective Semi-supervised Learning Based on Local Correlation.- Detection and Prediction of House Price Bubbles: Evidence from a New City.- A Novel Parsing-based Automatic Domain Terminology Extraction Method.- Remote Procedure Calls for Improved Data Locality with the Epiphany Architecture.- Identifying the propagation sources of stealth worms.- Machine Learning Based Text Mining in Electronic Health Records: Cardiovascular Patient Cases.- Evolutionary ensemble approach for behavioral credit scoring.- Detecting influential users in customer-oriented online communities.- GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences.- Precedent-based approach for the identification of deviant behavior in social media.- Performance Analysis of 2D-compatible 2.5D-PDGEMM on Knights Landing Cluster.
• (source: Nielsen Book Data)

• Track of Simulations of Flow and Transport: Modeling, Algorithms and Computation Simulations of Flow and Transport: Modeling, Algorithms and Computation
• ALE Method for a Rotating Structure Immersed in the Fluid and Its Application to the Artificial Heart Pump in Hemodynamics
• Free Surface Flow Simulation of Fish Turning Motion
• Circular Function-Based Gas-kinetic Scheme for Simulation of Viscous Compressible Flows
• A new edge stabilization method for the convection-dominated diffusion-convection equations
• Symmetric Sweeping Algorithms for Intersections of Two Quadrilateral Mesh
• A Two-field Finite Element Solver for Poroelasticity on Quadrilateral Meshes
• Preprocessing parallelization for the ALT-algorithm
• Efficient Linearly and Unconditionally Energy Stable Schemes for the Phase Field Model of Solid-State Dewetting Problems
• A novel energy stable numerical scheme for Navier-Stokes-Cahn-Hilliard two-phase flow model with variable densities and viscosities
• Study on Numerical Methods for Gas Flow Simulation Using Double-Porosity Double-Permeability Model
• Molecular Simulation of Displacement of Methane by Injection Gases in Shale
• A Compact and Efficient Lattice Boltzmann Scheme to Simulate Complex Thermal Fluid Flows
• Study on topology-based identification of sources of vulnerability for natural gas pipeline networks
• LES study on high Reynolds turbulent drag-reducing flow of viscoelastic fluids based on multiple relaxation times constitutive model and mixed subgrid-scale model
• Track of Solving Problems with Uncertainties Statistical and Multivatiate Analysis Applied to a Database of Patients with Type-2 Diabetes
• Novel Monte Carlo Algorithm for Solving Singular Linear Systems
• Reducing Data Uncertainty in Forest Fire Spread Prediction: a Matter of Error Function Assessment
• Analysis of the accuracy of OpenFOAM solvers for the problem of supersonic flow around a cone
• Modification Of Interval Arithmetic For Modelling And Solving Uncertainly Defined Problems By Interval Parametric Integral Equations System
• A Hybrid Heuristic for the Probabilistic Capacitated Vehicle Routing Problem with Two-Dimensional Loading Constraints
• A human-inspired model to represent uncertain knowledge in the Semantic Web
• Bayesian based approach learning for outcome prediction of soccer matches
• Fuzzy and Data-Driven Urban Crowds
• Track of Teaching Computational Science Design and Analysis of an Undergraduate Computational Engineering Degree at Federal University of Juiz de Fora
• Extended Cognition Hypothesis View on Computational Thinking in Computer Science Education
• Interconnected Enterprise Systems
• A Call for New Teaching Approaches
• Poster Papers
• Efficient Characterization of Hidden Processor Memory Hierarchies
• Discriminating Postural Control Behaviors from Posturography with Statistical Tests and Machine Learning Models: Does Time Series Length Matter
• Mathematical Modelling of Wormhole-routed x-Folded TM Topology in the Presence of Uniform Traffic
• Adaptive Time-Splitting Scheme for Nanoparticles Transport with Two-phase Flow in Heterogeneous Porous Media
• Identifying Central Individuals in Organised Criminal Groups and Underground Marketplaces
• Guiding the optimization of parallel codes on multicores using an analytical cache model
• LDA-Based Scoring of Sequences Generated by RNN for Automatic Tanka Composition
• Computing Simulation of Interactions between α + β ProteinandJanusNanoparticle
• A modified bandwidth reduction heuristic based on the WBRA and George-Liu algorithm
• Improving Large-scale Fingerprint-based Queries in Distributed Infrastructure
• A Effective Truth Discovery Algorithm with Multi-Source Sparse Data
• Blackboard Meets Dijkstra for Resource Allocation Optimization
• Augmented Self-paced Learning with Generative Adversarial Networks
• Benchmarking Parallel Chess Search in Stockfish on Intel Xeon and Intel Xeon Phi Processors
• Leveraging Uncertainty Analysis of Data to Evaluate User Influence Algorithms of Social Networks
• E-Zone: A faster Neighbor Point Query Algorithm For Matching Spacial Objects
• Application of Algorithmic Differentiation for Exact Jacobians to the Universal Laminar Flame Solver
• Morph Resolution Based on Autoencoders Combined with Effective Context Information
• Old Habits Die Hard: Fingerprinting Websites On The Cloud
• Deep Streaming Graph Representations
• Adversarial Reinforcement Learning for Chinese Text Summarization
• Column Concept Determination for Chinese Web Tables via Convolutional Neural Network
• Service-oriented approach for Internet of Things
• Adversarial Framework for General Image Inpainting
• A Stochastic Model to Simulate the Spread of Leprosy in Juiz de For a
• Data Fault Identification and Repair Method of Traffic Detector
• The valuation of CCIRS with a new design
• Method of Node Importance Measurement in Urban Road Network
• AdaBoost-LSTM Ensemble Learning for Financial Time Series Forecasting
• Analysis of Bluetooth Low Energy Detection Range Improvements for the Healthcare Environment
• Study on an N-parallel FENE-P constitutive model based on multiple relaxation times for viscoelastic fluid
• RADIC based Fault Tolerance System with Dynamic Resource Controller
• Effective Learning with Joint Discriminative and Representative Feature Selection
• Agile tuning method in successive steps for a river flow simulator
• A Parallel Quicksort Algorithm on Manycore Processors in Sunway TaihuLight
• How is the Forged Certificates in the Wild: Practice on Large-scale SSL Usage Measurement and Analysis
• Managing Cloud Data Centers with Three-state Server Model under Job Abandonment Phenomenon
• The Analysis of the Effectiveness of the Perspective-based Observational Tunnels Method by the Example of the Evaluation of Possibilities to Divide the Multidimensional Space of Coal Samples
• Urban data and spatial segregation: analysis of food services clusters in St. Petersburg, Russia
• Control driven lighting design for large-scale installations
• An OpenMP implementation of the TVD-Hopmoc method based on a synchronization mechanism using locks between adjacent threads on Xeon Phi accelerators
• Data-Aware Scheduling of Scientific Workflows in Hybrid Clouds
• Large margin proximal non-parallel support vector classifiers
• The multi-core optimization of the unbalanced calculation in the clean numerical simulation of Rayleigh-Benard turbulence
• ES-GP: An Effective Evolutionary Regression Framework with Gaussian Process and Adaptive Segmentation Strategy
• Evaluating Dynamic Scheduling of Tasks in Mobile Architectures using ParallelME Framework
• An OAuth2.0-Based Unified Authentication System for Secure Services in the Smart Campus Environment
• Time Series Cluster analysis on electricity consumption of North Hebei Province in China
• Effective Semi-supervised Learning Based on Local Correlation
• Detection and Prediction of House Price Bubbles: Evidence from a New City
• A Novel Parsing-based Automatic Domain Terminology Extraction Method
• Remote Procedure Calls for Improved Data Locality with the Epiphany Architecture
• Identifying the propagation sources of stealth worms
• Machine Learning Based Text Mining in Electronic Health Records: Cardiovascular Patient Cases
• Evolutionary ensemble approach for behavioral credit scoring
• Detecting influential users in customer-oriented online communities
• GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences
• Precedent-based approach for the identification of deviant behavior in social media
• Performance Analysis of 2D-compatible 2.5D-PDGEMM on Knights Landing Cluster.

The three-volume set LNCS 10860, 10861 and 10862 constitutes the proceedings of the 18th International Conference on Computational Science, ICCS 2018, held in Wuxi, China, in June 2018. The total of 155 full and 66 short papers presented in this book set was carefully reviewed and selected from 404 submissions. The papers were organized in topical sections named: Part I: ICCS Main Track Part II: Track of Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Track of Agent-Based Simulations, Adaptive Algorithms and Solvers; Track of Applications of Matrix Methods in Artificial Intelligence and Machine Learning; Track of Architecture, Languages, Compilation and Hardware Support for Emerging ManYcore Systems; Track of Biomedical and Bioinformatics Challenges for Computer Science; Track of Computational Finance and Business Intelligence; Track of Computational Optimization, Modelling and Simulation; Track of Data, Modeling, and Computation in IoT and Smart Systems; Track of Data-Driven Computational Sciences; Track of Mathematical-Methods-and-Algorithms for Extreme Scale; Track of Multiscale Modelling and Simulation Part III: Track of Simulations of Flow and Transport: Modeling, Algorithms and Computation; Track of Solving Problems with Uncertainties; Track of Teaching Computational Science; Poster Papers.
(source: Nielsen Book Data)

• Keynote Papers.- Computational Methods, Algorithms and Scientific Applications.- High Performance Computing and Networks.- Geometric Modeling, Graphics and Visualization.- Advanced and Emerging Applications.- Information Systems and Technologies.- Short Papers.
• (source: Nielsen Book Data)

The five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018. Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality. The total of 265 full papers and 10 short papers presented in the 5-volume proceedings set of ICCSA 2018, were carefully reviewed and selected from 892 submissions.
(source: Nielsen Book Data)

• Workshop Advanced methods in Fractals and Data Mining for Applications (AMFDMA 2018).- Workshop Advances in information Systems and Technologies for Emergency Management, Risk Assessment and Mitigation based on the Resilience Concepts (ASTER 2018).- Workshop Advances in Web Based Learning (AWBL 2018).- Workshop Bio and Neuro inspired Computing and Applications (BIONCA 2018).- Workshop Computer Aided Modeling, Simulation, and Analysis (CAMSA 2018).- Workshop Computational and Applied Statistics (CAS 2018).- Workshop Computational Geometry and Security Applications (CGSA 2018).- Workshop Computational Movement Analysis (CMA 2018).- Workshop Computational Mathematics, Statistics and Information Management (CMSIM 2018).- Workshop Computational Optimization and Applications (COA 2018).- Workshop Computational Astrochemistry (CompAstro 2018).
• (source: Nielsen Book Data)

The five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018. Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality. The total of 265 full papers and 10 short papers presented in the 5-volume proceedings set of ICCSA 2018, were carefully reviewed and selected from 892 submissions.
(source: Nielsen Book Data)

• Workshop Econometrics and multidimensional evaluation in the urban environment (EMEUE 2018).- Workshop Future Computing Systems, Technologies, and Applications (FiSTA 2018).- Workshop Geographical Analysis, Urban Modeling, Spatial statistics (GEO-AND-MOD 2018).- Workshop Web-based Collective Evolutionary Systems: models, measures, applications (IWCES 2018).- Workshop Large Scale Computational Physics (LSCP 2018).- Workshop Land Use Monitoring for Soil consumption reduction (LUMS 2018).- Workshop Mobile Communications (MC 2018).- Workshop REmote Sensing for Cultural and Natural heritage (RESCH 2018).- Workshop Is a smart city really smart? Models, solutions, proposals for an effective urban and social development (Smart Cities 2018).- Workshop Advances in Spatio-Temporal Analytics (ST-Analytics 2018).
• (source: Nielsen Book Data)

The five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018.Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality.The total of 265 full papers and 10 short papers presented in the 5-volume proceedings set of ICCSA 2018, were carefully reviewed and selected from 892 submissions.
(source: Nielsen Book Data)

• Workshop Scientific Computing Infrastructure (SCI 2018).- 10th International Symposium on Software Engineering Processes and Applications (SEPA 2018).- Workshop Challenges, Trends and Innovations in VGI (VGI 2018).- Workshop Virtual Reality and Applications (VRA 2018).
• (source: Nielsen Book Data)

The five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018. Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality.
(source: Nielsen Book Data)

• Workshop Cities, Technologies and Planning (CTP 2018).- Workshop Defense Technology and Security (DTS 2018).- Workshop Geomatics for Resource Monitoring and Control (GRMC 2018).- 8th International Symposium on Software Quality (ISSQ 2018).- Workshop Smart Factory Convergence (SFC 2018).- Workshop Theoretical and Computational Chemistry and its Applications (TCCA 2018).- Workshop Parallel and Distributed Data Mining (WPDM 2018).- Workshop Sustainability Performance Assessment: Models, Approaches and Applications toward Interdisciplinary and Integrated Solutions (SPA 2018).
• (source: Nielsen Book Data)

• Workshop Scientific Computing Infrastructure (SCI 2018).- 10th International Symposium on Software Engineering Processes and Applications (SEPA 2018).- Workshop Challenges, Trends and Innovations in VGI (VGI 2018).- Workshop Virtual Reality and Applications (VRA 2018).
• (source: Nielsen Book Data)

The five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018. Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality. The total of 265 full papers and 10 short papers presented in the 5-volume proceedings set of ICCSA 2018, were carefully reviewed and selected from 892 submissions. The paper Nitrogen Gas on Graphene: Pairwise Interaction Potentials is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
(source: Nielsen Book Data)
The five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018. Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality.
(source: Nielsen Book Data)

• Chapter 1. GUI Testing for Introductory Object-Oriented Programming Exercises (Ushio Inoue).-
• Chapter 2. Python Deserialization Denial of Services Attacks and their Mitigations (Kousei Tanaka).-
• Chapter 3. A Branch-and-Bound Based Exact Algorithm for the Maximum Edge-Weight Clique Problem (Satoshi Shimizu).-
• Chapter 4. A Software Model for Precision Agriculture Framework Based on Smart Farming System and Application of IoT Gateway (Symphorien Karl Yoki Donzia).-
• Chapter 5. Components of Mobile Integration in Social Business and E-commerce Application (Mechelle Grace Zaragoza).
• (source: Nielsen Book Data)

This book presents the outcomes of the 5th ACIS International Conference on Computational Science/Intelligence & Applied Informatics (CSII 2018), which was held on July 10-12, 2018 in Yonago, Japan. The aim of the conference was to bring together researchers and scientists, businesspeople and entrepreneurs, teachers, engineers, computer users, and students to discuss the various fields of computer science, to share their experiences, and to exchange new ideas and information in a meaningful way. All aspects (theory, applications and tools) of computer and information science, the practical challenges encountered along the way, and the solutions adopted to solve them are all explored here. The conference organizers selected the best papers from among those accepted for presentation. The papers were chosen on the basis of review scores submitted by members of the program committee and subsequently underwent further rigorous review. Following this second round of review, 13 of the conference's most promising papers were selected for this Springer (SCI) book. We eagerly await the important contributions that we know these authors will make to the field of computer and information science.
(source: Nielsen Book Data)

• Pioneers and landmarks in the development of information and communication technologies.- Systems theory, socio-economic systems and applications.- Theory and applications of metaheuristic algorithms.- Stochastic models and applications to natural, social and technical systems.- Model-based system design, verification and simulation.- Applications of signal processing technology.- Algebraic and combinatorial methods in signal and pattern analysis.- Computer vision, deep learning and applications.- Computer and systems based methods and electronics technologies in medicine.- Intelligent transportation systems and smart mobility.
• (source: Nielsen Book Data)

The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017. The 117 full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on: pioneers and landmarks in the development of information and communication technologies; systems theory, socio-economic systems and applications; theory and applications of metaheuristic algorithms; stochastic models and applications to natural, social and technical systems; model-based system design, verification and simulation; applications of signal processing technology; algebraic and combinatorial methods in signal and pattern analysis; computer vision, deep learning and applications; computer and systems based methods and electronics technologies in medicine; intelligent transportation systems and smart mobility.
(source: Nielsen Book Data)

• Pioneers and landmarks in the development of information and communication technologies.- Systems theory, socio-economic systems and applications.- Theory and applications of metaheuristic algorithms.- Stochastic models and applications to natural, social and technical systems.- Model-based system design, verification and simulation.- Applications of signal processing technology.- Algebraic and combinatorial methods in signal and pattern analysis.- Computer vision, deep learning and applications.- Computer and systems based methods and electronics technologies in medicine.- Intelligent transportation systems and smart mobility.
• (source: Nielsen Book Data)

The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017. The 117 full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on: pioneers and landmarks in the development of information and communication technologies; systems theory, socio-economic systems and applications; theory and applications of metaheuristic algorithms; stochastic models and applications to natural, social and technical systems; model-based system design, verification and simulation; applications of signal processing technology; algebraic and combinatorial methods in signal and pattern analysis; computer vision, deep learning and applications; computer and systems based methods and electronics technologies in medicine; intelligent transportation systems and smart mobility.
(source: Nielsen Book Data)

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
(source: Nielsen Book Data)

• Performance Evaluation Targeting Quality of Experience.- Mean Field Models for (Large-Scale) Load Balancing Systems.- On the Degradation of Distributed Graph Databases with Eventual Consistency.- To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs.- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding.- Mean Value Analysis of Closed G-Networks with Signals.- Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions.- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance.- Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach.- Modeling Smart Buildings Using Fault Maintenance Trees.- Performance Impact of Misbehaving Voters.- Information Flow Security for Stochastic Models.- Towards Probabilistic Modeling and Analysis of Real-Time Systems.- An Ontology Framework for Generating Discrete-Event Stochastic Models.- A Mixed Strategy for a Competitive Game in Delay Tolerant Network.- Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming.- Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud Computing.- An OpenFlow Controller Performance Evaluation Tool.- Product-form Queuing Networks with Batches. .
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018. The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in performanceengineering realm, including, dependability and security modeling, performance oriented model verification and testing, hardware and software systems case-studies, applications/extensions of queuing theory and network design.
(source: Nielsen Book Data)

• 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018).- 13th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2018).- 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018).- 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018).- 1st International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018).
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Vasteras, Sweden, in September 2018. The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's workshops are: ASSURE 2018 - Assurance Cases for Software-Intensive Systems; DECSoS 2018 - ERCIM/EWICS/ARTEMIS Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2018 - Next Generation of System Assurance Approaches for Safety-Critical Systems; STRIVE 2018 - Safety, securiTy, and pRivacy In automotiVe systEms; and WAISE 2018 - Artificial Intelligence Safety Engineering. The chapter '"Boxing Clever": Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift' is available open access under an Open Government License via link.springer.com.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Abstract of Invited Talks
• Constructive and Non-constructive Combinatorics
• Physarum Solves Non-negative Undirected Linear Programs
• Limitations of Algebraic Lower Bound Proofs
• Complexity of Generation
• Lower Bounds for Unrestricted Boolean Circuits: Open Problems
• Online Labeling: Algorithms, Lower Bounds and Open Questions
• Reading MCSP Through SAT
• Recent Developments on the Asymmetric Traveling Salesman Problem
• Contents
• Complexity of Generation
• 1 How They Measure Complexity of Generation
• 2 Hard Generation Problems

• 2.1 Examples
• 2.2 Circulation Cones and Polyhedra of Digrahs
• 2.3 Verifying Boolean Equalities and Inequalities
• 2.4 Sausage Lemma
• 2.5 A Sketch of the Proof of Theorem 1 for Digraphs
• 3 Flash-Light and Supergraph
• 4 Generating Dual-Bounded Hypergraphs
• 4.1 Monotone Generation
• 4.2 Dualization
• 4.3 Joint Generation BI95, BEGK02, GK95
• 4.4 Generating (Uniformly) Dual-Bounded Hypergraphs
• 5 More Examples of Generation Problems
• 5.1 Monotone Integer Programming BEGK05, BEGKM01, BEGKM02, BEGKM08
• 5.2 Maximal Frequent and Minimal Infrequent Sets in Data Mining AMSTV96, BGKM3, Elb06

• 5.3 Minimal Strongly Connected Subgraphs and Dicuts BEGKM04
• 5.4 Generating Generalized Paths, Cuts, and Spanning Sets in Graphs BEGKM07a, BEGKM07, BEGKM08, RT75
• 5.5 Spanning Linear Spaces by Linear Subspaces BEGK03, BEGKM08a
• 5.6 Polymatroid Functions and Systems of Polymatroid Inequalities BEGK03, BEGKM08a, Lov83, McD75
• 5.7 Uniformly DB Inequalities for Polymatroid Systems BEGK03, BEGKM08a
• References
• Lower Bounds for Unrestricted Boolean Circuits: Open Problems
• 1 Computational Model: Boolean Circuits
• 2 Lower Bounds: Approaches and Open Problems

• 2.1 Known Lower Bounds and Gate Elimination Method
• 2.2 Multi-output Functions
• 2.3 Non-gate-Elimination Lower Bounds
• 2.4 Symmetric Functions
• 2.5 Satisfiability Algorithms
• 2.6 Mass Production
• 2.7 Logarithmic Depth Circuits
• 2.8 Linear Circuits and Matrix Rigidity
• 2.9 Multiplicative Complexity
• References
• Online Labeling: Algorithms, Lower Bounds and Open Questions
• 1 The File Maintenance Problem
• 2 Deterministic Algorithms with Arbitrary Universe
• 3 The Role of the Universe Size
• 4 Randomized Online Labeling
• References

• Maintaining Chordal Graphs Dynamically: Improved Upper and Lower Bounds
• 1 Introduction
• 1.1 Previous Work
• 1.2 Our Results
• 1.3 Organization of the Paper
• 2 Decremental Algorithms Using Clique Tree
• 2.1 Structure with a Worst Case Update Time
• 2.2 Amortized Analysis
• 3 Dynamic Maintenance of Perfect Elimination Ordering
• 3.1 Decremental Algorithm
• 3.2 Fully Dynamic Maintenance of PEO
• 4 Lower Bound
• 5 Conclusions
• References
• Distributed Symmetry-Breaking Algorithms for Congested Cliques
• 1 Introduction
• 1.1 The Congested Clique Model and Problems

This book constitutes the proceedings of the 13th International Computer Science Symposium in Russia, CSR 2018, held in Moscow, Russia, in May 2018. The 24 full papers presented together with 7 invited lectures were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics such as algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; algorithms for concurrent and distributed systems; networks; and proof theory and applications of logic to computer science. .
(source: Nielsen Book Data)

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

• Learning for vision
• Computational photography
• Human analysis
• Human sensing
• Stereo and reconstruction
• Optimization
• Matching and recognition
• Video attention
• Poster sessions.

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018. The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

• Learning for vision
• Computational photography
• Human analysis
• Human sensing
• Stereo and reconstruction
• Optimization
• Matching and recognition
• Video attention
• Poster sessions.

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018. The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

• Learning for vision
• Computational photography
• Human analysis
• Human sensing
• Stereo and reconstruction
• Optimization
• Matching and recognition
• Video attention
• Poster sessions.

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018. The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

• Learning for vision.- Computational photography.- Human analysis.- Human sensing.- Stereo and reconstruction.- Optimization.- Matching and recognition.- Video attention.- Poster sessions.
• (source: Nielsen Book Data)

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.
(source: Nielsen Book Data)

The two-volume set LNCS 10896 and 10897 constitutes the refereed proceedings of the 16th International Conference on Computers Helping People with Special Needs, ICCHP 2018, held in Linz, Austria, in July2018. The 101 revised full papers and 78 short papers presented were carefully reviewed and selected from 356 submissions. The papers are organized in the following topical sections: Web accessibility in the connected world; accessibility and usability of mobile platforms for people with disabilities and elderly persons: design, development and engineering; accessible system/information/document design; accessible e-learning - e-learning for accessibility/AT; personalized access to TV, film, theatre, and music; digital games accessibility; accessibility and usability of self-service terminals, technologies and systems; universal learning design; motor and mobility disabilities: AT, HCI, care; empowerment of people with cognitive disabilities using digital technologies; augmented and alternative communication (AAC), supported speech; Art Karshmer lectures in access to mathematics, science and engineering; environmental sensing technologies for visual impairment; 3D printing in the domain of assistive technologies (AT) and do it yourselves (DIY) AT; tactile graphics and models for blind people and recognition of shapes by touch; access to artworks and its mediation by and for visually impaired people; digital navigation for people with visual impairments; low vision and blindness: human computer interaction; future perspectives for ageing well: AAL tools, products, services; mobile healthcare and m-health apps for people with disabilities; and service and information provision.
(source: Nielsen Book Data)