Search Results - "symmetrization"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 23
- Research & information: general 23
- Mathematics & science 14
- Information technology industries 12
- Computer science 10
- Technology: general issues 7
- Biology, life sciences 5
- Electrical engineering 5
- Mathematics 5
- Data processing 4
- Physics 4
- Grammar, syntax & morphology 3
- Literary theory 3
- Mathematical physics 3
- Philosophy 3
- Algebra 2
- Algebraic geometry 2
- Algebras, Linear 2
- Architecture 2
- Artificial intelligence 2
- Atomic & molecular physics 2
- Bantu languages 2
- Civil defence 2
- Computational Science and Engineering 2
- Computer security 2
- Computing & information technology 2
- Consumerism 2
- Cultural studies 2
- Cybernetics & systems theory 2
- Differential calculus & equations 2
-
221
Algorithms for Sparse Linear Systems
Published 2023Table of Contents: “…An introduction to sparse matrices -- Sparse matrices and their graphs -- Introduction to matrix factorizations -- Sparse Cholesky sovler: The symbolic phase -- Sparse Cholesky solver: The factorization phase -- Sparse LU factorizations -- Stability, ill-conditioning and symmetric indefinite factorizations -- Sparse matrix ordering algorithms -- Algebraic preconditioning and approximate factorizations -- Incomplete factorizations -- Sparse approximate inverse preconditioners.…”
Link to Metadata
Electronic eBook -
222
Linear Algebra
Published 2016Table of Contents: “…-- 2 Systems of Linear Equations -- 3 The Simplex Method -- 4 Vectors in Space, n-Vectors -- 5 Vector Spaces -- 6 Linear Transformations -- 7 Matrices -- 8 Determinants -- 9 Subspaces and Spanning Sets -- 10 Linear Independence -- 11 Basis and Dimension -- 12 Eigenvalues and Eigenvectors -- 13 Diagonalization -- 14 Orthonormal Bases and Complements -- 15 Diagonalizing Symmetric Matrices -- 16 Kernel, Range, Nullity, Rank -- 17 Least squares and Singular Values…”
Access online version
Electronic eBook -
223
Introduction to Arithmetic Groups
Published 2015Table of Contents: “…Introduction -- What is a Locally Symmetric Space? -- Geometric Meaning of R-rank and Q-rank -- Brief Summary -- Part II. …”
Access online version
Electronic eBook -
224
Security of Ubiquitous Computing Systems Selected Topics /
Published 2021Table of Contents: “…Part I: Introduction -- Emerging Security Challenges for Ubiquitous Devices -- Part II: Lightweight Cryptographic Primitives -- Catalog and Illustrative Examples of Lightweight Cryptographic Primitives -- Selected Design and Analysis Techniques in Contemporary Symmetric Encryption -- An Account of the ISO/IEC Standardization of the Simon and Speck Block Cipher Families -- Part III: Authentication Protocols -- ePassport and eID Technologies -- Ultra-lightweight Authentication -- From Relay Attacks to Distance-Bounding Protocols -- Part IV: Hardware Implementation and Systems -- It Started With Templates: The Future of Profiling in Side-Channel Analysis -- Side Channel Attack Assessment Platforms and Tools for Ubiquitous Systems -- Challenges in Certifying Small-scale (IoT) Hardware Random Number Generators -- Finding Software Bugs in Embedded Devices -- Part V: Privacy and Forensics -- Privacy-Oriented Analysis of Ubiquitous Computing Systems: A 5-D Approach -- IoT Forensics.…”
Link to Metadata
Electronic eBook -
225
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 -
226
Classification and Data Science in the Digital Age
Published 2023Table of Contents: “…Koshkarov: New Metrics for Classifying Phylogenetic Trees Using -means and the Symmetric Difference Metric -- S. D. Tomarchio: On Parsimonious Modelling via Matrix-variate t Mixtures -- G. …”
Link to Metadata
Electronic eBook -
227
-
228
-
229
-
230
-
231
-
232
-
233
-
234
-
235
-
236
-
237
-
238
-
239
-
240