Search Results - (((((((ant OR alte) OR wind) OR semantic) OR cantor) OR anne) OR halted) OR wanting) algorithms.

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

Full text (MFA users only)

Comorbidity in migraine

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)

Vehicle & mechanical engineering and information technology : selected, peer reviewed papers from the 2012 International Conference on Vehicle & Mechanical Engineering and Informat...

Table of Contents: “…A Study on the Development of Micro Metal Gear with Outer Diameter of 500um Using MIM ProcessImpact of Wind Generation in the Generation Reliability Assessment; Assessment of Redundant Steel Structural Systems Considering Effects of Member Strength Variability on the System; Numerical Investigations of Different Seismic Retrofit Techniques for Flat-Slab Structures; EDA-Based Charging Algorithm for Plug-In Hybrid Electric Vehicle to Shift the Peak of Power Supply; Chapter 2: Advanced Technologies in Materials Science and Engineering.…”
Full text (MFA users only)

Small Unmanned Aircraft : Theory and Practice by Beard, Randal W., McLain, Timothy W., 1963-

Table of Contents: “…Cover; Contents; Preface; 1 Introduction; 1.1 System Architecture; 1.2 Design Models; 1.3 Design Project; 2 Coordinate Frames; 2.1 Rotation Matrices; 2.2 MAV Coordinate Frames; 2.3 Airspeed, Wind Speed, and Ground Speed; 2.4 The Wind Triangle; 2.5 Differentiation of a Vector; 2.6 Chapter Summary; 2.7 Design Project; 3 Kinematics and Dynamics; 3.1 State Variables; 3.2 Kinematics; 3.3 Rigid-body Dynamics; 3.4 Chapter Summary; 3.5 Design Project; 4 Forces and Moments; 4.1 Gravitational Forces; 4.2 Aerodynamic Forces and Moments; 4.3 Propulsion Forces and Moments; 4.4 Atmospheric Disturbances.…”
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)

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)

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)

Mechanics and control engineering. III : selected, peer reviewed papers from the 2014 3rd International Conference on Mechanics and Control Engineering (ICMCE 2014), October 26-28,...

Table of Contents: “…Demonstrate for Rotating C-Shape Magnetic Refrigeration near Room TemperatureChapter 3: Power Engineering; Control Techniques to Directly Parallel Line-Side Converters for Wind Energy System; Dynamic Behavior of Flexible Drive Train Models and Back-to-Back Converter for DFIG Wind Turbines during Voltage Sags; Study on the Prior Information Credibility Test in Low-Voltage Switchgear Reliability Assessment; A Dispatch Algorithm for Smart Grid with Wind Generation; The Application Research of HVDC & FACTS to Suppress the Power System Low-Frequency Oscillation.…”
Full text (MFA users only)

F♯ for Machine Learning Essentials. by Mukherjee, Sudipta

Full text (MFA users only)

Towards human-UAV physical interaction and fully actuated aerial vehicles by Rajappa, Sujit

Full text (MFA users only)

Emerging trends in advanced science : selected, peer reviewed papers from the International Conference on Emerging Trends in Science, Engineering and Technology (ICETSET-2014), Apr...

Table of Contents: “…Emerging Trends in Advanced Science; Preface and Organising Committee; Table of Contents; Analysis, Design and Implementation of DC-DC Boost Converter Using H∞ Loop Shaping Controller; Building Multi-Dimensional Cube to Analyze Public Examination Results: A Business Intelligence Approach; Comparison of Performance Measures of Speed Control for a DC Motor Using Hybrid Intelligent Controller and Optimal LQR; Comparison of Z Source and Embedded Z Source Inverters in Micro Wind Power Generation System; Comparative Analysis of Various Modulation Strategies for Induction Heating System…”
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)

Communicating Process Architectures 2011 : WoTUG-33

Table of Contents: “…Title Page; Preface; Editorial Board; Reviewing Committee; Contents; Implementing Generalised Alt -- A Case Study in Validated Design Using CSP; Verification of a Dynamic Channel Model Using the SPIN Model Checker; Programming the CELL-BE Using CSP; Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces; Prioritised Choice over Multiway Synchronisation; An Analysis of Programmer Productivity Versus Performance for High Level Data Parallel Programming; Experiments in Multicore and Distributed Parallel Processing Using JCSP.…”
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)