1
Kantorovich, Lev
2024
Table of Contents:
“...Elements of linear algebra -- Complex numbers and functions -- Fourier series -- Special Functions -- Fourier Transform -- Laplace Transform -- Curvilinear coordinates -- Partial differential equations of mathematical physics -- Calculus of variations....”2024
Full text
2
Kobayashi, Naoki
2024
Table of Contents:
“... Semantics -- Drawing from an Urn is Isometric -- Enriching Diagrams with Algebraic Operations -- Monoidal Extended Stone Duality -- Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory) -- Automata and Synthesis...”2024
Full text
3
Weirich, Stephanie
2024
Table of Contents:
“...Effects and Modal Types -- Scoped Effects as Parameterized Algebraic Theories -- Intersection Types, Relationally -- Modal Type Theory: Where Meta-programming Meets Intentional Analysis -- Program Synthesis from Graded Types -- Bidirectional Typing...”2024
Full text
4
Table of Contents:
“... A Linear Algebra -- Appendix B Calculus of Variations -- Appendix C Lagrange Multipliers -- Biblyography -- Index....”
Full text
Full text
5
Fusiello, Andrea
2024
Table of Contents:
“... -- A Notions of linear algebra -- B Matrix Differential Calculation -- C Regression -- D Notions of Projective Geometry -- D Math Lab code -- Index....”2024
Full text
6
Best, Eike
2024
Table of Contents:
“...Preface -- 1 First Steps in Petri Nets -- 2 Languages of Petri Nets -- 3 Reachability and Coverability -- 4 Linear-algebraic Structure of Petri Nets -- 5 Graph-theoretical Structure of Petri Nets -- 6 More Structure Theory -- 7 Program Verification Using...”2024
Full text
8
Aguilar, Jose
2024
Table of Contents:
“... for Training Deep Learning Models: A waste identification case study -- Instructional strategies for performance improvement in algebra: A systematic mapping -- Model for Fruit Tree Classification through Aerial Images -- Change Point Detection for Time Dependent...”2024
Full text
9
10
11
Gierasimczuk, Nina
2024
Table of Contents:
“...A spatial logic with time and quantifiers -- Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability -- Axiomatization of Hybrid Logic of Link Variations -- Kleene Algebra of Weighted Programs With Domain -- Automated Quantum...”2024
Full text
12
13
Calvo, Hiram
2024
Table of Contents:
“...Artificial intelligence. - Knowledge representation and reasoning -- Planning and scheduling -- Control methods -- Philosophical/theoretical foundations of artificial intelligence -- Computer vision -- Machine learning -- Symbolic and algebraic...”2024
Full text
14
15
18
19
Broch Johnsen, Einar
2024
Table of Contents:
“...Active Objects based on Algebraic Effects -- Actor-based Designs for Distributed Self-organisation Programming -- Encore: Coda -- Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems -- A Survey of Actor-Like...”2024
Full text
20