- Zese, Riccardo, author.
- Amsterdam, Netherlands : IOS Press, [2017]
- Description
- Book — 1 online resource (xvi, 173 pages). Digital: data file.
- Summary
-
- Part I. Introduction;
- Chapter 1. Semantic Web; 1.1 Description Logics and Semantic Web; 1.2 The Current Vision of the Semantic Web;
- Chapter 2. Probability; 2.1 Probabilistic Inference; 2.2 Probabilistic Learning;
- Chapter 3. Aims of the Thesis;
- Chapter 4. Structure of the Thesis; Part II. Description Logics;
- Chapter 5. Foundations of Description Logics;
- Chapter 6. Description Logics' Characteristics; 6.1 Concept and Role Constructors; 6.2 Family of DLs; 6.3 Knowledge Base; 6.3.1 TBox; 6.3.2 RBox; 6.3.3 ABox; 6.4 Semantics.
- Chapter 7. Significant Examples of Description Logics;
- Chapter 8. OWL: the Web Ontology Language;
- Chapter 9. Inference in Description Logics; 9.1 Approaches to Compute Explanations; 9.1.1 Solving min-a-enum: The Standard Definition; 9.1.2 Resolving min-a-enum: Pinpointing Formula; Part III. A Probabilistic Semantics for Description Logics;
- Chapter 10. Distribution Semantics; 10.1 Formal Definition; 10.2 PLP Languages under the Distribution Semantics; 10.2.1 Logic Programming; 10.2.2 LPAD; 10.2.3 ProbLog; 10.3 Inference in Probabilistic Logic Programming; 10.3.1 ProbLog Inference System.
- 10.3.2 PITA; 10.4 Learning in Probabilistic Logic Programming;
- Chapter 11. DISPONTE;
- Chapter 12. Probabilistic Description Logics; Part IV. Inference in Probabilistic DLs;
- Chapter 13. Inference; 13.1 Splitting Algorithm; 13.2 Binary Decision Diagrams;
- Chapter 14. BUNDLE;
- Chapter 15. TRILL; 15.1 TRILL on SWISH;
- Chapter 16. TRILL P;
- Chapter 17. Complexity of Inference;
- Chapter 18. Related Inference Systems;
- Chapter 19. Experiments; 19.1 BUNDLE: Comparison with PRONTO; 19.2 BUNDLE: Not Entailed Queries; 19.3 BUNDLE: Inference with Limited Number of Explanations; 19.4 BUNDLE: Scalability.
- 19.5 TRILL, TRILL P & BUNDLE: Comparing Different Approaches; 19.6 Discussion; Part V. Learning in Probabilistic DLs;
- Chapter 20. Learning;
- Chapter 21. EDGE: Parameter Learning; 21.1 Expectation Maximization Algorithm; 21.2 EDGE;
- Chapter 22. LEAP: Structure Learning; 22.1 CELOE; 22.2 LEAP;
- Chapter 23. Distributed Learning; 23.1 Map Reduce Approach; 23.2 The Message Passing Interface Standard; 23.3 EDGE MR; 23.4 LEAP MR;
- Chapter 24. Related Learning Systems;
- Chapter 25. Experiments; 25.1 EDGE: Comparison with Association Rules; 25.2 LEAP & EDGE: a Comparison Between Different Learning Problems.
- 25.3 EDGE MR: Parallelization Speedup; 25.4 EDGE MR: Memory Consumption; 25.5 LEAP MR: Parallelization Speedup; 25.6 Discussion; Part VI. Summary and Future Work;
- Chapter 26. Conclusion;
- Chapter 27. Future Work.
- Amsterdam, Netherlands : IOS Press, 2017.
- Description
- Book — 1 online resource
- Summary
-
- Machine generated contents note: Survey on Applying Machine Learning Techniques for Behavioral Awareness / Wouter Joosen
- Modelling Spatial and Temporal Context to Support Activity Recognition / Stephen Marsland
- Affect Aware Ambient Intelligence: Current and Future Directions / Anne James
- Behavioral Biometrics and Ambient Intelligence: New Opportunities for Context-Aware Applications / Paulo Novais
- Energy and Environmental Long-Term Monitoring System for Inhabitants' Weil-Being / Filippo Palumbo
- Behavioural Patterns from Cellular Data Streams and Outdoor Lighting as Strong Allies for Smart Urban Ecosystems / Adam Sedziwy
- Learning Daily Routines in Smart Office Environments / Stefano Ferilli
- EKRUCAmI Architecture -- Applications in Healthcare Domain / Hyun Yoe
- Qualitative Image Descriptor QIDL+N to Obtain Logics and Narratives Applied to Ambient Intelligent Systems / Zoe Falomir.
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (x, 439 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Part 1: Historical Review of Professor Zdzislaw Pawlak and Rough Set.- The Born and Growing of Chinese Rough Set Community with Help of Professor Zdzislaw Pawlak.- Zdzislaw Pawlak as I Saw Him and Remember Him Now.- Recent Development of Rough Computing: A Scientometrics View.-
- Part 2: Review of Rough Set Research.- Rough Sets, Rough Mereology and Uncertainty.- Rough Sets in Machine Learning: A Review.- Application of Tolerance Rough Sets in Structured and Unstructured Text Categorization: A Survey.- Medical Diagnosis: Rough Set View.- Rough Set Analysis of Imprecise Classes.- Pawlak's Many Valued Information System, Non-deterministic Information System, and a Proposal of New Topics on Information Incompleteness Toward the Actual Application.-
- Part 3: Rough Set Theory.- From Information Systems to Interactive Information Systems.- Back to the Beginnings: Pawlak's Definitions of the Terms Information System and Rough Set.- Knowledge and Consequence in AC Semantics for General Rough Sets.- Measuring Soft Roughness of Soft Rough Sets Induced by Covering.- Rough search of vague knowledge.- Vagueness and Uncertainty: An F-Rough Set Perspective.- Directions of Use of the Pawlak's Approach to Conflict Analysis.- Lattice Structure of Variable Precision Rough Sets.-
- Part 4: Rough Set Based Data Mining.- Mining for Actionable Knowledge in Tinnitus Datasets.- Rough-Granular Computing for Relational Data.- The Boosting and Bootstrap Ensembles for the Pair Classifier Based on the Dual Indiscernibility Matrix.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham : Springer, 2016.
- Description
- Book — 1 online resource (xiv, 202 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Introduction
- A Swarm Global Optimization Algorithm Inspired in the Behavior of the Social-spider.-A States of Matter Algorithm for Global Optimization
- An Algorithm for Global Optimization Inspired by Collective Animal Behavior
- A Bio-inspired Evolutionary Algorithm: Allostatic Optimization
- Optimization Based on the Behavior of Locust Swarms.
25. Data-driven generation of policies [2014]
- New York : Springer, 2014.
- Description
- Book — 1 online resource (x, 50 pages) : illustrations Digital: text file; PDF.
- Summary
-
- Introduction and Related Work
- Optimal State Change Attempts
- Different Kinds of Effect Estimators
- A Comparison with Planning under Uncertainty
- Experimental Evaluation
- Conclusions.
26. Semantic web enabled software engineering [2014]
- Amsterdam : IOS Press, [2014]
- Description
- Book — 1 online resource (xi, 274 pages)
- Summary
-
- Title Page
- Foreword
- Contents
- List of Contributors
- Part I. Software Engineering Meets Semantic Web: Concepts and Theories
- Motivation and Introduction
- Close Encounters of the Semantic Web and MDA Kinds
- Generating Model Transformations Using Ontology Engineering Space
- Part II. Realize Software Engineering by Semantic Web Technologies
- Towards a Consistent Feature Model using OWL
- Using Semantic Web Technologies for Management Application Integration
- Semantic Web Enabled Software Analysis
- Semantically Enabling Web Service Repositories
- ABC: A methodology for Semantic Web Application DevelopmentModel-driven Design Frameworks for Semantic Web Applications
- Part III. Design Ontologies for Software Engineering
- A Software Process Ontology and Its Application
- Enriching SE Ontologies with Bug Quality
- Learning Ontologies from Software Artifacts: Exploring and Combining Multiple Choices
- References
- Khan, Gul Muhammad, author.
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (xiii, 139 pages) : illustrations Digital: text file; PDF.
- Summary
-
- Making the Computer 'Brained'.- The Biology of Brain:An insight into the Human Brain.- Evolutionary Computation.- Artificial Neural Network (ANNs).- Structure and Operation of Cartesian Genetic Programming Developmental Network (CGPDN) Model.- Wumpus World.- Checkers.- Concluding Remarks and Future Directions.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
28. New advances in the Internet of Things [2018]
- Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (vii, 178 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- RFID-based Multilevel Sensing Network for Industrial Internet of Things.- Convey Intelligence to Edge Aggregation Analytics.- Publish-Subscribe Based Monitoring Model For Wireless Sensor Networks.- Towards Data governance in the Internet of Things.- Advancing Cognitive Cities with the Web of Things.- Transferring Wireless High Update Rate Supermedia Streams Over IoT.- Smart Connectivity for Internet of Things (IoT) Applications.- A Blockchain-based Storage System for Data Analytics in the Internet of Things.- Ensuring Quality of Service in the Internet of Things.- Wireless Sensor Network-IoT Infrastructure.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
29. Recent Advances in Learning Automata [2018]
- Rezvanian, Alireza., author.
- Cham : Springer International Publishing : Imprint : Springer, 2018.
- Description
- Book — 1 online resource (XIX, 458 pages 240 illustrations, 126 illustrations in color.) : online resource Digital: text file; PDF.
- Summary
-
- Learning automata theory.- Cellular learning automata.- Learning automata for wireless sensor networks.- Learning automata for cognitive Peer-to-peer networks.- Learning automata for Complex Social Networks.- Adaptive petri net based on learning automata.- Summary and future directions.
- (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)
- Canadian Conference on Artificial Intelligence (30th : 2017 : Edmonton, Alta.)
- Cham, Switzerland : Springer, [2017]
- Description
- Book — 1 online resource Digital: text file.PDF.
- Summary
-
- Data Mining and Machine Learning.- Planning and Combinatorial Optimization.- AI Applications.- Natural Language Processing.- Uncertainty and Preference Reasoning.- Agent Systems.
- (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.
- 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)
33. Chaos modeling and control systems design [2015]
- Cham : Springer, 2015.
- Description
- Book — 1 online resource Digital: text file; PDF.
- Summary
-
- Analysis and Control of a Novel 4-D Hyperchaotic System.- Analysis, Control and Synchronization of a Nine-Term Novel 3-D Chaotic System.- Backstepping Controller Design for the Global Chaos Synchronization of Sprott's Jerk Systems.- Multi-Scroll Chaotic Oscillator Based on a First-Order Delay Differential Equation.- Projective Synchronization Scheme Based on Fuzzy Controller for Uncertain Multivariable Chaotic Systems.- Deadbeat Control for for Multivariable Discrete Time Systems with Time Varying Delay.- Control of Smart Grid Residential Buildings with Demand Response.- Application of Some Modern Techniques in Load Frequency Control in Power Systems.- Investigating Metaheuristics Applications for Capacitated Location Allocation Problem in Logistics Networks.- Classification of Heart Disorders Based on Tunable-Q Wavelet Transform of Cardiac Sound Signals.- Reliability-Constrained Optimal Distribution System Reconfiguration.- Machine Learning aided Efficient Tools for Risk Evaluation and Operational Planning of Multiple Contingencies.- Goal Directed Synthesis of Serial Manipulators Based on Task Descriptions.- Intelligent Tracking Control System for Fast Image Scanning of Atomic Force Microscopes.- Fault Diagnosis Algorithms by Combining Structural Graphs and PCA Approaches for Chemical Processes.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
34. Belief revision in non-classical logics [2013]
- Ribeiro, Márcio Moretto, author.
- London : Springer, [2013]
- Description
- Book — 1 online resource (xi, 120 pages) Digital: text file.PDF.
- Summary
-
- Consequence
- Logics
- Classical Belief Revision
- AGM Contraction in Non-Classical Logics
- AGM Revision in Logics Without Negation
- Base Revision in Logics Without Negation
- Algorithms for Belief Bases
- Conclusion.
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, [2019]
- Description
- Book — 1 online resource (x, 190 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Swarm and Evolutionary Computation.- Particle Swarm Optimization.- Artificial Bee Colony Algorithm Variants and Its Application to Colormap Quantization.- Spider Monkey Optimization Algorithm.- Genetic Algorithm and Its Advances in Embracing Memetics.- Constrained Multi-Objective Evolutionary Algorithm.- Genetic Programming for Classification and Feature Selection.- Genetic Programming for Job Shop Scheduling.- Evolutionary Fuzzy Systems: A Case Study for Intrusion Detection Systems.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham, Switzerland : Springer, [2019]
- Description
- Book — 1 online resource (x, 193 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Intercriteria Analysis and Arithmetic Functions.- Fuzzy Harmony Search Algorithm Using an Interval type- 2 Fuzzy Logic Applied to Benchmark Mathematical Functions.- Mixture Initialization Based on Prior Data Visual Analysis.- Spatiotemporal Parameter Estimation of Thermal Treatment Process via Initial Condition Reconstruction Using Neural Networks.- Interval type-2 Fuzzy Logic Dynamic Mutation and Cross-over Parameter Adaptation in a Fuzzy Differential Evolution Method.- Intuitionistic Fuzzy Evaluations for the Analysis of a Student's Knowledge in University e-Learning Courses.- S-logic with first and second imaginary states.- Generalized Net Model of the Processes in a Center of Transfusion Haematology.- Image to Sound Encryption Using a Self-Organizing Map Neural Network.- On Different Algorithms for InterCriteria Relations Calculation.- Defining Consonance Thresholds in InterCriteria Analysis: An Overview.- Design and Comparison of ECG Arrhythmias Classifiers Using Discrete Wavelet Transform, Neural Network and Principal Component Analysis.
- (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)
- Cuevas, Erik author.
- Cham, Switzerland : Springer, 2018.
- Description
- Book — 1 online resource (xiv, 218 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Introduction.- The metaheuristic algorithm of the social-spider.- Calibration of Fractional Fuzzy Controllers by using the Social-spider method.- The metaheuristic algorithm of the Locust-search.- Identification of fractional chaotic systems by using the Locust Search Algorithm.- The States of Matter Search (SMS).- Multimodal States of Matter search.- Metaheuristic algorithms based on Fuzzy Logic.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- ACIS International Conference on Computational Science/Intelligence and Applied Informatics (4th : 2017 : Hamamatsu-shi, Japan)
- Cham : Springer, [2018]
- Description
- Book — 1 online resource (xiii, 232 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Proposed Framework Application for a Quality Mobile Application Measurement and Evaluation.- Proposal and Development of Artificial Personality (AP) application using the "Requesting" Mechanism.- Load Experiment of the vDACS Scheme in case of the 300 Simultaneous Connection.- Hearing-Dog Robot to wake People up using its Bumping Action.- Implementation of Document Production Support System with Obsession Mechanism.- Detecting Outliners in Terms of Errors in Embedded Software Development Projects Using Imbalance Data Classification.- Development of Congestion State Guiding System for University Cafeteria.- Analog Learning Neural Circuit with Switched Capacitor and the Design of Deep Learning Model.- Study on Category Classification of Conversation Document in Psychological Counseling with Machine Learning.- Improvement of "Multiple Sightseeing Spot Scheduling System".- Advertising in the Webtoon of Cosmetics Brand -Focusing on 'tn' Youth Cosmetics Brands
- Testing Driven Development of Mobile Application using Automatic Bug Management Systems.- Shape Recovery of Polyp from Endoscope Image Using Blood Vessel Information.- Design of Agent Development Framework for RoboCupRescue Simulation.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
40. Econometrics for financial applications [2018]
- Cham, Switzerland : Springer, 2018.
- Description
- Book — 1 online resource (xiii, 1081 pages) : illustrations
- Summary
-
- Testing, Prediction, and Cause in Econometric Models
- Information Criteria for Statistical Modeling in Data-Rich Era
- An invitation to quantum econometrics
- GL+ and GL- Regressions
- What If We Do Not Know Correlations?
- Markowitz Portfolio Theory Helps Decrease Medicines' Side Effect and Speed Up Machine Learning.
Articles+
Journal articles, e-books, & other e-resources
Guides
Course- and topic-based guides to collections, tools, and services.