Search Results for "strategy"

...Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base.

Semantic query optimization (SQO) is the process of finding equivalent rewritings of an input query given constraints that hold in a database instance. We present a Chase & Backchase (C&B) algorithm strategy that generalizes and improves on well-known methods in the field. The implementation of our approach, the pegasus system, outperforms existing C&B systems an average by two orders of magnitude. This gain in performance is due to a combination of novel methods that lower the complexity in practical situations significantly.

MathWars (mathwars-risk) is an educational game based on R.I.S.K. You must defend and conquer new territories to defeat your oponents. In this case, though, you must do it by solving quickly simple math problems involving addition, subtraction, multiplication and division. NOTE: This project WILL NOT receive updates for a long time; I need time and the project should be entirely redesigned. Fell free to contact me for further information and/or new ideas for the project.

...Genome-scale dynamic modeling of the competition between Rhodoferax and Geobacter in anoxic subsurface environments. The ISME journal. Zhuang, K., Ma, E., Lovley, D. R., & Mahadevan, R. (2012). The design of long-term effective uranium bioremediation strategy using a community metabolic model. Biotechnology and Bioengineering.

Auxiliary tools for Boost uBLAS library. Has several strategy-driven functors for: 1) random-generating of vectors & matrices 2) Nice & suitable stream output of them 3) Equality-compare capacibility for vectors and matrices and approximate comparing.

A platform which hosts battles between Fruit War robots - special java programs. The platform accepts source code as robot, and ranks all robots according to battle result. This project has been totally refined and is now hosted at http://robotypo.appspot.com

...Later on moved to Windows without GUI - CLI only. On windows a network version (client-server) was implemented. Operates with mathematical symbolic scientific expressions using a pattern matching strategy. These patterns are part of the Research Libraries - Equation solving - Symboloc differentiation - Symbolic integration - Symbolic operation with differential equations

The project is about turn-based, networked multiplayer, non-cooperative, zero-sum, abstract strategy board games (e.g. Chess, Go, Reversi variants, etc.) on 3D-visualized polyhedra and related recreational (discrete, computational) mathematics.

NZ Calc is a Calculator for NukeZone, it can calculate attacks/research/building, and it will also keep up with all the turns/morale/satelite power you gain, and use these for attacks/research/building, during calculation.

Anarchonomy is a Java application simulating AI agent based production, consumption, trade and force with a minimum of economic assumptions, letting users create and change their own rule and scenario sets.

This project contains the software used by the University of Toronto RoboCup team for controlling a team of robots to compete, against another such team, in a real time soccer environment.

Fully templated C++ library for Steering Behaviors of Autonomous agents (characters). The library comes as package where you can create your own behaviors using the power of templates.