Search Results - (((((((ant OR frantin) OR ken) OR semantic) OR cantor) OR anne) OR maarten) OR antti) algorithms.

  1. 141
  2. 142

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

    Published 2013
    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)
    Electronic eBook
  3. 143

    Computational intelligence in aerospace sciences

    Published 2014
    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)
    Electronic eBook
  4. 144
  5. 145

    International e-Conference of Computer Science 2006

    Published 2007
    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)
    Electronic Conference Proceeding eBook
  6. 146

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

    Published 2010
    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)
    Electronic eBook
  7. 147

    Communicating process architectures 2009 : WoTUG-32

    Published 2009
    Full text (MFA users only)
    Electronic Conference Proceeding eBook
  8. 148

    The Johns Hopkins guide to digital media

    Published 2014
    Table of Contents: “…Ross -- Virtual reality / Ken Hillis -- Virtuality / Michael Heim -- Walkthrough / Frederik De Grove and Jan Van Looy -- Web comics / Karin Kukkonen -- Wiki writing / Seth Perlow -- Windows / Jay David Bolter -- Word-image / Maria Engberg -- Worlds and maps / Bjarke Liboriussen -- Writing under constraint / Anastasia Salter.…”
    Book
  9. 149

    Advances in digital technologies : proceedings of the 6th International Conference on Applications of Digital Information and Web Technologies 2015

    Published 2015
    Table of Contents: “…Application of Genetic Algorithms to Context-Sensitive Text MiningA Decision Tree Classification Model for Determining the Location for Solar Power Plant; A Framework for Multi-Label Learning Using Label Ranking and Correlation; A Comparative Analysis of Pruning Methods for C4.5 and Fuzzy C4.5; Subject Index; Author Index.…”
    Full text (MFA users only)
    Electronic Conference Proceeding eBook
  10. 150

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

    Published 2015
    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)
    Electronic eBook
  11. 151

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

    Published 2015
    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)
    Electronic eBook
  12. 152

    Anaphora Resolution. by Mitkov, Ruslan

    Published 2014
    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)
    Electronic eBook
  13. 153

    Shoulder and Elbow Arthroplasty. by Williams, Gerald R.

    Published 2004
    Full text (MFA users only)
    Electronic eBook
  14. 154

    Enterprise AI for Dummies. by Jarvinen, Zachary

    Published 2020
    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)
    Electronic eBook
  15. 155

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

    Published 1997
    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)
    Electronic Conference Proceeding eBook
  16. 156

    Java Deep Learning Projects : Implement 10 Real-World Deep Learning Applications Using Deeplearning4j and Open Source APIs. by Karim, Rezaul

    Published 2018
    Table of Contents: “…; Artificial Neural Networks; Biological neurons; A brief history of ANNs; How does an ANN learn?; ANNs and the backpropagation algorithm; Forward and backward passes; Weights and biases; Weight optimization; Activation functions.…”
    Full text (MFA users only)
    Electronic eBook
  17. 157

    Optimization advances in electric power systems

    Published 2008
    Table of Contents: “…Unreliability Costs -- 3.5. Proposed Algorithms -- 3.5.1. ES and TS Algorithms -- 3.5.2. …”
    Full text (MFA users only)
    Electronic eBook
  18. 158

    Tales of Literacy for the 21st Century : the Literary Agenda. by Wolf, Maryanne

    Published 2016
    Table of Contents: “…; Deep reading and what comes next; A first algorithm for what comes next; Notes; 7: A Tale of Hope for Non-Literate Children.…”
    Full text (MFA users only)
    Electronic eBook
  19. 159

    Challenges and opportunities of HealthGrids : proceedings of Healthgrid 2006

    Published 2006
    Table of Contents: “…Early Diagnosis of Alzheimer's Disease Using a Grid Implementation of Statistical Parametric Mapping AnalysisUsing the Grid to Analyze the Pharmacokinetic Modelling After Contrast Administration in Dynamic MRI; Medical Image Registration Algorithms Assessment: Bronze Standard Application Enactment on Grids Using the MOTEUR Workflow Engine; Ethical, Legal and Privacy Issues on HealthGrids; The Ban on Processing Medical Data in European Law: Consent and Alternative Solutions to Legitimate Processing of Medical Data in HealthGrid.…”
    Full text (MFA users only)
    Electronic Conference Proceeding eBook
  20. 160

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

    Published 2015
    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)
    Electronic eBook