Search Results - (((((((kant OR wants) OR wanting) OR makent) OR cantor) OR anne) OR shared) 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)

Comprehensive Ruby Programming. by Hudgens, Jordan

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)

Compressed sensing : theory and applications

Full text (MFA users only)

Visual Data Mining : The VisMiner Approach. by Anderson, Russell K.

Table of Contents: “…Regression Analysis -- The Regression Model -- Correlation and Causation -- Algorithms for Regression Analysis -- Assessing Regression Model Performance -- Model Validity -- Looking Beyond R2 -- Polynomial Regression -- Artificial Neural Networks for Regression Analysis -- Dataset Preparation -- Tutorial -- A Regression Model for Home Appraisal -- Modeling with the Right Set of Observations -- Exercise 6.1 -- ANN Modeling -- The Advantage of ANN Regression -- Top-Down Attribute Selection -- Issues in Model Interpretation -- Model Validation -- Model Application -- Summary…”
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)

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)

Big Data and HPC. by Grandinetti, L.

Table of Contents: “…Analysis and Design of IoT Based Physical Location Monitoring SystemAutonomous Task Scheduling for Fast Big Data Processing; Adaptive Resource Management for Distributed Data Analytics; HPC Challenges; High-Performance Massive Subgraph Counting Using Pipelined Adaptive-Group Communication; Final Parallel and Distributed Computing Assignment for Master Students: Description of the Properties and Parallel Structure of Algorithms; Parallel Motion Estimation Based on GPU and Combined GPU-CPU; GPU-Based Iterative Hill Climbing Algorithm to Solve Symmetric Traveling Salesman Problem.…”
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)

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)

Hands-On Blockchain with Hyperledger : Building Decentralized Applications with Hyperledger Fabric and Composer. by Baset, Salman

Table of Contents: “…Decentralization with systemic governanceEnterprise support; Use case-driven pluggability choices; Shared ledger technology; Consensus; Crypto algorithms and encryption technology; Use case-driven pluggable choices; Enterprise integration and designing for extensibility; Other considerations; Consensus, ACID property, and CAP; CAP; ACID; Attestation -- SSCs are signed and encrypted; Use of HSMs; Summary; Chapter 2: Exploring Hyperledger Fabric; Building on the foundations of open computing; Fundamentals of the Hyperledger project; The Linux Foundation ; Hyperledger.…”
Full text (MFA users only)

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

Full text (MFA users only)

Robot Intelligence for Coordinated Manipulation and Its Industrial Application. by Yang, Chenguang

Table of Contents: “…Cover -- Guest editorial -- A conceptual scale model of mobile drilling robot -- Dynamic characteristics of a jumping robot with coordinated quadruped legs -- Identification of nonlinear state-space time-delay system -- An end-to-end learning method for industrial defect detection -- One-shot gesture recognition with attention based DTW for human-robot collaboration -- Wirerope-driven exoskeleton to assist lower-limb rehabilitation of hemiplegic patients by using motion capture -- Effective anti-collision algorithms for RFID robots system…”
Full text (MFA users only)

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)

Deep Learning with Pytorch Quick Start Guide : Learn to Train and Deploy Neural Network Models in Python. by Julian, David

Full text (MFA users only)

Medical and Care Compunetics 2 : Medical and Care Compunetics 2. by Bos, L.

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)

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)

Business Hack : the Wealth Dragon Way to Build a Successful Business in the Digital Age. by Lee, John

Table of Contents: “…Out with the Old, in with the NewThe AI Revolution; Think Laterally; Who Wants to Live Forever?; Who's the Expert Now?; Which Future?…”
Full text (MFA users only)