Search Results - (((((((kant OR canton) OR semantic) OR wind) OR cantor) OR anne) OR shane) OR hints) algorithms.

Advanced Artificial Intelligence.

Table of Contents: “…Applications of temporal and spatial logic; 4.7.4. Randell algorithm; Exercises; Chapter 5 Case-Based Reasoning; 5.1 Overview; 5.2 Basic Notations; 5.3 Process Model; 5.4 Case Representation; 5.4.1 Semantic Memory Unit; 5.4.2 Memory Network; 5.5 Case Indexing; 5.6 Case Retrieval; 5.7 Similarity Relations in CBR; 5.7.1 Semantic similarity; 5.7.2 Structural similarity; 5.7.3 Goal's features; 5.7.4 Individual similarity; 5.7.5 Similarity assessment; 5.8 Case Reuse; 5.9 Case Retainion; 5.10 Instance-Based Learning.…”
Full text (MFA users only)

Web-based learning : men and machines - proceedings of the first international conference on web-based learning in china (icwl 2002). by REGGIE, KWAN

Table of Contents: “…Patterns of Web Based Learning in the Semantic Web Era ; PART THREE Tools.…”
Full text (MFA users only)

Internet+ and electronic business in China : innovation and applications

Table of Contents: “…Emotional analysis of online reviews on e-business platforms -- Chapter 14. Semantic search of online reviews on e-business platforms -- Part IV. …”
Full text (MFA users only)

Yacht modelling and adaptive control by Xiao, Chengmo

Table of Contents: “…LQR Self-tuning PD Control Algorithm; 4.2.2. LQR Self-tuning PID Control Algorithm.…”
Full text (MFA users only)

Comorbidity in migraine

Full text (MFA users only)

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)

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)

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)

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)

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)

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)

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)

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)

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)