Search Results for "command-line kill linux" - Page 77

Flowlive is a CFD (Computational Fluid Dynamics) program with a special focus on multiphase flow with a Euler-Lagrange model.

The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

The system is designed for the automated analysis of high throughput sequencing data. At present Aped is focused on the analysis of data derived from Sanger and 454 sequencing. Additional functionality exists for SAGE and taxonomic profiling.

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.

Corikon is a simple software to visualise the correlation matrix of a set of data, using the iconography of correlations.The first step of the project has been reached: rendering the distribution of data according to the user wills.

Software package for building, training and scoring hidden Markov models (HMMs).

Serial-IO is a simple program to send and receive data from a serial interface. The GUI is designed like a chat window with a transmitter/receiver field and a command line to send characters and integer values.

Given a reference sequence, simhtsd will create a large set of short nucleotide reads, simulating the output from today's high-throughput DNA sequencers, such as the Illumina Genome Analyzer II.

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

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.

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

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/).

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).

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

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

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

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

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.

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

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)