islamic feminism has been articulated through recent decades as an alternative to traditional islamic thinking on women’s issues. scholars who are identified as islamic feminists use different methodological approaches like hermeneutics, historical criticism, and woman perspective in their works on various subjects of study. these scholars who have different cultural and philosophical backgroun...

Orthonormal M-band wavelet bases have been constructed and applied by several authors. This paper makes three main contributions. First, it generalizes the minimal length Kregular 2-band wavelets of Daubechies to the M-band case by deriving explicit formulas for K-regular M-band scaling filters. Several equivalent characterizations of K-regularity are given and their significance explained. Sec...

In this paper, we consider the minimum Hamming weight for linear codes over special finite quasi-Frobenius rings. Furthermore, we obtain minimal free $R$-submodules of a finite quasi-Frobenius ring $R$  which contain a linear code and derive the relation between their minimum Hamming weights. Finally, we suggest an algorithm that computes this weight using the Grobner basis and we show that und...

Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gröbner bases taking into account the valuation of K. While generalizing the classical theory of Gröbner bases, it is not clear how modern algorithms for computing Gröbner bases can be adapted to the tropical case. Among them, one of the most efficient is the celebrated F5 Algorithm of Faugère....

This paper is about algorithmic invariant theory as it is required within equivariant dynamical systems. The question of generic bifurcation equations (arbitrary equivariant polynomial vector) requires the knowledge of fundamental invariants and equivariants. We discuss computations which are related to this for finite groups and semi-simple Lie groups. We consider questions such as the complet...

The task of any phonetic theory is to determine the form of a phonetic component by establishing the internal and external constraints on that component. The phonetic component itself converts linguistic knowledge of the structure of the speech act into time-varying commands suitable for control of the articulatory mechanism. Performing involves knowledge, and this knowledge must be expressed i...

Although semantic data models provide expressive conceptual modeling mechanisms, they do not support context, i.e. providing controlled partial information on conceptual entities by viewing them from different viewpoints or in different situations. In this paper, we present a model for representing contexts in information bases along with a set of operations for manipulating contexts. These ope...

The Water or Arrhenius Theory was widely accepted up to the early years of this century . It defines an acid as a hydrogen compound ionizing in water to give hydrogen ions, and a base as a hy<iToxyl compound which gives hydroxide ions in water. The neutralization reaction between an acid and a base produces a salt and water only: HA(ac id) + BOH(base) ""' BA(salt) + H 20(water) and the salts so...

We describe how the theory of Grr obner bases, an important part of computational algebra, can be developed within Martin-LL of's type theory. In particular, we aim for an integrated development of the algorithms for computing Grr obner bases: we want to prove, constructively in type theory, the existence of Grr obner bases and from such proofs extract the algorithms. Our main contribution is a...