PCR primers / probes design from multiple & degenerate sequences
Gemi is no longer supported. Please, contact Dr. Haitham Sobhy for details.
There are few programs that do not use a tree data structure. The C++ standard library, however, does not provide a low-level tree-container. The goal of our project is to write, document and test a generic tree-library and popular tree algorithms.
Genetic algorithms (GA) in C++
NOTE: Project has been delayed due to other tasks. Genetic Algorithms General Solver (GAGENES) is a C++ implementation of the genetic algorithm concept.
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
Graphal is an interpreter of a programming language that is mainly oriented to graph algorithms. There is a command line interpreter and a graphical integrated development environment. The IDE contains text editor for programmers, compilation and script output, advanced debugger and visualization window. The progress of the interpreted and debugged graph algorithm can be displayed in 3D scene.
A framework for Handy Evaluation of REcommender SYstems. A very general framework to perform development, study and evaluation of any kind of recommender / personalization / mining system.
Descritografar e Criptografar XMLs do Tribunal de Justiça
O HitCrypt é uma ferramenta que pode ser utilizada para Decryptar o arquivo de Selos e Encryptar. Inicialmente este aplicativo está preparado para funcionar para o tribunal de justiça do estado de Minas Gerais.
hotchpotch * hodge·podge (hŏj'pŏj') A) A mixture of dissimilar ingredients; a jumble. B) Dish of many mixed ingredients, especially mutton broth with vegetables.
Hyacc is an efficient and practical Yacc/Bison-compatible full LR(1)/LALR(1)/LR(0) and partial LR(k) parser generator in ANSI C based on Knuth and Pager's LR(1) algorithms. Generated parser can be used in open-source or commercial software.
Hyperspectral and Medical(MRI) data processing/compression tools using CORDIC based modules.
Institute of Technology, Blanchardstown Computer Science code by the class of 2007-2011 on course BN104. In this project we are open sourcing all of our project work to the public in the hopes it can be reused, built-upon, and used in education.
Deploy VB.NET applications quick and easy
InnoVB .NET Packager is the easiest deployment tool for VB.NET applications via Inno Setup. It includes all the Application's dependencies even the COM libraries. Great for hybrid application projects. System Requirements: * .NET Framework 2.0 or later * Windows 2000 or later * 256Mb RAM or higher * 1GHz Processor or higher * Inno Setup 5 or higher NOTICE: Visual Basic .NET is a trademark of Microsoft. Inno Setup is a trademark of Jordan Russel. All trademarks are owned by their respective holders.
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. 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)
Jmathtools: math java stuff designed to be easily used, modified and extended. Initially designed to help porting of matlab software to java. 2D/3D plot, linear algebra, basic statistics. Groovy wrapper providing syntax close to Matlab/Scilab.
JPortForwarder Project JPortForwarder is a multithreaded TCP Port Forwarder application. The following feature have been developed: - Generic TCP Port Forwarging. Listen for a port and forward to an ip:port. - Multihoming TCP Port Forwarding.
Java topology suite is an API of 2D spatial predicates and functions. Provides a complete , consisstent, robust methods of 2D spatial algortims. This DLL is writen in Java and compiled in .net VS2005.
The JSparse Matrix Package, developed by Philipp Geigenmüller during an internship at the prudsys AG in Chemnitz, Germany, is an extension of the well-known Java Matrix Package (JAMA) and allows the use of sparse matrices and related algorithms.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
Mobile application allowing to get directions from one subway station to another. The applications can provide shortest ways or less changes ways
Kinyosoft AutoUpdate is a module to incorporate to a system with which we will be able to deposit the functionality of exhausts route web. Doing that our system turns out to be more amicable, with major functionality and scalability
An R package for detailed inspection and analysis of LCMS data. An R package developed by Sukhdeep Singh at Department of Surgery and Cancer, Imperial College London,UK.
BASIC library for large-integer arithmetic, plus some number theory modules.
This project hosts a library and tools for sharing simulation experiments encoded using SED-ML.
Grayscale and binary image processing library for Qt.
LogiDist offer a solution of "Computer Aided Logistic" with mostly informative purposes on executed pickups/delivery of merchandise. Is able to manage the whole process of purchase, order management, merchandise delivery to reduce distribution costs.