Search Results - Vugraph~
Suggested Topics within your search.
Suggested Topics within your search.
- Mathematics 52
- History of engineering & technology 51
- Research & information: general 41
- Computer science 37
- Technology: general issues 37
- Algebra 27
- Artificial intelligence 26
- Information technology industries 25
- Data mining 22
- Mathematics & science 21
- Software Engineering 21
- Combinatorics & graph theory 15
- Environmental science, engineering & technology 15
- Algorithms & data structures 14
- Discrete mathematics 13
- Geographical information systems (GIS) & remote sensing 13
- Applied mathematics 12
- Computer Science 12
- Earth sciences 12
- Information technology: general issues 11
- Calculus 10
- Artificial Intelligence 9
- Computer networks 9
- Application software 8
- Biology, life sciences 8
- Computer and Information Systems Applications 8
- Data Mining and Knowledge Discovery 8
- Machine learning 8
- Physics 8
- Calculus & mathematical analysis 7
-
721
-
722
-
723
-
724
-
725
Ecologics
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
726
-
727
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 -
728
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2018Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata
Electronic eBook -
729
Chapter Exploring Globalization with Cosmopolitics
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
730
-
731
-
732
-
733
-
734
-
735
-
736
-
737
-
738
-
739
-
740