**Commenced**in January 2007

**Frequency:**Monthly

**Edition:**International

**Paper Count:**232

# Search results for: universal algebra.

##### 232 Assessing the Relation between Theory of Multiple Algebras and Universal Algebras

**Authors:**
Mona Taheri

**Abstract:**

**Keywords:**
multiple algebras ,
universal algebras

##### 231 How are Equalities Defined, Strong or Weak on a Multiple Algebra?

**Authors:**
Mona Taheri

**Abstract:**

For the purpose of finding the quotient structure of multiple algebras such as groups, Abelian groups and rings, we will state concepts of ( strong or weak ) equalities on multiple algebras, which will lead us to research on how ( strong or weak) are equalities defined on a multiple algebra over the quotients obtained from it. In order to find a quotient structure of multiple algebras such as groups, Abelian groups and loops, a part of this article has been allocated to the concepts of equalities (strong and weak) of the defined multiple functions on multiple algebras. This leads us to do research on how defined equalities (strong and weak) are made in the multiple algebra on its resulted quotient.

**Keywords:**
Multiple algebra,
mathematics,
universal algebra.

##### 230 Expressive Modes and Species of Language

**Authors:**
Richard Elling Moe

**Abstract:**

**Keywords:**
Expressive mode,
Computer language species,
Evaluation of revision,
Relational algebra,
Universal database queries

##### 229 On the Invariant Uniform Roe Algebra as Crossed Product

**Authors:**
Kankeyanathan Kannan

**Abstract:**

The uniform Roe C*-algebra (also called uniform translation)C^*- algebra provides a link between coarse geometry and C^*- algebra theory. The uniform Roe algebra has a great importance in geometry, topology and analysis. We consider some of the elementary concepts associated with coarse spaces.

**Keywords:**
Invariant Approximation Property,
Uniform Roe algebras.

##### 228 Explicit Chain Homotopic Function to Compute Hochschild Homology of the Polynomial Algebra

**Authors:**
Z. Altawallbeh

**Abstract:**

In this paper, an explicit homotopic function is constructed to compute the Hochschild homology of a finite dimensional free k-module V. Because the polynomial algebra is of course fundamental in the computation of the Hochschild homology HH and the cyclic homology CH of commutative algebras, we concentrate our work to compute HH of the polynomial algebra, by providing certain homotopic function.

**Keywords:**
Exterior algebra,
free resolution,
free and projective
modules,
Hochschild homology,
homotopic function,
symmetric
algebra.

##### 227 Deduction of Fuzzy Autocatalytic Set to Omega Algebra and Transformation Semigroup

**Authors:**
Liew Siaw Yee,
Tahir Ahmad

**Abstract:**

**Keywords:**
Fuzzy autocatalytic set,
omega algebra,
semigroup,
transformation semigroup.

##### 226 Equalities in a Variety of Multiple Algebras

**Authors:**
Mona Taheri

**Abstract:**

**Keywords:**
hypergroup,
multiple algebras

##### 225 Universal Metadata Definition

**Authors:**
Mohib ur Rehman,
Mohammad Haseeb Anwer,
Nadeem Iftikhar

**Abstract:**

**Keywords:**
Metadata,
Standard,
Universal,
XML.

##### 224 1−Skeleton Resolution of Free Simplicial Algebras with Given CW−Basis

**Authors:**
Ali Mutlu,
Berrin Mutlu

**Abstract:**

In this paper we use the definition of CW basis of a free simplicial algebra. Using the free simplicial algebra, it is shown to construct free or totally free 2−crossed modules on suitable construction data with given a CW−basis of the free simplicial algebra. We give applications free crossed squares, free squared complexes and free 2−crossed complexes by using of 1(one) skeleton resolution of a step by step construction of the free simplicial algebra with a given CW−basis.

**Keywords:**
Free crossed square,
Free 2−crossed modules,
Free
simplicial algebra,
Free square complexes,
Free 2−crossed complexes
CW−basis,
1−skeleton.
A. M. S.Classification:[2000] 18D35,
18G30,
18G50,
18G55,
55Q05,
55Q20.

##### 223 Query Algebra for Semistuctured Data

**Authors:**
Ei Ei Myat,
Ni Lar Thein

**Abstract:**

**Keywords:**
Algebra,
Semistructured data,
Query Algebra.

##### 222 Multiplicative Functional on Upper Triangular Fuzzy Matrices

**Authors:**
Liu Ping

**Abstract:**

**Keywords:**
Multiplicative functional,
triangular fuzzy matrix,
fuzzy addition operation,
fuzzy multiplication operation.

##### 221 Algebraic Quantum Error Correction Codes

**Authors:**
Ming-Chung Tsai,
Kuan-Peng Chen,
Zheng-Yao

**Abstract:**

**Keywords:**
Quotient-Algebra Partition,
Codeword Spinors,
Basis
Codewords,
Syndrome Spinors

##### 220 An Algebra for Protein Structure Data

**Authors:**
Yanchao Wang,
Rajshekhar Sunderraman

**Abstract:**

**Keywords:**
Domain-Specific Data Management,
Protein
Algebra,
Protein Ontology,
Protein Structure Data.

##### 219 Fixed Point Equations Related to Motion Integrals in Renormalization Hopf Algebra

**Authors:**
Ali Shojaei-Fard

**Abstract:**

**Keywords:**
Birkhoff Factorization,
Connes-Kreimer Hopf Algebra of Rooted Trees,
Integral Renormalization,
Lax Pair Equation,
Rota- Baxter Algebras.

##### 218 Computational Algorithm for Obtaining Abelian Subalgebras in Lie Algebras

**Authors:**
Manuel Ceballos,
Juan Nunez,
Angel F. Tenorio

**Abstract:**

**Keywords:**
Solvable Lie algebra,
maximal abelian dimension,
algorithm.

##### 217 Formex Algebra Adaptation into Parametric Design Tools: Dome Structures

**Authors:**
Réka Sárközi,
Péter Iványi,
Attila B. Széll

**Abstract:**

**Keywords:**
Parametric design,
structural morphology,
space structures,
spherical coordinate system.

##### 216 Non Approximately Inner Tensor Product of C*—Algebras

**Authors:**
Rasoul Abazari

**Abstract:**

In this paper, we show that C*-tensor product of an arbitrary C*-algebra A, (not unital necessary) and C*-algebra B without ground state, have no approximately inner strongly continuous one-parameter group of *-automorphisms.

**Keywords:**
One–parameter group,
C*– tensor product,
Approximately inner,
Ground state.

##### 215 Some Algebraic Properties of Universal and Regular Covering Spaces

**Authors:**
Ahmet Tekcan

**Abstract:**

Let X be a connected space, X be a space, let p : X -→ X be a continuous map and let (X, p) be a covering space of X. In the first section we give some preliminaries from covering spaces and their automorphism groups. In the second section we derive some algebraic properties of both universal and regular covering spaces (X, p) of X and also their automorphism groups A(X, p).

**Keywords:**
covering space,
universal covering,
regular covering,
fundamental group,
automorphism group.

##### 214 A Generalised Relational Data Model

**Authors:**
Georgia Garani

**Abstract:**

**Keywords:**
nested relations,
recursive algebra,
recursive nested operations,
relational data model.

##### 213 Theory of Fractions in College Algebra Course

**Authors:**
Alexander Y. Vaninsky

**Abstract:**

**Keywords:**
Fractions,
mathematics curriculum,
mathematics
education,
teacher preparation

##### 212 Universal Kinetic Modeling of RAFT Polymerization using Moment Equations

**Authors:**
Mehdi Salami-Kalajahi,
Pejman Ganjeh-Anzabi,
Vahid Haddadi-Asl,
Mohammad Najafi

**Abstract:**

**Keywords:**
RAFT Polymerization,
Mechanism,
Kinetics,
Moment Equations,
Modeling.

##### 211 Fractal Shapes Description with Parametric L-systems and Turtle Algebra

**Authors:**
Ikbal Zammouri,
Béchir Ayeb

**Abstract:**

In this paper, we propose a new method to describe fractal shapes using parametric l-systems. First we introduce scaling factors in the production rules of the parametric l-systems grammars. Then we decorticate these grammars with scaling factors using turtle algebra to show the mathematical relation between l-systems and iterated function systems (IFS). We demonstrate that with specific values of the scaling factors, we find the exact relationship established by Prusinkiewicz and Hammel between l-systems and IFS.

**Keywords:**
Fractal shapes,
IFS,
parametric l-systems,
turtlealgebra.

##### 210 Generalized π-Armendariz Authentication Cryptosystem

**Authors:**
Areej M. Abduldaim,
Nadia M. G. Al-Saidi

**Abstract:**

Algebra is one of the important fields of mathematics. It concerns with the study and manipulation of mathematical symbols. It also concerns with the study of abstractions such as groups, rings, and fields. Due to the development of these abstractions, it is extended to consider other structures, such as vectors, matrices, and polynomials, which are non-numerical objects. Computer algebra is the implementation of algebraic methods as algorithms and computer programs. Recently, many algebraic cryptosystem protocols are based on non-commutative algebraic structures, such as authentication, key exchange, and encryption-decryption processes are adopted. Cryptography is the science that aimed at sending the information through public channels in such a way that only an authorized recipient can read it. Ring theory is the most attractive category of algebra in the area of cryptography. In this paper, we employ the algebraic structure called skew -Armendariz rings to design a neoteric algorithm for zero knowledge proof. The proposed protocol is established and illustrated through numerical example, and its soundness and completeness are proved.

**Keywords:**
Cryptosystem,
identification,
skew π-Armendariz rings,
skew polynomial rings,
zero knowledge protocol.

##### 209 Universal Current-Mode OTA-C KHN Biquad

**Authors:**
Dalibor Biolek,
Viera Biolková,
Zden─øk Kolka

**Abstract:**

**Keywords:**
Biquad,
current mode,
OTA.

##### 208 Current-Mode Resistorless SIMO Universal Filter and Four-Phase Quadrature Oscillator

**Authors:**
Jie Jin

**Abstract:**

In this paper, a new CMOS current-mode single input and multi-outputs (SIMO) universal filter and quadrature oscillator with a similar circuit are proposed. The circuits only consist of three Current differencing transconductance amplifiers (CDTA) and two grounded capacitors, which are resistorless, and they are suitable for monolithic integration. The universal filter uses minimum CDTAs and passive elements to realize SIMO type low-pass (LP), high-pass (HP), band-pass (BP) band-stop (BS) and all-pass (AP) filter functions simultaneously without any component matching conditions. The angular frequency (ω0) and the quality factor (Q) of the proposed filter can be electronically controlled and tuned orthogonal. By some modifications of the filter, a new current-mode four-phase quadrature oscillator (QO) can be obtained easily. The condition of oscillation (CO) and frequency of oscillation (FO) of the QO can be controlled electronically and independently through the bias current of the CDTAs, and it is suitable for variable frequency oscillator. Moreover, all the passive and active sensitivities of the circuits are low. SPICE simulation results are included to confirm the theory.

**Keywords:**
Universal Filter,
Quadrature Oscillator,
Current mode,
Current differencing transconductance amplifiers.

##### 207 Personalization and the Universal Communications Identifier Concept

**Authors:**
Françoise Petersen,
Mike Pluke,
Tatiana Kovacikova,
Giovanni Bartolomeo

**Abstract:**

As communications systems and technology become more advanced and complex, it will be increasingly important to focus on users- individual needs. Personalization and effective user profile management will be necessary to ensure the uptake and success of new services and devices and it is therefore important to focus on the users- requirements in this area and define solutions that meet these requirements. The work on personalization and user profiles emerged from earlier ETSI work on a Universal Communications Identifier (UCI) which is a unique identifier of the user rather than a range of identifiers of the many of communication devices or services (e.g. numbers of fixed phone at home/work, mobile phones, fax and email addresses). This paper describes work on personalization including standardized information and preferences and an architectural framework providing a description of how personalization can be integrated in Next Generation Networks, together with the UCI concept.

**Keywords:**
Interoperability,
Next Generation Network (NGN),
Personalization,
Universal Communications Identifier (UCI),
User Profile Management (UPM)

##### 206 Delay-independent Stabilization of Linear Systems with Multiple Time-delays

**Authors:**
Ping He,
Heng-You Lan,
Gong-Quan Tan

**Abstract:**

**Keywords:**
Linear system,
Delay-independent stabilization,
Lyapunovfunctional,
Riccati algebra matrix equation.

##### 205 Design and Analysis of Universal Multifunctional Leaf Spring Main Landing Gear for Light Aircraft

**Authors:**
Meiyuan Zheng,
Jingwu He,
Yuexi Xiong

**Abstract:**

A universal multi-function leaf spring main landing gear was designed for light aircraft. The main landing gear combined with the leaf spring, skidding, and wheels enables it to have a good takeoff and landing performance on various grounds such as the hard, snow, grass and sand grounds. Firstly, the characteristics of different landing sites were studied in this paper in order to analyze the load of the main landing gear on different types of grounds. Based on this analysis, the structural design optimization along with the strength and stiffness characteristics of the main landing gear has been done, which enables it to have good takeoff and landing performance on different types of grounds given the relevant regulations and standards. Additionally, the impact of the skidding on the aircraft during the flight was also taken into consideration. Finally, a universal multi-function leaf spring type of the main landing gear suitable for light aircraft has been developed.

**Keywords:**
Landing gear,
multi-function,
leaf spring,
skidding.

##### 204 Analyzing Periurban Fringe with Rough Set

**Authors:**
Benedetto Manganelli,
Beniamino Murgante

**Abstract:**

The distinction among urban, periurban and rural areas represents a classical example of uncertainty in land classification. Satellite images, geostatistical analysis and all kinds of spatial data are very useful in urban sprawl studies, but it is important to define precise rules in combining great amounts of data to build complex knowledge about territory. Rough Set theory may be a useful method to employ in this field. It represents a different mathematical approach to uncertainty by capturing the indiscernibility. Two different phenomena can be indiscernible in some contexts and classified in the same way when combining available information about them. This approach has been applied in a case of study, comparing the results achieved with both Map Algebra technique and Spatial Rough Set. The study case area, Potenza Province, is particularly suitable for the application of this theory, because it includes 100 municipalities with different number of inhabitants and morphologic features.

**Keywords:**
Land Classification,
Map Algebra,
Periurban Fringe,
Rough Set,
Urban Planning,
Urban Sprawl.

##### 203 Universal Method for Timetable Construction based on Evolutionary Approach

**Authors:**
Maciej Norberciak

**Abstract:**

**Keywords:**
Evolutionary algorithms,
tabu search,
timetabling.