21. 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)
22. 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 : Springer, 2018.
- Description
- Book — 1 online resource (ix, 119 pages) : illustrations Digital: text file; PDF.
- Summary
-
- Page Rank vs. Katz: Is the centrality algorithm choice relevant to measure user influence in Twitter?.- Weighted means based filters for SAR Imagery.- On Combination of Wavelet Transformation and Stabilized KH Interpolation for Fuzzy Inferences Based on High Dimensional Sampled Functions.- Abductive Reasoning on Molecular Interaction Maps.- Efficient unfolding of fuzzy connectives for multi-adjoint logic programs.- On Generalizations of Concept Lattices.- Generating fuzzy attribute rules via Fuzzy Formal Concept Analysis.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
24. Granular-relational data mining : how to mine relational data in the paradigm of granular computing? [2017]
- Hońko, Piotr, author.
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xv, 123 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Preface.-
- Chapter 1: Introduction.- Part I: Generalized Related Set Based Approach.-
- Chapter 2: Information System for Relational Data.-
- Chapter 3: Properties of Granular-Relational Data Mining Framework.-
- Chapter 4: Association Discovery and Classification Rule Mining.-
- Chapter 5: Rough-Granular Computing.- Part II: Description Language Based Approach.-
- Chapter 6: Compound Information Systems.-
- Chapter 7: From Granular-Data Mining Framework to its Relational Version.-
- Chapter 8: Relation-Based Granules.-
- Chapter 9: Compound Approximation Spaces.- Conclusions.- References.- Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham : Springer, 2016.
- Description
- Book — 1 online resource (x, 234 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Neurocognitive Robot Assistant for Robust Fall Detection .-Smart Robot Control via Novel Computational Intelligence Methods for Ambient Assisted Living
- Valorization of Assistive Technologies for Cognition: Lessons & Practices
- Safe and Automatic Addition of Fault Tolerance for Smart Homes Dedicated to People with Disabilities
- Smart Homes in the Era of Big Data
- An Investigation of The Use of Innovative Biology-based Computational Intelligence in Ubiquitous Robotics Systems: Data Mining Perspective
- Ambient Stupidity
- Security Implementations in Smart Sensor Networks
- Automatic Music Composition from a Self- Learning Algorithm.
- Cham : Springer, 2015.
- Description
- Book — 1 online resource (x, 213 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Intro; Contents; Contributors; Introduction; Part I Search and Optimization; A Metaheuristic for Optimizing the Performance and the Fairness in Job Scheduling Systems; 1 Introduction; 2 Problem Description; 2.1 Machines; 2.2 Jobs; 2.3 Optimization Criteria; 3 Overview of Existing Scheduling Approaches; 3.1 Standard Scheduling Algorithms; 3.2 Scheduling with Job Runtime Estimates; 3.3 User-to-User Fairness and Fair-Share; 3.4 Advanced Optimization Methods; 3.5 Summary; 4 Metaheuristic Scheduler; 4.1 Linear Schedule Compression; 4.2 Schedule Evaluation.
- 4.3 Metaheuristic for Schedule Optimization5 Experiments; 5.1 Simulation Setup; 5.2 Experimental Results; 5.3 Summary; 6 Conclusion and Future Work; References; Hybrid ACO and Tabu Search for Large Scale Information Retrieval; 1 Introduction; 2 Information Retrieval Background; 3 Lex as a Tool for Documents Indexing; 4 AC-IR Algorithm; 4.1 Solutions Encoding; 4.2 Pheromone Table and Probabilistic Decision Rules; 4.3 Updating the Pheromone; 4.4 Building and Improving a Solution; 5 ACS-IR Algorithm; 6 The Overall Algorithm; 7 Experimental Results; 7.1 Benchmarks; 7.2 Setting the Parameters.
- 7.3 Comparison of AS-IR, ACS-IR and CL-IR Algorithms8 Conclusion; References; Hosting Clients in Clustered and Virtualized Environment: A Combinatorial Optimization Approach; 1 Introduction; 1.1 Hardware Virtualization Technology; 1.2 Cluster Computing Technology; 1.3 Clients Hosting Problem; 2 Resource Allocation Problem; 3 Helpful Optimization Problems and Tools; 3.1 2-Dimensional Bin-Packing Problem; 3.2 The Max-Min Problem; 3.3 Data-Set and Solving Tool; 3.4 Branch-and-Bound Search; 4 Proposed Approach; 5 Integer Programming Models; 5.1 Minimizing the Number of Clusters.
- 5.2 Heavy Clients Distribution5.3 Balancing the Use of Resources; 6 Discussions; 7 Conclusion; References; Part II Machine Learning; On the Application of Artificial Intelligence Techniques to Create Network Intelligence; 1 Introduction; 1.1 AI for Internet of Things; 1.2 AI for Telecommunication Networks; 2 Graph Theory for Virus Epidemic Prediction; 2.1 State of the Art; 2.2 Architecture and Implementation; 3 Machine Learning for Smart Building Energy Management; 3.1 State of the Art; 3.2 Architecture and Implementation; 4 Intelligent Middleware for Cloud Robotics; 4.1 State of the Art.
- 4.2 Architecture and Implementation5 Multiple Neural Networks for Client Profiling on Telecommunication Networks; 5.1 State of the Art; 5.2 Architecture and Implementation; 6 Alarm Prediction on Telecommunication Networks; 6.1 State of the Art; 6.2 Architecture and Implementation; 7 Conclusions and Further Applications of AI in ICT; 7.1 Future Work on the Reported Solutions; 7.2 Further Applications of AI on ICT; References; A Statistical Framework for Mental Targets Search Using Mixture Models; 1 Introduction; 2 Related Work; 3 The Framework Structure; 4 Data Model; 5 Update Model.
- Cetnarowicz, Krzysztof, author.
- Cham : Springer, 2015.
- Description
- Book — 1 online resource (xi, 140 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Introduction to the subject of an agent in computer science.- Agent versus decomposition of an algorithm.- M-agent.- The agent system for balancing the distribution of resources.- The examples of applications of the agent systems.- Conclusion. Introduction to the subject of an agent in computer science.- Agent versus decomposition of an algorithm.- M-agent.- The agent system for balancing the distribution of resources.- The examples of applications of the agent systems.- Conclusion.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham : Springer, 2015.
- Description
- Book — 1 online resource (xi, 300 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Swarm Intelligence and Evolutionary Computation: Overview and Analysis.- Globally convergent hybridization of particle swarm optimization using line search-based derivative-free techniques Fireflies in the Fruits and Vegetables: Combining the Firefly Algorithm with Goal Programming for Setting Optimal Osmotic Dehydration Parameters of Produce.- Hybrid Metaheuristic Algorithms: Past, Present and Future.- Binary Flower Pollination Algorithm and Its Application to Feature Selection.- Bat Algorithm Application for the Single Row Facility Layout Problem.- Discrete Cuckoo Search Applied to Job Shop Scheduling Problem.- Cuckoo Search and Bat Algorithm Applied to Training Feed-Forward Neural Networks.- The Potential of the Firefly Algorithm for Damage Localization and Stiffness Identification.- Synthesizing Cross-Ambiguity Functions Using An Improved Bat Algorithm.- Sustainable Building Design: A Review on Recent Metaheuristic Methods.- Firefly Algorithm for Flow Shop Optimization.- Evaluation of Harmony Search and Differential Evolution Optimization Algorithms on Solving the Booster Station Optimization Problems in Water Distribution Networks.- Web Document Clustering by Using PSO-Based Cuckoo Search Clustering Algorithm.- Analysis of Trusses Using Particle Swarm Optimization.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Cham : Springer, [2018]
- Description
- Book — 1 online resource (xviiii, 336 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- A Performance Analysis of DF Model in the Energy Harvesting Half-duplex and Full-Duplex Relay Networks
- A Model of Swarm Intelligence Based Optimization Framework Adjustable According to Problems
- Domain Model Definition for Domain-Specific RuleGeneration Using Variability Model
- A set-partitioning-based model to save cost on the import processes
- Combining Genetic Algorithm with Variable Neighborhood Search for MAX-SAT
- Enzyme classification on DUD-E database using Logistic Regression Ensemble (Lorens)
- Consolidation of Host-Based Mobility Management Protocols in Wireless Mesh Network
- Application of parallel computing technologies for numerical simulation of air transport in the human nasal cavity
- Genetic Algorithms-based Techniques for Solving Dynamic Optimization Problems with Unknown Active Variables and Boundaries
- Text Segmentation Methods: A Critical Review
- On-Line Power Systems Security Assessment Using Data Stream Random Forest Algorithm Modification
- Enhanced Security of Internet Banking Authentication with Extended Honey Encryption (XHE) Scheme
- An Enhanced Possibilistic Programming Model with Fuzzy Random Confidence-Interval for Multi-Objective Problem
- A Crowdsourcing Approach for Volunteering System
- One Dimensional Vehicle Tracking Analysis in Vehicular Ad hoc Networks
- Parallel Coordinates Visualization Tool on the Air Pollution Data for Northern Malaysia
- Application of Artificial bee colony algorithm for model parameter identification
- A novel weighting scheme applied to improve the text document clustering techniques
- A Methodological Framework To Emulate The Visual Of Malaysian Shadow Play With Computer-Generated Imagery
- Performance Evaluation of Hot Mix Asphalt Concrete by Using Polymeric Waste Polyethylene.
(source: Nielsen Book Data)
- Cham : Springer, 2015.
- Description
- Book — 1 online resource (xii, 184 pages) : illustrations (some color) Digital: text file; PDF.
- Summary
-
- Bayesian Methods for Intelligent Task Assignment in Crowdsourcing Systems.- Designing Societies of Robots.- On the Origins of Imperfection and Apparent Non-Rationality.- Lasso Granger Causal Models: Some Strategies and their Efficiency for Gene Expression Regulatory Networks.- Cooperative Feature Selection in Personalized Medicine.- Imperfect Decision Making and Risk Taking are affected by Personality.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
31. Cyber security for cyber physical systems [2018]
- Cham, Switzerland : Springer, 2018.
- Description
- Book — 1 online resource (xxi, 174 pages) Digital: text file.PDF.
- Summary
-
- Cyber Physical Systems Security.-Risk Management for CPS Security.-Wireless Sensor Network Security for Cyber Physical Systems.-WSN Security mechanisms for CPS.- ICS/SCADA System Security for CPS.-Embedded Systems Security for Cyber Physical Systems.-Distributed Control Systems Security for CPS.-Standards for CPS.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
32. Intelligent distributed computing XII [2018]
- International Symposium on Intelligent and Distributed Computing (12th : 2018 : Bilbao, Spain)
- Cham : Springer, 2018.
- Description
- Book — 1 online resource (xv, 448 pages) Digital: text file; PDF.
- Summary
-
- Part I: Main Track.- Long distance in-links for ranking enhancement.- Concept Tracking and Adaptation for Drifting Data Streams under Extreme Verification Latency.- Adversarial Sample Crafting for Time Series Classification with Elastic Similarity Measures.- Slot Co-allocation Optimization in Distributed Computing with Heterogeneous Resources.- About Designing an Observer Pattern-Based Architecture for a Multi-Objective Metaheuristic Optimization Framework.- Scalable Inference of Gene Regulatory Networks with the Spark Distributed Computing Platform.- Finding Best Compiler Options for Critical Software Using Parallel Algorithms.- Drift Detection over Non-stationary Data Streams using Evolving Spiking Neural Networks.- Part II: Energy.- A Hybrid Ensemble of Heterogeneous Regressors for Wind Speed Estimation in Wind Farms.- Bio-inspired approximation to MPPT under real irradiation conditions.- Part III: Industry.- Decision Making in Industry 4.0 Scenarios supported by Imbalanced Data Classification.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
33. Underwater robots [2018]
- Antonelli, Gianluca, 1970- author.
- Fourth edition. - Cham, Switzerland : Springer, [2018]
- Description
- Book — 1 online resource (XXX, 350 pages) : 217 illustrations, 129 illustrations in color Digital: text file.PDF.
- Summary
-
- Modelling of Underwater Robots.- Dynamic Control of 6-DOF AUVs.- Fault Detection/Tolerance Strategies for AUVs and ROVs.- Experiments of Dynamic Control of a 6-DOF AUV.- Kinematic Control of UVMSs.- Dynamic Control of UVMSs.- Interaction Control of UVMSs.- Dynamic Control of 6-DOF AUVs.- Fault Detection/Tolerance Strategies for AUVs and ROVs.- Experiments of Dynamic Control of a 6-DOF AUV.- Kinematic Control of UVMSs.- Dynamic Control of UVMSs.- Interaction Control of UVMSs.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Sapaty, Peter author.
- Cham, Switzerland : Springer, 2017.
- Description
- Book — 1 online resource (xvii, 284 pages) : illustrations (some color) Digital: text file.PDF.
- Summary
-
- Chapter 1 Introduction.-
- Chapter 2 Some Theoretical Background.-
- Chapter 3 Spatial Grasp Model.-
- Chapter 4 SGL Detailed Specification.-
- Chapter 5 Main Spatial Mechanisms in SGL.-
- Chapter 6 SGL Networked Interpreter.-
- Chapter 7 Creation, Activation and Management of a Distributed World.-
- Chapter 8 Parallel and Distributed Network Operations.-
- Chapter 9 Solving Social Problems.-
- Chapter 10 Automated Command and Control.-
- Chapter 11 Collective Robotics.-
- Chapter 12 Conclusions.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- International Symposium on Robotics Research (15th : 2011 : Flagstaff, Ariz.)
- Switzerland : Springer, [2016]
- Description
- Book — 1 online resource (xiv, 650 pages) : illustrations (some color)
- Summary
-
- Aerial Vehicles progress On Pico Air Vehicles.- Perception and Mapping.- Planning.- Systems and Integration.- Control.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
36. Intelligence Science [2012]
- Shi, Zhongzhi.
- Singapore : World Scientific, 2012.
- Description
- Book — 1 online resource (682 pages)
- Summary
-
- Introduction
- Foundation of Neuro-Physiology
- Neural Computing
- Mind Model
- Perception
- Visual Information Processing
- Audio Information Processing
- Language
- Learning
- Memory
- Thought
- Development of Intelligence
- Emotion
- Immune System
- Consciousness
- Symbolic Logic
- The Machine Proves
- Perspective.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Bochman, Alexander, 1955-
- Hackensack, NJ : World Scientific, c2005.
- Description
- Book — 1 online resource (xiv, 408 p.)
- Summary
-
- Scott Consequence Relations
- Biconsequence Relations
- Four-Valued Logics
- Nonmonotonic Semantics
- Default Consequence Relations
- Argumentation Theory
- Production and Causal Inference
- Epistemic Consequence Relations
- Modal Nonmonotonic Logics.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Saleem, Muhammad, author.
- Amsterdam, Netherlands : IOS Press, 2018.
- Description
- Book — 1 online resource
- Summary
-
- Intro; Title Page; Acknowledgments; Contents; Abstract; Introduction; Federated SPARQL Query Processing; The Need for Efficient Source Selection; The Need for More Comprehensive SPARQL Benchmarks; Contributions; Chapter Overview; Basic Concepts and Notation; Semantic Web; URIs, RDF; SPARQL Query Language; Triplestore; SPARQL Syntax, Semantic and Notation; State of the Art; Federation systems evaluations; Benchmarks; Federated engines public survey; Survey Design; Discussion of the survey results; Details of selected systems; Overview of the selected approaches; Performance Variables.
- EvaluationExperimental setup; Evaluation criteria; Experimental results; Discussion; Effect of the source selection time; Effect of the data partitioning; Hypergraph-Based Source Selection; Problem Statement; HiBISCuS; Queries as Directed Labelled Hypergraphs; Data Summaries; Source Selection Algorithm; Pruning approach; Evaluation; Experimental Setup; Experimental Results; Trie-based Source Selection; TBSS; TBSS Data Summaries; TBSS Source Selection Algorithm; TBSS Pruning approach; QUETSAL; Quetsal's Architecture; Quetsal's SPARQL 1.1 Query Re-writing; Evaluation; Experimental Setup.
- Experimental ResultsDuplicate-Aware Source Selection; DAW; Min-Wise Independent Permutations (MIPs); DAW Index; DAW Federated Query Processing; Experimental Evaluation; Experimental Setup; Experimental Results; Policy-Aware Source Selection; Motivating Scenario; Methodology and Architecture; Evaluation; Experimental Setup; Experimental Results; Data Distribution-Based Source Selection; Motivation; Biological query example; Methods; Transforming TCGA data to RDF; Linking TCGA to the LOD cloud; TCGA data workflow and schema; Data distribution and load balancing.
- TopFed federated query processing approachSource selection; Results and discussion; Evaluation; Availability of supporting data; LargeRDFBench: SPARQL Federation Benchmark; Background; The Need of More Comprehensive SPARQL Federation Benchmark; Benchmark Description; Benchmark Datasets; Benchmark Queries; Performance Metrics; Evaluation; Experimental Setup; SPARQL 1.0 Experimental Results; SPARQL 1.1 Experimental Results; FEASIBLE: SPARQL Benchmarks Generation Framework; Key SPARQL Features; A Comparison of Existing Triple Stores Benchmarks and Query Logs; FEASIBLE Benchmark Generation.
- Data Set CleaningNormalization of Features Vectors; Query Selection; Complexity Analysis; Evaluation and Results; Composite Error Estimation; Experimental Setup; Experimental Results; Conclusion; HiBISCuS; TBSS/Quetsal; DAW; SAFE; TopFed; LargeRDFBench; FEASIBLE; Bibliography.
39. Introduction to artificial intelligence [2016]
- Wste̜p do sztucznej inteligencji. English
- Flasiński, Mariusz, author.
- Switzerland : Springer, [2016]
- Description
- Book — 1 online resource (x, 321 pages) Digital: text file; PDF.
- Summary
-
- History of Artificial Intelligence.- Symbolic Artificial Intelligence.- Computational Intelligence.- Search Methods.- Evolutionary Computing.- Logic-Based Reasoning.- Structural Models of Knowledge Representation.- Syntactic Pattern Analysis.- Rule-Based Systems.- Pattern Recognition and Cluster Analysis.- Neural Networks.- Reasoning with Imperfect Knowledge.- Defining Vague Notions in Knowledge-Based Systems.- Cognitive Architectures.- Theories of Intelligence in Philosophy and Psychology.- Application Areas of AI Systems.- Prospects of Artificial Intelligence.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
40. Advances in social media analysis [2015]
- Cham : Springer, 2015.
- Description
- Book — 1 online resource (vii, 151 pages) : illustrations Digital: text file.PDF.
- Summary
-
- Case-Studies in Mining User-Generated Reviews for Recommendation
- Mining Newsworthy Topics from Social Media
- Sentiment Analysis Using Supervised Learning with Domain-Adaptation and Sentence-Based Analysis
- Pattern-based Emotion Classification on Social Media
- Entity-based Opinion Mining from Text and Multimedia
- Predicting Emotion Labels for Chinese Microblog Texts.
Articles+
Journal articles, e-books, & other e-resources
Guides
Course- and topic-based guides to collections, tools, and services.