1
Mathematics for Natural Scientists II [E-Book] : Advanced Methods /
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....

Full text 
2
Foundations of Software Science and Computation Structures [E-Book] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /
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...

Full text 
3
Programming Languages and Systems [E-Book] : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /
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...

Full text 
4
Deep Learning [E-Book] : Foundations and Concepts /
Table of Contents: ... A Linear Algebra -- Appendix B Calculus of Variations -- Appendix C Lagrange Multipliers -- Biblyography -- Index....

Full text 
5
Computer Vision: Three-dimensional Reconstruction Techniques [E-Book] /
Table of Contents: ... -- A Notions of linear algebra -- B Matrix Differential Calculation -- C Regression -- D Notions of Projective Geometry -- D Math Lab code -- Index....

Full text 
6
Petri Net Primer [E-Book] : A Compendium on the Core Model, Analysis, and Synthesis /
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...

Full text 
7
A Course in Natural Language Processing [E-Book] /
8
Advances in Computing [E-Book] : 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers /
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...

Full text 
9
Advances in Computer Graphics [E-Book] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV /
Bi, Lei
2024
Table of Contents: ... -- Medical Imaging and Robotics -- Theoretical Analysis; Image Analysis and Visualization in Advanced Medical Imaging Technology -- Empowering Novel Geometric Algebra for Graphics and Engineering....

Full text 
10
Advances in Computer Graphics [E-Book] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II /
Bi, Lei
2024
Table of Contents: ... -- Medical Imaging and Robotics -- Theoretical Analysis; Image Analysis and Visualization in Advanced Medical Imaging Technology -- Empowering Novel Geometric Algebra for Graphics and Engineering....

Full text 
11
Dynamic Logic. New Trends and Applications [E-Book] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers /
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...

Full text 
12
Advances in Computer Graphics [E-Book] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I /
Bi, Lei
2024
Table of Contents: ... -- Medical Imaging and Robotics -- Theoretical Analysis; Image Analysis and Visualization in Advanced Medical Imaging Technology -- Empowering Novel Geometric Algebra for Graphics and Engineering....

Full text 
13
Advances in Computational Intelligence. MICAI 2023 International Workshops [E-Book] : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings /
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...

Full text 
14
Advances in Computer Graphics [E-Book] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III /
Bi, Lei
2024
Table of Contents: ... -- Medical Imaging and Robotics -- Theoretical Analysis; Image Analysis and Visualization in Advanced Medical Imaging Technology -- Empowering Novel Geometric Algebra for Graphics and Engineering....

Full text 
15
Foundations of Information and Knowledge Systems [E-Book] : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings /
16
Foundations of Vector Retrieval [E-Book] /
17
Machine Learning Methods [E-Book] /
18
Cryptocoding Based on Quasigroups [E-Book] /
19
Active Object Languages: Current Research Trends [E-Book] /
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...

Full text 
20
Advanced Computational Applications of Geometric Algebra [E-Book] : First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings /