نتایج جستجو برای: regular frechet function algebra

تعداد نتایج: 1377544  

2016
Zoltan Esik Dexter Kozen

Let E be a set of inequalities between finite Σ-terms. Let Vω and Vr denote the varieties of all ω-continuous ordered Σ-algebras and regular ordered Σ-algebras satisfying E, respectively. We prove that the free Vr-algebra R(X) on generators X is the subalgebra of the corresponding free Vω-algebra Fω(X) determined by those elements of Fω(X) denoted by the regular Σ-coterms. We actually establish...

2004
BRIAN CURTIN KAZUMASA NOMURA

A spin model is a square matrix that encodes the basic data for a statistical mechanical construction of link invariants due to V.F.R. Jones. Every spin model W is contained in a canonical Bose-Mesner algebra N (W ). In this paper we study the distance-regular graphs whose Bose-Mesner algebra M satisfies W ∈ M ⊆ N (W ). Suppose W has at least three distinct entries. We show that is 1-homogeneou...

2003
J. M. BORWEIN J. R. GILES

The modification of the Clarke generalized subdiNerentia1 due to Michel and Penot is a useful tool in determining differentiability properties for certain classes of real functions on a normed linear space. The Glteaux differentiability of any real function can be deduced from the GBteaux differentiability of the norm if the function has a directional derivative which attains a constant related...

1999
Seng Wai Loke Heinz W. Schmidt Arkady B. Zaslavsky

We present an algebra for programming the itineraries of mobile agents. The algebra contains operators for modelling sequential, parallel, nondeterministic, and conditional mobility behaviour. Iterative behaviour is also modelled by a language of regular itineraries borrowing ideas from regular expressions. We give an operational semantics for the operators using Plotkin-style transition rules ...

2007
Rebecca Ross

In this paper, we introduce distance-regular graphs and develop the intersection algebra for these graphs which is based upon its intersection numbers. We discuss results following from the definition of the intersection algebra. We investigate two examples of distance-regular graphs and show how these results apply. Finally, we introduce parameters that determine intersection numbers. We inves...

Journal: :Ann. Pure Appl. Logic 2013
Francesco Ciraulo

Giovanni Sambin has recently introduced the notion of an overlap algebra in order to give a constructive counterpart to a complete Boolean algebra. We propose a new notion of regular open subset within the framework of intuitionistic, predicative Topology and we use it to give a representation theorem for (set-based) overlap algebras. In particular we show that there exists a duality between th...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان 1390

section{introduction} the concept of {sl cartan geometry} appeared at the beginning of the twentieth century, when {e}lie cartan was working on the so-called {sl equivalence problem}, the aim of which is to determine whether two given geometric structures can be mapped bijectively onto each other by some diffeomorphism. this problem can be considered in many different contexts, such as ...

Journal: :Theor. Comput. Sci. 1997
Ivo Düntsch

The collection of all subsets of a set forms a Boolean algebra under the usual set theoretic operations, while the collection of rough sets of an approximation space is a regular double Stone algebra [24]. The appropriate class of algebras for classical propositional logic are Boolean algebras, and it is reasonable to assume that regular double Stone algebras are a class of algebras appropriate...

Journal: :Pacific Journal of Mathematics 1973

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید