Search Results for "b-processor"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

A spring-based 3D graph layout tool written in Java. Rendering is performed in OpenGL via the JOGL library.

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.

Algorithms that optimally & efficiently map atomic reactions. See 1) Atomic Reaction Mapping {Crabtree: amazon, b&n} 2) J. of Exp. Algorithmics, Vol 13 {Crabtree, Mehta} 3) J. Chem. Inf. Model., 2010, 50 (9), pp 1751–1756 {Crabtree, Mehta, Kouri}.

Software made available by the Residual Analysis blog, primarily having to do with anthropogenic global warming, e.g. GHCN Processor.

...It computes all solutions for a triangle specified by combination of sides, angles, altitudes, medians, angle bisectors, area, radius of circumscribed and inscribed circle, sum a+b, perimeter and difference of alpha-beta.

This is a simple program that will factor a quadratic trinomial using both "guess-and-check" and the quadratic formula. You input a, b, and c, where ax^2+bx+c=0; you will get a result in the form of (ax+b)(cx+d)=0 and x=a or x=b.

http://ewi.utwente.nl/~biorange/rshell - The RShell project is a plugin for the Taverna workflow system. It enables one to execute R scripts within the Taverna workflow system. The RShell processor is built on the RServe project. For more info:

Expression4J (Math Expression Parser) is a java framework used to manage mathematic expression stored in String object like "f(x,b)=2*x-cos(b)" or "g(x,y)=f(y,x)*-2". Expression gramar can be define by user (add new operator or type ...)

Implementation of various mathematical curves that define themselves over a set of control points. The API is written in Java. The curves supported are: Bezier, B-Spline, Cardinal Spline, Catmull-Rom Spline, Lagrange, Natural Cubic Spline, and NURBS.

MathML to Braille translator. It's writen in Java + XSL and it uses the Saxon XSLT processor for XML transformations.

<b>SicHer</b> is an encryption client that will allow secure chat across the internet using AES and a Diffe-Hellman key exchange.

Numerikus is an attempt to build a set of numerical libraries written in C/C++, Fortran, Java and C# for single processor and multi-core processors. It wil have from basic functions to Linear Algebra solvers and ODE's and PDE's methods.