Search Results - (((((((kant OR wanting) OR ken) OR semantic) OR cantor) OR anne) OR maarten) OR hands) algorithms.

Technologies for Engineering Manufacturing Systems Control in Closed Loop. by Preuße, Sebastian

Table of Contents: “…Intro; 1 Introduction; 2 Basic Principles; 2.1 Technologies for studying Behavior; 2.2 Plants; 2.3 Controllers; 2.3.1 IEC 61131-3; 2.3.2 IEC 61499-1; 2.4 System Models; 2.4.1 Syntax; 2.4.2 Semantics; 2.5 Basics of Specifications; 2.5.1 Computation Tree Logic; 2.5.2 Extended Computation Tree Logic; 2.5.3 Timed Computation Tree Logic; 2.5.4 Symbolic Timing Diagrams; 2.6 Closed-Loop Composition; 2.7 Model Checking; 2.7.1 General Remarks; 2.7.2 Model Checking Algorithm; 2.8 Summary; 3 Formal Modeling of Plant, Controller, and the Closed Loop; 3.1 Demonstration Example; 3.2 Formal Plant Modeling.…”
Full text (MFA users only)

Computational number theory : proceedings of the Colloquium on Computational Number Theory held at Kossuth Lajos University, Debrecen (Hungary), September 4-9, 1989

Table of Contents: “…On the solution of the diophantine equation Gn = P(x) with sieve algorithmOn Thue equations associated with certain quartic number fields; KANT -- a tool for computations in algebraic number fields; SIMATH -- a computer algebra system…”
Full text (MFA users only)

A practical guide to error-control coding using Matlab by Jiang, Yuan

Full text (MFA users only)

Advanced Analytics with R and Tableau. by Stirrup, Jen

Full text (MFA users only)

Computational intelligence in aerospace sciences

Table of Contents: “…Coello Coello and Oliver Schütze ; Function landscapes and the difficulty of global optimization / Marco Locatelli ; Stochastic methods for single objective global optimization / Christian Lorenz Müller ; Uncertainty quantification in computational science / Gianluca Iaccarino ; Basic concepts of game theory for aerospace engineering applications / Lina Mallozzi -- Autonomy and robotics: Nonlinear state estimation algorithms for autonomous vehicles / Kumar Pakki Bharani Chandra and Da-Wei Gu ; Path planning algorithms in 2-D and 3-D obstacle-rich environments / Rosli Omar, Batu Pahat, Da-Wei Gu; Semantics of perception and action for symbolic reasoning in aerospace systems Sandor M. …”
Full text (MFA users only)

Information Theory Meets Power Laws : Stochastic Processes and Language Models. by Dębowski, Łukasz Jerzy, $$d 1975- $$e author

Full text (MFA users only)

Deep Learning with TensorFlow : Explore neural networks and build intelligent systems with Python, 2nd Edition. by Zaccone, Giancarlo

Table of Contents: “…; Artificial neural networks; The biological neurons; The artificial neuron; How does an ANN learn?; ANNs and the backpropagation algorithm; Weight optimization; Stochastic gradient descent; Neural network architectures; Deep Neural Networks (DNNs); Multilayer perceptron; Deep Belief Networks (DBNs).…”
Full text (MFA users only)

International e-Conference of Computer Science 2006

Table of Contents: “…A Computational Algorithm to Obtain the Law of the Solvable Lie Algebra of n x n Upper-Triangular MatricesWeb Data Extraction using Semantic Generators -- Integrity-Enhanced Improvements for ISO 9001 registeredOrganizations -- A Ghost Bit Based Finite Field Arithmetic for FPGAs -- A Scalable Finite Field Multiplier with Interleaving Reduction -- Intelligent Tutoring Systems and Convex Geometries -- Towards Operational Content Infrastructure -- A Computational Fusion of Wavelets and Neural Networks in a Classifier for Biomedical Applications…”
Full text (MFA users only)

STAIRS 2010 : Proceedings of the Fifth Starting AI Researchers' Symposium. by Ågotnes, Thomas

Table of Contents: “…; Generative Structure Learning for Markov Logic Networks; Learning Fuzzy Models of User Interests in a Semantic Information Retrieval System; Ontology-Based Document and Query Representation May Improve the Effectiveness of Information Retrieval.…”
Full text (MFA users only)

Communicating process architectures 2009 : WoTUG-32

Full text (MFA users only)

Deep Learning with Pytorch Quick Start Guide : Learn to Train and Deploy Neural Network Models in Python. by Julian, David

Full text (MFA users only)

Advances in financial machine learning by López de Prado, Marcos Mailoc

Full text (MFA users only)

Logic and Discrete Mathematics : A Concise Introduction, Solutions Manual. by Conradie, Willem

Table of Contents: “…Valid and invalid propositional inferences -- 3.3 Semantic tableaux -- 3.4 Logical equivalences. Negating propositional formulae -- 3.5 Normal forms. …”
Full text (MFA users only)

Logic and Discrete Mathematics : A Concise Introduction. by Conradie, Willem

Table of Contents: “…Valid and invalid propositional inferences -- 3.3 The concept and use of deductive systems -- 3.4 Semantic tableaux -- 3.5 Logical equivalences. Negating propositional formulae -- 3.6 Normal forms. …”
Full text (MFA users only)

Anaphora Resolution. by Mitkov, Ruslan

Table of Contents: “…2.1.2 Syntactic knowledge2.1.3 Semantic knowledge; 2.1.4 Discourse knowledge; 2.1.5 Real-world (common-sense) knowledge; 2.2 Anaphora resolution in practice; 2.2.1 Identification of anaphors; 2.2.1.1 Identification of anaphoric pronouns; 2.2.1.2 Identification of anaphoric noun phrases; 2.2.1.3 Tools and resources for the identification of anaphors; 2.2.2 Location of the candidates for antecedents; 2.2.2.1 The search scope of candidates for antecedent; 2.2.2.2 Tools and resources needed for the location of potential candidates; 2.2.3 The resolution algorithm: factors in anaphora resolution.…”
Full text (MFA users only)

Shoulder and Elbow Arthroplasty. by Williams, Gerald R.

Full text (MFA users only)

Enterprise AI for Dummies. by Jarvinen, Zachary

Table of Contents: “…Intro -- Title Page -- Copyright Page -- Table of Contents -- Introduction -- About This Book -- Strong, Weak, General, and Narrow -- Foolish Assumptions -- Icons Used in This Book -- Beyond the Book -- Where to Go from Here -- Part 1 Exploring Practical AI and How It Works -- Chapter 1 Demystifying Artificial Intelligence -- Understanding the Demand for AI -- Converting big data into actionable information -- Relieving global cost pressure -- Accelerating product development and delivery -- Facilitating mass customization -- Identifying the Enabling Technology -- Processing -- Algorithms…”
Full text (MFA users only)

Insight into Theoretical and Applied Informatics : Introduction to Information Technologies and Computer Science. by Yatsko, Andrzej

Table of Contents: “…1.2.7 Informatics and Economics1.3 Information Theory; 1.3.1 Quantities of Information; 1.3.1.1 Units for Measuring Computer Information; 1.3.1.2 Quantities of Information in Information Theory; 1.3.2 Coding Theory; 1.3.3 Semiotics; 1.3.3.1 Computational Semiotics; 2 Algorithmics; 2.1 The Science of Algorithms; 2.1.1 Algorithm Design; 2.1.2 Algorithmic Complexity Theory; 2.1.3 Algorithm Analysis; 2.2 Data Science (Datalogy); 2.2.1 Raw Data; 2.2.2 Data Structures; 2.2.3 Data Analysis (Data Analytics); 2.2.4 Data Mining; 3 Computer Programming; 3.1 Computer Programming Languages.…”
Full text (MFA users only)

Recent Advances in Natural Language Processing : Selected Papers from RANLP'95

Table of Contents: “…An augmented Earley algorithm for repair; 5.1 String representations; 5.2 Augmentations to the standard algorithm; 5.3 The augmented algorithm; 5.4 Remarks; 6 Conclusion; REFERENCES; Parsing for Targeted Errors in Controlled Languages; Abstract; 1. …”
Full text (MFA users only)

Digital Signal Processing and Applications with the TMS320C6713 and TMS320C6416 DSK. by Chassaing, Rulph

Full text (MFA users only)