Results 1  10
of
479,068
A calculus of mobile processes, I
, 1992
"... We present the acalculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage. The ..."
Abstract

Cited by 1174 (31 self)
 Add to MetaCart
. The calculus is an extension of the process algebra CCS, following work by Engberg and Nielsen, who added mobility to CCS while preserving its algebraic properties. The rrcalculus gains simplicity by removing all distinction between variables and constants; communication links are identified by names
Consensus Problems in Networks of Agents with Switching Topology and TimeDelays
, 2003
"... In this paper, we discuss consensus problems for a network of dynamic agents with fixed and switching topologies. We analyze three cases: i) networks with switching topology and no timedelays, ii) networks with fixed topology and communication timedelays, and iii) maxconsensus problems (or leader ..."
Abstract

Cited by 1043 (17 self)
 Add to MetaCart
.e. algebraic connectivity of the network) and the negotiation speed (or performance) of the corresponding agreement protocol. It turns out that balanced digraphs play an important role in addressing averageconsensus problems. We introduce disagreement functions that play the role of Lyapunov functions
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 503 (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
Dual polyhedra and mirror symmetry for Calabi–Yau hypersurfaces in toric varieties
 J. Alg. Geom
, 1994
"... We consider families F(∆) consisting of complex (n − 1)dimensional projective algebraic compactifications of ∆regular affine hypersurfaces Zf defined by Laurent polynomials f with a fixed ndimensional Newton polyhedron ∆ in ndimensional algebraic torus T = (C ∗ ) n. If the family F(∆) defined by ..."
Abstract

Cited by 464 (20 self)
 Add to MetaCart
We consider families F(∆) consisting of complex (n − 1)dimensional projective algebraic compactifications of ∆regular affine hypersurfaces Zf defined by Laurent polynomials f with a fixed ndimensional Newton polyhedron ∆ in ndimensional algebraic torus T = (C ∗ ) n. If the family F(∆) defined
Universal coalgebra: a theory of systems
, 2000
"... In the semantics of programming, nite data types such as finite lists, have traditionally been modelled by initial algebras. Later final coalgebras were used in order to deal with in finite data types. Coalgebras, which are the dual of algebras, turned out to be suited, moreover, as models for certa ..."
Abstract

Cited by 397 (42 self)
 Add to MetaCart
the notion of coalgebra homomorphism, the definition of bisimulation on coalgebras can be shown to be formally dual to that of congruence on algebras. Thus, the three basic notions of universal algebra: algebra, homomorphism of algebras, and congruence, turn out to correspond to coalgebra, homomorphism
LAOS: Layered WWW AHS Authoring Model and their corresponding Algebraic Operators
, 2003
"... In this paper, we describe the design steps for WWW authoring of adaptive hypermedia via a five layer model. We argu e that we need to introduce the goal and constraintsmodel between the domain model andadaptation anduser models, in order to be able to generate adaptive hypermedia on the fly and to ..."
Abstract
 Add to MetaCart
In this paper, we describe the design steps for WWW authoring of adaptive hypermedia via a five layer model. We argu e that we need to introduce the goal and constraintsmodel between the domain model andadaptation anduser models, in order to be able to generate adaptive hypermedia on the fly and to a ctually implement the so often quoted reusage paradigm. We also show the operators necessary to implement functionalityat the different levels, and exemplify this layered construction wit h MOT, an adaptive hypermedia (in particular, courseware) aut horing system we have built at the Eindhoven University of Techno logy.
Gravity coupled with matter and the foundation of non commutative geometry
, 1996
"... We first exhibit in the commutative case the simple algebraic relations between the algebra of functions on a manifold and its infinitesimal length element ds. Its unitary representations correspond to Riemannian metrics and Spin structure while ds is the Dirac propagator ds = ×— × = D −1 where D i ..."
Abstract

Cited by 342 (17 self)
 Add to MetaCart
We first exhibit in the commutative case the simple algebraic relations between the algebra of functions on a manifold and its infinitesimal length element ds. Its unitary representations correspond to Riemannian metrics and Spin structure while ds is the Dirac propagator ds = ×— × = D −1 where D
On the geometry and algebra of the point and line correspondences between N images
, 1995
"... We explore the geometric and algebraic relations that exist between correspondences of points and lines in an arbitrary number of images. We propose to use the formalism of the GrassmannCayley algebra as the simplest way to make both geometric and algebraic statements in a very synthetic and effect ..."
Abstract

Cited by 160 (7 self)
 Add to MetaCart
We explore the geometric and algebraic relations that exist between correspondences of points and lines in an arbitrary number of images. We propose to use the formalism of the GrassmannCayley algebra as the simplest way to make both geometric and algebraic statements in a very synthetic
Temporal Reasoning Based on SemiIntervals
, 1992
"... A generalization of Allen's intervalbased approach to temporal reasoning is presented. The notion of `conceptual neighborhood' of qualitative relations between events is central to the presented approach. Relations between semiintervals rather than intervals are used as the basic units o ..."
Abstract

Cited by 280 (15 self)
 Add to MetaCart
of knowledge. Semiintervals correspond to temporal beginnings or endings of events. We demonstrate the advantages of reasoning on the basis of semiintervals: 1) semiintervals are rather natural entities both from a cognitive and from a computational point of view; 2) coarse knowledge can be processed
Orientifolds and Mirror symmetry
, 2003
"... We study parity symmetries and crosscap states in classes of N = 2 supersymmetric quantum field theories in 1+1 dimensions, including nonlinear sigma models, gauged WZW models, LandauGinzburg models, and linear sigma models. The parity anomaly and its cancellation play important roles in many of t ..."
Abstract

Cited by 270 (12 self)
 Add to MetaCart
of them. The case of the N = 2 minimal model are studied in RCFT, and LG models. We also identify mirror pairs of orientifolds, extending the correspondence between symplectic geometry and algebraic geometry by including unorientable worldsheets. Through the analysis in various models and comparison
Results 1  10
of
479,068