Table of Contents: “... with Simplification-Pruning Operator for Solving Differential Equations -- Explainable Offensive Language Classifier -- Infrared Target Recognition Technology Based On Small Sample Learning -- An Approach to Mongolian Neural Machine Translation Based on RWKV Language Model...”

Full text 

Table of Contents: “...Preface -- Programming a Simple ODE Solver -- Improving the Accuracy -- Stable Solvers for Stiff ODE Systems -- Adaptive Time Step Methods -- Modeling Infectious Diseases -- Programming of Difference Equations -- References -- Index....”

Full text 

Table of Contents: “... -- Apportionment with Thresholds: Strategic Campaigns Are Easy in the Top-Choice But Hard in the Second-Chance Mode -- Local Certification of Majority Dynamics -- Complexity of Spherical Equations in Finite Groups -- Positive Characteristic Sets for Relational Pattern...”

Full text 

Table of Contents: “... Problem in Social Networks under Rumor Source Uncertainty -- Algorithms for Shortest Path Tour Problem in Large-Scale Road Network -- Solving systems of linear equations through zero forcing sets -- Profit Maximization for Competitive Influence Spread in Social...”

Full text 

Table of Contents: “... -- Short Paper (IONCA 2023) -- PSO-FWA: A New Hybrid Algorithm for Solving Nonlinear Equation Systems -- Short Papers (CAHSCDSS 2023) -- Optimal Computing Budget Allocation for urban regeneration: an unprecedented match between economic/extra-economic...”

Full text 

Table of Contents: “... -- Solving Linear Equations -- Quantum-Classical Hybrid Algorithms -- Quantum Error Correction -- One-Way Quantum Computer -- Summary -- Efficiency of a Quantum Computer....”

Full text 

Table of Contents: “...K eynotes -- Unification modulo equational theories in languages with binding operators -- Horn Clauses Analysis, Transformation and Synthesis -- Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples -- Transforming big...”

Full text 

Table of Contents: “...1. Getting Started -- 2. A System of Ordinary Differential Equations -- 3. The Diffusion Equation -- 4. Implicit Numerical Methods -- 5. Improved Accuracy -- 6. A Simple Cable Equation -- 7. Operator Splitting -- 8. Membrane Models -- 9. The Cable...”

Full text 

Table of Contents: “... the Rubric of Algorithm -- PART II: NUMERICAL ALGORITHMIC SCIENCE -- Chapter 4: Algorithms on Graphs and Networks -- Chapter 5: Uni-Dimensional Equation-Solving and Optimization -- Chapter 6: Matrix-Based and Tensor-Based Computations -- Chapter 7: Linear...”

Full text 

Full text 

Table of Contents: “... of Microarchitectural Timing Channels by Operating Systems -- Can we Communicate? Using Dynamic Logic to Verify Team Automata -- The ScalaFix equation solver -- HHLPy: Practical Verification of Hybrid Systems using Hoare Logic -- Quantitative Verification -- symQV: Automated...”

Full text 

Table of Contents: “...Theory: Approximating fuzzy relation equations through concept lattices -- Doubly-Lexical Order Supports Standardisation and Recursive Partitioning of Formal Context -- Graph-FCA Meets Pattern Structures -- On the commutative diagrams among Galois...”

Full text 

Table of Contents: “...Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving....”

Full text 

Table of Contents: “... for Assisting Crash Simulation Data Analysis -- Posters -- Factorization of formal contexts from modal operators -- Towards confirmation measures to mixed attribute implications -- Concept lattices as a reduction tool for fuzzy relation equations -- Analysis...”

Full text 

Table of Contents: “... -- Random processes -- Geometrical Optics Essentials -- Wave equation and introduction to diffraction of light -- The angular spectrum method. ....”

Full text 

Table of Contents: “...Breadth-First Traversal Via Staging -- Subtyping without Reduction -- Calculating datastructures -- Flexibly Graded Monads and Graded Algebras -- Folding over Neural Networks -- Towards a Practical Library for Monadic Equational Reasoning in Coq...”

Full text 

Table of Contents: “... Synthesis for Turn-based Stochastic Games -- Parameter Synthesis in Markov Models: A Gentle Survey -- Convex Lattice Equation Systems -- Variance Reduction for Estimating Event Probabilities of Chemical Reaction Networks -- Software systems theory -- From...”

Full text 

Table of Contents: “... for Coupled Systems of Partial Differential Equations -- Decoupling Methods for Systems of Parabolic Equations -- Optimal Control of ODEs, PDEs and Applications -- Random Lifting of Set-valued Maps -- Höolder Regularity in Bang-Bang Type Affine Optimal Control...”

Full text 

Table of Contents: “...: The Data Type and the Algorithmic Degree of its Equational Theory -- A Survey of Model Learning Techniques for Recurrent Neural Networks -- Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces -- Better Automata through Process Algebra -- Family...”

Full text 

Table of Contents: “... for Reasoning about Local and Global Properties of Collective Systems -- Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-scaling -- Dynamical Systems -- An Algorithm for the Formal Reduction of Differential Equations as Over-approximations...”

Full text