Search Results - Urash~
Suggested Topics within your search.
Suggested Topics within your search.
- British & Irish history 180
- Research & information: general 169
- History of engineering & technology 157
- Technology: general issues 137
- Social & cultural history 105
- Biology, life sciences 66
- History of science 60
- Mathematics 54
- Literature: history & criticism 45
- Computer science 40
- History of medicine 38
- Information technology industries 34
- Artificial intelligence 33
- Software Engineering 32
- Humanities 31
- Medicine 31
- 20th century history: c 1900 to c 2000 30
- Environmental science, engineering & technology 28
- History 28
- Mathematics & science 27
- Algebra 25
- European history 21
- Physics 17
- Geography 16
- Geological surface processes (geomorphology) 16
- Combinatorics & graph theory 15
- Computer networks 15
- English poetry -- Irish authors 15
- Modern history to 20th century: c 1700 to c 1900 15
- Slovenia 15
-
7481
-
7482
-
7483
-
7484
-
7485
-
7486
KETERSEDIAAN DAN PEMANFAATAN INFRASTUKTUR DI KAWASAN PERKOTAAN CIANJUR
Published 2015Link Metadata
Book -
7487
-
7488
-
7489
-
7490
-
7491
-
7492
Pro TBB C++ Parallel Programming with Threading Building Blocks /
Published 2019Table of Contents: “…-- Chapter 2: Generic Parallel Algorithms -- Chapter 3: Flow Graphs -- Chapter 4: TBB and the C++ Parallel Standard Template Library -- Chapter 5: Synchronization: why and how to avoid it -- Chapter 6: Data Structures for Concurrency -- Chapter 7: Scalable Memory Allocation -- Chapter 8: Mapping Parallel Patterns to TBB -- Part II -- Chapter 9: The Pillars of Composability -- Chapter 10: Using tasks to create your own algorithms -- Chapter 11: Controlling the Number of Threads Used for Execution -- Chapter 12: Using Work Isolation for Correctness and Performance -- Chapter 13: Creating Thread-to-core and Task-to-thread Affinity -- Chapter 14: Using Task Priorities -- Chapter 15: Cancellation and Exception Handling -- Chapter 16: Tuning TBB Algorithms: Granularity, Locality, Parallelism and Determinism -- Chapter 17: Flow Graphs: Beyond the Basics -- Chapter 18: Beef up Flow Graphs with Async Nodes -- Chapter 19: Flow Graphs on steroids: OpenCL Nodes -- Chapter 20: TBB on NUMA architectures -- Appendix A: History and Inspiration -- Appendix B: TBB Précis -- Glossary. .…”
Link to Metadata
Electronic eBook -
7493
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 -
7494
Introduction to Statistics
Published 2003Table of Contents: “…1. Introduction -- 2. Graphing Distributions -- 3. Summarizing Distributions -- 4. …”
Access online version
Electronic eBook -
7495
Precalculus
Published 2015Table of Contents: “…I Functions and graphs -- 1 The absolute value -- 2 Lines and functions -- 3 Functions by formulas and graphs -- 4 Introduction to the TI-84 -- 5 Basic functions and transformations -- 6 Operations on functions -- 7 The inverse of a function -- II Polynomials and rational functions -- 8 Dividing polynomials -- 9 Graphing polynomials -- 10 Roots of polynomials -- 11 Rational functions -- 12 Polynomial and rational inequalities -- III Exponential and logarithmic functions -- 13 Exponential and logarithmic functions -- 14 Properties of exp and log -- 15 Applications of exp and log -- 16 Half-life and compound interest -- IV Trigonometric functions -- 17 Trigonometric functions -- 18 Addition of angles and multiple angles -- 19 Inverse trigonometric functions -- 20 Trigonometric equations -- V Complex numbers, sequences, and the binomial theorem -- 21 Complex numbers -- 22 Vectors in the plane -- 23 Sequences and series -- 24 The geometric series -- 25 The binomial theorem…”
Access online version
Electronic eBook -
7496
Applied Combinatorics
Published 2017Table of Contents: “…Combinatorial Basics -- 5. Graph Theory -- 6. Partially Ordered Sets -- 7. Inclusion-Exclusion -- 8. …”
Access online version
Electronic eBook -
7497
-
7498
-
7499
-
7500