Search Results for "sql command line" - Page 79

RHydrogen is a lightweight open-source c++ program which solves the Dirac equation for Hydrogen-like atoms. This implementation is based on the ROOT program library.

A suite of programs for performing particle image velocimetry, a common technique in the field of fluid mechanics. The suite includes programs to perform cross-correlation, synthetic image generation, as well as graphical visualization.

An extend version of NuSMV, which supports symbolic model checking of ETL and APSL

geoCtools manipulates geo-data in csv or kml files. Generates kml files for Google map/earth. Polygons can be: merged, simplified, locations (icons) added with user data in the balloons, selected via FIPS code. Uses libxml2

Jazzyk - a special-purpose programming language interpreter for development of modular intelligent agents based on a plug-in architecture.

A set of *.m files for use with GNU Octave and *.sci files for SciLab. The purpose is to approximate measurement curves using natural splines.

TopoGen is a small PyGTK application which will make a topographic image overlay for Google Earth using the given coordinate boundaries.

EXPR is a software package for the recording and analysis of animal behaviour. Recording is done by pressing particular keyboard keys on the computer. The software then saves the sequence and timing of behaviours. Note that the DOS (1995: https://sourceforge.net/projects/expr/files/expr/fb-port-expr-00-1995/EXPR-binary-DOS-0.0.1995.tar.gz/download) version is currently the only fully functional and is recommended for use. On modern computers, DOS software can run in DOSBOX (https://www.dosbox.com/).

Customisable on-line registration system.

TreeSoft is a collection of softwares that build or manipulate phylogenetic trees.

During a course at University "La Sapienza" in Rome I developed a fully working SAT solver based on unit propagation and backtracking; it can read DIMACS files and process cnf formulas of any length(there are no restrictions on the number of literals).

A polynomial-time algorithm for constructing level-2 phylogenetic networks from dense sets of rooted triplets.

CherBot is an information bot for Crossfire, Daimonin and good old plain IRC that keeps track of which players collect which items, who's been online, determines a level ranking, provides a mail system for mailing offline players, manages clans and

The OpenVulture project is a free and open source software application and library for controlling autonomous vehicles initially provided by 757Labs (757Labs.com)

Java library for simple managing and solving sophisticated mathematic expressions and equations, based on Reverse Polish Notation (RPN)

This software contains a port of the Velleman K8061 USB Interface library (k8061.dll) and a command line interface for using the card on a linux system.

Parasol is a python framework in which mathematical models can be investigated parametrically. It enables easy optimization, sensitivity study, and visualization. Output is in plain text, HTML, and Microsoft Suite files (Excel, Word and PowerPoint).

HydroSed2D is a two-dimensional numerical model for hydrodynamics and sediment transport on unstructured mesh.

Contains various algorithms that maps short reads produced from Illumina (Solexa) Genome Analyzer, or Applied Biosystems' SOLiD System, to a reference sequence or a set of reference sequences.

The program predicts the optimal folding of all consecutive substrings of length L of an RNA sequence of length N in O(NL) time. The algorithm is based on two papers: Wexler, Zilberstein, Ziv-Ukelson (2007), and Horesh, Wexler, Ziv-Ukelson ,Unger (2008)

Simple 8085 assembler and disassembler for educational use. The 8085asm generates the map file and intel hex file. It support the directives EQU, ORG, DB, DS and END.

MicroGear is an aerial robotics application that is robust, highly capable, highly configurable, open, and interfaceable. Along with high levels of capability, MicroGear focuses on robustness, high performance, and minimal memory and disk footprints.

The CellBE Execution Framework (CEF) is designed to be used by anyone wanting to develop and use an algorithm executing on multiple SPEs of a Cell processor. It lets the developer concentrate on the algorithm and data.

Excited Energy Levels and Various Shapes (EELViS) was developed for calculation of the Extended Tao-Eldrup model results. The relation between potential well dimensions and positronium (Ps) lifetime can be calculated using this code.

ASR-Builder provides an easy-to-use interface to the HTK toolkit, that allows users to build ASR systems. ASR-Builder provides a platform that performs house-keeping tasks when using HTK and also provides default training/testing/recognition scripts.