221. Rigid flexibility : the logic of intelligence [2006]
- Wang, Pei, 1958-
- Dordrecht : Springer, ©2006.
- Description
- Book — 1 online resource (xviii, 412 pages) : some illustrations Digital: text file.PDF.
- Summary
-
- Preface Acknowledgment PART I. Theoretical Foundation
- Chapter 1. The Goal of Artificial Intelligence 1.1 To define intelligence 1.2 Various schools in AI research 1.3 AI as a whole
- Chapter 2. A New Approach Toward AI 2.1 To define AI 2.2 Intelligent reasoning systems 2.3 Major design issues of NARS PART II. Non-Axiomatic Reasoning System
- Chapter 3. The Core Logic 3.1 NAL-0: binary inheritance 3.2 The language of NAL-1 3.3 The inference rules of NAL-1
- Chapter 4. First-Order Inference 4.1 Compound terms 4.2 NAL-2: sets and variants of inheritance 4.3 NAL-3: intersections and differences 4.4 NAL-4: products, images, and ordinary relations
- Chapter 5. Higher-Order Inference 5.1 NAL-5: statements as terms 5.2 NAL-6: statements with variables 5.3 NAL-7: temporal statements 5.4 NAL-8: procedural statements
- Chapter 6. Inference Control 6.1 Task management 6.2 Memory structure 6.3 Inference processes 6.4 Budget assessment . PART III. Comparison and Discussion
- Chapter 7. Semantics 7.1 Experience vs. model 7.2 Extension and intension 7.3 Meaning of term 7.4 Truth of statement
- Chapter 8. Uncertainty 8.1 The non-numerical approaches 8.2 The fuzzy approach 8.3 The Bayesian approach 8.4 Other probabilistic approaches 8.5 Unified representation of uncertainty
- Chapter 9. Inference Rules 9.1 Deduction 9.2 Induction 9.3 Abduction 9.4 Implication
- Chapter 10. NAL as a Logic 10.1 NAL as a term logic 10.2 NAL vs. predicate logic 10.3 Logic and AI
- Chapter 11. Categorization and Learning 11.1 Concept and categorization 11.2 Learning in NARS
- Chapter 12. Control and Computation 12.1 NARS and theoretical computer science 12.2 Various assumptions about resources 12.3 Dynamic natures of NARS PART IV. Conclusions
- Chapter 13. Current Results 13.1 Theoretical foundation 13.2 Formal model 13.3 Computer implementation
- Chapter 14. NARS in the Future 14.1 Next steps of the project 14.2 What NARS is not 14.3 General implications Bibliography Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Ma, Lu.
- London ; Hackensack, NJ : Imperial College Press, ©2006.
- Description
- Book — 1 online resource (xii, 200 pages) : illustrations.
- Summary
-
- Cover
- Contents
- Preface
- 1 Introduction
- 1.1 Background
- 2 Mobile Agent System
- 2.1 Components of a Mobile Agent System
- 2.2 Characteristics and Advantages of a Mobile Agent System
- 3 Attacks and Countermeasures of Software System Security
- 3.1 General Security Objectives
- 3.2 Types of Attacks
- 3.2.1 Attacks against availability
- 3.2.2 Attacks against confidentiality
- 3.2.3 Attacks against integrity
- 3.2.4 Attacks against miscellaneous security objectives
- 3.3 Countermeasures of Attacks
- 3.3.1 Authentication
- 3.3.2 Access control
- 3.3.3 Audit and intrusion detection
- 3.3.4 Cryptography
- 3.3.5 Firewall
- 3.3.6 Anti-virus software
- 4 Security Issues in a Mobile Agent System
- 4.1 Security Issues in a Mobile Agent System
- 4.1.1 Possible attacks to a mobile agent system
- 4.1.2 Security requirements for a secure mobile agent system &
- Ma, Lu.
- London ; Hackensack, NJ : Imperial College Press, c2006.
- Description
- Book — 1 online resource (xii, 200 p.) : ill.
- Summary
-
- Mobile Agent System
- Attack and Countermeasure
- Security Issues in a Mobile Agent System
- Formal Models
- A Formal Framework of a Generic Secure Mobile Agent System
- Translating the EEOS Model to Colored Petri Net Model
- Simulation and Analysis of the Extended Elementary Object System Model of a Secure Mobile Agent System
- A Case Study in Electronic Commerce
- A Case Study in E-Auction System.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
224. Active mining : new directions of data mining [2002]
- Amsterdam ; Washington, DC : IOS Press ; Tokyo : Ohmsha, ©2002.
- Description
- Book — 1 online resource (x, 291 pages) : illustrations Digital: data file.
- Summary
-
- Cover; Title page; Preface; Acknowledgments; Contents; I. Data Collection; Toward Active Mining from On-line Scientific Text Abstracts Using Pre-existing Sources; Data Mining on the WAVEs
- Word-of-mouth-Assisting Virtual Environments; Immune Network-based Clustering for WWW Information Gathering/Visualization; Interactive Web Page Retrieval with Relational Learning-based Filtering Rules; Monitoring Partial Update of Web Pages by Interactive Relational Learning; Context-based Classification of Technical Terms Using Support Vector Machines.
225. Fundamentals of artificial intelligence [2020]
- Chowdhary, K. R.
- New Delhi : Springer (India) Private Limited, 2020.
- Description
- Book — 1 online resource (730 pages)
- Summary
-
- Introduction.- Logic and Inferencing.- First Order Predicate Logic.- Rule Based Reasoning.- Introduction to Prolog Language.- Knowledge Representation and Reasoning.- Networks Based Representation.- State Space Search.- Heuristic Search.- Constraint Satisfaction Problems.- Search and Game Playing.- Reasoning in Uncertain Environments.- Planning.- Natural Language Processing.- Machine Learning.- Machine Vision.- Bibliography.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- 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)
227. Fuzzy dual numbers : theory and applications [2018]
- Mora-Camino, Felix, author.
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xiii, 62 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Fuzzy Numbers.- Dual Numbers.- Fuzzy Dual Numbers.- Fuzzy Dual Linear Matrix Inequalities.- Fuzzy Estimation of Distribution Matrices.- Fuzzy Dual Entropy and Applications.- Fuzzy Dual Programming.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Krejčí, Jana, author.
- Cham, Switzerland : Springer, 2018.
- Description
- Book — 1 online resource (xviii, 273 pages) Digital: text file.PDF.
- Summary
-
- Introduction.- Pairwise Comparison Matrices.- Fuzzy Set Theory.- Fuzzy Pairwise Comparison Matrices.- Incomplete Large-dimensional Pairwise Comparison Matrices.- Discussion and Future Research. .
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Deibe, Maribel Acosta, author.
- Karlsruhe, Germany : IOS Press, 2018.
- Description
- Book — 1 online resource
- Summary
-
- Intro; Title Page; Contents; Introduction; Motivation; Problem Statement; Challenges and Overview of the State-of-the-Art; Challenges for Efficient SPARQL Query Processing; Challenges for Effective SPARQL Query Processing; Hypotheses and Research Questions; Contributions; Outline; Foundations of Linked Data Management; Linked Data; The Resource Description Framework (RDF); Querying RDF Data: The SPARQL Query Language; Querying RDF Data on the Web; URI Dereferencing and Link Traversal; SPARQL Endpoints; Linked Data Fragments; Foundations of Query Processing; Query Optimization
- Adaptive Query ProcessingAdaptive Query Processing over Linked Data; Introduction; Research Questions; Contributions; Structure of the Chapter; Motivating Example; Related Work; Adaptive Link Traversal Approaches; Adaptive Query Processing Against SPARQL Endpoints; Query Processing Approaches Against TPF Servers; The nLDE Approach; nLDE Query Optimizer; Estimation of Query Plan Cardinalities; Placing Physical Operators; Building Query Tree Plans; nLDE Optimizer: Algorithm Description; Complexity of the nLDE Query Optimizer; nLDE Adaptive Routing Query Engine; Adaptive Operators; Eddies
- Network of Linked Data Eddies (nLDE)Termination of nLDE; Correctness of nLDE; Routing Policies; Routing Policy from Eddies to Adaptive Operators; Routing Policy from Adaptive Operators to Eddies; Experimental Study; Experimental Settings; Efficiency of the nLDE Optimizer; Effectiveness of the nLDE Optimizer; Impact of the nLDE Routing-based Adaptivity on Execution Time in Perfect Networks; Effectiveness of the nLDE Routing-based Adaptivity Under the Presence of Network Delays; Summary and Future Work; Foundations of Crowdsourcing; Overview; Types of Crowdsourcing; Microtasks; Contests
- Crowdsourcing WorkflowsHybrid Crowdsourcing Workflows; Human-based Workflow: Find-Fix-Verify; Crowdsourcing Query Answer Completeness over Linked Data; Introduction; Research Questions; Contributions; Structure of the Chapter; Motivating Example; Related Work; Hybrid Query Processing for Relational Data; Crowd-based Linked Data Management Applications; Web Data Quality Assessment; The HARE Approach; Problem Definition; Proposed Solution; RDF Completeness Model; Representation of the Crowd Knowledge; Crowd Contradiction; Crowd Unknownness; HARE Microtask Manager; User Interface Generator
- Microtask ExecutorHARE Query Optimizer; Complexity of the HARE Query Optimizer; HARE Query Engine; A SPARQL Fuzzy Set Semantics; HARE BGP Executor; Complexity of HARE Query Evaluation; Experimental Study; Experimental Settings; HARE Crowdsourcing Capabilities; Size of Query Answer; Quality of Crowd Answers; Crowd Response Time; Summary and Future Work; Crowdsourcing Linked Data Quality Issues; Introduction; Research Questions; Contributions; Structure of the Chapter; Preliminaries: Linked Data Quality Issues; Related Work; Crowdsourcing in Linked Data Management; Web Data Quality Assessment
- Workshop on Computational Optimization (9th : 2016 : Gdansk, Poland)
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (x, 235 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Sequential Predictive Scheduling in Partitioned Data Domains.- Wildfire Optimizations in Modeling and Calibrations for Bulgarian Test Cases.- Process Control with the Variability Constraints.- Comparison of Different ACO Start Strategies Based on InterCriteria Analysis.- Evolutionary Approach for Tuning of Longwall Scraper Conveyor Model.- Solving Graph Partitioning Problems with Parallel Metaheuristics.- Comparison of Selected Fuzzy PSO Algorithms.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xv, 308 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- A Review of Soft Computing Techniques in Maritime Logistics and its Related Fields.- Intelligent Data Analysis, Soft Computing and Imperfect Data.- Soft Computing Methods in Transport and Logistics.- Applications of Soft Computing in Intelligent Transportation Systems.- Fuzzy Cognitive Maps based Models for Pattern Classification: Advances and Challenges.- A proposal of on-line detection of new faults and automatic learning in fault diagnosis.- Fuzzy Portfolio Selection Models for dealing with Investor's Preferences.- Gradual numbers and fuzzy solutions to fuzzy optimization problems.- A modal account of preference in a fuzzy setting.- The single parameter family of Gini Bonferroni welfare functions and the binomial decomposition, transfer sensitivity and positional transfer sensitivity.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
232. Software engineering, artificial intelligence, networking and parallel/distributed computing [2018]
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xi, 215 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Sequence Classification based on Active Learning.- Using MongoDB Databases For Training and Combining Intrusion Detection Datasets.- Service Oriented Network Management with Knowledge-Based Network Management System in Fluctuating Environment.- A Topic Structuration Method on Time Series for a Meeting from Text Data.- Joint Embedding of Hierarchical Structure and Context for Entity Disambiguation.- Automatic Optimization of OpenCL-Based Stencil Codes for FPGAs.- Should Duration and Team Size be Used for Effort Estimation?.- A Lifelog Data Portfolio for Privacy Protection based on Dynamic Data Attributes in a Lifelog Service.- Estimation of Emotional Scene from Lifelog Videos in Consideration of Intensity of Various Facial Expressions.- Developing a Framework to Support Designing of Active Learning Class.- Where Do Drivers Look When Driving in a Foreign Country?.- On Password Strength: A Survey and Analysis.- Probabilistic Model-Based Multistep Crossover Considering Dependency between Nodes in Tree Optimization.- Digital Watermark Design for Two-dimensional Codes Displayed on Smart Phone Screen Using Multi-Objective Optimization and Optical Simulation.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Ogiela, Lidia, author.
- London, United Kingdom : Academic Press is an imprint of Elsevier, 2017.
- Description
- Book — 1 online resource Digital: text file.
- Summary
-
- 1. Introduction
- 2. Intelligence computer data analysis techniques
- 3. The fundamentals of Cognitive Informatics
- 4. Cognitive information systems
- 5. The fundamentals of management sciences
- 6. Intelligent cognitive information systems in management application
- 7. Summary.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- IEEE Symposium Series on Computational Intelligence (2016 : Athens, Greece)
- Piscataway, NJ : IEEE [2016]
- Description
- Book — 1 online resource : illustrations (some color) Digital: text file; PDF.
- Summary
-
Annotation The Symposium series refers to all apects of theory, algorithm design, applications and emerging techniques related to computational intelligence.
- 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.
- Di Nola, Antonio, author.
- Cham : Springer, 2016.
- Description
- Book — 1 online resource (vi, 116 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Introduction
- Basic Notions
- Classical Sentential Calculus and Lukasiewicz Sentential Calculus
- MV -Algebras: Generalities
- Local MV -algebras
- Perfect MV -algebras
- The Variety Generated by Perfect MV -algebras
- Representations of Perfect MV -algebras
- The Logic of Perfect Algebras
- The Logic of Quasi True
- Perfect Pavelka Logic.
- CIMA 2012 (2012 : Montpellier, France)
- Berlin ; New York : Springer, ©2013.
- Description
- Book — 1 online resource Digital: text file.PDF.
- Summary
-
- Intelligent Agents: Integrating Multiple Components Through a Symbolic Structure / Razvan Dinu, Tiberiu Stratulat
- An Architecture for Multi-Dimensional Temporal Abstraction Supporting Decision Making in Oil-Well Drilling / Odd Erik Gundersen, Frode Sørmo
- A New Impulse Noise Filtering Algorithm Based on a Neuro-Fuzzy Network / Yueyang Li, Haichi Luo, Jun Sun
- A Fuzzy System for Educational Tasks for Children with Reading and Writing Disabilities / Adalberto Bosco C. Pereira
- Optimizing the Performance of a Refrigeration System Using an Invasive Weed Optimization Algorithm / Roozbeh Razavi-Far, Vasile Palade, Jun Sun
- A New Cooperative Evolutionary Multi-Swarm Optimizer Algorithm Based on CUDA Architecture Applied to Engineering Optimization / Daniel Leal Souza, Otávio Noura Teixeira
- Hybrid Approach of Genetic Programming and Quantum-Behaved Particle Swarm Optimization for Modeling and Optimization of Fermentation Processes / Jun Sun, Vasile Palade, Zhenyu Wang
- Hybrid Client Specific Discriminant Analysis and its Application to Face Verification / Xiao-Qi Sun, Xiao-Jun Wu, Jun Sun.
238. Practical web analytics for user experience : how analytics can help you understand your users [2013]
- Beasley, Michael, 1980-
- Amsterdam : Morgan Kaufmann, an imprint of Elsevier, [2013]
- Description
- Book — 1 online resource (xv, 234 pages) : illustrations
- Summary
-
- Chapter 1 Introduction
- Chapter 2 Analysis Process
- Chapter 3 How it Works
- Chapter 4 Goals
- Chapter 5 Visitor Analysis
- Chapter 6 Traffic Analysis
- Chapter 7 How People Use Content
- Chapter 8 Clickpath Analysis
- Chapter 9 Segmentation
- Chapter 10 Putting it Together
- Chapter 11 Testing
- Chapter 12 Measuring Behavior within Pages
- Chapter 13 AB Testing
- Chapter 14 Profiles
- Chapter 15 Culture
- Chapter 16 Conclusion.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Catalonian Conference on AI (15th : 2012 : Universitat d'Alacant)
- Amsterdam ; Washington, D.C. : IOS Press, ©2012.
- Description
- Book — 1 online resource
- Summary
-
- Title Page; Preface; Conference Organization; Contents; Invited Talks; Some Real-World Applications of Soft Artificial Intelligence: Scientogram Mining, Assembly Line Balancing, and Forensic Identification; Challenges of Automation and Safety in Field Robotics; KDD, DM and Machine Learning; Data Mining and Query Answer Techniques Applied to a Bio-Nutritional Trials Focused Expert System; The Use of the Traffic Lights Panel as a Goodness-of-Clustering Indicator: An Application to Financial Assets
- Using Gabriel Graphs in Borderline-SMOTE to Deal with Severe Two-Class Imbalance Problems on Neural NetworksActive Learning of Actions Based on Support Vector Machines; Towards the Formalization of Re-Identification for Some Data Masking Methods; Natural Language Processing and Recommenders; Towards Object Descriptions in Natural Language from Qualitative Models; Semantically-Enhanced Recommenders; Computer Vision; Supervised Texture Classification Using Optimization Techniques; Modelling Facial Expressions Dynamics with Gaussian Process Regression; Survey on 2D and 3D Human Pose Recovery
- A Study of Registration Techniques for 6DoF SLAMRobotics; Object Detection Methods for Robot Grasping: Experimental Assessment and Tuning; The Role of i-Walker in Post-Stroke Training; Using a RGB-D Camera for 6DoF SLAM; Learning Topological SLAM Using Visual Information; AI for Optimization Problems; Exploring Genetic Algorithms and Simulated Annealing for Immobile Location-Allocation Problem; Analysis and Generation of Pseudo-Industrial MaxSAT Instances; A SAT-Based Approach to MinSAT; Multicast Session Protection Planner
- Tool to Plan and Deploy Protection Infrastructure: A SPEA Approach
- AI Applications to Real WorldA Case-Based Hybrid System for Injection Molding Sensorization; First Studies on Self-Preserving Digital Objects; Intelligent Building Energy Management Through Holistic Knowledge Based Approach; Quantitative and Qualitative Approaches for Stock Movement Prediction; Subject Index; Author Index
240. Density ratio estimation in machine learning [2012]
- Sugiyama, Masashi, 1974-
- New York : Cambridge University Press, 2012.
- Description
- Book — 1 online resource (xii, 329 pages) : illustrations
- Summary
-
- Part I. Density Ratio Approach to Machine Learning: 1. Introduction
- Part II. Methods of Density Ratio Estimation: 2. Density estimation
- 3. Moment matching
- 4. Probabilistic classification
- 5. Density fitting
- 6. Density-ratio fitting
- 7. Unified framework
- 8. Direct density-ratio estimation with dimensionality reduction
- Part III. Applications of Density Ratios in Machine Learning: 9. Importance sampling
- 10. Distribution comparison
- 11. Mutual information estimation
- 12. Conditional probability estimation
- Part IV. Theoretical Analysis of Density Ratio Estimation: 13. Parametric convergence analysis
- 14. Non-parametric convergence analysis
- 15. Parametric two-sample test
- 16. Non-parametric numerical stability analysis
- Part V. Conclusions: 17. Conclusions and future directions.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
Articles+
Journal articles, e-books, & other e-resources
Guides
Course- and topic-based guides to collections, tools, and services.