Search Results - (((((((anti OR wanti) OR mantis) OR when) OR cantor) OR anne) OR share) OR hints) algorithms.

Constraint Solving over Multi-valued Logics : Application to Digital Circuits.

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)

Python unlocked : become more fluent in Python--learn strategies and techniques for smart and high-performance Python programming by Tigeraniya, Arun

Full text (MFA users only)

Synthetic Impulse and Aperture Radar (SIAR) : a Novel Multi-Frequency MIMO Radar. by Chen, Baixiao

Table of Contents: “…Cover; Title Page; Copyright; Contents; About the Authors; Preface; Acknowledgments; Chapter 1 Introduction; 1.1 Development of Modern Radar; 1.2 Basic Features of SIAR; 1.3 Four Anti Features of SIAR; 1.3.1 Anti-stealth of SIAR; 1.3.2 Anti-reconnaissance of SIAR; 1.3.3 Anti-ARM of SIAR; 1.3.4 Anti-interference of SIAR; 1.4 Main Types of MIMO Radar; 1.5 SIAR and MIMO Radar; 1.6 Organization of This Book; References; Chapter 2 Radar Common Signal Waveform and Pulse Compression; 2.1 Mathematical Form and its Classification of Radar Signal; 2.1.1 Signal Mathematical Form.…”
Full text (MFA users only)

Computing the homology of the lambda algebra by Tangora, Martin C.

Table of Contents: “…Corollaries to the structure formulas""; ""2.6. Tri-grading when p is odd""; ""2.7. The endomorphism Î?""; ""2.8. …”
Full text (MFA users only)

Cystic Tumors of the Pancreas : Diagnosis and Treatment

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)

Brain damage : causes, management and prognosis

Table of Contents: “…BRAIN DAMAGE; BRAIN DAMAGE; Contents ; Preface ; Reorganization of Elementary Functions (REF) after Brain Injury: Implications for the Therapeutic Interventions and Prognosis of Brain Injured Patients Suffering Cognitive Impairments ; Abstract ; Introduction; Conceptualisations of Posttraumatic Functional Recovery ; Functional Localization and Recovery ; Mechanisms of Posttraumatic Functional Recovery ; The REF-Model ; Elementary Functions ; Algorithmic Strategies ; Reorganization of Elementary Functions (REF) ; Algorithmic Modules.…”
Full text (MFA users only)

Atlas of AI : power, politics, and the planetary costs of artificial intelligence by Crawford, Kate, 1976-

Full text (MFA users only)

Communicating process architectures 2002. by World Occam And Transputer User Group. Technical Meeting (25th: 2002: University Of Reading, U. K.)

Table of Contents: “…Acceptances, Behaviours and Infinite Activity in CSPP; HCSP: Imperative State and True Concurrency; Consolidating the Agreement Problem Protocol Verification Environment; On the Complexity of Buffer Allocation in Message Passing Systems; Java PastSet -- A Structured Distributed Shared Memory System; Synchronous Active Objects Introduce CSP's Primitives in Java; Configurable Collective Communication in LAM-MPI; Cache-Affinity Scheduling for Fine Grain Multithreading.…”
Full text (MFA users only)

Chipless radio frequency identification reader signal processing by Karmakar, Nemai Chandra, 1963-

Full text (MFA users only)

RFID systems : research trends and challenges

Full text (MFA users only)

Symbolic computation and education

Full text (MFA users only)

Solving transport problems : towards green logistics

Full text (MFA users only)

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

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)

Data analytics and big data by Sedkaoui, Soraya

Table of Contents: “…When real time makes the difference; 4.4. What should data analytics address?…”
Full text (MFA users only)

Automated database applications testing : specification representation for automated reasoning by Mikhail, Rana Farid

Table of Contents: “…Software testing definitions. 1.4. When should testing start in the software lifecycle? …”
Full text (MFA users only)

Online engineering

Table of Contents: “…THE COVARIANCE INTERSECTION ALGORITHM; 6. LARGEST ELLIPSOID ALGORITHM; 6.1. The Intersection Problem; 6.2. …”
Full text (MFA users only)

Medical data privacy handbook

Table of Contents: “…Introduction to Medical Privacy -- A survey of anonymization algorithms for electronic health records -- Differentially Private Histogram and Synthetic Data Publication -- Evaluating the Utility of Differential Privacy -- SECRETA -- Putting Statistical Disclosure Control into Practice -- Utility-constrained Electronic Health Record Data Publishing Through Generalization and Disassociation -- Methods to Mitigate Risk of Composition Attack in Independent Data Publications -- Statistical Disclosure Limitation for Health Data -- A Review of Privacy Preserving Mechanisms for Record Linkage -- Application of Privacy Preserving Techniques in Operational Record Linkage Centres -- Privacy Considerations for Health Information Exchanges -- Managing Access Control in Collaborative Processes for Healthcare Applications -- Automating Consent Management Lifecycle for Electronic Healthcare Systems -- e-Health Cloud -- Preserving Genome Privacy in Research Studies -- Private Genome Data Dissemination -- Threats and Solutions for Genomic Data Privacy -- Medical Image Security -- Privacy Considerations and Techniques for Neuroimages -- Data Privacy Issues with RFID in Healthcare -- Privacy Preserving Classification of ECG Signals in Mobile e-Health Applications -- Strengthening Privacy in Healthcare Social Networks -- Privacy Law, Data Sharing Policies, and Medical Data -- HIPAA and Human Error -- De-identification of Unstructured Clinical Data for Patient Privacy Protection -- Challenges in Synthesizing Surrogate PHI in Narrative EMRs -- Building on Principles -- Epilogue.…”
Full text (MFA users only)