Search Results - (((((((ant OR manthe) OR find) OR semantic) OR cantor) OR anne) OR halted) OR ranting) algorithms.

Quantum Computation And Quantum Information Theory : Reprint Volume with Introductory Notes for ISI TMR Network School. by Zeilinger, A.

Table of Contents: “…2.4 Going Beyond Bell's Theorem 2.5 What is Wrong with These Elements of Reality -- 2.6 Observation of Three-Photon Greenberger-Horne-Zeilinger Entanglement -- Quantum Algorithms -- 3. Quantum Algorithms -- 3.1 An Overview of Quantum Computing -- 3.2 On Quantum Algorithms…”
Full text (MFA users only)

Domain Decomposition Methods in Science and Engineering : Proceedings of the Seventh International Conference on Domain Decomposition October 27-30, 1993, the Pennsylvania State U... by Keyes, David E.

Full text (MFA users only)

Foundations of bilevel programming by Dempe, Stephan

Full text (MFA users only)

HTML5 Multimedia Development Cookbook. by Cruse, Dale

Table of Contents: “…; How it works ... ; There's more ... ; Validation as an aid, not a crutch; Eric Meyer's funny; Where to find validators; See also.…”
Full text (MFA users only)

Future Farming. by Shukla, Praveen Kumar

Table of Contents: “…PROPOSED METHODOLOGY -- Pre-processing -- Leaf Image from Plants -- Segmentation Model Using Improved Canny Algorithm -- Steps of Improved Canny Algorithm -- Leaf Image Feature Selection Using Hybrid Black Widow Optimization Algorithm with Mayfly Optimization Algorithm (BWO-MA) -- Pseudo-Code of the Hybrid (BWO-MA) Algorithm -- Output: Objective Function's -RMSE -- Leaf Image Classification Using (BWO-MA) with ANN -- Hyper-Parameter Tuning With (BWO-MA) -- RESULT AND DISCUSSION -- Dataset Description -- Evaluation & Results -- CONCLUSION -- REFERENCES…”
Full text (MFA users only)

Modern optimization methods for science, engineering and technology

Table of Contents: “…Implementing the traveling salesman problem using a modified ant colony optimization algorithm -- 5.1. ACO and candidate list -- 5.2. …”
Full text (MFA users only)

Rough fuzzy image analysis : foundations and methodologies

Table of Contents: “…1. Cantor, fuzzy, near, and rough sets in image analysis / James F. …”
Full text (MFA users only)

Handbook of Modal Logic. by Blackburn, Patrick

Table of Contents: “…13 Quantified Modal Logic13.1 Syntax and Semantics; 13.2 Constant Domain Tableaus; 13.3 Soundness and Completeness; 13.4 Variations; 14 Conclusion; Bibliography; Chapter 3 Complexity of Modal Logic; 1 Introduction; 1.1 Examples of decision problems in modal logic; 1.2 A simple and a hard problem; 1.3 The model checking problem; 1.4 The consequence problem; 1.5 A tiling logic; 2 Decision algorithms; 2.1 Selection of points; 2.2 Filtration; 2.3 Hintikka set elimination; 2.4 Hintikka set elimination without constraints; 2.5 Forcing exponentially deep paths; 2.6 Tree automata; 2.7 Pseudo-models.…”
Full text (MFA users only)

Ivor Horton's beginning Visual C++ 2012 by Horton, Ivor

Table of Contents: “…Finding the Length of a Null-Terminated String --…”
Full text (MFA users only)

Enterprise artificial intelligence transformation : a playbook for the next generation of business and technology leaders by Haq, Rashed

Table of Contents: “…Types of Uses for Machine Learning -- Types of Machine Learning Algorithms -- Supervised, Unsupervised, and Semisupervised Learning -- Making Data More Useful -- Semantic Reasoning -- Applications of AI -- PART II Artificial Intelligence in the Enterprise -- Chapter 3 AI in E-Commerce and Retail -- Digital Advertising -- Marketing and Customer Acquisition -- Cross-Selling, Up-Selling, and Loyalty -- Business-to-Business Customer Intelligence -- Dynamic Pricing and Supply Chain Optimization -- Digital Assistants and Customer Engagement -- Chapter 4 AI in Financial Services -- Anti-Money Laundering.…”
Full text (MFA users only)

Artificial Intelligence and Machine Learning Fundamentals : Develop Real-World Applications Powered by the Latest AI Advances. by Nagy, Zsolt

Table of Contents: “…Uninformed and Informed SearchCreating Heuristics; Admissible and Non-Admissible Heuristics; Heuristic Evaluation; Exercise 5: Tic-Tac-Toe Static Evaluation with a Heuristic Function; Using Heuristics for an Informed Search; Types of Heuristics; Pathfinding with the A* Algorithm; Exercise 6: Finding the Shortest Path to Reach a Goal; Exercise 7: Finding the Shortest Path Using BFS; Introducing the A* Algorithm; A* Search in Practice Using the simpleai Library; Game AI with the Minmax Algorithm and Alpha-Beta Pruning; Search Algorithms for Turn-Based Multiplayer Games; The Minmax Algorithm…”
Full text (MFA users only)

Urodynamics : a quick pocket guide by Vignoli, Giancarlo

Full text (MFA users only)

Language and logos : studies in theoretical and computational linguistics

Table of Contents: “…CONTENTS -- Preface -- Part I Syntax -- A Spurious Genitive Puzzle in Polish -- Semantic Type Effects on Crossing Movement in German -- Me and Chomsky -- On the Typology of Verb Second -- Movement from Verb-Second Clauses Revisited -- Spurious Ambiguities and the Parentheticals Debate -- Part II Semantics -- On Squeamishness of the Royal Kind -- Information Structure of schon -- When- Clauses, Factive Verbs and Correlates -- The Proof Theory of Partial Variables -- Brentano's Apple -- How to Interpret Expletive Negation under bevor in German…”
Full text (MFA users only)

Analysis of biological data : a soft computing approach

Table of Contents: “…Feature selection for cancer classification using ant colony optimization and support vector machines / A. …”
Full text (MFA users only)

Structured Matrices in Mathematics, Computer Science, and Engineering. by Olshevsky, Vadim

Table of Contents: “…Contents -- Foreword -- Part V. Fast Algorithms -- The Schur algorithm for matrices with Hessenberg displacement structure -- Fast inversion algorithms for a class of block structured matrices -- A fast and stable solver for recursively semi-separable systems of linear equations -- Part VI. …”
Full text (MFA users only)
Full text (MFA users only)

Constraint Solving over Multi-valued Logics : Application to Digital Circuits.

Table of Contents: “…-- 3.2 Test Generation -- 3.3 TG Modelling Approaches and Algorithms.…”
Full text (MFA users only)

Smart antenna engineering by El Zooghby, Ahmed

Full text (MFA users only)

Just Enough R! : an Interactive Approach to Machine Learning and Analytics. by Roiger, Richard J.

Full text (MFA users only)

Media smart : lessons, tips and strategies for librarians, classroom instructors and other information professionals by Burkhardt, Joanna M.

Full text (MFA users only)

Advanced Methods and Technologies for Agent and Multi-Agent Systems. by Edited by

Table of Contents: “…""Role and Member Selection in Team Formation Using Resource Estimation""""Incorporating Explicit Coordination Mechanisms by Agents to Obtain Green Waves""; ""Communication Leading to Coalition Nash Equilibrium I""; ""Agent-Based Optimization""; ""An Agent-Based Cooperative Population Learning Algorithm for Vehicle Routing Problem with Time Windows""; ""Mobile Agent-based Dynamic Resource Allocation Method for Query Optimization in Data Grid Systems""; ""Memetic Multi-Agent Computing in Difficult Continuous Optimisation""; ""Web Services and Semantic Web""…”
Full text (MFA users only)