Project offers alternate solutions to the performance problems developers are facing on x86 and x64 architectures. The library covers searching and sorting, mathematic routines, and substitutions of commonly used standard library routines.
Ben(Zai)Ten is a graphical modeling environment for computational and systems biology. It supports the community exchange standards: SBML, SBRML, SED-ML as well as ontologies: MIRIAM, SBO, ChEBI, KEGG, GO
My personal computing suite provides some programs I developed as a hobbyist and currently include a lambda calculus interpreter and a calculator which solves arithmetic expressions; both are written in C++.
Crazy Turtle puzzle game solver utility. Other names: CRAZY TURTLE / LE JEU FOU DE LA TORTUE / NAUGHTY TURTLES / ŠAŠAVE KORNJAČE / NAGAJIVE ŽELVICE / SASAVE KORNJACE
The DjVu complete solution,with OCR Technology(Arabic ,English).
DjVu++ is a user-friendly program that used to manipulate DjVu file formats such as eBooks with a penalty of editing features. The program introduce a free replacement for the property PDF format with similar resolution and smaller file size DjVu++ also support OCR to handle text in scanned books and images. The program shows good performance for English. In addition to the Arabic language to lead free and commercial software in this area. The main features of DjVu++ program are: o Manipulate DjVu files. o Support smaller size than PDF with the same performance. o DjVu++ supports two languages in the OCR technique (Arabic and English). o Read multiple documents at the same time with the new tabs feature. o DjVu++ supports multiple formats: Convert PDF document into DjVu format with smaller file size and the same performance. Convert DjVu into PDF format. Combine images to a single DjVu document. Perform OCR operations on multiple image formats.
Digital Signal Processing Simulation
DSP Lab is a digital signal processing simulation application created to simulate and visualize process of sampling and filtering analog signal using DSP system. This application is created to provide as a tool for educator and student to visualize and understand DSP system. We planned to release the source for this project as open source, do support the developers who spend days and nights create this application and library. Your support is much appreciated. https://pledgie.com/campaigns/34142
The Data Structure & Algorithm Library (DSAL) is a library of classical data structure and algorithm.
Dictmatch is a high performance multi-mode string match lib which supports full matching and max forward matching. It is used to match substrings which contented in dictionary from string user provides. Its throughout is more than 20w line per sec.
Create and use your own personalized, very secure, encoding script!
Create and use your own personalized, yet very secure, encoding script!
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.
C++, Matlab and Python library for Hidden-state Conditional Random Fields. Implements 3 algorithms: LDCRF, HCRF and CRF. For Windows and Linux, 32- and 64-bits. Optimized for multi-threading. Works with sparse or dense input features.
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.
A plugin for the quantitative analysis of Immunohistochemistry samples
Identification and scoring of cancer markers by Immunohistochemistry has been shown to be of value in determining the aggressiveness of specific cancers, as well as in predicting patient outcome for many cancer types. Despite its routine clinical use, a problem with the standard scoring method is the inherent subjectivity and variability of purely visual inspection. To diminish this visual perception biasing, IHC profiler has been developed as a standard automated scoring tool. -x-x-x-x-x-x-x- Full Publication and Citation: Varghese F, Bukhari AB, Malhotra R, De A (2014) IHC Profiler: An Open Source Plugin for the Quantitative Evaluation and Automated Scoring of Immunohistochemistry Images of Human Tissue Samples. PLoS ONE 9(5): e96801. doi:10.1371/journal.pone.0096801 Link: http://www.plosone.org/article/info%3Adoi%2F10.1371%2Fjournal.pone.0096801 -x-x-x-x-x-x-x- Your feedback would be highly appreciated. Please rate so we can work on improving it further. Thank you!
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)
This project hosts a library and tools for sharing simulation experiments encoded using SED-ML.
NOMAD is a C++ code that implements the MADS algorithm (Mesh Adaptive Direct Search) for difficult blackbox optimization problems. Such problems occur when the functions to optimize are costly computer simulations with no derivatives.
Nesting SDK, Library
This is a SDK which can nest/layout the part/geometry/polygon on the material or sheet intelligently, you can get the best utilization of the materials, this SDK also support read/write DXF/DWG files and part-in-part nesting. New nesting lagorithm is implenmented, more good to support true shape part or material.
Real time signature verification using MATLAB and C#
Online Signature Verification technology requires primarily a digitizing tablet and a special pen connected to the USB port of a computer. An individual can sign on the digitizing tablet using the special pen regardless of his signature size and position. The signature is characterized as pen-strokes consisting x-y coordinates and pressure with the data being stored in a signature database. Dynamic time warping (DTW) and quadratic discriminant analysis (QDA) is used to get results where the system accepts 2% of forged signatures and rejects 5% of true signatures
OsmSharp - OpenStreetMap (OSM) Library and Tools developed in C#
*** this project has moved to codeplex: http://osmsharp.codeplex.com/ ***
Finds bad examples for the local search Path Partitioning algorithm
Path Partitioner constructs random graph partitions and solves the linear (or integer) programming problems that assign weights to the edges such that the performance ratio of the local search algorithm for the Path Partitioning problem is minimized. See http://www.tau.ac.il/~ohadschn/Thesis/Partitioning.pdf. Requirements: Microsoft Automatic Graph Layout http://research.microsoft.com/en-us/projects/msagl/ Gurobi Optimizer http://www.gurobi.com/ Permutations, Combinations, and Variations using C# Generics http://www.codeproject.com/Articles/26050/Permutations-Combinations-and-Variations-using-C-G
combinational logic functions minimization
QMC Logic Minimizer is a versatile application for fast simplifying truth and reduce lines tables. This program offers a comfortable user interface for generating and minimizing of the combinational logic functions. It is unique for its possibility of minimizing several functions at the same time. This program is intended for practical digital devices constructors as well as formal scholars and academics. Features: - You can minimize up to 16 input variables and up to 16 output variables. - You can also reduce the number of table rows. - It allows you to name the input and output variables. - The table can be exported to HTML file and then you can use it in e.g. MS Word. - This program provides a comfortable interface, you can change fonts and colors. - It works on MS Windows, GNU/Linux, Mac OS.