%{search_type} search results

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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