201
Introduction to Computation [E-Book] : Haskell, Logic and Automata /
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...

Full text 
202
Relational and Algebraic Methods in Computer Science [E-Book] : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings /
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...

Full text 
203
Dependable Software Engineering. Theories, Tools, and Applications [E-Book] : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings /
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...

Full text 
204
A Primer on Hilbert Space Theory [E-Book] : Linear Spaces, Topological Spaces, Metric Spaces, Normed Spaces, and Topological Groups /
205
Developments in Language Theory [E-Book] : 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings /
206
Reality Without Realism [E-Book] : Matter, Thought, and Technology in Quantum Physics /
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...

Full text 
207
Plane Finite Elements for Two-Dimensional Problems [E-Book] : Application of the Computer Algebra System Maxima /
Table of Contents: ...Introduction -- Maxima - A Computer Algebra System -- Plane Elements.-Classical Plate Elements -- Shear Deformable Plate Elements.-Graphical User Interface -- Source Codes....

Full text 
208
Formal Concept Analysis [E-Book] : 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings /
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....

Full text 
209
Matrix and Analytical Methods for Performance Analysis of Telecommunication Systems [E-Book] /
210
Matrix, numerical, and dynamical systems methods in science and engineering [E-Book] /
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...

Full text 
211
Galileo Galilei's "Two New Sciences" [E-Book] : for Modern Readers /
212
Formal Methods for Industrial Critical Systems [E-Book] : 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings /
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 
213
Cryptography 101 : From Theory to Practice [E-Book]
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...

Full text 
214
Mathematics for future computing and communications [E-Book] /
215
Theory of Cryptography [E-Book] : 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8-11, 2021, Proceedings, Part III /
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...

Full text 
216
Advances in Visual Informatics : 7th International Visual Informatics Conference, IVIC 2021, Kajang, Malaysia, November 23-25, 2021, Proceedings [E-Book] /
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...

Full text 
217
Advances in Cryptology - EUROCRYPT 2021 [E-Book] : 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17-21, 2021, Proceedings, Part II /
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...

Full text 
218
Advances in Cryptology - CRYPTO 2021 [E-Book] : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16-20, 2021, Proceedings, Part I /
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...

Full text 
219
Advances in Cryptology - ASIACRYPT 2021 [E-Book] : 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021, Proceedings, Part I /
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...

Full text 
220
A gentle introduction to homological mirror symmetry [E-Book] /