Search Results - (((((((ant OR wantsa) OR antis) OR alter) OR cantor) OR anne) OR halted) OR mantis) algorithms.

There's Something about Gödel : The Complete Guide to the Incompleteness Theorem. by Berto, Francesco

Table of Contents: “…. -- 6 ... and the unsatisfied logicists, Frege and Russell -- 7 Bits of set theory -- 8 The Abstraction Principle -- 9 Bytes of set theory -- 10 Properties, relations, functions, that is, sets again -- 11 Calculating, computing, enumerating, that is, the notion of algorithm…”
Full text (MFA users only)

Cognitive Electronic Warfare : An Artificial Intelligence Approach. by Haigh, Karen

Table of Contents: “…-- 1.5 Reader's Guide -- 1.6 Conclusion -- References -- 2 Objective Function -- 2.1 Observables That Describe the Environment -- 2.1.1 Clustering Environments -- 2.2 Control Parameters to Change Behavior -- 2.3 Metrics to Evaluate Performance -- 2.4 Creating a Utility Function -- 2.5 Utility Function Design Considerations -- 2.6 Conclusion -- References -- 3 ML Primer -- 3.1 Common ML Algorithms -- 3.1.1 SVMs -- 3.1.2 ANNs -- 3.2 Ensemble Methods -- 3.3 Hybrid ML -- 3.4 Open-Set Classification -- 3.5 Generalization and Meta-learning -- 3.6 Algorithmic Trade-Offs -- 3.7 Conclusion -- References -- 4 Electronic Support -- 4.1 Emitter Classification and Characterization -- 4.1.1 Feature Engineering and Behavior Characterization -- 4.1.2 Waveform Classification -- 4.1.3 SEI -- 4.2 Performance Estimation -- 4.3 Multi-Intelligence Data Fusion -- 4.3.1 Data Fusion Approaches -- 4.3.2 Example: 5G Multi-INT Data Fusion for Localization -- 4.3.3 Distributed-Data Fusion -- 4.4 Anomaly Detection -- 4.5 Causal Relationships -- 4.6 Intent Recognition -- 4.6.1 Automatic Target Recognition and Tracking -- 4.7 Conclusion -- References -- 5 EP and EA -- 5.1 Optimization -- 5.1.1 Multi-Objective Optimization -- 5.1.2 Searching Through the Performance Landscape -- 5.1.3 Optimization Metalearning -- 5.2 Scheduling -- 5.3 Anytime Algorithms -- 5.4 Distributed Optimization -- 5.5 Conclusion.…”
Full text (MFA users only)

In pursuit of the traveling salesman : mathematics at the limits of computation by Cook, William, 1957-

Table of Contents: “…The 48-states problem -- Growing trees and tours -- Alterations while you wait -- Borrowing from physics and biology -- The DIMACS challenge -- Tour champions -- Linear programming. …”
Full text (MFA users only)

Hands-On Reinforcement Learning with Python : Master Reinforcement and Deep Reinforcement Learning Using OpenAI Gym and TensorFlow. by Ravichandiran, Sudharsan

Table of Contents: “…Solving the taxi problem using Q learningSARSA; Solving the taxi problem using SARSA; The difference between Q learning and SARSA; Summary; Questions; Further reading; Chapter 6: Multi-Armed Bandit Problem; The MAB problem; The epsilon-greedy policy; The softmax exploration algorithm; The upper confidence bound algorithm; The Thompson sampling algorithm; Applications of MAB; Identifying the right advertisement banner using MAB; Contextual bandits; Summary; Questions; Further reading; Chapter 7: Deep Learning Fundamentals; Artificial neurons; ANNs; Input layer; Hidden layer; Output layer.…”
Full text (MFA users only)

Maternal critical care : a multidisciplinary approach

Full text (MFA users only)

Innovative development of industrial manufacturing : selected, peer reviewed papers from the 2014 International Conference on Mechanics, Mechatronics and Materials Research (ICM3R...

Table of Contents: “…Nonlinear Response of Carbon-Carbon Laminated Panels to Random Acoustic Excitation under a Gradient Temperature FieldDiscussion on the Complicated Topological Dynamic System of Ordinary Differential Equation (ODE); Design and Simulation Analysis of One-Dimension Projectile Trajectory Corrector for Mortar Shell; Chapter 2: Materials and Processing Technologies; Research on the Anti-Rust Mechanism of T704; Optimization of Anhydrous Coolant's Base Fluid and the Evaluation of Low Temperature Performance; A Simulation Based Study on Gate Oxide Breakdown Characteristics for NMOS.…”
Full text (MFA users only)

Mathematical programming and game theory for decision making

Table of Contents: “…Mathematical programming and its applications in finance / L.C. Thomas -- 2. Anti-stalling pivot rule for linear programs with totally unimodular coefficient matrix / S.N. …”
Full text (MFA users only)

Innovations in Material Science, Applied Mechanics, Control and Information Technologies

Table of Contents: “…Identifying Significant Control Factors of Particle Swarm Optimization Algorithms in Solving Permutation Flowshop Scheduling Problems; Energy Optimal Control of PMSM Drive for Time-Varying Load Torque; Anti-Theft and Temperature Control of Car Wheel; The Measurement of the Fatigue Crack-Tip Displacement and Strain Fields under High Frequency Resonant Loading Applying DIC Method; Comparative Investigation of an Automated Oceanic Wave Surface Glider Robot Influence on Resistance Prediction Using CFD Method; Optimal the Multiple Performances in EDM for SKH57 Using Grey Relational Analysis.…”
Full text (MFA users only)

Smart buildings, smart communities and demand response

Table of Contents: “…Demand Response in Smart Zero Energy Buildings and Grids / Nikos Kampelis -- DR in Smart and Near-zero Energy Buildings: The Leaf Community / Nikos Kampelis, Konstantinos Gobakis, Vagias Vagias, Denia Kolokotsa, Laura Standardi, Daniela Isidori, Cristina Cristalli, Fabio Maria Montagnino, Filippo Paredes, Pietro Muratore, Luca Venezia, Marina Kyprianou Dracou, Alaric Montenon, Andri Pyrgou, Theoni Karlessi, Mattheos Santamouris -- Performance of Industrial and Residential Near-zero Energy Buildings / Nikos Kampelis, Konstantinos Gobakis, Vagias Vagias, Denia Kolokotsa, Laura Standardi, Daniela Isidori, Cristina Cristalli, Fabio Maria Montagnino, Filippo Paredes, Pietro Muratore, Luca Venezia, Marina Kyprianou Dracou, Alaric Montenon, Andri Pyrgou, Theoni Karlessi, Mattheos Santamouris -- HVAC Optimization Genetic Algorithm for Industrial Near-Zero Energy Building Demand Response / Nikos Kampelis, Nikolaos Sifakis, Denia Kolokotsa, Konstantinos Gobakis, Konstantinos Kalaitzakis, Daniela Isidori, Cristina Cristalli -- Smart Grid/Community Load Shifting GA Optimization Based on Day-ahead ANN Power Predictions / Nikos Kampelis, Elisavet Tsekeri, Denia Kolokotsa, Konstantinos Kalaitzakis, Daniela Isidori, Cristina Cristalli -- Conclusions and Recommendations.…”
Full text (MFA users only)

Epistemological Foundations of Mathematical Experience

Full text (MFA users only)

Advances in material engineering and mechanical engineering : selected, peer reviewd papers from the International Conference on Material Engineering and Mechanical Engineering, Au...

Table of Contents: “…Experimental Studies and Technology Process on Phosphor-Gypsum Decomposition for Producing Sulfuric Acid and LimeCRH VIP Seats Human-Machine Scale Analysis; Air Combat Situation Assessment by Gray Fuzzy Bayesian Network; The Research on Chaotic Signal Tracking Algorithm for SR-UKF-PF; Integrated Guidance, Control and Maneuver for Anti-Vessel Missiles Based on Backstepping Method; Integrate Uncertainty in the Process of Prognostics for Electronics; Keywords Index; Authors Index…”
Full text (MFA users only)

Enterprise artificial intelligence transformation : a playbook for the next generation of business and technology leaders by Haq, Rashed

Table of Contents: “…Types of Uses for Machine Learning -- Types of Machine Learning Algorithms -- Supervised, Unsupervised, and Semisupervised Learning -- Making Data More Useful -- Semantic Reasoning -- Applications of AI -- PART II Artificial Intelligence in the Enterprise -- Chapter 3 AI in E-Commerce and Retail -- Digital Advertising -- Marketing and Customer Acquisition -- Cross-Selling, Up-Selling, and Loyalty -- Business-to-Business Customer Intelligence -- Dynamic Pricing and Supply Chain Optimization -- Digital Assistants and Customer Engagement -- Chapter 4 AI in Financial Services -- Anti-Money Laundering.…”
Full text (MFA users only)

Continuing Kepler's Quest : Assessing Air Force Space Command's Astrodynamics Standards

Full text (MFA users only)

Selected papers of Alan Hoffman with commentary by Hoffman, Alan J.

Table of Contents: “…Fulkerson and Rosa Oppenheim -- A generalization of max flow-min cut -- On lattice polyhedra III: blockers and anti-blockers of lattice clutters -- Local unimodularity in the matching polytope / with Rosa Oppenheim -- A fast algorithm that makes matrices optimally sparse / with S. …”
Full text (MFA users only)

Artificial Neural Network Applications for Software Reliability Prediction. by Bisi, Manjubala

Full text (MFA users only)

Robotic Control for Industrial and Service Applications by Wang, Hesheng

Table of Contents: “…Cover; Guest editorial; Robot learning human stiffness regulation for hybrid manufacture; Neurodynamics-based leader-follower formation tracking of multiple nonholonomic vehicles; Visual servoing of dynamic wheeled mobile robots with anti-interference finite-time controllers; Fuzzy model predictive control for 2-DOF robotic arms; Design of the tip state estimator for hybrid-structured flexible manipulator based on SDFT and FLAKF; Nonlinear time-optimal trajectory planning for varying-rope-length overhead cranes…”
Full text (MFA users only)

Artificial intelligent techniques for electric and hybrid electric vehicles

Table of Contents: “…2.6 PID Controller -- 2.7 Fuzzy Control -- 2.8 Auto-Tuning Type Fuzzy PID Controller -- 2.9 Genetic Algorithm -- 2.10 Artificial Neural Network-Based Controller -- 2.11 BLDC Motor Speed Controller With ANN-Based PID Controller -- 2.11.1 PID Controller-Based on Neuro Action -- 2.11.2 ANN-Based on PID Controller -- 2.12 Analysis of Different Speed Controllers -- 2.13 Conclusion -- References -- Chapter 3 Optimization Techniques Used in Active Magnetic Bearing System for Electric Vehicles -- 3.1 Introduction -- 3.2 Basic Components of an Active Magnetic Bearing (AMB) -- 3.2.1 Electromagnet Actuator…”
Full text (MFA users only)

Computational models of argument : proceedings of COMMA 2014

Table of Contents: “…Properties of Random VAFs and Implications for Efficient AlgorithmsResolution-Based Grounded Semantics Revisited -- Decomposing Abstract Dialectical Frameworks -- A Principled Approach to the Implementation of Argumentation Models -- Combining Paraconsistent Logic with Argumentation -- Probabilistic Argument Graphs for Argumentation Lotteries -- Enthymeme Construction in Dialogues Using Shared Knowledge -- Strategies in Dialogues: A Game-Theoretic Approach -- Argumentation Logic -- Splitting Abstract Dialectical Frameworks…”
Full text (MFA users only)

Numerical models for submerged breakwaters : coastal hydrodynamics and morphodynamics by Ahmadian, Amir Sharif

Table of Contents: “…3 Literature Review and BackgroundReferences; 4 Theories and Methodologies; 4.1 Introduction; 4.2 Traditional Models for Water Waves; 4.3 New Approaches; 4.3.1 Meshless Methods; 4.3.2 Artificial Intelligence Methods; MLP Networks; Back-Propagation Algorithm; Levenberg-Marquardt Algorithm; RBF Networks; References; 5 Mathematical Modeling and Algorithm Development; 5.1 Navier-Stokes Equations; 5.2 The Turbulent Model; 5.3 Initial and Boundary Conditions; 5.4 Shallow Waters; 5.5 The Extended Mild-Slope Equation; 5.6 Boussinesq Equations; 5.7 Smoothed Particles Hydrodynamics.…”
Full text (MFA users only)

Development of industrial manufacturing : selected, peer reviewed papers from the 2013 2nd International Conference on Sustainable Energy and Environmental Engineering (ICSEEE 2013...

Full text (MFA users only)