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

Slantwise moves : games, literature, and social invention in nineteenth-century America by Guerra, Douglas

Full text (MFA users only)

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)

Problem-based learning and proprioception by Eberšek, Boris

Table of Contents: “…4.2 Connectionism and symbolic systems4.3 Genetic algorithms; 4.4 Forerunners of connectionism; 4.5 Connectionist networks; 4.6 The dynamic of connectionist; 4.7 Re-emergence the new connectionism; 4.8 Transferring theory into educational practice; 4.9 Conclusion; Chapter Five; 5.1 Exploring consciousness; 5.2 Formalization of consciousness; 5.3 Reality, space and time; 5.4 Quantum consciousness and learning; 5.5 The mind and body problem; 5.6 The computer model of the mind; Chapter Six; 6.1 Some definitions of cybernetics; 6.2 The roots of cybernetics…”
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)

Neural control engineering : the emerging intersection between control theory and neuroscience by Schiff, Steven J.

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)

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)

Eat, cook, grow : mixing human-computer interactions with human-food interactions

Table of Contents: “…"You don't have to be a gardener to do urban agriculture": understanding opportunities for designing interactive technologies to support urban food production / William Odom -- Augmented agriculture, algorithms, aerospace, and alimentary architectures / Jordan Geiger -- The allure of provenance: tracing food through user-generated production information / Ann Light -- Beyond gardening: a new approach to HCI and urban agriculture / Tad Hirsch -- Hungry for data: metabolic interaction from farm to fork to phenotype / Marc Tuters and Denisa Kera -- Food futures: three provocations to challenge HCI interventions / Greg Hearn and David Lindsay Wright -- Bringing technology to the dining table / Charles Spence -- List of recipes.…”
Full text (MFA users only)

Advances in digital technologies : proceedings of the 6th International Conference on Applications of Digital Information and Web Technologies 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)

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)

Sentient Enterprise The Evolution of Business Decision-making.

Table of Contents: “…Analytics on Algorithms to Improve Decision MakingCombining Algorithms on the Home Stretch to Sentience; Agility as the Ultimate Litmus Test; Chapter 8 Implementing Your Course to Sentience; Ask the Right Questions, Warts and All; Agile Strategic Planning Is Not an Oxymoron; Adopt a Start-Up Mind-Set and Don't Boil the Ocean; Pick the Right Internal Partners to Demonstrate Value; Embrace Agile Project Management Strategies; Embrace Concurrency, Ensure Scalability; Design in Governance That's Seamless and Repeatable; Optimize a Workforce to Act Fast, Fail Fast, and Scale Fast.…”
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)

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)

Ghost River by Brings Plenty, Trevino L.

Table of Contents: “…Blood QuantumVicarious and Secondary; The Two; Social Media; Re:; Image Reconstruction; Canoe Journey; The City; Cells; Algorithm Constructed, Coincidence Groomed; Scar; PRN; The Temptations; The Comedian; Simulacra Reconstructive Memory Terapy; Stone; Shame; Ghost River; Back Cover…”
Full text (MFA users only)

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

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)

Optimization advances in electric power systems

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

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

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)