This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...

We study preconditioning techniques for discontinuous Galerkin discretizations of linear elasticity problems in primal (displacement) formulation. We propose a space splitting which gives rise to uniform preconditioners for the Interior Penalty (IP) Finite Element (FE) discretizations recently introduced in the works [12, 18, 19]. For the case when Dirichlet boundary conditions are imposed on t...

In this paper, we discuss the structure of the Ramond N = 2 superconformal algebras. We classify the modules of the intermediate series over Ramond N = 2 superconformal algebra.

A description of the Hochschild cohomology algebra for the symmetric 8-dimensional algebras found by Liu and Schulz is given in terms of generators and relations. The dimensions of the cohomology groups are calculated. §

In this paper we revisit and extend the constructions of Glauberman and Doro on groups with triality and Moufang loops to Hopf algebras. We prove that the universal enveloping algebra of any Lie algebra with triality is a Hopf algebra with triality. This allows us to give a new construction of the universal enveloping algebras of Malcev algebras. Our work relies on the approach of Grishkov and ...

. 1 Preliminaries Consider the variety Eω generated by the algebra ω := (N, ·), where i · j := max (i, j) for i 6= j, and i · j := 1 for i = j, i, j ∈ N1. These variety is a subvariety of the variety of equivalential algebras E . By an equivalential algebra we mean a grupoid A = (A,↔) that is a subreduct of a Brouwerian semilattice (or, equivalently, a Heyting algebra) with the operation ↔ give...

In this note we describe a seemingly new approach to the complex representation theory of the wreath product G o Sd where G is a finite abelian group. The approach is motivated by an appropriate version of Schur-Weyl duality. We construct a combinatorially defined groupoid in which all endomorphism algebras are direct products of symmetric groups and prove that the groupoid algebra is isomorphi...

The purpose of this paper is to investigate the finite group which appears in the study of the Type II Z4-codes. To be precise, it is characterized in terms of generators and relations, and we determine the structure of the centralizer algebras of the tensor representations of this group.

Onshore sediment transport and sandbar migration are important to the morphological evolution of beaches but are not well understood. Here, a model that accounts for fluid accelerations in waves predicts the onshore sandbar migration observed on an ocean beach. In both the observations and the model, the location of the maximum acceleration-induced transport moves shoreward with the sandbar, re...

One possible generalization of the notion of (Boolean) contact algebras is to weaken the algebraic structure from Boolean algebras to distributive lattices. The main goal of this paper is to investigate the representation theory of that weaker notion, i.e. whether it is still possible to represent each abstract algebra by a substructure of the regular closed sets of a suitable topological space...