Results 1  10
of
391,278
Qalgebras
"... The paper [Jonsson 1991] contains a discussion and comparison of a number of possible operations on binary relations. Among these are the socalled Qoperations that are de ned as follows. De nition 1.1 Let R be a matrix of binary relations Rij, 0 i � j < n, and let k � l be two numbers smaller t ..."
Abstract
 Add to MetaCart
The paper [Jonsson 1991] contains a discussion and comparison of a number of possible operations on binary relations. Among these are the socalled Qoperations that are de ned as follows. De nition 1.1 Let R be a matrix of binary relations Rij, 0 i � j < n, and let k � l be two numbers smaller
1 Introduction Qalgebras
"... The paper [Jónsson 1991] contains a discussion and comparison of a number of possible operations on binary relations. Among these are the socalled Qoperations that are defined as follows. ..."
Abstract
 Add to MetaCart
The paper [Jónsson 1991] contains a discussion and comparison of a number of possible operations on binary relations. Among these are the socalled Qoperations that are defined as follows.
© Hindawi Publishing Corp. ON QALGEBRAS
, 2001
"... Abstract. We introduce a new notion, called a Qalgebra, which is a generalization of the idea of BCH/BCI/BCKalgebras and we generalize some theorems discussed in BCIalgebras. Moreover, we introduce the notion of “quadratic”Qalgebra, and show that every quadratic Qalgebra (X;∗,e), e ∈ X, has a p ..."
Abstract
 Add to MetaCart
Abstract. We introduce a new notion, called a Qalgebra, which is a generalization of the idea of BCH/BCI/BCKalgebras and we generalize some theorems discussed in BCIalgebras. Moreover, we introduce the notion of “quadratic”Qalgebra, and show that every quadratic Qalgebra (X;∗,e), e ∈ X, has a
Homological Algebra of Mirror Symmetry
 in Proceedings of the International Congress of Mathematicians
, 1994
"... Mirror Symmetry was discovered several years ago in string theory as a duality between families of 3dimensional CalabiYau manifolds (more precisely, complex algebraic manifolds possessing holomorphic volume elements without zeroes). The name comes from the symmetry among Hodge numbers. For dual Ca ..."
Abstract

Cited by 529 (3 self)
 Add to MetaCart
Mirror Symmetry was discovered several years ago in string theory as a duality between families of 3dimensional CalabiYau manifolds (more precisely, complex algebraic manifolds possessing holomorphic volume elements without zeroes). The name comes from the symmetry among Hodge numbers. For dual
GOLOG: A Logic Programming Language for Dynamic Domains
, 1994
"... This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world. This allo ..."
Abstract

Cited by 621 (72 self)
 Add to MetaCart
This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world
The irreducibility of the space of curves of given genus
 Publ. Math. IHES
, 1969
"... Fix an algebraically closed field k. Let Mg be the moduli space of curves of genus g over k. The main result of this note is that Mg is irreducible for every k. Of course, whether or not M s is irreducible depends only on the characteristic of k. When the characteristic s o, we can assume that k ~ ..."
Abstract

Cited by 512 (2 self)
 Add to MetaCart
Fix an algebraically closed field k. Let Mg be the moduli space of curves of genus g over k. The main result of this note is that Mg is irreducible for every k. Of course, whether or not M s is irreducible depends only on the characteristic of k. When the characteristic s o, we can assume that k
Coherent Measures of Risk
, 1998
"... In this paper we study both market risks and nonmarket risks, without complete markets assumption, and discuss methods of measurement of these risks. We present and justify a set of four desirable properties for measures of risk, and call the measures satisfying these properties "coherent" ..."
Abstract

Cited by 882 (4 self)
 Add to MetaCart
In this paper we study both market risks and nonmarket risks, without complete markets assumption, and discuss methods of measurement of these risks. We present and justify a set of four desirable properties for measures of risk, and call the measures satisfying these properties "coherent". We examine the measures of risk provided and the related actions required by SPAN, by the SEC/NASD rules and by quantile based methods. We demonstrate the universality of scenariobased methods for providing coherent measures. We offer suggestions concerning the SEC method. We also suggest a method to repair the failure of subadditivity of quantilebased methods.
A Compositional Approach to Performance Modelling
, 1996
"... Performance modelling is concerned with the capture and analysis of the dynamic behaviour of computer and communication systems. The size and complexity of many modern systems result in large, complex models. A compositional approach decomposes the system into subsystems that are smaller and more ea ..."
Abstract

Cited by 746 (102 self)
 Add to MetaCart
easily modelled. In this thesis a novel compositional approach to performance modelling is presented. This approach is based on a suitably enhanced process algebra, PEPA (Performance Evaluation Process Algebra). The compositional nature of the language provides benefits for model solution as well
Domain Theory
 Handbook of Logic in Computer Science
, 1994
"... Least fixpoints as meanings of recursive definitions. ..."
Abstract

Cited by 546 (25 self)
 Add to MetaCart
Least fixpoints as meanings of recursive definitions.
Results 1  10
of
391,278