201
Sannella, Donald
2021
Table of Contents:
“... and Recursion -- 11. More Fun with Recursion -- 12. Higher-Order Functions -- 13. Higher and Higher -- 14. Sequent Calculus -- 15. Algebraic Data Types -- 16. Expression Trees -- 17. Karnaugh Maps -- 18. Relations and Quantifiers -- 19. Checking Satisfiability -- 20...”2021
Full text
202
Fahrenberg, Uli
2021
Table of Contents:
“...Unary-determined distributive l-magmas and bunched implication algebras -- Effect Algebras, Girard Quantales and Complementation in Separation Logic -- Relational Computation of Sets of Relations -- Experimental Investigation of Su cient Criteria...”2021
Full text
203
Qin, Shengchao
2021
Table of Contents:
“... Analysis and Verification -- Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics -- Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP -- Formal Analysis of 5G AKMA -- Verifying the Correctness of Distributed...”2021
Full text
204
205
206
Plotnitsky, Arkady
2021
Table of Contents:
“...1 Fundamentals of the RWR View -- 2 Bohr's Breakthrough: Quantum Jumps, Quantum States and Transitions without Connections -- 3 "The Heisenberg Method": Algebra, Geometry, and Probability in Quantum Mechanics -- 4 Schrödinger's Great Guess: The Time...”2021
Full text
207
Öchsner, Andreas
2021
Table of Contents:
“...Introduction -- Maxima - A Computer Algebra System -- Plane Elements.-Classical Plate Elements -- Shear Deformable Plate Elements.-Graphical User Interface -- Source Codes....”2021
Full text
208
Braud, Agnès
2021
Table of Contents:
“... Trees and Random Forests -- Exploring Scale-Measures of Data Sets -- Filters, Ideals and Congruence on Double Boolean Algebras -- Diagrammatic Representations of Conceptual Structures....”2021
Full text
209
210
Cassel, Kevin W.
2021
Table of Contents:
“...Vector and matrix algebra -- Algebraic eigenproblems and their applications -- Differential eigenproblems and their applications -- Vector and matrix calculus -- Analysis of discrete dynamical systems -- Computational linear algebra -- Numerical methods...”2021
Full text
211
212
Table of Contents:
“...Verification -- Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps -- Automated Verification of Temporal Properties of Ladder Programs -- Spatial Model Checking for Smart Stations: Research Challenges -- Program Safety...”
Full text
Full text
213
Oppliger, Rolf
2021
Table of Contents:
“... Hash-based Cryptosystems -- 18.3.3 Lattice-based Cryptosystems -- 18.3.4 Isogeny-based Cryptosystems -- 18.3.5 Multivariate-based Cryptosystems -- 18.4 CLOSING REMARKS -- References -- Appendix A Discrete Mathematics -- A.1 ALGEBRAIC BASICS -- A.1.1...”2021
Full text
215
Nissim, Kobbi
2021
Table of Contents:
“... -- Updatable Public Key Encryption in the Standard Model -- Towards Tight Adaptive Security of Non-Interactive Key Exchange -- On the Impossibility of Purely Algebraic Signatures -- Policy-Compliant Signatures -- Simple and Efficient Batch Verification Techniques...”2021
Full text
216
Aris, Hazleen
2021
Table of Contents:
“... using Mediapipe BlazePose -- Energy Informatics and Digital Innovation -- Awareness on Energy Efficient Products as Prediction on Intention to Subscribe to and Purchase Energy Efficient Services and Products -- Algebraic Operations-based Secret-Key Design...”2021
Full text
217
Canteaut, Anne
2021
Table of Contents:
“... for Koblitz Curves Revisited -- Dummy Shuffling against Algebraic Attacks in White-box Implementations -- Advanced Lattice Sieving on GPUs, with Tensor Cores -- Masking and Secret-Sharing -- Fast verification of masking schemes in characteristic two -- On the Power...”2021
Full text
218
Malkin, Tal
2021
Table of Contents:
“... -- Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments -- Proof-Carrying Data without Succinct Arguments -- Subquadratic SNARGs in the Random Oracle Model -- Sumcheck Arguments and their Applications -- An Algebraic Framework for Universal...”2021
Full text
219
Tibouchi, Mehdi
2021
Table of Contents:
“...: a unified approach to elliptic curve special-point-based attacks -- Cryptanalysis of an oblivious PRF from supersingular isogenies -- A Practical Key-Recovery Attack on 805-Round Trivium -- Algebraic Attacks on Rasta and Dasta Using Low-Degree Equations...”2021
Full text