Neuro-evolution of augmenting topologies (NEAT) is a recently developed neuro-evolutionary algorithm. This study uses NEAT to evolve dynamic trading agents for the German Bond Futures Market. High frequency data for three German Bond Futures is used to train and test the agents. Four fitness functions are tested and their out of sample performance is presented. The results suggest the methodolo...

In the NeuroEvolving Robotic Operatives (NERO) game, the player trains a team of virtual robots for combat against other players’ teams. The virtual robots learn in real time through interacting with the player. Since NERO was originally released in June, 2005, it has been downloaded over 50,000 times, appeared on Slashdot, and won several honors. A significant update was released in November, ...

We prove that unary formal topologies are exponentiable in the category of inductively generated formal topologies. From an impredicative point of view, this means that algebraic dcpos with a bottom element are exponentiable in the category of open locales.

We show that there are only two topologies in Z and five topologies in Z whose connected sets are connected in the intuitive sense. Both topologies for Z are well known (e.g., one is presented in D. Marcus, F. Wyse et al., Amer. Math. Monthly 77 (1979) 1119, and the second in E. Khalimsky et al., Topology and its Applications 36 (1990) 1) and found applications in computer graphics and computer...

We show that there are only two topologies in Z and five topologies in Z whose connected sets are connected in the intuitive sense. Both topologies for Z are well known (e.g., one is presented in D. Marcus, F. Wyse et al., Amer. Math. Monthly 77, pp. 1119, 1979, and the second in E. Khalimsky et al., Topology and its Applications 36, pp. 1–17, 1990) and found applications in computer graphics a...

In this paper, we use the left(right) stabilizers of a BCKalgebra (X, &lowast, 0) and produce two basis for two different topologies. Then we show that the generated topological spaces by these basis are Bair, connected, locally connected and separable. Also we study the other properties of these topological spaces.

Loss tomography has received considerable attention in recent years and a number of estimators based on maximum likelihood (ML) or Bayesian principles have been proposed. Almost all of the estimators are devoted to the tree topology despite the general topology is more common in practice. Among the proposed estimators, most of them use an iterative procedure to search for the maximum of a likel...

Given a geometric graph G = (S,E) in R with constant dilation t, and a positive constant ε, we show how to construct a (1 + ε)-spanner of G with O(|S|) edges using O(sort(|E|)) memory transfers in the cacheoblivious model of computation. The main building block of our algorithm, and of independent interest in itself, is a new cache-oblivious algorithm for constructing a well-separated pair deco...