Results 1  10
of
579,398
Ordered topological structures
 Topology Appl
, 2009
"... The paper discusses interactions between order and topology on a given set which do not presuppose any separation conditions for either of the two structures, but which lead to the existing notions established by Nachbin in more special situations. We pursue this discussion at the much more general ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
The paper discusses interactions between order and topology on a given set which do not presuppose any separation conditions for either of the two structures, but which lead to the existing notions established by Nachbin in more special situations. We pursue this discussion at the much more general
On FirstOrder Topological Queries
 IN PROCEEDINGS 15TH IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
, 2000
"... One important class of spatial database queries is the class of topological queries, i.e. queries invariant under homeomorphisms. We study topological queries expressible in the standard query language on spatial databases, firstorder logic with various amounts of arithmetic. Our main technical re ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
One important class of spatial database queries is the class of topological queries, i.e. queries invariant under homeomorphisms. We study topological queries expressible in the standard query language on spatial databases, firstorder logic with various amounts of arithmetic. Our main technical
ON THE SECOND ORDER TOPOLOGICAL ASYMPTOTIC
"... The topological sensitivity analysis [1, 4] gives the topological asymptotic expansion of a cost functional with respect to an innitesimal domain perturbation. However, for practical appli ..."
Abstract
 Add to MetaCart
The topological sensitivity analysis [1, 4] gives the topological asymptotic expansion of a cost functional with respect to an innitesimal domain perturbation. However, for practical appli
Measuring ISP Topologies with Rocketfuel
 In Proc. ACM SIGCOMM
, 2002
"... To date, realistic ISP topologies have not been accessible to the research community, leaving work that depends on topology on an uncertain footing. In this paper, we present new Internet mapping techniques that have enabled us to directly measure routerlevel ISP topologies. Our techniques reduce t ..."
Abstract

Cited by 838 (30 self)
 Add to MetaCart
To date, realistic ISP topologies have not been accessible to the research community, leaving work that depends on topology on an uncertain footing. In this paper, we present new Internet mapping techniques that have enabled us to directly measure routerlevel ISP topologies. Our techniques reduce
On the Second Order Topological Asymptotic Expansion
"... The topological derivative provides the sensitivity of a given shape functional with respect to an infinitesimal (non smooth) domain perturbation at an arbitrary point of the domain. Classically, this derivative comes from the second term of the topological asymptotic expansion, dealing only with i ..."
Abstract
 Add to MetaCart
with infinitesimal perturbations. However, for practical applications, we need to insert perturbations of finite size. Therefore, we consider one more term in the expansion which is defined as the second order topological derivative. In order to present these ideas, in this work we calculate first as well as second
THE ORDER TOPOLOGY FOR FUNCTION LATTICES AND REALCOMPACTNESS
, 1980
"... ABSTRACT. A lattice K(X,Y) of continuous functlonson space X is associated to each compactlflcatlon Y of X. It is shown for K(X,Y) that the order topology is the topology of compact convergence on X if and only if X is realcompact in Y. This result is used to provide a representation of a class of v ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
ABSTRACT. A lattice K(X,Y) of continuous functlonson space X is associated to each compactlflcatlon Y of X. It is shown for K(X,Y) that the order topology is the topology of compact convergence on X if and only if X is realcompact in Y. This result is used to provide a representation of a class
Evolving Neural Networks through Augmenting Topologies
 Evolutionary Computation
"... An important question in neuroevolution is how to gain an advantage from evolving neural network topologies along with weights. We present a method, NeuroEvolution of Augmenting Topologies (NEAT), which outperforms the best fixedtopology method on a challenging benchmark reinforcement learning task ..."
Abstract

Cited by 524 (113 self)
 Add to MetaCart
An important question in neuroevolution is how to gain an advantage from evolving neural network topologies along with weights. We present a method, NeuroEvolution of Augmenting Topologies (NEAT), which outperforms the best fixedtopology method on a challenging benchmark reinforcement learning
Order Topology and Frink Ideal Topology of Effect Algebras
, 2009
"... In this paper we prove the following conclusions: (1). If E is a complete atomic lattice effect algebra, then E is (o)continuous ⇔ E is ordertopological ⇔ E is a totally orderdisconnected ⇔ E is algebraic. (2). If E is a complete atomic distributive lattice effect algebra, then its Frink ideal to ..."
Abstract
 Add to MetaCart
In this paper we prove the following conclusions: (1). If E is a complete atomic lattice effect algebra, then E is (o)continuous ⇔ E is ordertopological ⇔ E is a totally orderdisconnected ⇔ E is algebraic. (2). If E is a complete atomic distributive lattice effect algebra, then its Frink ideal
Predicting Transmembrane Protein Topology with a Hidden Markov Model: Application to Complete Genomes
 J. MOL. BIOL
, 2001
"... ..."
UCPOP: A Sound, Complete, Partial Order Planner for ADL
, 1992
"... We describe the ucpop partial order planning algorithm which handles a subset of Pednault's ADL action representation. In particular, ucpop operates with actions that have conditional effects, universally quantified preconditions and effects, and with universally quantified goals. We prove ucpo ..."
Abstract

Cited by 491 (24 self)
 Add to MetaCart
We describe the ucpop partial order planning algorithm which handles a subset of Pednault's ADL action representation. In particular, ucpop operates with actions that have conditional effects, universally quantified preconditions and effects, and with universally quantified goals. We prove
Results 1  10
of
579,398