Search Results - (((((((kant OR jantti) OR semantic) OR wind) OR cantor) OR anne) OR share) OR hints) algorithms.

Introduction to graph theory by Voloshin, Vitaly I. (Vitaly Ivanovich), 1954-

Table of Contents: “…What Is Mathematical Induction; 7.2. Graph Theory Algorithms and Their Complexity; 7.3. Answers and Hints to Selected Exercises; 7.4. …”
Full text (MFA users only)

Research Progress of Magnetic Levitating Bearings and Some Advanced Technology. by Xiping, Wang

Table of Contents: “…Magnetic Force Characteristics and Structure of a Novel Radial Hybrid Magnetic BearingMethod of Variable Parameter PID Control Applied for AMB System; Research on Adaptive Feedforward Control Algorithm of Electromagnetic Active Vibration Isolation System; Rotor Eddy Current Losses Analysis on BPMSM Using FEM; Self Adaptive Integral-Type Sliding Mode Control for Supporting Structure of a Magnetic Vertical Axis Wind Turbine; Sensorless Control of IPMSM Using Extended Flux Estimation Method; Sensorless Control of IPMSM Using Modified Current Slope Estimation Method…”
Full text (MFA users only)

A cabinet of philosophical curiosities : a collection of puzzles, oddities, riddles, and dilemmas by Sorensen, Roy A.

Table of Contents: “…Infinite Two-Minute DebateIndian Debate Tournament; Winning by Losing; Minimising Selfishness; Lawrence of Arabia Collars a Leopard; A Bridge without Pillars; Advice from Shih Teng; Thales' Shady Measurement of Pyramids; The Cowpox Transmission Problem; Kant's Gloves; An Antipodal Algorithm; The Invisibility of Function Words; Necessary Waste; The Art of the Counterexample; The Philosophy of Scale Effects; Humble Exercise; Philosophy for the Eye; Synthetic A Priori Lies; Passive A Priori Deception; Crete Revisited; Less Lucky the Second Time?…”
Full text (MFA users only)

Tsunamis : causes, characteristics, warnings and protection

Table of Contents: “…Model of Hydrogen Sulfide Down-Wind Dispersion""; ""8.4. Model Implementation""; ""8.4.1. …”
Full text (MFA users only)

High Performance Computing Systems and Applications & OSCAR Symposium. by International Symposium on High Performance Computing Systems and Applications (17th : 2003 : Sherbrooke, Quebec)

Table of Contents: “…""The Impact of Hyper-Threading on Communication Performance in HPC Clusters""""A Preliminary Feasibility Study of the LARPBS Optical Bus Parallel Model""; ""Efficient Broadcast on Computational Grids""; ""The Canadian Internetworked Scientific Supercomputer""; ""Distributed Beagle: An Environment for Parallel and Distributed Evolutionary Computations""; ""A Brief Introduction to UPC""; ""SCOJO -- Share-Based Job Coscheduling with Integrated Dynamic Resource Directory in Support Or Grid Scheduling""…”
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)

Cinder Creative Coding Cookbook. by Dawid Gorny, Rui Madeira

Table of Contents: “…Creating a simple video controllerSaving window content as an image; Saving window animations as video; Saving window content as a vector graphics image; Saving high resolution images with the tile renderer; Sharing graphics between applications; Building Particle Systems; Introduction; Creating a particle system in 2D; Applying repulsion and attraction forces; Simulating particles flying in the wind; Simulating flocking behavior; Making our particles sound reactive; Aligning particles to a processed image; Aligning particles to the mesh surface; Creating springs.…”
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)

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

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)

Applied Parallel Computing. by Deng, Yuefan

Table of Contents: “…Design of Algorithms; 5.1. Algorithm Models; 5.1.1. Master-slave; 5.1.2. …”
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)