Search Results - (((((((want OR find) OR semantic) OR carter) OR cantor) OR anne) OR maarten) OR mantis) algorithms.

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)

OpenCV with Python by example : build real-world computer vision applications and develop cool demos using OpenCV for Python by Joshi, Prateek

Full text (MFA users only)

Fast sequential Monte Carlo methods for counting and optimization by Rubinstein, Reuven Y.

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)

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)

Machine learning with R : learn how to use R to apply powerful machine learning methods and gain an insight into real-world applications by Lantz, Brett

Full text (MFA users only)

Rediscovering mathematics : you do the math by Simonson, Shai

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)

Quantum Bio-Informatics V : Proceedings of the Quantum Bio-Informatics 2011. by Accardi, Luigi

Table of Contents: “…Introduction; 2. Simon's period-finding quantum algorithm; 2.1. Ingredients of Simon's quantum period finding algorithm (QPFA); 3. …”
Full text (MFA users only)

The Complete Rust Programming Reference Guide : Design, Develop, and Deploy Effective Software Systems Using the Advanced Constructs of Rust. by Sharma, Rahul

Table of Contents: “…Chapter 1: Getting Started with Rust -- Chapter 2: Managing Projects with Cargo -- Chapter 3: Tests, Documentation, and Benchmarks -- Chapter 4: Types, Generics, and Traits -- Chapter 5: Memory Management and Safety -- Chapter 6: Error Handling -- Chapter 7: Advanced Concepts -- Chapter 8: Concurrency -- Chapter 9: Metaprogramming with Macros -- Chapter 10: Unsafe Rust and Foreign Function Interfaces -- Chapter 11: Logging -- Chapter 12: Network Programming in Rust -- Chapter 13: Building Web Applications with Rust -- Chapter 14: Lists, Lists, and More Lists -- Chapter 15: Robust Trees -- Chapter 16: Exploring Maps and Sets -- Chapter 17: Collections in Rust -- Chapter 18: Algorithm Evaluation -- Chapter 19: Ordering Things -- Chapter 20: Finding Stuff -- Chapter 21: Random and Combinatorial -- Chapter 22: Algorithms of the Standard Library.…”
Full text (MFA users only)

Geometric Function Theory In Several Complex Variables, Proceedings Of A Satellite Conference To The Int'l Congress Of Mathematicians In Beijing 2002. by FitzGerald, Carl H.

Table of Contents: “…Greiner and Jingzhi Tie); Defective values of double Meissel's formula and reduction of space-time requirement of Meissel-Lehmer-Lagarias-Odlyzko's algorithm an experimental program to find T(1021) (by Chen Guangxiao); Hardy space of holomorphic functions in infinite complex variables (by Zeqian Chen); The law of the iterated logarithm for pluriharmonic functions in the unit ball of Cn (by Zeqian Chen, Caiheng Ouyang).…”
Full text (MFA users only)

Electronic design automation : synthesis, verification, and test

Full text (MFA users only)

Visual Data Mining : The VisMiner Approach. by Anderson, Russell K.

Table of Contents: “…Regression Analysis -- The Regression Model -- Correlation and Causation -- Algorithms for Regression Analysis -- Assessing Regression Model Performance -- Model Validity -- Looking Beyond R2 -- Polynomial Regression -- Artificial Neural Networks for Regression Analysis -- Dataset Preparation -- Tutorial -- A Regression Model for Home Appraisal -- Modeling with the Right Set of Observations -- Exercise 6.1 -- ANN Modeling -- The Advantage of ANN Regression -- Top-Down Attribute Selection -- Issues in Model Interpretation -- Model Validation -- Model Application -- Summary…”
Full text (MFA users only)

Deterministic global optimization : an introduction to the diagonal approach by Sergeyev, Yaroslav D., 1963-, Kvasov, Dmitri E.

Table of Contents: “…3.1 General Diagonal Scheme3.2 Analysis of Traditional Diagonal Partition Schemes; 3.3 Non-redundant Diagonal Partition Strategy; 4 Global Optimization Algorithms Based on the Non-redundant Partitions ; 4.1 Multiple Estimates of the Lipschitz Constant; 4.2 Derivative-Free Diagonal Method MultL; 4.2.1 Theoretical Background of MultL: Lower Bounds; 4.2.2 Theoretical Background of MultL: Finding Non-dominated Hyperintervals; 4.2.3 Description of the MultL Algorithm and its Convergence Analysis; 4.3 One-Point-Based Method MultK for Differentiable Problems.…”
Full text (MFA users only)

Computer Mathematics : Proceedings of the Fifth Asian Symposium (Ascm 2001). by Shirayanagi, Kiyoshi

Table of Contents: “…Preface ; Invited Talks ; Finding All the Solutions of Cyclic 9 Using Grobner Basis Techniques ; On the Complexity of Computing Determinants (Extended Abstract) ; Papers.…”
Full text (MFA users only)