Search Results - (((((((anti OR manthe) OR find) OR mantic) OR cantor) OR anne) OR halted) OR granting) algorithms.

Quantum Bio-Informatics V : Proceedings of the Quantum Bio-Informatics 2011. by Accardi, Luigi

Table of Contents: “…Introduction; 2. Simon's period-finding quantum algorithm; 2.1. Ingredients of Simon's quantum period finding algorithm (QPFA); 3. …”
Full text (MFA users only)

The Complete Rust Programming Reference Guide : Design, Develop, and Deploy Effective Software Systems Using the Advanced Constructs of Rust. by Sharma, Rahul

Table of Contents: “…Chapter 1: Getting Started with Rust -- Chapter 2: Managing Projects with Cargo -- Chapter 3: Tests, Documentation, and Benchmarks -- Chapter 4: Types, Generics, and Traits -- Chapter 5: Memory Management and Safety -- Chapter 6: Error Handling -- Chapter 7: Advanced Concepts -- Chapter 8: Concurrency -- Chapter 9: Metaprogramming with Macros -- Chapter 10: Unsafe Rust and Foreign Function Interfaces -- Chapter 11: Logging -- Chapter 12: Network Programming in Rust -- Chapter 13: Building Web Applications with Rust -- Chapter 14: Lists, Lists, and More Lists -- Chapter 15: Robust Trees -- Chapter 16: Exploring Maps and Sets -- Chapter 17: Collections in Rust -- Chapter 18: Algorithm Evaluation -- Chapter 19: Ordering Things -- Chapter 20: Finding Stuff -- Chapter 21: Random and Combinatorial -- Chapter 22: Algorithms of the Standard Library.…”
Full text (MFA users only)

Geometric Function Theory In Several Complex Variables, Proceedings Of A Satellite Conference To The Int'l Congress Of Mathematicians In Beijing 2002. by FitzGerald, Carl H.

Table of Contents: “…Greiner and Jingzhi Tie); Defective values of double Meissel's formula and reduction of space-time requirement of Meissel-Lehmer-Lagarias-Odlyzko's algorithm an experimental program to find T(1021) (by Chen Guangxiao); Hardy space of holomorphic functions in infinite complex variables (by Zeqian Chen); The law of the iterated logarithm for pluriharmonic functions in the unit ball of Cn (by Zeqian Chen, Caiheng Ouyang).…”
Full text (MFA users only)

Electronic design automation : synthesis, verification, and test

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)

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

Full text (MFA users only)

Epistemological Foundations of Mathematical Experience

Full text (MFA users only)

Artificial intelligence with Python : build real-world artificial intelligence applications with Python to intelligently interact with the world around you by Joshi, Prateek

Table of Contents: “…; Clustering data with K-Means algorithm; Estimating the number of clusters with Mean Shift algorithm; Estimating the quality of clustering with silhouette scores; What are Gaussian Mixture Models?…”
Full text (MFA users only)

Deterministic global optimization : an introduction to the diagonal approach by Sergeyev, Yaroslav D., 1963-, Kvasov, Dmitri E.

Table of Contents: “…3.1 General Diagonal Scheme3.2 Analysis of Traditional Diagonal Partition Schemes; 3.3 Non-redundant Diagonal Partition Strategy; 4 Global Optimization Algorithms Based on the Non-redundant Partitions ; 4.1 Multiple Estimates of the Lipschitz Constant; 4.2 Derivative-Free Diagonal Method MultL; 4.2.1 Theoretical Background of MultL: Lower Bounds; 4.2.2 Theoretical Background of MultL: Finding Non-dominated Hyperintervals; 4.2.3 Description of the MultL Algorithm and its Convergence Analysis; 4.3 One-Point-Based Method MultK for Differentiable Problems.…”
Full text (MFA users only)

Innovation Manufacturing and Engineering Management : Selected, peer reviewed papers from the International Conference on Innovation Manufacturing and Engineering Management (IMEM)...

Table of Contents: “…Solder Selection of Lead-Free Reflow Soldering and Optimization of Craft CurveLow Reflectivity ErAlO Film on Si as Anti-Reflecting Coating in Solar Cells; Genesis Analysis of Common Defects of Reflow Soldering and Research for Solutions; Key Parameter Optimization in Wave Soldering; A Dynamic Clustering Querying Algorithm Based on Grid in Manufacturing System; Design of Accelerator in Wind Power Generator with Creative Mechanical Design Methodology; Analyze of Traditional Clothing Manufacturing Technology and Five Traditional Colors Based on Management Principle…”
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)

Computer Mathematics : Proceedings of the Fifth Asian Symposium (Ascm 2001). by Shirayanagi, Kiyoshi

Table of Contents: “…Preface ; Invited Talks ; Finding All the Solutions of Cyclic 9 Using Grobner Basis Techniques ; On the Complexity of Computing Determinants (Extended Abstract) ; Papers.…”
Full text (MFA users only)

JBoss AS 5 Performance Tuning. by Marchioni, Francesco

Table of Contents: “…Tuning the Java Virtual Machine; The starting point; Choosing the JVM settings; Setting the correct heap size; The correct amount of memory to grant your application; Step # 1: Finding the maximum heap ( -Xmx); Step # 2: Finding the initial heap size ( -Xms); I cannot allocate enough memory for the JVM!…”
Full text (MFA users only)

Advanced Printing and Packaging Materials and Technologies

Table of Contents: “…An Automatic Calculation Method of MTF and the Application in Blurred Images Restoration; An Image Anti-Forgery Algorithm Based on Conceal Zone Special Halftoning; An Improved Print-Scan Resistant Watermarking Scheme; Research on the Character and Line Quality Evaluation Model Based on Human Visual System; Researches on Text Image Watermarking Scheme Based on the Structure of Character Glyph; A Novel Approach of Edge Detection Based on Gray Correlation Degree and Kirsch Operator; A Novel Digital Watermark Algorithm Based on a Fingerprint Image.…”
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)

Randomness and complexity : from Leibniz to Chaitin

Table of Contents: “…Martin Davis -- The Turing Post Language -- Codes for Turing Post Programs -- The Universal Program -- The Halting Problem -- Other Unsolvable Problems -- Undecidable Statements -- Complexity and Randomness -- Unsolvability of Halting Problem -- An Unsolvable Word Problem -- 6. …”
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

Table of Contents: “…Method resolution orderSuper's superpowers; Using language protocols in classes; Iteration protocol; Context manager protocol; Using abstract classes; Summary; Chapter 3: Functions and Utilities; Defining functions; Decorating callables; Utilities; Summary; Chapter 4: Data Structures and Algorithms; Python built-in data structures; Python library data structures; Third party data structures; Arrays/List; Binary tree; Sorted containers; Trie; Algorithms on scale; Summary; Chapter 5: Elegance with Design Patterns; Observer pattern; Strategy pattern; Singleton pattern; Template pattern.…”
Full text (MFA users only)

Pattern Recognition in Computational Molecular Biology : Techniques and Approaches by Elloumi, Mourad, Iliopoulos, Costas, Wang, Jason T. L., Zomaya, Albert Y.

Table of Contents: “…2.4 Techniques for Proving Inapproximability Results for String Barcoding Problems2.5 Heuristic Algorithms for String Barcoding Problems; 2.6 Conclusion; Acknowledgments; References; Chapter 3: Alignment-Free Measures for Whole-Genome Comparison; 3.1 Introduction; 3.2 Whole-Genome Sequence Analysis; 3.3 Underlying Approach; 3.4 Experimental Results; 3.5 Conclusion; Author's Contributions; 3.6 Acknowledgments; References; Chapter 4: A Maximum Likelihood Framework for Multiple Sequence Local Alignment; 4.1 Introduction; 4.2 Multiple Sequence Local Alignment; 4.3 Motif Finding Algorithms.…”
Full text (MFA users only)

Machine Learning with Core ML : an IOS Developer's Guide to Implementing Machine Learning in Mobile Apps. by Newnham, Joshua

Table of Contents: “…Learning algorithms Auto insurance in Sweden; Supported learning algorithms; Considerations ; Summary; Chapter 3: Recognizing Objects in the World; Understanding images; Recognizing objects in the world; Capturing data ; Preprocessing the data; Performing inference ; Summary ; Chapter 4: Emotion Detection with CNNs; Facial expressions; Input data and preprocessing ; Bringing it all together; Summary ; Chapter 5: Locating Objects in the World; Object localization and object detection ; Converting Keras Tiny YOLO to Core ML; Making it easier to find photos; Optimizing with batches; Summary.…”
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)