Results 1  10
of
7,589
Generalised dualities and finite maximal antichains
 GraphTheoretic Concepts in Computer Science (Proceedings of WG 2006), volume 4271 of Lecture Notes in Comput. Sci
, 2006
"... We fully characterise the situations where the existence of a homomorphism from a digraph G to at least one of a finite set H of directed graphs is determined by a finite number of forbidden subgraphs. We prove that these situations, called generalised dualities, are characterised by the nonexisten ..."
Abstract

Cited by 12 (3 self)
 Add to MetaCart
We fully characterise the situations where the existence of a homomorphism from a digraph G to at least one of a finite set H of directed graphs is determined by a finite number of forbidden subgraphs. We prove that these situations, called generalised dualities, are characterised by the non
Exact Sampling with Coupled Markov Chains and Applications to Statistical Mechanics
, 1996
"... For many applications it is useful to sample from a finite set of objects in accordance with some particular distribution. One approach is to run an ergodic (i.e., irreducible aperiodic) Markov chain whose stationary distribution is the desired distribution on this set; after the Markov chain has ..."
Abstract

Cited by 548 (13 self)
 Add to MetaCart
For many applications it is useful to sample from a finite set of objects in accordance with some particular distribution. One approach is to run an ergodic (i.e., irreducible aperiodic) Markov chain whose stationary distribution is the desired distribution on this set; after the Markov chain
Convex Analysis
, 1970
"... In this book we aim to present, in a unified framework, a broad spectrum of mathematical theory that has grown in connection with the study of problems of optimization, equilibrium, control, and stability of linear and nonlinear systems. The title Variational Analysis reflects this breadth. For a lo ..."
Abstract

Cited by 5350 (67 self)
 Add to MetaCart
In this book we aim to present, in a unified framework, a broad spectrum of mathematical theory that has grown in connection with the study of problems of optimization, equilibrium, control, and stability of linear and nonlinear systems. The title Variational Analysis reflects this breadth. For a long time, ‘variational ’ problems have been identified mostly with the ‘calculus of variations’. In that venerable subject, built around the minimization of integral functionals, constraints were relatively simple and much of the focus was on infinitedimensional function spaces. A major theme was the exploration of variations around a point, within the bounds imposed by the constraints, in order to help characterize solutions and portray them in terms of ‘variational principles’. Notions of perturbation, approximation and even generalized differentiability were extensively investigated. Variational theory progressed also to the study of socalled stationary points, critical points, and other indications of singularity that a point might have relative to its neighbors, especially in association with existence theorems for differential equations.
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.
Wireless Communications
, 2005
"... Copyright c ○ 2005 by Cambridge University Press. This material is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University ..."
Abstract

Cited by 1129 (32 self)
 Add to MetaCart
Copyright c ○ 2005 by Cambridge University Press. This material is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University
INFINITE ANTICHAINS AND DUALITY THEORIES
"... 0: Introduction and background. This paper is the third in a series devoted to the study of infinite antichains in ordered sets, semilattices and lattices. This work was inspired by results in [2] which charactize when the lattice I(P) of lower sets or the ordered set Id(P) of order ideals of an ord ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
0: Introduction and background. This paper is the third in a series devoted to the study of infinite antichains in ordered sets, semilattices and lattices. This work was inspired by results in [2] which charactize when the lattice I(P) of lower sets or the ordered set Id(P) of order ideals
Splitting finite antichains in the homomorphism order
 ROGICS'08 RELATIONS, ORDERS AND GRAPHS: INTERACTION WITH COMPUTER SCIENCE
, 2008
"... A structural condition is given for finite maximal antichains in the homomorphism order of relational structures to have the splitting property. It turns out that nonsplitting antichains appear only at the bottom of the order. Moreover, we examine looseness and finite antichain extension property fo ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
A structural condition is given for finite maximal antichains in the homomorphism order of relational structures to have the splitting property. It turns out that nonsplitting antichains appear only at the bottom of the order. Moreover, we examine looseness and finite antichain extension property
Authorization and antichains
 University of London
, 2002
"... Access control has been an important issue in military systems for many years and is becoming increasingly important in commercial systems. There are three important access control paradigms: the BellLaPadula model, the protection matrix model and the rolebased access control model. Each of these ..."
Abstract

Cited by 18 (3 self)
 Add to MetaCart
models through a rigorous mathematical approach. We examine the mathematical foundations of the rolebased access control model and conclude that antichains are a fundamental concept in the model. The analytical approach we adopt enables us to identify where improvements in the administration of role
Results 1  10
of
7,589