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 

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 

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 

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 

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 

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 

Full text 

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 

Full text 

Table of Contents: “... with Insecurity Separation Logic -- Dynamic Extrapolation in Extended Timed Automata -- Formalizing Robustness against Character-level Perturbations for Neural Network Language Models -- Trace models of concurrent valuation algebras -- Branch and Bound for Sigmoid-like...”

Full text 

Table of Contents: “... by Genetic Algorithms -- The Landscape of Computing Symmetric $n$-Variable Functions with $2n$ Cards -- On the complexity of reasoning in Kleene algebras with commutativity conditions -- Towards the Complexity Analysis of Programming Language Proof Methods -- A...”

Full text 

Table of Contents: “... for Strong Evaluation -- Proofs as Terms, Terms as Graphs -- Typed Non-determinism in Functional and Concurrent Calculi -- Interactive Theorem Proving -- A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists -- Oracle Computability and Turing...”

Full text 

Table of Contents: “... -- Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle -- FreeCHR: An Algebraic Framework for CHR-Embeddings -- Explaining the optimal trajectories -- Abstract Domains for Database Manipulating Processes -- Extracting Interpretable...”

Full text 

Table of Contents: “... -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions...”

Full text 

Full text 

Table of Contents: “...1. Fundamentals of Software Engineering -- 2. Software Engineering Mathematics -- 3. Mathematical Prerequisites -- 4. Introduction to Algorithms -- 5 -- Algebra -- 6. Mathematical Induction and Recursion -- 7. Graph Theory -- 8. Sequences, Series...”

Full text 

Table of Contents: “... via a Process Algebra Semantics....”

Full text 

Full text 

Table of Contents: “... for Symbolic Model Checking -- Solving Constrained Horn Clauses over Algebraic Data Types -- ARENA: Enhancing Abstract Refinement for Neural Network Verification....”

Full text 

Table of Contents: “... to optimality -- Chapter 6. Feature Discovery with Deep Learning Algebra Networks -- Chapter 7. Back To The Future - Revisiting OrdinalGP & Trustable Models After a Decade -- Chapter 8. Fitness First -- Chapter 9. Designing Multiple ANNs with Evolutionary Development...”

Full text