نتایج جستجو برای: Behavior Algebra

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

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

we commence by using from a new norm on l1(g) the -algebra of all integrable functions on locally compact group g, to make the c-algebra c(g). consequently, we find its dual b(g), which is a banach algebra so-called fourier-stieltjes algebra, in the set of all continuous functions on g. we consider most of important basic theorems about this algebra. this consideration leads to a rather com...

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...

2000
Steven D. Johnson Alex Tsow

A design formalization based on behavior tables was presented at Lfm97. This paper describes ongoing work on a supporting tool, now in development. The goal is to make design derivation, the interactive construction of correct implementations, more natural and visually palatable while preserving the benefits of formal manipulation. We review the syntax and semantics of behavior tables, introduc...

ژورنال: پژوهش های ریاضی 2022

In this paper, we study generalized quadratic forms over a division algebra with involution of the first kind in characteristic two. For this, we associate to every generalized quadratic from a quadratic form on its underlying vector space. It is shown that this form determines the isotropy behavior and the isometry class of generalized quadratic forms.

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

w. a. dudek, m. shahryari, representation theory of polyadic groups, algebra and representation theory, 2010. و a. borowiec, w. a. dudek, s. duplij, bi-element representations of ternary groups, comminications in algebra 34 (2006). هدف اصلی این پایان نامه، معرفی نمایش های گروه های n-تایی و بررسی ویژگی های اصلی آن ها با تمرکز روی گروه های سه تایی است.

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

in chapter 1, charactrizations of fragmentability, which are obtained by namioka (37), ribarska (45) and kenderov-moors (32), are given. also the connection between fragmentability and its variants and other topics in banach spaces such as analytic space, the radone-nikodym property, differentiability of convex functions, kadec renorming are discussed. in chapter 2, we use game characterization...

1994
Hiroo Azuma

We investigate the W∞ algebra in the integer quantum Hall effects. Defining the simplest vacuum, the Dirac sea, we evaluate the central extension for this algebra. A new algebra which contains the central extension is called the W1+∞ algebra. We show that this W1+∞ algebra is an origin of the KacMoody algebra which determines the behavior of edge states of the system. We discuss the relation be...

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

chapters 1 and 2 establish the basic theory of amenability of topological groups and amenability of banach algebras. also we prove that. if g is a topological group, then r (wluc (g)) (resp. r (luc (g))) if and only if there exists a mean m on wluc (g) (resp. luc (g)) such that for every wluc (g) (resp. every luc (g)) and every element d of a dense subset d od g, m (r)m (f) holds. chapter 3 inv...

Journal: :bulletin of the iranian mathematical society 0
f. sady

0

2010
Kathrin Kaschner

An important property of interacting services is their observable behavior. There exist different formalisms to describe service behavior (e.g. BPEL, BPMN, Petri nets, automata). Based on an extension of automata, in previous work we proposed a compact representation to characterize the behavior of sets of services and introduced a set algebra on it. In this paper, we present with Safira a tool...

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

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