1 - 100
Next
Number of results to display per page
1 - 100
Next
Number of results to display per page
- NLPCC (Conference) (7th : 2018 : Hohhot, China)
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (XXIX, 478 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Conversational Bot/QA/IR
- Knowledge graph/IE
- Machine Learning for NLP
- Machine Translation
- NLP Applications.
2. Artificial intelligence and robotics [2018]
- International Symposium on Artificial Intelligence and Robotics (2nd : 2017 : Kitakyūshū-shi, Japan)
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (XIV, 326 pages) : 154 illustrations Digital: text file.PDF.
- Summary
-
- Identification of the Conjugate Pair to Estimating Object Distance: An Application of the Ant Colony Algorithm.-Design of Palm Acupuncture Points Indicator
- Low-rank Representation and Locality-constrained Regression for Robust Low-Resolution Face Recognition
- Face Recognition Benchmark with ID Photos
- Scene Relighting using a Single Reference Image through Material Constrained Layer Decomposition
- Applying Adaptive Actor-critic Learning to Human Upper Lime Lifting Motion
- A Demand-based Allocation Mechanism for Virtual Machine
- A Joint Hierarchy Model for Action Recognition Using Kinect
- QoS-Based Medical Program Evolution
- An Improved 3D Surface Reconstruction Method based on Three Wavelength Phase Shift Profilometry
- The Research on the Lung Tumor Imaging based on the Electrical Impedance Tomography
- Combining CNN and MRF for Road Detection
- The Increasing of Discrimination Accuracy of Waxed Apples based on Hyperspectral Imaging Optimized by Spectral Correlation Analysis
- A Diffeomorphic Demons Approach to Statistical Shape Modeling.
- Raj, Rahul, author
- Birmingham : Packt Publishing, Limited, 2019.
- Description
- Book — 1 online resource (294 pages)
- Summary
-
- Java deep learning cookbook: train neural networks for classification, NLP, and reinforcement learning using Deeplearning4j
- Dedication
- About Packt
- Contributors
- Table of Contents
- Preface
- 1. Introduction to Deep Learning in Java
- 2. Data Extraction, Transformation, and Loading
- 3. Building Deep Neural Networks for Binary Classification
- 4. Building Convolutional Neural Networks
- 5. Implementing Natural Language Processing
- 6. Constructing an LSTM Network for Time Series
- 7. Constructing an LSTM Neural Network for Sequence Classification
- 8. Performing Anomaly Detection on Unsupervised Data
- 9. Using RL4J for Reinforcement Learning
- 10. Developing Applications in a Distributed Environment
- 11. Applying Transfer Learning to Network Models
- 12. Benchmarking and Neural Network Optimization
- Other Books You May Enjoy
- Index.
- Tsukerman, Emmanuel.
- Birmingham : Packt Publishing, Limited, 2019.
- Description
- Book — 1 online resource (338 pages)
- Summary
-
- Cover
- Title Page
- Copyright and Credits
- About Packt
- Contributors
- Table of Contents
- Preface
- Chapter 1: Machine Learning for Cybersecurity
- Technical requirements
- Train-test-splitting your data
- Getting ready
- How to do it ...
- How it works ...
- Standardizing your data
- Getting ready
- How to do it ...
- How it works ...
- Summarizing large data using principal component analysis
- Getting ready
- How to do it ...
- How it works ...
- Generating text using Markov chains
- Getting ready
- How to do it ...
- How it works ...
- Performing clustering using scikit-learn
- Getting ready
- How to do it ...
- How it works ...
- Training an XGBoost classifier
- Getting ready
- How to do it ...
- How it works ...
- Analyzing time series using statsmodels
- Getting ready
- How to do it ...
- How it works ...
- Anomaly detection with Isolation Forest
- Getting ready
- How to do it ...
- How it works ...
- Natural language processing using a hashing vectorizer and tf-idf with scikit-learn
- Getting ready
- How to do it ...
- How it works ...
- Hyperparameter tuning with scikit-optimize
- Getting ready
- How to do it ...
- How it works ...
- Chapter 2: Machine Learning-Based Malware Detection
- Technical requirements
- Malware static analysis
- Computing the hash of a sample
- Getting ready
- How to do it ...
- How it works ...
- YARA
- Getting ready
- How to do it ...
- How it works ...
- Examining the PE header
- Getting ready
- How to do it ...
- How it works ...
- Featurizing the PE header
- Getting ready
- How to do it ...
- How it works ...
- Malware dynamic analysis
- Getting ready
- How to do it ...
- How it works ...
- Using machine learning to detect the file type
- Scraping GitHub for files of a specific type
- Getting ready
- How to do it ...
- How it works ...
- Classifying files by type
- Getting ready
- How to do it ...
- How it works ...
- Measuring the similarity between two strings
- Getting ready
- How to do it ...
- How it works ...
- Measuring the similarity between two files
- Getting ready
- How to do it ...
- How it works ...
- Extracting N-grams
- Getting ready
- How to do it ...
- How it works ...
- Selecting the best N-grams
- Getting ready
- How to do it ...
- How it works ...
- Building a static malware detector
- Getting ready
- How to do it ...
- How it works ...
- Tackling class imbalance
- Getting ready
- How to do it ...
- How it works ...
- Handling type I and type II errors
- Getting ready
- How to do it ...
- How it works ...
- Chapter 3: Advanced Malware Detection
- Technical requirements
- Detecting obfuscated JavaScript
- Getting ready
- How to do it ...
- How it works ...
- Featurizing PDF files
- Getting ready
- How to do it ...
- How it works ...
- Extracting N-grams quickly using the hash-gram algorithm
- Getting ready
- How to do it ...
- How it works ...
- See also
- Building a dynamic malware classifier
5. Sensing and control for autonomous vehicles : applications to land, water and air vehicles [2017]
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (ix, 518 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Vehicle Navigation Systems
- Localization and Mapping
- Path Planning
- Sensing and Tracking Systems
- Identification and Motion Control of Robotic Vehicles
- Coordinated and Cooperative Control of Multi-Vehicle Systems.
- Lowe, Andrew author.
- Swindon BCS, The Chartered Institute for IT 2021
- Description
- Book — 1 online resource (180 pages) Sound: digital.
- Summary
-
- Introduction - Ethical and Sustainable Human and Artificial AI Artificial Intelligence and Robotics Applying The Benefits of AI and Identifying Challenges and Risks Starting AI - How to Build A Machine Learning Toolbox Algorithms The Management, Roles and Responsibilities of Humans and Machines AI in Use in Industry - Reimagining Everything in the Fourth Industrial Revolution AI Case Studies .
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Online
7. L'intelligence artificielle [2021]
- Boden, Margaret A., author aut http://id.loc.gov/vocabulary/relators/aut
- Les Ulis : EDP Sciences, [2021]
- Description
- Book — 1 online resource (180 pages) Digital: text file.PDF.
- Summary
-
- Frontmatter
- Remerciements
- Sommaire
- Préface
- 1. Qu'est-ce au juste que l'intelligence artificielle?
- 2. Avec l'intelligence artificielle générale pour Graal
- 3. Langage, créativité et émotions
- 4. Les réseaux de neurones artificiels
- 5. Les robots et la vie artificielle (A-life)
- 6. Mais, est-ce réellement de l'intelligence?
- 7. La Singularité
- Références
- Lectures complémentaires
- Index
- Jansen, Stefan, author.
- Second edition. - Birmingham, UK : Packt Publishing, 2020.
- Description
- Book — 1 online resource (1 volume) : illustrations
- Summary
-
- Table of Contents Machine Learning for Trading - From Idea to Execution Market and Fundamental Data - Sources and Techniques Alternative Data for Finance - Categories and Use Cases Financial Feature Engineering - How to Research Alpha Factors Portfolio Optimization and Performance Evaluation The Machine Learning Process Linear Models - From Risk Factors to Return Forecasts The ML4T Workflow - From Model to Strategy Backtesting (N.B. Please use the Look Inside option to see further chapters).
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
9. The answer machine [2012]
- Feldman, Susan.
- Cham, Switzerland : Springer, ©2012.
- Description
- Book — 1 online resource (xvii, 119 pages) : illustrations
- Summary
-
- Introduction The Query Process and Barriers to Finding Information Online Online Search: An Evolution Search and Discovery Technologies: An Overview Information Access: A Spectrum of Needs and Uses Future Tense: The Next Era in Information Access and Discovery Answer Machines.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- López, Beatriz.
- Cham, Switzerland : Springer, ©2013.
- Description
- Book — 1 online resource (xv, 87 pages) : illustrations
- Summary
-
- Introduction The Case-Base Reasoning and Decision Making Learning Formal Aspects Summary and Beyond.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Du Sautoy, Marcus, author.
- Cambridge, Massachusetts : The Belknap Press of Harvard University Press, 2019.
- Description
- Book — 1 online resource (312 pages) : illustrations
- Summary
-
- The Lovelace Test
- Three types of creativity
- Ready steady go
- Algorithms, the secret to modern life
- From top-down to bottom-up
- Algorithmic evolution
- Painting by numbers
- Learning from the masters
- The art of mathematics
- The mathematician's telescope
- Music: the process of sounding mathematics
- The song-writing formula
- Deepmathematics
- Language games
- Let AI tell you a story
- Why we create: a meeting of minds.
- Lanham, Micheal, author.
- Birmingham, UK : Packt Publishing, 2020.
- Description
- Book — 1 online resource (1 volume) : illustrations
- Summary
-
- Table of Contents Understanding Rewards-Based Learning Dynamic Programming and the Bellman Equation Monte Carlo Methods Temporal Difference Learning Exploring SARSA Going Deep with DQN Going Deeper with DDQN Policy Gradient Methods Optimizing for Continuous Control All about Rainbow DQN Exploiting ML-Agents DRL Frameworks 3D Worlds From DRL to AGI.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
13. Lifelong machine learning [2018]
- Chen, Zhiyuan (Computer scientist), author.
- Second edition. - Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xix, 187 pages) : illustrations
- Summary
-
- Preface Acknowledgments Introduction Related Learning Paradigms Lifelong Supervised Learning Continual Learning and Catastrophic Forgetting Open-World Learning Lifelong Topic Modeling Lifelong Information Extraction Continuous Knowledge Learning in Chatbots Lifelong Reinforcement Learning Conclusion and Future Directions Bibliography Authors' Biographies.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Kranakis, Evangelos.
- Cham, Switzerland : Springer, ©2010.
- Description
- Book — 1 online resource (xvi, 106 pages) : illustrations (some color)
- Summary
-
- 1. Models for mobile agent computing
- Introduction
- What is a mobile agent
- Why mobile agents
- An algorithmic model for mobile agents
- Mobile agents
- Distributed networks
- Resource measures
- Mobile agent rendezvous
- Outline of the book
- Comments and bibliographic remarks.
- 2. Deterministic rendezvous in a ring
- Introduction
- A single stationary token
- The feasibility of rendezvous
- The time complexity of rendezvous
- Memory tradeoff for rendezvous with detection
- Limits to the memory trade-off
- Movable tokens
- Comments and bibliographic remarks.
- 3. Multiple agent rendezvous in a ring
- Introduction
- Impossibility of rendezvous
- Rendezvous with detection
- Conditional solutions
- Comments and bibliographic remarks.
- 4. Randomized rendezvous in a ring
- Introduction
- Random walk algorithm
- Randomization and tokens
- Time/memory trade-offs
- Coin half tour algorithm
- Approximate counting algorithm
- Comments and bibliographic remarks.
- 5. Other models
- Introduction
- Leader election and rendezvous
- Rendezvous with failing tokens
- Rendezvous when tokens fail upon release
- Rendezvous when tokens can fail at any time
- The cost of token failure
- Flickering tokens
- Asynchronous rendezvous
- Look-compute-move
- Model and terminology
- Impossibility results
- Gathering configurations with a single multiplicity
- Gathering rigid configurations
- Gathering an odd number of robots
- Dangerous networks
- Black-hole search in an asynchronous ring
- Rendezvous in asynchronous rings in spite of a black-hole
- Comments and bibliographic remarks.
- 6. Other topologies
- Introduction
- Synchronous torus
- Memory lower bounds for rendezvous
- Rendezvous algorithms
- Trees
- Arbitrary graphs
- Comments and bibliographic remarks.
- Bibliography
- Glossary
- Authors' biographies
- Index.
15. Active learning [2012]
- Settles, Burr.
- Cham, Switzerland : Springer, ©2012.
- Description
- Book — 1 online resource (xiii, 100 pages) : illustrations
- Summary
-
- Automating Inquiry Uncertainty Sampling Searching Through the Hypothesis Space Minimizing Expected Error and Variance Exploiting Structure in Data Theory Practical Considerations.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
16. Algorithms for reinforcement learning [2010]
- Szepesvári, Csaba.
- Cham, Switzerland : Springer, ©2010.
- Description
- Book — 1 online resource (xii, 89 pages) : illustrations
- Summary
-
- Markov Decision Processes Value Prediction Problems Control For Further Exploration.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Unabridged. - New York : Gildan Audio, ℗2019.
- Description
- Sound recording — 1 online resource
- Summary
-
From making faster, better decisions to automating rote work to enabling robots to respond to emotions, AI and machine learning are already reshaping business and society. What should you and your company be doing today to ensure that you're poised for success and keeping up with your competitors in the age of AI' Artificial Intelligence: The Insights You Need from Harvard Business Review brings you today's most essential thinking on AI and explains how to launch the right initiatives at your company to capitalize on the opportunity of the machine intelligence revolution. Business is changing. Will you adapt or be left behind' Get up to speed and deepen your understanding of the topics that are shaping your company's future with the Insights You Need from Harvard Business Review series. Featuring HBR's smartest thinking on fast-moving issues-blockchain, cybersecurity, AI, and more-each book provides the foundational introduction and practical case studies your organization needs to compete today and collects the best research, interviews, and analysis to get it ready for tomorrow. You can't afford to ignore how these issues will transform the landscape of business and society. The Insights You Need series will help you grasp these critical ideas-and prepare you and your company for the future.
- Geffner, Hector.
- Cham, Switzerland : Springer, ©2013.
- Description
- Book — 1 online resource (xii, 129 pages) : illustrations
- Summary
-
- Preface Planning and Autonomous Behavior Classical Planning: Full Information and Deterministic Actions Classical Planning: Variations and Extensions Beyond Classical Planning: Transformations Planning with Sensing: Logical Models MDP Planning: Stochastic Actions and Full Feedback POMDP Planning: Stochastic Actions and Partial Feedback Discussion Bibliography Author's Biography.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Vlassis, Nikos.
- 1st ed. - Cham, Switzerland : Springer, ©2007.
- Description
- Book — 1 online resource (xii, 71 pages)
- Summary
-
- Introduction Rational Agents Strategic Games Coordination Partial Observability Mechanism Design Learning.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Seni, Giovanni.
- Cham, Switzerland : Springer, ©2010.
- Description
- Book — 1 online resource (xvi, 108 pages) : illustrations
- Summary
-
- Ensembles Discovered Predictive Learning and Decision Trees Model Complexity, Model Selection and Regularization Importance Sampling and the Classic Ensemble Methods Rule Ensembles and Interpretation Statistics Ensemble Complexity.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
21. Graph mining : laws, tools, and case studies [2012]
- Chakrabarti, Deepayan.
- Cham, Switzerland : Springer, ©2012.
- Description
- Book — 1 online resource (xv, 191 pages) : illustrations
- Summary
-
- Introduction Patterns in Static Graphs Patterns in Evolving Graphs Patterns in Weighted Graphs Discussion: The Structure of Specific Graphs Discussion: Power Laws and Deviations Summary of Patterns Graph Generators Preferential Attachment and Variants Incorporating Geographical Information The RMat Graph Generation by Kronecker Multiplication Summary and Practitioner's Guide SVD, Random Walks, and Tensors Tensors Community Detection Influence/Virus Propagation and Immunization Case Studies Social Networks Other Related Work Conclusions.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
22. Introduction to semi-supervised learning [2009]
- Zhu, Xiaojin, Ph. D.
- Cham, Switzerland : Springer, ©2009.
- Description
- Book — 1 online resource (xi, 116 pages) : color illustrations
- Summary
-
- Introduction to Statistical Machine Learning Overview of Semi-Supervised Learning Mixture Models and EM Co-Training Graph-Based Semi-Supervised Learning Semi-Supervised Support Vector Machines Human Semi-Supervised Learning Theory and Outlook.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
23. Learning with support vector machines [2011]
- Campbell, Colin.
- Cham, Switzerland : Springer, ©2011.
- Description
- Book — 1 online resource (viii, 83 pages) : illustrations
- Summary
-
- Support Vector Machines for Classification Kernel-based Models Learning with Kernels.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Domingos, Pedro.
- Cham, Switzerland : Springer, ©2009.
- Description
- Book — 1 online resource (viii, 145 pages) : illustrations
- Summary
-
- Introduction Markov Logic Inference Learning Extensions Applications Conclusion.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Sun, Yizhou.
- Cham, Switzerland : Springer, ©2012.
- Description
- Book — 1 online resource (xi, 147 pages) : illustrations (some color)
- Summary
-
- Introduction Ranking-Based Clustering Classification of Heterogeneous Information Networks Meta-Path-Based Similarity Search Meta-Path-Based Relationship Prediction Relation Strength-Aware Clustering with Incomplete Attributes User-Guided Clustering via Meta-Path Selection Research Frontiers.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Mausam.
- Cham, Switzerland : Springer, ©2012.
- Description
- Book — 1 online resource (xvi, 194 pages) : illustrations
- Summary
-
- Introduction MDPs Fundamental Algorithms Heuristic Search Algorithms Symbolic Algorithms Approximation Algorithms Advanced Notes.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
27. Sentiment analysis and opinion mining [2012]
- Liu, Bing, 1963-
- Cham, Switzerland : Springer, ©2012.
- Description
- Book — 1 online resource (xiv, 167 pages)
- Summary
-
- Preface Sentiment Analysis: A Fascinating Problem The Problem of Sentiment Analysis Document Sentiment Classification Sentence Subjectivity and Sentiment Classification Aspect-Based Sentiment Analysis Sentiment Lexicon Generation Opinion Summarization Analysis of Comparative Opinions Opinion Search and Retrieval Opinion Spam Detection Quality of Reviews Concluding Remarks Bibliography Author Biography.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Rossi, Francesca, 1962-
- Cham, Switzerland : Springer, ©2011.
- Description
- Book — 1 online resource (ix, 90 pages) : illustrations
- Summary
-
- Introduction Preference Modeling and Reasoning Uncertainty in Preference Reasoning Aggregating Preferences Stable Marriage Problems.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
29. Trading agents [2011]
- Wellman, Michael P.
- Cham, Switzerland : Springer, ©2011.
- Description
- Book — 1 online resource (xiii, 93 pages) : illustrations
- Summary
-
- Introduction Example: Bidding on eBay Auction Fundamentals Continuous Double Auctions Interdependent Markets Conclusion.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Jansen, Bernard J.
- Cham, Switzerland : Springer, ©2009.
- Description
- Book — 1 online resource (xiii, 101 pages) : color illustrations
- Summary
-
- Understanding Web Analytics The Foundations of Web Analytics: Theory and Methods The History of Web Analytics Data Collection for Web Analytics Web Analytics Fundamentals Web Analytics Strategy Web Analytics as Competitive Intelligence Supplementary Methods for Augmenting Web Analytics Search Log Analytics Conclusion Key Terms Blogs for Further Reading References.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Gündüz-Ögüdücü, Șule.
- Cham, Switzerland : Springer, ©2011.
- Description
- Book — 1 online resource (viii, 77 pages : illustrations
- Summary
-
- Introduction to Web Page Recommender Systems Preprocessing for Web Page Recommender Models Pattern Extraction Evaluation Metrics.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Lesmeister, Cory, author.
- Birmingham : Packt, [2019]
- Description
- Book — 1 online resource (652 pages)
- Summary
-
- Table of Contents Preparing and Understanding Data Linear Regression Logistic Regression Advanced Feature Selection in Linear Models K-Nearest Neighbors and Support Vector Machines Tree-Based Classification Neural Networks and Deep Learning Creating Ensembles and Multiclass Methods Cluster Analysis Principal Component Analysis Association Analysis Time Series and Causality Text Mining Exploring the Machine Learning Landscape Predicting Employee Attrition Using Ensemble Models Implementing a Joke Recommendation Engine Sentiment Analysis of Amazon Reviews with NLP Customer Segmentation Using Wholesale Data Image Recognition Using Deep Neural Networks Credit Card Fraud Detection Using Autoencoders Automatic Prose Generation with Recurrent Neural Networks Winning the Casino Slot Machines with Reinforcement Learning.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Ponteves, Hadelin de.
- Birmingham : Packt Publishing, Limited, 2019.
- Description
- Book — 1 online resource (361 pages)
- Summary
-
- Table of Contents Welcome to the Robot World Discover Your AI Toolkit Python Fundamentals - Learn How to Code in Python AI Foundation Techniques Your First AI Model - Beware the Bandits! AI for Sales and Advertising - Sell like the Wolf of AI Street Welcome to Q-Learning AI for Logistics - Robots in a Warehouse Going Pro with Artificial Brains - Deep Q-Learning AI for Autonomous Vehicles - Build a Self-Driving Car AI for Business - Minimize Costs with Deep Q-Learning Deep Convolutional Q-Learning AI for Games - Become the Master at Snake Recap and Conclusion.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Mishra, Sakti, author.
- Birmingham : Packt Publishing, Limited, 2022.
- Description
- Book — 1 online resource (430 p.)
- Summary
-
- Table of Contents An Overview of Amazon EMR Exploring the Architecture and Deployment Options Common Use Cases and Architecture Patterns Big Data Applications and Notebooks Available in Amazon EMR Setting Up and Configuring EMR Clusters Monitoring, Scaling, and High Availability Understanding Security in Amazon EMR Understanding Data Governance in Amazon EMR Implementing Batch ETL Pipeline with Amazon EMR and Apache Spark Implementing Real-Time Streaming with Amazon EMR and Spark Streaming Implementing UPSERT on S3 Data Lake with Apache Spark and Apache Hudi Orchestrating Amazon EMR Jobs with AWS Step Functions and Apache Airflow/MWAA Migrating On-Premises Hadoop Workloads to Amazon EMR Best Practices and Cost Optimization Techniques.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Iodice, Gian Marco, author
- Birmingham : Packt Publishing, Limited, 2022.
- Description
- Book — 1 online resource (344 pages)
- Summary
-
- Table of Contents Getting Started with TinyML Prototyping with Microcontrollers Building a Weather Station with TensorFlow Lite for Microcontrollers Voice Controlling LEDs with Edge Impulse Indoor Scene Classification with TensorFlow Lite for Microcontrollers and the Arduino Nano Building a Gesture-Based Interface for YouTube Playback Running a Tiny CIFAR-10 Model on a Virtual Platform with the Zephyr OS Toward the Next TinyML Generation with microNPU.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cambridge, Massachusetts : The MIT Press, [2022]
- Description
- Book — 1 online resource.
- Summary
-
"Academic, industry, and government experts provide a global survey of the financial services sector's transformation by AI, data science, and blockchain"-- Provided by publisher.
- BUELTA, JAIME.
- [S.l.] : PACKT PUBLISHING LIMITED, 2022.
- Description
- Book — 1 online resource
- Summary
-
- Table of Contents Introduction to Software Architecture API Design Data Modeling The Data Layer The Twelve-Factor App Methodology Web Server Structures Event-Driven Structures Advanced Event-Driven Structures Microservices vs Monolith Testing and TDD Package Management Logging Metrics Profiling Debugging Ongoing Architecture.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
38. Art in the age of machine learning [2021]
- Audry, Sofian, author.
- Cambridge, Massachusetts : The MIT Press, 2021.
- Description
- Book — 1 online resource.
- Summary
-
"This book examines artistic practices that use machine learning and computational technologies through historical perspectives surrounding adaptive systems from the 1950s onwards"-- Provided by publisher.
- Berlin Boston Walter de Gruyter GmbH [2019]
- Description
- Book — 1 online resource (x, 182 pages) illustrations Digital: text file; PDF.
- Summary
-
- Frontmatter
- Preface
- Contents
- List of Contributors
- 1. Feature selection in biomedical signal classification process and current software implementations / Jovic, Alan
- 2. An overview of skin lesion segmentation, features engineering, and classification / Sabri, My Abdelouahed / Filali, Youssef / Ennouni, Assia / Yahyaouy, Ali / Aarab, Abdellah
- 3. Brain tumor image segmentation and classification using SVM, CLAHE, and ARKFCM / Ishita, Banerjee / Madhumathy, P. / Kavitha, N.
- 4. Coronary Heart Disease prediction using genetic algorithm based decision tree / Sivaranjani, Reddi / Naresh, Vankamamidi S. / Murthy, Nistala V.E.S.
- 5. Intelligent approach for retinal disease identification / Rajyaguru, Vipul C. / Vithalani, Chandresh H. / Thanki, Rohit M.
- 6. Speech separation for interactive voice systems / Wiem, Belhedi / Anouar, Ben Messaoud Mohamed / Aïcha, Bouzid
- 7. Machine vision for human-machine interaction using hand gesture recognition / Verma, Varnita / Rajput, Anshuman / Chauhan, Piyush / Rathore, Harshit / Goyal, Piyush / Gupta, Mukul Kumar
- Index
(source: Nielsen Book Data)
- Amsterdam : IOS Press, 2011.
- Description
- Book — 1 online resource (196 pages) Digital: data file.
- Summary
-
- Title page; Preface; Contents; Part I. Foundations of Well-Being; Part II. Supporting the Well-Being Through Care Taking in Smart Environments; Part III. Improving the Well-Being Through Life-Style and Entertainment; Subject Index; Author Index.
(source: Nielsen Book Data)
- Ankan, Ankur, author.
- Birmingham, UK : Packt Publishing, 2018.
- Description
- Book — 1 online resource (1 volume) : illustrations
- Summary
-
- Table of Contents Introduction to Markov Process Hidden Markov Models State Inference: Predicting the states Parameter Inference using Maximum Likelihood Parameter Inference using Bayesian Approach Time Series: Predicting Stock Prices Natural Language Processing: Teaching machines to talk 2D-HMM for Image Processing Reinforcement Learning: Teaching a robot to cross a maze.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
42. A logical theory of causality [2021]
- Bochman, Alexander, 1955- author.
- Cambridge, Massachusetts : The MIT Press, 2021.
- Description
- Book — 1 online resource.
- Summary
-
"The first book that provides a systematic and rigorous logical theory of causality"-- Provided by publisher.
- Cambridge, Massachusetts : The MIT Press, [2021]
- Description
- Book — 1 online resource.
- Summary
-
"A collection of critical essays dealing with the social and ethical impacts of AI including issues of trust, reliability, and bias"-- Provided by publisher.
44. Achieving consensus in robot swarms : design and analysis of strategies for the best-of-n problem [2017]
- Valentini, Gabriele, author.
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xiv, 146 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Introduction.- Part 1:Background and Methodology.- Discrete Consensus Achievement in Artificial Systems.- Modular Design of Strategies for the Best-of-n Problem.- Part 2:Mathematical Modeling and Analysis.- Indirect Modulation of Majority-Based Decisions.- Direct Modulation of Voter-Based Decisions.- Direct Modulation of Majority-Based Decisions.- Part 3:Robot Experiments.- A Robot Experiment in Site Selection.- A Robot Experiment in Collective Perception.- Part 4:Discussion and Annexes.- Conclusions.- Background on Markov Chains.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- BGSIAM (Conference) (11th : 2016 : Sofia, Bulgaria)
- Cham, Switzerland : Springer, 2018.
- Description
- Book — 1 online resource (viii, 227 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Local Perturbation Analysis Of The Stochastic Matrix Riccati Equation With Applications In Finance.- An Embedded Compact Scheme For Biharmonic Problems In Irregular Domains.- Ant Colony Optimization Algorithm For 1D Cutting Stock Problem.- 2D Optimal Cutting Problem.- Error Estimate In The Iterative Numerical Method For Two-Dimensional Nonlinear Hammerstein-Fredholm Fuzzy Functional Integral Equations.- Noise Removal And Feature Extraction Of 2D CT Radiographic Images.- Representation Of Civilians And Police Officers By Generalized Nets For Describing Software Agents In The Case Of Protest.- Comparison Of NDT Techniques For Elastic Modulus Determination Of Laminated Composites.- Integer Codes For Flash Memories.- On The Strong Asymptotics Of Rows Of The Pade Table.- Total Phosphorus Removal In Horizontal Subsurface Flow Constructed Wetlands: A Computational Investigation For The Optimal Adsorption Model.- Some Results Involving Euler-Type Integrals And Dilogarithm Values.- Nonlinear Evolution Equation For Propagation Of Waves In An Artery With An Aneurysm: An Exact Solution Obtained By The Modified Method Of Simplest Equation.- Modelling Of Light Mg And Al Based Alloys As "In Situ" Composites.- Asymptotic Study Of The Nonlinear Velocity Problem For The Oscillatory Non-Newtonian Flow In A Straight Channel.- Competition For Resources And Space Contributes To The Emergence Of Drug Resistance In Cancer.- Efficient Error Based Metrics For Fuzzy-Neural Network Performance Evaluation.- Box Model Of Migration In Channels Of Migration Networks.- Modified Coordinates In Dynamics Simulation Of Multibody Systems With Elastic Bodies.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- ADMA (Conference) (13th : 2017 : Singapore)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xvii, 881 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Database and Distributed Machine Learning.- Querying and Mining Strings Made Easy Distributed Training Large-Scale Deep Architectures.- Fault Detection and Localization in Distributed Systems using Recurrent Convolutional Neural Networks.- Discovering Group Skylines with Constraints by Early Candidate Pruning.- Comparing MapReduce-Based k-NN Similarity Joins On Hadoop For High-dimensional Data.- A Higher-Fidelity Frugal Quantile Estimator.- Recommender System.- Fair Recommendations Through Diversity Promotion.- A Hierarchical Bayesian Factorization Model for Implicit and Explicit Feedback Data.- Empirical Analysis of Factors Influencing Twitter Hashtag Recommendation on Detected Communities.- Group Recommender Model Based on Preference Interaction.- Identification of Grey Sheep Users By Histogram Inter
- section In Recommender Systems.- Social Network and Social Media.- A Feature-based Approach for the Redefined Link Prediction Problem in Signed Networks.- From Mutual Friends to Overlapping Community Detection: A Non-negative Matrix Factorization Approach.- Calling for Response: Automatically Distinguishing Situation-aware Tweets During Crises.- Efficient Revenue Maximization for Viral Marketing in Social Networks.- Generating Life Course Trajectory Sequences with Recurrent Neural Networks and Application to Early Detection on Social Disadvantage.- FRISK: A Multilingual Approach to Find twitteR InterestS via wiKipedia.- A Solution to Tweet-Based User Identification across Online Social Networks.- Machine Learning.- Supervised Feature Selection Algorithm Based on Low-Rank and Manifold Learning.- Mixed Membership Sparse Gaussian Conditional Random Fields.- Effects of Dynamic Subspacing in Random Forest.- Diversity and Locality in Multi-Component, Multi-Layer Predictive Systems: A Mutual Information Based Approach.- Hybrid Subspace Mixture Models For Prediction and Anomaly Detection in High Dimensions.- Classification and Clustering Methods.- StruClus: Scalable Structural Graph Set Clustering with Representative Sampling.- Employing Hierarchical Clustering and Reinforcement Learning for Attribute-based Zero-Shot Classification.- Environmental Sound Recognition using Masked Conditional Neural Networks.- Analyzing Performance of Classification Techniques in Detecting Epileptic Seizure.- A Framework for Clustering and Dynamic Maintenance of XML Documents.- Language-independent Twitter Classification using Character-based Convolutional Networks.- Behavior Modeling and User Profiling.- Modeling Check-in Behavior with Geographical Neighborhood Influence of Venues.- An empirical study on collective online behaviors of extremist supporters. -Your Moves, Your Device: Establishing Behavior Profiles using Tensors.- An Approach for Identifying Author Profiles of Blogs.- Generating Topics of Interests for Research Communities.- An Evolutionary Approach for Learning Conditional Preference Network from Inconsistent Examples.- Bioinformatic and Medical Data Analysis.- Predicting Clinical Outcomes of Alzheimer's Disease from Complex Brain Networks.- Doctoral Advisor or Medical Condition: Towards Entity-specific Rankings of Knowledge Base Properties.- Multiclass Lung Cancer Diagnosis by Gene Expression Programming and Microarray Datasets.- Drug-drug Interaction Extraction via Recurrent Neural Network with Multiple Attention Layers.- Spatio-temporal Data.- People-Centric Mobile Crowdsensing Platform for Urban Design.- Long-Term User Location Prediction Using Deep Learning and Periodic Pattern Mining.- An Intelligent Weighted Fuzzy Time Series Model Based on A Sine-Cosine Adaptive Human Learning Optimization Algorithm and Its Application to Financial Markets Forecasting.- Mobile Robot Scheduling with Multiple Trips and Time Windows.- Natural Language Processing and Text Mining.- Feature Analysis for Duplicate Detection in Programming QA Communities.- A Joint Human/Machine Process for Coding Events and Conflict Drivers.- Quality Prediction of Newly Proposed Questions in CQA by Leveraging Weakly Supervised Learning.- Improving Chinese Sentiment Analysis via Segmentation-based Representation Using Parallel CNN.- Entity Recognition by Distant Supervision with Soft List Constraint.- Structured Sentiment Analysis.- Data Mining Applications.- Improving Real-Time Bidding Using a Constrained Markov Decision Process.- PowerLSTM: Power Demand Forecasting Using Long Short-Term Memory Neural Network.- Identifying Unreliable Sensors Without a Knowledge of the Ground Truth in Deceptive Environments.- Color-sketch simulator: a guide for color-based visual known-item search.- Applications.- Making Use of External Company Data to Improve the Classification of Bank Transactions.- Mining Load Profile Patterns for Australian Electricity Consumers.- STA: a Spatio-temporal Thematic Analytics Framework for Urban Ground Sensing.- Privacy and Utility Preservation for Location Data Using Stay Region Analysis.- Location-aware Human Activity Recognition.- Demos.- SWYSWYK: a new Sharing Paradigm for the Personal Cloud.- Tools and Infrastructure for Supporting Enterprise Knowledge Graphs.- An Interactive Web-based Toolset for Knowledge Discovery from Short Text Log Data.- Carbon: Forecasting Civil Unrest Events by Monitoring News and Social Media.- A system for Querying and Analyzing Urban Regions.- Detect tracking behavior among trajectory data.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- CAiSE (Conference) (29th : 2017 : Essen, Germany)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxi, 650 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Information systems architecture.- Business process alignment.- User knowledge discovery.- Business process performance.- Big data exploration.- Process variability management.- Information systems transformation and evolution.- Business process modeling readability.- Business process adaption.- Data mining.- Process discovery.- Business process modeling notation.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xiii, 561 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Part I: From Machine Learning to Data Mining.- Analyzing Accident Prone Regions by Clustering.- Analyzing Life Insurance Data with Different Classification Techniques for Customers' Behavior Analysis.- Classification of Product Rating Using Data Mining Techniques.- MASS: a Semi-Supervised Multi-Label Classification Algorithm with Specific Feature.- Parallel Self-organizing Map Using Shared Virtual Memory Buffers.- Parametric Optimization of the Selected Classifiers in Binary Classification.- Prediction of Academic Performance During Adolescence Based on Socioeconomic, Psychological and Academic Factors.- A Super-Vector Deep Learning Coprocessor with High Performance-Power Ratio.- Part II: Big Data and Collaborative Decision Support Systems.- Bi-temporal Database Model for Legal Merger Transactions and Late-arriving Information Problem: the Case of Polish Merger Market.- Breathing Movement Analysis for Adjustment of Radiotherapy Planning.- Measuring Improvement in Access to Complete Data in Healthcare Collaborative Dabase Systems.- Rough Set Theory for Supporting Decision Making on Relevance in Browsing Multilingual Digital Resources.- The Social Influence on the Behavioral Intention to Use Mobile Electronic Medical Records.- Stock Prices Growth Pattern by the Emergency Demand After the Great East-Japan Earthquake.- Structure-Based Virtual Screening for Novel Modulators of Human Orexin 2 Receptor with Cloud Systems and Supercomputers.- Supply Chains of Cross-Border E-Commerce.- Towards Personalized Virtual Customer Experience.- Towards Big Management.- Part III: Computer Vision Analysis, Detection, Tracking and Recognition.- Combination of Collision Detection and Visibility Algorithms in Simulation of Effective Placement of Anti-Air Elements.- A Combination of Deep Learning and Hand-Designed Feature for Plant Identification based on Leaf and Flower Images.- An Efficient Defect Classification Algorithm for Ceramic Tiles.- Parking Assistant - Prediction of an Empty Parking Space in Time.- Recent Advances in the Field of Foreground Detection: An Overview.- Tracking of Bone Reparation Process with Using of Periosteal Callus Extraction based on Fuzzy C-Means Algorithm.- Part IV: Data-Intensive Text Processing.- Automatic Post-Editing of Kazakh Sentences Machine Translated from English.- Complex Technology of Machine Translation Resources Extension for the Kazakh Language.- Enhancing Latent Semantic Analysis by Embedding Tagging Algorithm in Retrieving Malay Text Documents.- Exploiting Distance Graph and Hidden Topic Models for Multi-label Text Classification.- Financial Reports and Financial News - An Information Content Gap Analysis.- The Great National Photocorpus of 20th-Century Vietnamese. Origins, assumptions and goals.- The Impact of User Sentiment Aroused by The-day-of-the-week on the Recommendation Effectiveness in Microblog.- Multi-Sentence Compression Using Word Graph and Integer Linear Programming.- A Performance Comparison of Feature Extraction Methods for Sentiment Analysis.- A Study of Plagiarism Checker System Based on Chinese Word Segmentation and SQL Intersection Operation Technique.- Text Summarization Based on Classification Using ANFIS.- Part V: Innovations in Web and Internet Technologies.- Analysis of Indoor Positioning Based on BLE.- A Fusion Technique of Schema and Syntax Rules for Validating Open Data.- Job Description Language for a Browser-Based Computing Platform - A Preliminary Report.- Measuring the Effectiveness of Knowledge Driven Web Applications.- Responsive Data Table Solution with New Scrolling Control Gesture for Better User Experience.- Part VI: New Methods and Applications in Software Engineering.- Adaptation of an ANN-Based Air Quality Forecasting Model to a New Application Area.- Checking Compliance of Program with SecureUML Model.- Generation of Test Data using Genetic Algorithm and Constraint Solver.- Investigating the Issues of using Agile Methods in Offshore Software Development in Sri Lanka.- A Method for Automated Test Cases Generation from UML Models with String ConstraintS.- Mobile Application for Calculation of Optimal Route Between Searched Points of Interest.- On Implementation of the Assumption Generation Method for Component-Based Software Verification.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (30th : 2017 : Arras, France)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxix, 642 pages) : illustrations Digital: text file; PDF.
- Summary
-
- Constraints, planning, and optimization.- Data mining and machine learning.- Sensors, signal processing, and data fusion.- Recommender systems.- Decision support systems.- Knowledge representation and reasoning.- Navigation, control, and autonome agents.- Sentiment analysis and social media.- Games, computer vision, and animation.- Uncertainty management.- Graphical models: from theory to applications.- Anomaly detection.- Agronomy and artificial intelligence.- Applications of argumentation.- Intelligent systems in healthcare and mhealth for health outcomes.- Innovative applications of textual analysis based on AI.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (30th : 2017 : Arras, France)
- Cham : Springer, 2017.
- Description
- Book — 1 online resource (xxvii, 470 pages) : illustrations Digital: text file; PDF.
- Summary
-
- Constraints, planning, and optimization.- Data mining and machine learning.- Sensors, signal processing, and data fusion.- Recommender systems.- Decision support systems.- Knowledge representation and reasoning.- Navigation, control, and autonome agents.- Sentiment analysis and social media.- Games, computer vision, and animation.- Uncertainty management.- Graphical models: from theory to applications.- Anomaly detection.- Agronomy and artificial intelligence.- Applications of argumentation.- Intelligent systems in healthcare and mhealth for health outcomes.- Innovative applications of textual analysis based on AI.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham : Springer, [2016]
- Description
- Book — 1 online resource (vii, 135 pages) : illustrations
- Summary
-
- Advances in Business ICT: New Ideas from Ongoing Research.- Verification of Temporal Knowledge Bases as an Important Aspect of Knowledge Management Processes in Organization.- The role of simulation performance in software-in-the-loop simulations.- Cognitum Ontorion: Knowledge Representation and Reasoning System.- Overview of Selected Business Process Semantization Techniques.- Selected Approaches Towards Taxonomy of Business Process Anomalies.- Hybrid framework for investment project portfolio selection.- Towards Predicting Stock Price Moves with Aid of Sentiment Analysis of Twitter Social Network Data and Big Data Processing Environment.- On a Property of Phase Correlation and Possibilities to Reduce the Walsh Function System.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- International Work-Conference on Artificial Neural Networks (14th : 2017 : Cádiz, Spain)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxix, 761 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Bio-inspired Computing.- E-Health and Computational Biology.- Human Computer Interaction.- Image and Signal Processing.- Mathematics for Neural Networks.- Self-organizing Networks.- Spiking Neurons.- Artificial Neural Networks in Industry ANNI'17.- Computational Intelligence Tools and Techniques for Biomedical Applications.- Assistive Rehabilitation Technology.- Computational Intelligence Methods for Time Series.- Machine Learning Applied to Vision and Robotics.- Human Activity Recognition for Health and Well-Being Applications.- Software Testing and Intelligent Systems.- Real World Applications of BCI Systems.- Machine Learning in Imbalanced Domains.- Surveillance and Rescue Systems and Algorithms for Unmanned Aerial Vehicles.- End-User Development for Social Robotics.- Artificial Intelligence and Games.- Supervised, Non-Supervised, Reinforcement and Statistical Algorithms. .
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- International Work-Conference on Artificial Neural Networks (14th : 2017 : Cádiz, Spain)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxix, 763 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Bio-inspired Computing.- E-Health and Computational Biology.- Human Computer Interaction.- Image and Signal Processing.- Mathematics for Neural Networks.- Self-organizing Networks.- Spiking Neurons.- Artificial Neural Networks in Industry ANNI'17.- Computational Intelligence Tools and Techniques for Biomedical Applications.- Assistive Rehabilitation Technology.- Computational Intelligence Methods for Time Series.- Machine Learning Applied to Vision and Robotics.- Human Activity Recognition for Health and Well-Being Applications.- Software Testing and Intelligent Systems.- Real World Applications of BCI Systems.- Machine Learning in Imbalanced Domains.- Surveillance and Rescue Systems and Algorithms for Unmanned Aerial Vehicles.- End-User Development for Social Robotics.- Artificial Intelligence and Games.- Supervised, Non-Supervised, Reinforcement and Statistical Algorithms. .
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Mexican International Conference on Artificial Intelligence (15th : 2016 : Cancún, Mexico)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxvii, 552 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Natural Language Processing
- The relevance of the Named Entities in Authorship Attribution.- A compact representation for cross-domain short text clustering.- Characteristics of Most Frequent Spanish Verb-Noun Combinations.- Sentence Paraphrase Graphs: Classification Based on Predictive Models or Annotators Decisions.- Mathematical model of an ontological-semantic analyzer using basic ontological-semantic patterns.- CookingQA: A Question Answering System based on Cooking Ontology.- LEXIK. An Integrated System for Specialized Terminology.- Linguistic Restrictions in Automatic Translation from Written Spanish to MSL.- Intra-Document and Inter-Document Redundancy on Multi-Document Summarization.- Framework for searching judicial precedents based on Automatic summarization.- Discriminatory capacity of the most representative phonemes in Spanish: an evaluation for forensic speech recognition.- A Speech-Based Web Co-Authoring Platform for the Blind.- Social Networks and Opinion Mining.- Friends and Enemies of Clinton and Trump: Using Context for Detecting Stance in Political Tweets.- Additive Regularization for Topic Modeling in Sociological Studies of User-Generated Texts.- Effect of the inclusion of non-newsworthy messages in credibility assessment.- On the impact of neighborhood selection strategies for recommender systems in LBSNs.- Fuzzy Logic.- For Multi-Interval-Valued Fuzzy Sets, Centroid Defuzzification Is Equivalent to Defuzzifying Its Interval Hull: A Theorem.- Metric Spaces Under Interval Uncertainty: Towards an Adequate Definition.- A study of parameter dynamic adaptation with fuzzy logic for the grey wolf optimizer algorithm.- Interval Type-2 fuzzy logic for parameter adaptation in the gravitational search algorithm.- Water cycle algorithm with fuzzy logic for dynamic adaptation of parameters.- Off-line tuning of a PID controller using Type-2 Fuzzy Logic.- Detection of faults in induction motors using texture-based features and fuzzy inference.- Time Series Analysis and Forecasting.- Trend Detection in Gold Worth using Regression.- Queries to Internet as a Tool for Analysis of Regional Police Work and Forecast of Crimes in Regions.- Creating Collections of Descriptors of Events and Processes Based on Internet Queries.- Planning and Scheduling.- Using a Grammar Checker to Validate Compliance of Processes with Workflow Models.- On Verification of Workflow and Planning Domain Models using Attribute Grammars.- Tramp Ship Scheduling Problem with Berth Allocation Considerations and Time-dependent Constraints.- Hierarchical Task Model for Resource Failure Recovery in Production Scheduling.- A multi-objective hospital operating room planning and scheduling problem using compromise programming.- Solving Manufacturing Cell Design Problems using the Black Hole Algorithm.- Image Processing and Computer Vision.- Efficient Computation of the Euler Number of a 2-D Binary of Image.- Image filter based on block matching and principal component analysis.- Support to the diagnosis of the Pap test, using computer algorithms of digital image processing.- Implementation of Computer Vision Guided Peg-Hole Insertion Task Performed by Robot through LabVIEW.- Object Tracking Based on Modified TLD Framework Using Compressive Sensing Features.- Parameter characterization of complex wavelets and its use in 3D reconstruction.- Customer Analysis via Video Analytics: Customer Detection with Multiple Cues.- Methodology for Automatic Collection of Vehicle Traffic Data by Object Tracking.- Robotics.- GPS-based curve estimation for an adaptive pure pursuit algorithm.- Collective motion of a swarm of simulated quadrotors using repulsion, attraction and orientation rules.- Design and simulation of a new lower exoskeleton for rehabilitation of patients with paraplegia.- Sensorial system for obtaining the angles of the human movement in the coronal and sagittal anatomical planes.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- International Conference on Conceptual Modeling (36th : 2017 : Valencia, Spain)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xvii, 249 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Requirements analysis.-Business analysis:- Ambient Assisted Living:- Computing for Healthcare:- Data Science:-Data Analysis.- Business Intelligence.- Ontology.- Software Quality.- Model Quality.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xx, 412 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- PART 1, Data mining, machine learning, knowledge discovery, Tensor Networks for Dimensionality Reduction, Big Data and Deep Learning.- Local Data Characteristics in Learning Classifiers from Imbalanced Data.- Similarity dimensions of semantic ontologies.- Some interesting phenomenon occurring during self-learning process with its psychological interpretation.- PART 2, Neural networks and connectionist systems, On the interpretation and characterization of echo state networks dynamics: A complex systems perspective.- Optimization of Ensemble Neural Networks with Type-1 and Interval Type-2 Fuzzy Integration for Forecasting the Taiwan Stock Exchange.- Deep Neural Networks - A Brief History.- PART 3, Intelligent technologies in systems modeling, Techniques for Construction and Integration of Rule Bases.- New Aspects of Interpretability of Fuzzy Systems for Nonlinear Modeling.- On the intuitionistic fuzzy sets of n-th type.-
- PART 4. Intelligent technologies in decision making, optimization and control, MCTS/UCT in solving real-life problems.- Interactive cone contraction for evolutionary mutliple objective optimization.- A review of fuzzy and mathematic methods for dynamic parameter adaptation in the firefly algorithm.-
- PART 5. Applications of intelligent technologies Computational Intelligence Methods in Personalized Pharmacotherapy.- Embodying Intelligence in Autonomous and Robotic Systems with the Use of Cognitive Psychology and Motivation Theories.- Evolutionary Approach for Automatic Design of PID Controllers.- Fuzzy-genetic approach to identity verification using a handwritten signature.- A method of design and optimization for SiC-based grid-connected AC-DC converters.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- International Symposium on Intelligent Data Analysis (16th : 2017 : London, England)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xiii, 348 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Improving Chairlift Security with Deep Learning.- Discovering motifs with variants in music databases.- Biclustering Multivariate Time Series.- Visualization of Topic-Sentiment Dynamics in Crowdfunding Projects.- Regression tree for bandits models in A/B testing.- Seasonal Variation in Collective Mood via Twitter Content and Medical Purchases.- Skin Cancer Detection in Dermoscopy Images Using Sub-Region Features.- Bucket Selection: A Model-Independent Diverse Selection Strategy for Widening.- Interactive Pattern Sampling for Characterizing Unlabeled Data.- Searching for Spatio-Temporal-Keyword Patterns in Semantic Trajectories.- Natural Language Analysis of Online Health Forums.- Freudian Slips: Analysing the Internal Representations of a Neural Network from its Mistakes.- KAPMiner: Mining ordered association rules with constraints.- A Dynamic Adaptive Questionnaire for Improved Disease Diagnostics.- ABIDE: Querying Time-Evolving Sequences of Temporal Intervals.- The Actors of History: Narrative Network Analysis Reveals the Institutions of Power in British Society Between 1800-1950.- Learning DTW-Preserving Shapelets.- Droplet Ensemble Learning on Drifting Data Streams.- Predictive clustering trees for hierarchical multi-target regression.- Identifying novel features from specimen data for the prediction of valuable field trips.- Adapting supervised classifiation algorithms to arbitrary weak label scenarios.- The Combination of Decision in Crowds When The Number of Reliable Annotator is Rare.- Estimating Sequence Similarity from Contig Sets.- Computational Topology Techniques for Characterizing Time-Series Data.- Improving Cold-Start Recommendations with Social-Media Trends and Reputations.- Hierarchical Novelty Detection.- Towards automatic evaluation of asphalt irregularity using smartphone's Sensors.- A structural benchmark for logical argumentation frameworks.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Pacific-Asia Conference on Knowledge Discovery and Data Mining (21st : 2017 : Cheju Island, Korea)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxxii, 841 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Classification and deep learning.- Social network and graph mining.- Privacy-preserving mining and security/risk applications.- Spatio-temporal and sequential data mining.- Clustering and anomaly detection.- Recommender system.- Feature selection.- Text and opinion mining.- Clustering and matrix factorization.- Dynamic, stream data mining.- Novel models and algorithms.- Behavioral data mining.- Graph clustering and community detection.- Dimensionality reduction.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, [2016]
- Description
- Book — 1 online resource (xxi, 278 pages) : illustrations (some color)
- Summary
-
- Part I: Online learning of a weighted selective naive Bayes classifier with non-convex optimization
- On making skyline queries resistant to outliers
- Adaptive Down-Sampling and Dimension Reduction in Time Elastic Kernel Machines for Efficient Recognition of Isolated Gestures
- Exact and Approximate Minimal Pattern Mining
- Part II: Comparison of proximity measures for a topological discrimination
- Comparison of linear modularization criteria using the relational formalism, an approach to easily identify resolution limit
- A novel approach to feature selection based on quality estimation metrics
- Ultrametricity of Dissimilarity Spaces and Its Significance for Data Mining
- Part III: SMERA: Semantic Mixed Approach for Web Query Expansion and Reformulation
- Multi-layer ontologies for integrated 3D shape segmentation and annotation
- Ontology Alignment Using Web Linked Ontologies as Background Knowledge
- LIAISON: reconciLIAtion of Individuals profiles across SOcial Networks
- Clustering of Links and Clustering of Nodes: Fusion of Knowledge in Social Networks.
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xiii, 147 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- A Combined Approach for Ontology Enrichment from Textual and Open Data.- C-SPARQL Extension for Sampling RDF Graphs Streams.- Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xii, 511 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Chapter 1 Memristor Emulators A Note on Modeling.-
- Chapter 2 A Simple Oscillator using Memristor.-
- Chapter 3 A Hyperjerk Memristive System with Hidden Attractors.-
- Chapter 4 A Memristive System with Hidden Attractors and its Engineering Application.-
- Chapter 5 Adaptive Control, Synchronization and Circuit Simulation of a Memristor-Based.-
- Chapter 6 Modern System Design using Memristors.-
- Chapter 7 RF/Microwave Applications of Memristors.-
- Chapter 8 Theory, Modeling and Design of Memristor-Based Min-Max Circuits.-
- Chapter 9 Analysis of a 4-D Hyperchaotic Fractional-Order Memristive System with Hidden Attractors.-
- Chapter 10 Adaptive Control and Synchronization of a Memristor-Based Shinriki's System.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- International Conference on Neuroinformatics (2017 Moscow, Russia)
- Cham : Springer, 2018.
- Description
- Book — 1 online resource (XV, 199 pages) : 60 illustrations Digital: text file; PDF.
- Summary
-
This book describes new theories and applications of artificial neural networks, with a special focus on neural computation, cognitive science and machine learning. It discusses cutting-edge research at the intersection between different fields, from topics such as cognition and behavior, motivation and emotions, to neurocomputing, deep learning, classification and clustering. Further topics include signal processing methods, robotics and neurobionics, and computer vision alike. The book includes selected papers from the XIX International Conference on Neuroinformatics, held on October 2-6, 2017, in Moscow, Russia.
(source: Nielsen Book Data)
- International Symposium on Neural Networks (14th : 2017 : Sapporo, Japan ; Muroran-shi, Japan)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxii, 583 pages) : illustrations
- International Conference on Practical Applications of Agents and Multiagent Systems (15th : 2017 : Porto, Portugal)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xvi, 374 pages) : illustrations Digital: text file; PDF.
- Summary
-
This book constitutes the refereed proceedings of the 15th International Conference on Practical Applications of Scalable Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017. The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions. The papers report on the application and validation of agent-based models, methods, and technologies in a number of key application areas, including day life and real world, energy and networks, human and trust, markets and bids, models and tools, negotiation and conversation, scalability and resources. .
(source: Nielsen Book Data)
- Mexican International Conference on Artificial Intelligence (15th : 2016 : Cancún, Mexico)
- Cham : Springer, 2017.
- Description
- Book — 1 online resource (xxvii, 552 pages) : illustrations Digital: text file.PDF.
- Summary
-
- General.- Normality from Monte Carlo Simulation for Statistical Validation of Computer Intensive Algorithms.- Are Android Smartphones Ready to Locally Execute Intelligent Algorithms.- Reasoning and Multi-Agent Systems.- Large Scale Reasoning Using Allen's Interval Algebra.- Towards the Distributed Logic Programming of Intelligent Visual Surveillance Applications.- An efficient expert system for diabetes with a Bayesian inference engine.- iEnsemble: A Framework for Committee Machine based On Multiagent Systems with Reinforcement Learning.- Exploring Complex Networks with Failure-prone Agents.- On the Conception of Intelligent Power Plants Based on Multiple Agent Systems.- Neural Networks and Deep Learning.- Author Profiling with doc2vec Neural Network-Based Document Embeddings.- Neural network modelling for dissolved oxygen effects in extensive Litopenaeus vannamei culture.- Neural-network based algorithm for algae detection in automatic inspection of underwater pipelines.- Evolutionary Algorithms.- Study on the Development of Complex Network for Evolutionary and Swarm based Algorithms.- Estimation of Distribution Algorithms based on the Beta Distribution for Bounded Search Spaces.- Automated Analog Synthesis with an Estimation of the Distribution Algorithm.- Mathematical model of glucose metabolism by symbolic regression alpha beta.- Machine Learning.- Jensen inequality with subdifferential for Sugeno integral.- Towards a more general XCS: Classifier fusion and don't care in actions.- A Novel Artificial Hydrocarbon Networks Based Value Function Approximation in Hierarchical Reinforcement Learning.- Wind power forecasting for the Villonaco wind farm using AI techniques.- Predicting the need of mechanical ventilation in Guillain-Barre patients using machine learning algorithms with relevant features.- A Robust Machine learning Approach to Microprocessor Instructions Identification Final.- Classification and Clustering.- Stochastic Semantic-Based Multi-Objective Genetic Programming Optimisation for Classification of Imbalanced Data.- Consensus Clustering for Binning Metagenome Sequences.- Algorithm for Clustering of Web Search Results from a Hyper-Heuristic approach.- Grouping Business Process Models Based on Multimodal Search and Covering Arrays.- Optimization.- A new method to optimize dynamic environments with global changes using the chickens-hen' algorithm.- Transit Network Frequencies-Setting Problem Solved Using a new Multi-Objective Global-Best Harmony Search Algorithm and Discrete Event Simulation.- Optimal pricing model: case of study for convenience stores.- Method of musical composition for portfolio optimization problem.- Metaheuristic hybridized applied to solve the Capacity Vehicle Routing Problem.- ABC-PSO: An Efficient Bioinspired Metaheuristic for Parameter Estimation in Nonlinear Regression.- Data Mining.- Data mining in EEG wave trains in early stages of Parkinson's disease.- Data Mining in the Analysis of Ocean-Atmosphere Dynamics in Colombia's Central Caribbean Ocean.- Molecular docking based on ligand by Complexity LMC.- Integrating Information of Films by a Multi-Source Combining Framework.- Graph-Based Algorithms.- Computing the clique-width of Polygonal tree graphs.- A New Approach to Weakening and Destruction of Malicious Internet Networks.- Intelligent Learning Environments.- Toward Optimal Pedagogical Action Patterns by means of Partially Observable Markov Decision Process.- Data-driven construction of a student model using Bayesian networks in an electrical domain.- Strategic Learning Meta-model: A Selection Model of Learning Activities.- CodeTraining: An Authoring Tool for a Gamified Programming Learning Environment.- Generating a Logical Structure for Virtualizing Physiotherapy Instructions through NLP.- Building a Corpus and a Local Binary Pattern Recognizer for Learning-Centered Emotions.- Affective Learning System for Algorithmic Logic Applying Gamification. .
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xii, 718 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Color Spaces Advantages and Disadvantages in Image Color Clustering Segmentation.- Multi-objective Whale Optimization Algorithm for Multi-level Thresholding Segmentation.- Evaluating Swarm Optimization Algorithms for Segmentation of Liver Images.- Thermal Image Segmentation Using Evolutionary Computation Techniques.- News Videos Segmentation Using Dominant Colors Representation.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- SSTD (Conference) (15th : 2017 : Arlington, Va.)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xiv, 454 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Spatial and temporal databases.- Current research: Concepts, tools, techniques.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- ICSI (Conference) (8th : 2017 : Fukuoka-shi, Japan)
- Cham : Springer, 2017.
- Description
- Book — 1 online resource (xxvii, 637 pages) : illustrations Digital: text file; PDF.
- Summary
-
- Multi-objective Optimization.- A Parametric Study of Crossover Operators in Pareto-based Multiobjective Evolutionary Algorithm.- Non-dominated Sorting and Crowding Distance Based Multi-objective Chaotic Evolution.- On Performance Improvement based on Restart Meta-Heuristic Implementation for Solving Multi-Objective Optimization Problems.- Using multi-objective evolutionary algorithm to solve dynamic environment and economic dispatch with EVs.- Improved Interval Multi-objective Evolutionary Optimization Algorithm based on Directed Graph.- A Novel Linear Time Invariant Systems Order Reduction Approach based on Cooperative Multi-Objective Genetic Algorithm.- Solving Constrained Multi-objective Optimization Problems with Evolutionary Algorithms.- Portfolio Optimization.- Multi-objective Comprehensive Learning Bacterial Foraging Optimization for Portfolio Optimization.- Metaheuristics for Portfolio Optimization.- Community Detection.- Community Detection under Exponential Random Graph Model: A Metaheuristic Approach.- An Enhanced Particle Swarm Optimization Based on Physarum Model for Community Detection.- The Design and Development of the Virtual Learning Community for Teaching Resources Personalized Recommendation.- The Effect of Event Sentiment on Product Recommendation in a Microblog Platform.- Multi-Agent Systems and Swarm Robotics.- Solar Irradiance Forecasting Based on the Multi-agent Adaptive Fuzzy Neuronet.- Passive Field Dynamics Method: an Advanced Physics-based Approach for Formation Control of Robot Swarm.- Adaptive Potential Fields Model for Solving Distributed Area Coverage Problem in Swarm Robotics.- Swarm-based Spreading Points.- A Survivability Enhanced Swarm Robotic Searching System Using Multi-Objective Particle Swarm Optimization.- Autonomous Coordinated Navigation of Virtual Swarm Bots in Dynamic Indoor Environments by Bat Algorithm.- Building Fractals with a Robot Swarm.- A Stigmergy Based Search Method for Swarm Robots.- Cooperative Control of Multi-Robot System Using Mobile Agent for Multi Source Localization.- Hybrid Optimization Algorithms and Applications.- Evolutionary Fuzzy Control of Three Robots Cooperatively Carrying an Object for Wall Following through the Fusion of Continuous ACO and PSO.- Optimal Operational Planning of Energy Plants by Multi-population Differential Evolutionary Particle Swarm Optimization.- A Review on Hybridization of Particle Swarm Optimization with Artificial Bee Colony.- Study on Greedy Search to Improve Simulated Annealing Algorithm for Large-scale Traveling Salesman Problem.- A Hybrid Swarm based Composition for Chinese Music.- Fuzzy and Swarm Approach.- Fuzzy Logic Controller Design for Tuning the Cooperation of Bio-Inspired Algorithms.- Making Capital Budgeting Decisions for Project Abandonment by Fuzzy Approach.- An Imputation for Missing Data Features based on Fuzzy Swarm Approach in Heart Disease Classification.- Clustering and Forecast.- Total Optimization of Smart City Using Initial Searching Points Generation Based on k-means Algorithm.- Clustering Analysis of ECG Data Streams.- A Novel Multi-cell Multi-Bernoulli Tracking Method Using Local Fractal Feature Estimation.- An Improved Locality Preserving Projection Method for Dimensionality Reduction with Hyperspectral Image.- Applying a Classification Model for Selecting Postgraduate Programs.- University Restaurant Sales Forecast Based on BP neural Network
- InShanghai Jiao Tong University Case.- Classification and Detection.- Swarm ANN/SVR-based modeling method for warfarin dose prediction in Chinese.- A Novel HPSOSA for Kernel Function Type and Parameter Optimization of SVR in Rainfall Forecasting.- An Improved Weighted ELM with Krill Herd Algorithm for Imbalanced Learning.- Fast Pseudo Random Forest using Discrimination Hyper-space.- A Fast Video Vehicle Detection Approach based on Improved Adaboost Classifier.- Detection of Repetitive Forex Chart Patterns.- Damage Estimation from Cues of Image Change.- Identifying Deceptive Review Comments with Rumor and Lie Theories.- Identifying Fake Review Comments for Hostel Industry.- Planning and Routing Problems.- Multi-UAV Cooperative Path Planning for Sensor Placement Using Cooperative Coevolving Genetic Strategy.- Optimal Micro-Siting Planning Considering Long-Term Electricity Demand.- A Hyper-Heuristic Method for UAV Search Planning.- An Efficient MVMO-SH Method for Optimal Capacitor Allocation in Electric Power Distribution Systems.- A Method of New Workers' Accurate Acceptance of Tasks Using Capable Sensing.- A Genetic Mission Planner for Solving Temporal Multi-agent Problems with Concurrent Tasks.- Reformulation and Metaheuristic for the Team Orienteering Arc Routing Problem.- Application of Smell Detection Agent Based Algorithm for Optimal Path Identification by SDN Controllers.- A Comparison of Heuristic Algorithms for Bus Dispatch.- Simulation and Application of Algorithms CVRP to Optimize the Transport of Minerals Metallic and Nonmetallic by Rail for Export.- Dialog System Applications.- User Intention Classification in An Entities Missed In-vehicle Dialog System.- An Exploratory Study of Factors Affecting Number of Fans onFacebook Based on Dialogic Theory.- Assembling Chinese-Mongolian Speech Corpus via Crowdsourcing.- Robotic Control.- Developing Robot Drumming Skill with Listening-Playing Loop.- Evaluation of Parameters of Transactions When Remote Robot Control.- Desktop Gestures Recognition for Human Computer Interaction.- Approach to the Diagnosis and Configuration of Servo Drives in Heterogeneous Machine Control Systems.- Other Applications.- Gravitational Search Algorithm in Recommendation Systems.- A Driver Model Based on Emotions.- A Binaural Signal Synthesis Approach for Fast Rendering of Moving Sound.- Semantic Evolutionary Visualization.
- ICWL (Conference) (16th : 2017 : Cape Town, South Africa)
- Cham : Springer International Publishing, 2017.
- Description
- Book — 1 online resource (XIII, 228 pages) : 54 illustrations Digital: text file.PDF.
- Summary
-
- Inquiry-Based Learning and Gamification.- Learning Analytics.- Social Media and Web 2.0-based Learning Environments.- Assessment and Accessibility in Higher Education.- Open Educational Resources and Recommender Systems.- Practice and Experience Sharing.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- ABMUS (Workshop) (1st : 2016 : Singapore)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xii, 209 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Urban Systems Modelling.- Towards an Agent-Based Simulation of Housing in Urban Beirut.- Simulating Urban Growth with Raster and Vector models: A case study for the city of Can Tho, Vietnam.- Integrating Behavior and Microsimulation Models.- Agent-Based Modelling for Urban Planning Current Limitations and Future Trends.- Traffic Simulation in Urban Modelling.- Software Architecture for a Transparent and Versatile Traffic Simulation.- A Generic Software Framework for Carsharing Modelling based on a Large-Scale Multi-Agent Traffic Simulation Platform.- Mapping bicycling patterns with an agent-based model, census and crowdsourced data.- Transportation in Agent-Based Urban Modelling.- Applications.- Simulation-aided Crowd Management: a Multi-scale Model for an Urban Case Study.- A National Heat Demand Model for Germany.- How Smart is the Smart City? Assessing the Impact of ICT on Cities.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Australasian Joint Conference on Artificial Intelligence (30th : 2017 : Melbourne, Vic.)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xiii, 376 pages) : illustrations Digital: text file; PDF.
- Summary
-
- Machine Learning.- Optimization.- Swarm Intelligence and Evolutionary Computing.- Text Mining and Linguistic analysis.- Vision and Image.- Other Areas in Articial Intelligence.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- ADT (Conference) (5th : 2017 : Luxembourg, Luxembourg)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxiii, 390 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Preferences and multi-criteria decision aiding.- Decision making and voting.- Game theory and decision theory.- Allocation and matching. .
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- WAW (Workshop) (14th : 2017 : Toronto, Ont.)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (ix, 105 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Graphs that arise from the Web and various user activities on the Web.- The development of high performance algorithms and applications that exploit graphs.- Graph-theoretic and algorithmic aspects of related complex networks.- Social networks, citation networks, biological networks
- molecular networks.- Other networks arising from the Internet.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- ALGOSENSORS (Symposium) (12th : 2016 : Aarhus, Denmark)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xi, 141 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Multi-Message Broadcast in Dynamic Radio Networks.- Global Synchronization and Consensus Using Beeps in a Fault-Prone MAC 16.- Vertex Coloring with Communication and Local Memory Constraints in Synchronous Broadcast Networks.- A New Kind of Selectors, and Their Applications to Conflict Resolution in Wireless Multi-channels Networks.- The Impact of the Gabriel Sub-graph of the Visibility Graph on the Gathering of Mobile Autonomous Robots.- Search-and-Fetch with One Robot on a Disk.- A 2-Approximation Algorithm for Barrier Coverage by Weighted Non-uniform Sensors on a Line.- Flexible Cell Selection in Cellular Networks.- The Euclidean k-Supplier Problem in IR2.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- European Conference on Ambient Intelligence (13th : 2017 : Malaga, Spain)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (x, 279 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Reconciling Humans and Technology: The Role of Ambient Intelligence.- Engineering a Cyber-Physical Intersection Management.- Exploring Design Opportunities for Intelligent Worker Assistance: A new Approach Using Projection-Based AR and a Novel Hand-Tracking Algorithm.- AuthentiCap - A Touchless Vehicle Authentication and Personalization System.- Indoor Localization Based on Passive Electric Field Sensing.- Safety Services in Smart Environments using Depth Cameras.- Contextual Requirements Prioritization and its Application to Smart Homes.- Voices and Views of Informal Caregivers: Investigating Ambient Assisted Living Technologies.- Easy to Install Indoor Positioning System that Parasitizes Home Lighting.- Exploring the Use of Ambient WiFi Signals to Find Vacant Houses.- A Framework for Distributed Interaction in Intelligent Environments.- Which mobile health toolkit should a service provider choose? A comparative evaluation of Apple HealthKit, Google Fit, and Samsung Digital Health Platform.- Visual End-User Programming of Personalized AAL in the Internet of Things.- Opportunities for Biometric Technologies in Smart Environments.- New approach for optimizing the usage of situation recognition algorithms within IoT domains.- HUDConCap - Automotive Head-Up Display Controlled with Capacitive Proximity Sensing.- E-textile Couch: Towards Smart Garments integrated Furniture.- Context-Aware Monitoring Agents For Ambient Assisted Living Applications.- Mobility competencies of people with Down syndrome supported by technical assistance - Results of the Requirement Analysis in POSEIDON Project.- An Exploratory Study on Electric Field Sensing.- A Framework for Responsive Environments.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- EvoApplications (Conference) (20th : 2017 : Amsterdam, Netherlands)
- Cham : Springer, 2017.
- Description
- Book — 1 online resource (xxiv, 905 pages) : illustrations Digital: text file; PDF.
- Summary
-
- EvoSET: Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines.- On the Use of Smelly Examples to Detect Code Smells in JavaScript.- Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka.- Focusing Learning-based Testing away from Known Weaknesses.- Polytypic Genetic Programming.- Evolving Rules for Action Selection in Automated Testing via Genetic Programming - A First Approach.- EvoSTOC: A New Multi-swarm Particle Swarm Optimization for Robust Optimization over Time.- The Static and Stochastic VRP with Time Windows and Both Random Customers and Reveal Times.- Pre-Scheduled Colony Size Variation in Dynamic Environments.- An Online Packing Heuristic for the Three-dimensional Container Loading Problem in Dynamic Environments and the Physical Internet.- Advancing Dynamic Evolutionary Optimization Using In-Memory Database Technology.- Road Traffic Rules Synthesis Using Grammatical Evolution.- Solving Dynamic Graph Coloring Problem Using Dynamic Pool Based Evolutionary Algorithm.- General: Meta-Heuristics for Improved RF Emitter Localization.- Automated Design of Genetic Programming Classification Algorithms Using a Genetic Algorithm.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- EvoApplications (Conference) (20th : 2017 : Amsterdam, Netherlands)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxiv, 243 pages) : illustrations Digital: text file.PDF.
- Summary
-
- EvoSET: Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines.- On the Use of Smelly Examples to Detect Code Smells in JavaScript.- Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka.- Focusing Learning-based Testing away from Known Weaknesses.- Polytypic Genetic Programming.- Evolving Rules for Action Selection in Automated Testing via Genetic Programming - A First Approach.- EvoSTOC: A New Multi-swarm Particle Swarm Optimization for Robust Optimization over Time.- The Static and Stochastic VRP with Time Windows and Both Random Customers and Reveal Times.- Pre-Scheduled Colony Size Variation in Dynamic Environments.- An Online Packing Heuristic for the Three-dimensional Container Loading Problem in Dynamic Environments and the Physical Internet.- Advancing Dynamic Evolutionary Optimization Using In-Memory Database Technology.- Road Traffic Rules Synthesis Using Grammatical Evolution.- Solving Dynamic Graph Coloring Problem Using Dynamic Pool Based Evolutionary Algorithm.- General: Meta-Heuristics for Improved RF Emitter Localization.- Automated Design of Genetic Programming Classification Algorithms Using a Genetic Algorithm.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xi, 470 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Sliding Mode Control Design for Some Classes of Chaotic Systems.- Sliding Mode Based Control and Synchronization of Chaotic Systems in Presence of Parametric Uncertainties.- Chattering Free Sliding Mode Controller Design for a Quadrotor Unmanned Aerial Vehicle.- Terminal Sliding Mode Controller Design for a Quadrotor Unmanned Aerial Vehicle.- Insensibility of the Second Order Sliding Mode Control via Measurement Noises: Application to a Robot Manipulator Surveillance Camera.- Robust Control of a Photovoltaic Battery System via Fuzzy Sliding Mode Approach.- Particle Swarm Optimization based Sliding Mode Control Design: Application to a Quadrotor Vehicle.- Global Stabilization of Nonlinear Systems via Novel Second Order Sliding Mode Control with an Application to a Novel Highly Chaotic System.- Complete Synchronization of Chaotic Systems via Novel Second Order Sliding Mode Control with an Application to a Novel Three-Scroll Chaotic System.- Novel Second-Order Sliding Mode Control Design for the Anti-Synchronization of Chaotic Systems with an Application to a Novel Four-Wing Chaotic System.- Control and Synchronization of a Novel Hyperchaotic Two-Disk Dynamo System via Adaptive Integral Sliding Mode Control.- Adaptive Integral Sliding Mode Controller Design for the Control and Synchronization of a Rod-Type Plasma Torch Chaotic System.- Adaptive Integral Sliding Mode Controller Design for the Regulation and Synchronization of a Novel Hyperchaotic Finance System with a Stable Equilibrium.- Adaptive Integral Sliding Mode Controller Design for the Control of a Novel 6-D Coupled Double Convection Hyperchaotic System.- A Memristor-Based Hyperchaotic System with Hidden Attractor and its Sliding Mode Control.- Adaptive Integral Sliding Mode Control of a Chemical Chaotic Reactor System.- Adaptive Integral Sliding Mode Controller Design for the Control and Synchronization of a Novel Jerk Chaotic System.- Sliding Mode Control Design for a Sensorless Sun Tracker.- Super-Twisting Sliding Mode Control of the Enzymes-Substrates Biological Chaotic System.- Super-Twisting Sliding Mode Control and Synchronization of Moore-Spiegel Thermo-Mechanical Chaotic System.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
79. Applied computing & information technology [2018]
- International Conference on Applied Computing and Information Technology (5th : 2017 : Hamamatsu-shi, Japan)
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xiii, 203 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Meal-Assistance Robot Operated by Head Movement.- Decision Tree Analysis in Game Informatics.- Binary Blockchain: Solving the Mining Congestion Problem by Dynamically Adjusting the Mining Capacity.- An Efficient Signature Scheme for Anonymous Credentials.- Improve Example-Based Machine Translation Quality for Low-Resource Language Using Ontology.- A Fast Area Labeling Method using Auxiliary Lines.- Heuristic Test Case Generation Techniques Using Extended Place/Transistion Net.- Risk Assessment of Security Requirements of Banking Information Systems Based on Attack Patterns.- mCITYPASS: Privacy-preserving Secure Access to Federated Touristic Services with Mobile Devices.- Heuristic-Based Usability Evaluation Tool for Android Applications.- Automated Essay Scoring System Based on Rubric.- Mobile Development Tools and Method Integration.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
80. Applied computing and information technology [2017]
- International Conference on Applied Computing and Information Technology (4th : 2016 : Las Vegas, Nev.)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xiii, 197 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Business Sustainability Conceptualization.- A Replicated Study on Relationship between Code Quality and Method Comments.- A Predictive Model for Standardized Test Performance in Michigan Schools.- A Development Technique for Mobile Applications Program.- Identification Method Applications Development using Adapting Component Model.- Development of Guiding Walking Support Device for Visually Impaired People with the GPS.- User Evaluation Prediction Models Based on Conjoint Analysis and Neural Networks for Interactive Evolutionary Computation.- Emotional Video Scene Retrieval Using Multilayer Convolutional Network.- Proactive Approach for the Prevention of DDoS Attacks in Cloud Computing Environments.- Practical Uses of Memory Storage Extension.- How to Build a High Quality Mobile Applications Based on Improved Process.- A New Hybrid Discrete Firefly Algorithm for Solving the Traveling Salesman Problem.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- ARC (Symposium) (13th : 2017 : Delft, Netherlands)
- Cham : Springer, 2017.
- Description
- Book — 1 online resource (xx, 332 pages) : illustrations Digital: text file.PDF.
- Summary
-
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)
- AGI (Conference) (10th : 2017 : Melbourne, Vic., Australia)
- Cham, Switzerland : Springer, [2017]
- Description
- Book — 1 online resource (xi, 275 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Architectures.- Mathematical foundations.- Algorithms.- Safety.- Understanding.- Human cognition.- Philosophy.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
83. Artificial intelligence and computer vision [2017]
- Cham : Springer, [2016]
- Description
- Book — 1 online resource (x, 211 pages) : illustrations (some color)
- Summary
-
- 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.
- ICAISC (Conference) (16th : 2017 : Zakopane, Poland)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxiv, 776 pages) : illustrations Digital: text file.PDF.
- Summary
-
- 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.
(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)
- ICAISC (Conference) (16th : 2017 : Zakopane, Poland)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxiv, 742 pages) : illustrations Digital: text file.PDF.
- Summary
-
- 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.
(source: Nielsen Book Data)
- ACALCI (Conference) (3rd : 2017 : Geelong, Vic.)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xiii, 392 pages) : illustrations Digital: text file; PDF.
- Summary
-
- 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)
(source: Nielsen Book Data)
- International Conference on Artificial Neural Networks (European Neural Network Society) (26th : 2017 : Alghero, Italy)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxxi, 469 pages) : illustrations Digital: text file.PDF.
- Summary
-
- 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)
(source: Nielsen Book Data)
- International Conference on Artificial Neural Networks (European Neural Network Society) (26th : 2017 : Alghero, Italy)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxxi, 801 pages) : illustrations Digital: text file.PDF.
- Summary
-
- 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)
(source: Nielsen Book Data)
- AVR (Conference) (4th : 2017 : Ugento, Italy)
- Cham : Springer, 2017.
- Description
- Book — 1 online resource (xxx, 476 pages) : illustrations Digital: text file.PDF.
- Summary
-
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)
- AVR (Conference) (4th : 2017 : Ugento, Italy)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxx, 514 pages) : illustrations Digital: text file.PDF.
- Summary
-
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)
- International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xi, 582 pages) : illustrations
- Summary
-
- Automated deduction
- Including foundations
- Applications.-Implementations
- Practical experience.
- TABLEAUX (Conference) (26th : 2017 : Brasília, Distrito Federal, Brazil)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xii, 381 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Sequents systems.- Tableaux.- Transitive closure and cyclic proofs.- Formalization and complexity.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- ATVA (Symposium) (15th : 2017 : Pune, India)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xix, 482 pages) : illustrations Digital: text file.PDF.
- Summary
-
- 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)
(source: Nielsen Book Data)
- Derczynski, Leon R. A., author.
- Cham, Switzerland : Springer, [2016]
- Description
- Book — 1 online resource (xxi, 205 pages : illustrations
- Summary
-
- Introduction.- Events and Times.- Temporal Relations.- Relation Labelling Analysis.- Using Temporal Signals.- Using a Framework of Tense and Aspect.- Conclusion.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- DaWaK (Conference) (19th : 2017 : Lyon, France)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xiv, 488 pages) : illustrations Digital: text file.PDF.
- Summary
-
- 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
(source: Nielsen Book Data)
- International Work-Conference on the Interplay Between Natural and Artificial Computation (2017 : La Coruña, Spain)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xxi, 562 pages) : illustrations Digital: text file; PDF.
- Summary
-
- 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)
(source: Nielsen Book Data)
- International Conference on Case-Based Reasoning (25th : 2017 : Trondheim, Norway)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xix, 436 pages) : illustrations Digital: text file.PDF.
- Summary
-
- 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)
(source: Nielsen Book Data)
- Monterey Workshop (19th : 2016 : Beijing, China)
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (viii, 209 pages) : illustrations Digital: text file.PDF.
- Summary
-
- 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)
(source: Nielsen Book Data)
- CCL (Conference) (16th : 2017 : Nanjing Shi, China)
- Cham : Springer, 2017.
- Description
- Book — 1 online resource (xviii, 482 pages) : illustrations Digital: text file.PDF.
- Summary
-
- 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)
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, [2016]
- Description
- Book — 1 online resource (xiv, 382 pages) : illustrations (some color)
- Summary
-
- 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.
Articles+
Journal articles, e-books, & other e-resources
Guides
Course- and topic-based guides to collections, tools, and services.