Search Results for "translation"

A reworking in C++ of KBMAG. A package and C++ library for computing automatic structures and confluent rewriting system for group and coset rewriting systems, and for computing with finite state automata

...However, none of them, or at least none that I know, is aimed at scientific use. This library aims at filling this gap, in particular considering discrete wavelet transform as described by Percival and Walden. This module started as translation of the wmtsa Matlab toolbox (http://www.atmos.washington.edu/~wmtsa/), so most naming conventions and most of the code structure follows their choices. The code uses a mix of python and cython for improved performance. The code reflects my needs and preferences, but contributions from others are welcome. The code has to some extent been tested, but bugs are to be expected.

...It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. 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)

Free binary Turing Machine simulator with a graphical user interface and possibility to save your files. Language : French (no translation available)

Near the surface (even horizon) of a black hole, there is maximum information density in units of squared plancks (and some translation to qubits). Similarly, our imagination is the set of all possible things we can draw onto our most dense layer of visual cortex in electricity patterns. Bigger layers have more neurons to handle those possibilities. A Black Hole Cortex is a kind of visual cortex that has density of neuron layers similar to density at various radius from a black hole. ...

Java objects that share parts of immutable graphs. Reused subgraphs have directly or indirectly recursive Elements. Selected components get replaced by new counterparts in Context of Mirrors - translation tables. Deep copies are not involved.

Software to fit whole-sentence language models using the principle of maximum entropy. For developers of speech recognizers, text prediction interfaces, OCR, machine translation software.

XSLT MathML Library is set of XSLT stylesheets for MathML 2.0 to LaTeX translation.

Graphic editor for graphically designing form. With those form you can do operation like translation, rotation, projection, sym axial, sym central, homothetie.These project include MyMatrix, MyMatrix2, Vector2, and MathOperation and Form class like Squar