Search Results for "bns-tools" - Page 2

...Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large)

...For example, for working with internal application resource paths referencing a "sandboxed" virtual filesystem (like with PhysicsFS). Platform-specific path support is mainly intended for tools (e.g. map editor) which need to share a common code base (and perhaps some hard-coded resources) with the main sandboxed application (e.g. game).

Math tools in Python to tackle down problems in Operational Research fields. Comes with a Django based web interface to allow remote access to complex simulation means.

Haskellesque lazy-list and functional tools with a Common Lisp slant.

Individual collection of operational Tcl packages which employ functional programming principles including currying and lambda expressions. Also set and monad structures and algorithms from Knuth, and a Chu Space Calculator with an efficient implementation of the -o implication operator which enumerates the continuous functions from one space to another.

This project provides a set of Python tools for creating various kinds of neural networks, which can also be powered by genetic algorithms using grammatical evolution. MLP, backpropagation, recurrent, sparse, and skip-layer networks are supported.

The class 'JSEvaluator' in this project allows us to interpret expressions in JScript, allowing us to use parameters in the server at runtime. For example: ({@ 1} + {@ 2}) / 100; Parameter {@ 1} : 36 Parameter {@ 2}: 45 Result of the expression: 0.81

This is a series of *.java Classes for making programming tasks simpler, much like Apache Commons. Included in this src package is an Advanced Randomizer, TStringList Clone From Delphi, an Algorithem Class, and Method MultiTask Better than Runnables.

General purpose library (and some tools) that allows the construction of recursive deterministic/non-deterministic automaton from non-deterministic settings.

op4j is a developer happiness tool. Its aim is to reduce the amount of similar lines of code needed to do every day tasks in our code by providing an operator chaining tool to perform easy iterations on lists, OGNL evaluation, data type conversion...

A Java library and set of tools to quickly and easily manipulate graphs (set of nodes and edges) and dynamic graphs. The principal trait of this library is its ability to manage (create, edit, layout, display) continuously evolving graphs. The development of this project now takes place on Github. Visit the official Graphstream website at http://graphstream-project.org

LazyEngine is a collection of Tools for PHP, C# and JavaScript (based on JQuery). The goal is to have a Library that contains most common functions daily used by software developers.

Java library offering theory of sets/set theory functionality (complement, intersection, symetric difference, union, cartesian product and powerset). There's also an ant task/ant tasks included that provides the library's functionality

Based on the classification algorithm coverage tools JCover，developed by java and it's open source.at present,it include field-cover and cross-cover.

Open Screening Environment is a open source system for management of High Throughput Screening related experiments. The platform consists of new research tools that will enhance significantly management and analysis of HTS data. More information can be f

A 2D rigid physics simulator and set of genetic algorithm tools. Evolve cute little walking creatures.

A Common Lisp library for representing and manipulating graphs. Algorithms implemented: subgraph isomorphism (Ullman), automorphism, canonicalization (Nauty), connected-components/union-find.

A simple PHP parser class that scans through poorly formed html documents as if they were valid XML, and generates calls to customizable callback functions.

Depends implements a generic dependency tracker written in C++ and comes with extensive documentation on how to implement a dependency tracker (and, thus, how this one is implemented). It is very simple to use and provides the tools to "roll your own"

PHP Polar Tools is a set of PHP classes for the parsing and management of Polar Heart Rate Monitor data.

Bricks4J is a set of common tools, utils and classes for Java, aiming to ease development for a widespread kind of tasks.

VB and JavaScript code which validates 10 and 13 digit ISBN, and converts between ISBN-10 and ISBN-13 (only ISBN-13 beginning with 978 can be converted to ISBN-10). May be useful during the January 2007 world-wide changeover to ISBN-13.

Blubber system is an Eclipse RCP application for distributed systems modeling. Designed for university researches and inlcudes: task graph editor; graph transformation tools; graph modelling on distributed system; real-time modelling on GerdaFramework.

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms. Silicis is a new formal framework for designing [verification] algorithms.

The Airs GPT project experiments with Steady State Genetic Programming create agents that play tag. It emphasises co-evolution through competition, and provides the user with some tools to help them visualize what is taking place.