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: “... 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: “...Rough Set Models -- Selected approaches to conflict analysis inspired by the Pawlak model - case study -- Multi-heuristic Induction of Decision Rules -- Algebraic formulations and geometric interpretations of decision-theoretic rough sets -- Reduction...”

Full text 

Table of Contents: “...Supercomputer Simulation: Application of HPC for Simulation of Sealant Influence on the Aircraft Assembly Process -- Block Algebraic Multigrid Method for Saddle-Point Problems of Various Physics -- Computational Efficiency of Iterative Methods...”

Full text 

Table of Contents: “... from Autism -- Two-phases AI Model for a Smart Learning System -- Learning System for Relational Algebra -- Design and Simulation of an IoT Intelligent University Campus for Academic Aim -- Behavioral Coding for Predicting Perceptions of Interactions...”

Full text 

Table of Contents: “... -- Mixed Precision Algebraic Multigrid on GPUs -- Compact in-memory representation of decision trees in GPU-accelerated evolutionary induction -- Neural Nets with a Newton Conjugate Gradient Method on Multiple GPUs -- Performance Analysis and Prediction in HPC...”

Full text 

Table of Contents: “...First steps in updating knowing how -- Parametrized modal logic II: the unidimensional case -- Relating Kleene algebras -- Dynamic epistemic logic for budget-constrained agents -- Action models for coalition logic -- Quantum logic for observation...”

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: “... Quantification and Applications -- Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores -- A Parallel Privacy Preserving Shortest Path Protocol from a Path Algebra Problem -- A blockchain-based architecture to manage user privacy...”

Full text 

Table of Contents: “...Theory and Practice of Systems and Applications Development -- An Approach-based on Allen's Interval Algebra to Provision Resources for Disrupted Business Processes -- BPMN4FRSS: An BPMN Extension To Support Risk-Based Development of Forensic-Ready...”

Full text 

Table of Contents: “... Polygon -- Online Interval Scheduling with Predictions -- On Length-Sensitive Frechet Similarity -- Hardness of Graph-Structured Algebraic and Symbolic Problems-. Sublinear-Space Streaming Algorithms for Estimating Graph Parameters on Sparse Graphs -- Efficient...”

Full text 

Table of Contents: “... Platforms with oneAPI and Vitis HLS: A Comparison with GPUs -- Evaluating Quantum Algorithms for Linear Algebra Workflows -- Exploring the Use of Dataflow Architectures for Graph Neural Network Workloads -- OpenACC unified programming environment for multi-hybrid...”

Full text 

Table of Contents: “... in young adults -- Designing AR Applications for People Living with Dementia -- Designing Interaction to Support Sustained Attention -- Digital Educational Games with Storytelling for Students to Learn Algebra -- Distinguishing user paths for personas...”

Full text 

Table of Contents: “...Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions -- Generating Elementary Integrable Expressions -- How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse a Case Study -- A Modular...”

Full text 

Table of Contents: “... Geometric Algebra Solution to the 3D Registration Problem -- Active Anomaly Detection for Autonomous Robots: a Benchmark -- Multi-robot Systems -- Hardware Validation of Adaptive Fault Diagnosis in Swarm Robots -- Mobile Robots For Collaborative Manipulation Over...”

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 

Table of Contents: “... Collocation and Tensor Product Preconditioning -- Monitoring and Forecasting Crop Yields -- On Parallel Multigrid Methods for Solving Systems of Linear Algebraic Equations -- Optimized Relativistic Code for Massive Parallel Systems -- Using Parallel SAT Solving...”

Full text 

Table of Contents: “... between Agents -- From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting -- SwitchLog: A Logic Programming Language for Network Switches -- Linear Algebraic Abduction with Partial Evaluation -- Using Hybrid Knowledge Bases for Meta...”

Full text 

Table of Contents: “...Foundations of Geometric Algebra -- Transformations, Orientation and Fitting -- Modelling Proteins and Cities -- Signal Processing with Octonions....”

Full text