This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
BeagleSCI stands for Beagle Board for scientific computation and instrumentation. This project aims to make the Beagle Board a platform for sensing and simple data processing using its on-board or any peripheral hardware as add-ons.
UIMA solution for analysing web-server logs, that does things like analyze the user behavioral patterns in the channels followed by users from the log files, report current and the past behaviour of the visitors in selfservice systems.
Comprehensive Meta Prediction and Annotation Services for Proteins: The new all-in-one prediction tool that can be easily extended to include any SOAP/WSDL-enabled prediction servers. A concise user interface lets you use the results instantly.
EveAI processes the data assuming that it has already been read by a sensor. Theoretically this should give it reflex behavior. Now the end product should be a self conscious machine future plans are to include the field of robotics.
SenseRank Sys: - builds the dictionaries (multidim matrices) of words’ values; - for the set utterance in certain language builds a figure in multidimensional space (in the matrix space) of values (visual schema), which is topological view of sense
Unison is a database and web interface of integrated, precomputed proteomic predictions for rapid feature-based mining, sequence analysis, and hypothesis generation. Click "Home Page" for more information and to access the public access version.
pRPL is a general-purpose parallel Raster Processing C++ programming Library. It enables the implementation of parallel raster-based algorithms without requiring a deep understanding of parallel computing, and greatly reduces the development complexity.