Search Results - (((((((kant OR wanted) OR santis) OR when) OR cantor) OR anne) OR share) OR hints) algorithms.

Differential algebra and related topics - proceedings of the international workshop. by SIT, WILLIAM Y.

Table of Contents: “…6 Reduction Algorithms 7 Rosenfeld Properties of an Autoreduced Set ; 8 Coherence and Rosenfeld's Lemma ; 9 Ritt-Raudenbush Basis Theorem ; 10 Decomposition Problems ; 11 Component Theorems ; 12 The Low Power Theorem ; Appendix: Solutions and hints to selected exercises ; References…”
Full text (MFA users only)

Energy Psychology : Explorations at the Interface of Energy, Cognition, Behavior, and Health. by Gallo, Fred P.

Table of Contents: “…Manual Muscle Testing and KinesiologyApplied Kinesiology Offshoots; Empirical Research on Manual Muscle Testing; Muscle Testing Proficiency; Integrity and Muscle Testing; Therapy and Diagnosis; Self-Testing; Therapeutic Algorithms vs. Causal Diagnostics; Energy Psychology and Manual Muscle Testing; Abuses of Manual Muscle Testing and Algorithms; Manual Muscle Testing and Intuition; Unwarranted Uses; When We're Stumped; Systemic Manual Muscle Testing.…”
Full text (MFA users only)

Trends in Functional Programming. by Nilsson, Henrik

Table of Contents: “…Front Cover; Preliminary Pages; Contents; Preface; Proving Termination Using Dependent Types: The Case of Xor-Terms; Proving the Correctness of Algorithmic Debugging for Functional Programs; Systematic Synthesis of Functions; A Purely Functional Implementation of ROBDDs in Haskell; Efficient Interpretation by Transforming Data Types and Patterns to Functions; Object-Oriented Programming in Dependent Type Theory; A Sharing Analysis for SAFE; Memory Usage Improvement Using Runtime Alias Detection; A Model of Functional Programming with Dynamic Compilation and Optimization.…”
Full text (MFA users only)

Prognostics and Health Management of Engineering Systems : an Introduction. by Kim, Nam-Ho

Table of Contents: “…2.2.2 When a Degradation Model Is Available (Physics-Based Approaches)2.2.2.1 Problem Definition; 2.2.2.2 Parameter Estimation and Degradation Prediction; 2.2.2.3 Effect of Noise in Data; 2.2.3 When a Degradation Model Is NOT Available (Data-Driven Approaches); 2.2.3.1 Function Evaluation; 2.2.3.2 Overfitting; 2.2.3.3 Prognosis with More Training Data; 2.3 RUL Prediction; 2.3.1 RUL; 2.3.2 Prognostics Metrics; 2.3.2.1 Prognostic Horizon (PH); 2.3.2.2 varvec{ alpha { -- } lambda} Accuracy; 2.3.2.3 (Cumulative) Relative Accuracy (RA, CRA); 2.3.2.4 Convergence; 2.3.2.5 Results with MATLAB Code.…”
Full text (MFA users only)

Handbook for pandemic and mass-casualty planning and response

Table of Contents: “…Burn Injuries during Mass-Casualty IncidentsBlast Injuries; Section 3: Communication and Information Sharing; Information Sharing in Practice and for Practice: Mass-Casualty Cases; Communication between Emergency Medical Services and Media during Mass-Casualty Events in Croatia; Just-in-Time Information; Collaboration Topologies for Interdisciplinary and Interlevel Information Exchange; Networks and Their Role in Counteracting Contemporary Global Threats: A New Model; Architecture of R & D Project Management Systems at Medical Institutions; Lessons Learned; Lessons Learned; Subject Index…”
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)

DSP with Python Programming. by Charbit, Maurice

Table of Contents: “…Gaussian linear case: Kalman algorithm; 3.5. Discrete finite Markov case; 4 Monte-Carlo Methods; 4.1. …”
Full text (MFA users only)

Solutions in lidar profiling of the atmosphere by Kovalev, Vladimir A.

Table of Contents: “…1.6.1 Algorithm and Solution Uncertainty1.6.2 Numerical Simulations and Experimental Data; 1.7 Examination of the Remaining Offset in the Backscatter Signal by~Analyzing the Shape of the Integrated Signal; 1.8 Issues in the Examination of the Lidar Overlap Function; 1.8.1 Influence of Distortions in the Lidar Signal when Determining the~Overlap Function; 1.8.2 Issues of Lidar Signal Inversion within the Incomplete Overlap Area; Chapter 2 Essentials and Issues in Separating the Backscatter and Transmission Terms in The Lidar Equation.…”
Full text (MFA users only)

Empirical Evaluation Methods in Computer Vision. by Christensen, Henrik I.

Table of Contents: “…Foreword ; Chapter 1 Automated Performance Evaluation of Range Image Segmentation Algorithms ; 1.1. Introduction ; 1.2. Scoring the Segmented Regions ; 1.3. …”
Full text (MFA users only)

Reliability in biomechanics by Kharmanda, Ghias, El Hami, Abdelkhalak

Full text (MFA users only)

Foundations of constraint satisfaction by Tsang, Edward

Table of Contents: “…Solution synthesis; 9.1 Introduction; 9.2 Freuder's Solution Synthesis Algorithm; 9.3 Seidel's Invasion Algorithm; 9.4 The Essex Solution Synthesis Algorithms; 9.5 When to Synthesize Solutions; 9.6 Concluding Remarks; 9.7 Bibliographical Remarks; Chapter 10. …”
Full text (MFA users only)

Data Science : The Executive Summary - a Technical Book for Non-Technical Professionals. by Cady, Field

Table of Contents: “…Chapter 3 Working with Modern Data -- 3.1 Unstructured Data and Passive Collection -- 3.2 Data Types and Sources -- 3.3 Data Formats -- 3.3.1 CSV Files -- 3.3.2 JSON Files -- 3.3.3 XML and HTML -- 3.4 Databases -- 3.4.1 Relational Databases and Document Stores -- 3.4.2 Database Operations -- 3.5 Data Analytics Software Architectures -- 3.5.1 Shared Storage -- 3.5.2 Shared Relational Database -- 3.5.3 Document Store + Analytics RDB -- 3.5.4 Storage + Parallel Processing -- Chapter 4 Telling the Story, Summarizing Data -- 4.1 Choosing What to Measure…”
Full text (MFA users only)

Focus on artificial neural networks

Table of Contents: “…ARTIFICIAL NEURAL NETWORKS (ANNS) -- 3. MICROEMULSIONS -- 4. APPLICATION OF ANNS IN THE DEVELOPMENT OF MICROEMULSION DRUG DELIVERY SYSTEMS -- 4.1. …”
Full text (MFA users only)

Industrial control systems

Table of Contents: “…EXTRACTIVE FERMENTATION PROCESS FOR BIOETHANOL PRODUCTION ; 3. PLANT MODEL BASED ON ANN ; 3.1. ANN Configurations.…”
Full text (MFA users only)

Resources utilization and productivity enhancement case studies by Mital, Anil, Pennathur, Arunkumar

Full text (MFA users only)

Designing economic mechanisms by Hurwicz, Leonid

Full text (MFA users only)

Rationality problem for Algebraic Tori by Hoshi, Akinari, 1978-, Yamasaki, Aiichi, 1969-

Full text (MFA users only)

Automata and Computability. by Kozen, Dexter, 1951-

Table of Contents: “…Miscellaneous Exercises Turing Machines and Effective ComputabilityHints for Selected Miscellaneous Exercises; Solutions to Selected Miscellaneous Exercises; References; Notation and Abbreviations; Index.…”
Full text (MFA users only)

Media Backends : Digital Infrastructures and Sociotechnical Relations. by Parks, Lisa

Full text (MFA users only)

Enterprise AI for Dummies. by Jarvinen, Zachary

Table of Contents: “…External partnerships -- The importance of executive buy-in -- Weighing Your Options: Build versus Buy -- When you should do it yourself -- When you should partner with a provider -- Hosting in the Cloud versus On Premises -- What the cloud providers say -- What the hardware vendors say -- The truth in the middle -- Part 2 Exploring Vertical Market Applications -- Chapter 5 Healthcare/HMOs: Streamlining Operations -- Surfing the Data Tsunami -- Breaking the Iron Triangle with Data -- Matching Algorithms to Benefits -- Examining the Use Cases -- Delivering lab documents electronically…”
Full text (MFA users only)