Table of Contents: “... -- Algebraic Cryptanalysis of Yasuda, Takagi and Sakurai’s Signature Scheme -- Discrete Logarithms for Torsion Points on Elliptic Curve of Embedding Degree 1 -- Efficient Key Dependent Message Security Amplification Against Chosen Ciphertext Attacks -- A Fast Phase...”

Full text 

Table of Contents: “...An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics -- Moving Curve Ideals of Rational Plane Parametrizations -- Survey on Counting Special Types of Polynomials -- Orbit Closures of Linear Algebraic...”

Full text 

Table of Contents: “...Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional Approach to Sex: Reproduction in the Créatúr Framework...”

Full text 

Table of Contents: “... knowledge based on the successful behavior of belief -- Büchi Automata Optimisations Formalised in Isabelle/HOL -- Nēya's logical model for Ascertaining Sound Arguments -- Negative Existentials and Non-denoting Terms -- Ordinals in an algebra-valued model of a...”

Full text 

Table of Contents: “...Massively Parallel NUMA-aware Hash Joins Fast Column Scans: Paged Indices for In-Memory Column Stores -- Compiled Plans for In-Memory Path-Counting Queries -- Bringing Linear Algebra Objects to Life in a Column-Oriented In-Memory Database - Dynamic Query...”

Full text 

Table of Contents: “... -- Parameterized Analogues of Probabilistic Computation -- Algebraic Expressions of Rhomboidal Graphs -- Solving Hamiltonian Cycle by an EPT Algorithm for a Non-sparse Parameter -- Graph Theory. New Polynomial Case for Efficient Domination in P 6-free Graphs -- Higher...”

Full text 

Full text 

Table of Contents: “... Simulation for Coarse-Grained Reconfigurable Architectures -- Scalable and Efficient Linear Algebra Kernel Mapping for Low Energy Consumption on the Layers CGRA. -- A Novel Concept for Adaptive Signal Processing on Reconfigurable Hardware -- Evaluation of High...”

Full text 

Subject (ZB): “...Algebra Data processing....”

Full text 

Subject (ZB): “...Algebra Data processing....”

Full text 

Table of Contents: “... Word -- Knight Tiles: Particles and Collisions in The Realm of 4-Way Deterministic Tilings -- Eigenvalues and Transduction of Morphic Sequences -- Breadth-First Serialisation of Trees and Rational Languages (short paper) -- Algebraic, Decidability...”

Full text 

Subject (ZB): “...Algebra Data processing....”

Full text 

Table of Contents: “... System for Mathematical Theory Exploration -- New Approaches in Black Box Group Theory -- A GAP Package for Computing with Real Semisimple Lie Algebras -- Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP -- SgpDec: Cascade (De...”

Full text 

Table of Contents: “... Automata -- Bounded variable logic, parameterized logarithmic space, and Savitch’s Theorem -- An algebraic characterization of unary two-way transducers -- Size-Change Abstraction and Max-Plus Automata -- Alternating Vector Addition Systems with States...”

Full text 

Table of Contents: “...Laws of Programming: The Algebraic Unification of Theories of Concurrency -- The Benefits of Sometimes Not Being Discrete -- Deterministic Negotiations: Concurrency for Free -- Generalized Bisimulation Metrics -- Choreographies, Logically -- Deadlock...”

Full text 

Table of Contents: “... Calculus -- Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata -- Looking at Separation Algebras with Boolean BI-eyes -- The Inhabitation Problem for Non-idempotent Intersection Types....”

Full text 

Table of Contents: “... Self-modifying Code -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3) -- From Operational Models to Information Theory; Side Channels in pGCL with Isabelle...”

Full text 

Table of Contents: “...Incrementally Modular Abstraction Hierarchy Using Algebraic Topology -- Fast and Stable Deformations Using the Mesh Intersection Algorithm -- Gaussian Curvature Based Localized Stylization Method for View-Dependent Lines Extracted from 3D Models -- Image...”

Full text 

Table of Contents: “... Theorem for Weighted Timed Automata and Weighted Relative Distance Logic -- Computability in Anonymous Networks: Revocable vs. Irrecovable Outputs -- Coalgebraic Weak Bisimulation from Recursive Equations over Monads -- Piecewise Boolean Algebras...”

Full text 

Table of Contents: “...-Temporal Framework Based on Point Algebra -- Training Datasets Collection and Evaluation of Feature Selection Methods for Web Content Filtering -- Feature Selection by Distributions Contrasting -- Educational Data Mining for Analysis of Students' Solutions....”

Full text