Search Results - "Algorithm"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 354
- Technology: general issues 267
- Research & information: general 184
- Artificial intelligence 161
- Computer science 141
- Algorithms & data structures 119
- Information technology industries 85
- Software Engineering 81
- Media studies 69
- Computer networking & communications 58
- Mathematics & science 54
- Machine learning 51
- Mathematics 44
- Artificial Intelligence 39
- Medicine 39
- Data mining 38
- Physics 38
- Computer programming / software development 36
- Applied mathematics 33
- Biology, life sciences 33
- Computer modelling & simulation 32
- Environmental science, engineering & technology 31
- Mathematical theory of computation 31
- Information technology: general issues 30
- Computer networks 29
- Mechanical engineering & materials 29
- Mathematical physics 28
- Probability & statistics 28
- Numerical analysis 27
- Software engineering 27
-
6741
The Shallow and the Deep A biased introduction to neural networks and old school machine learning
Published 2023Table of Contents: “…Preface -- From neurons to networks -- Learning from example data -- The Perceptron -- Beyond linear separability -- Feed-forward networks for regression and classification -- Distance-based classifiers -- Model evaluation and regularization -- Preprocessing and unsupervised learning -- Concluding quote -- Appendix A: Optimization -- List of figures -- List of algorithms -- Abbrev. and acronyms -- Bibliography…”
Access online version
Electronic eBook -
6742
Quantum Computing for the Quantum Curious
Published 2021Table of Contents: “…-- 3 Creating Superposition: The Beam Splitter -- 4 Creating Superposition: Stern-Gerlach -- 5 Quantum Cryptography -- 6 Quantum Gates -- 7 Entanglement -- 8 Quantum Teleportation -- 9 Quantum Algorithms -- 10 Worksheets -- Appendices -- Alphabetical Index -- Acknowledgments -- Answers.…”
Link to Metadata
Electronic eBook -
6743
Introduction to College Research
Published 2021Table of Contents: “…Title Page -- A Note for Instructors -- Read Online or Download this Book -- Introduction -- The Age of Algorithms -- Disinformation -- Fact-Checking -- Types of Information Sources -- Getting Your Research Started -- Search Strategies -- Finding Materials in the Library -- Using Library Databases -- Searching the Web: Strategies and Considerations -- Ethical and Legal Use of Information -- Citing Sources -- Glossary…”
Access online version
Electronic eBook -
6744
Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml /
Published 2023Table of Contents: “…-Chapter 2: Core Optimization -- Chapter 3: Algorithm Differentiation -- Chapter 4: Mathematical Optimization -- Chapter 5: Deep Neural Networks -- Chapter 6: Computation Graph -- Chapter 7: Performance Accelerators -- Chapter 8: Compiler Backends -- Chapter 9: Composition and Deployment -- Chapter 10: Distributed Computing -- Chapter 11: Testing Framework -- Appendix A: Basic Analytics Examples -- Appendix B: System Conventions -- Appendix C: Metric Systems and Constants -- Appendix D: AlgoDiff Module -- Appendix E: Neural Network Module -- Appendix F: Actor System for Distributed Computing -- Bibliography.…”
Link to Metadata
Electronic eBook -
6745
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Published 2021Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata
Electronic eBook -
6746
Nordic Artificial Intelligence Research and Development 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norway, May 31 - June 1, 2022, Revised Selected Papers /
Published 2022Table of Contents: “…Robotics and Intelligent Systems -- Knowledge Infused Representations through Combination of Expert Knowledge and Original Input -- Cognitive Robotics -- towards the development of next-generation robotics and intelligent systems -- Pattern Based Software Architecture for Predictive Maintenance -- AI in Cyber and Digital Sphere -- An overview of artificial intelligence used in malware -- Fake News Detection by Weakly Supervised Learning Based on Content-Features -- Improving the Usability of Tabular Data through Data Annotation, Repair and Augmentation -- AI in Biological Applications and Medicine -- Detecting human embryo cleavage stages using YOLO v5 object detection algorithm -- Phenotyping of Cervical Cancer Risk Groups via Generalized Low-Rank Models using Medical Questionnaires -- Automatic unsupervised clustering of videos of the intracytoplasmic sperm injection (ICSI) procedure -- Towards New AI Methods -- The Kernelized Taylor Diagram -- Simulating University Application Data for Fair Matchings.…”
Link to Metadata
Electronic eBook -
6747
Chapter 8 Ethics of Selective Restriction of Liberty in a Pandemic
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6748
-
6749
-
6750
Machine Learning and Its Application to Reacting Flows ML and Combustion
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6751
Novel Therapeutic Considerations in Bone and Soft Tissue Sarcoma
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6752
-
6753
-
6754
-
6755
-
6756
-
6757
-
6758
-
6759
-
6760