Search Results for "java modelling tools" - Page 12

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.

Biodiversity Information Group develops software tools and data standards that enable herbaria and museums to create dynamic distributed queries of their online databases. See http://bit.ly/bfirSh and http://bit.ly/bwpnSY for latest developments.

Set of tools designed to edit, check and mantain TMX translation memories.

...Chipster’s ability to provide a biologist-friendly access to a powerful analysis platform is technically based on a desktop application user interface, a flexible distributed architecture, and the ability to integrate many types of analysis tools (command line, R/Bioconductor, Java, Web Services etc). The platform is generic and easily extendable to other areas, even beyond bioinformatics. For more information, please see http://chipster.csc.fi and http://genomebiology.com/1471-2164/12/

SimRest is a set of tools to create distributed simulations using RESTful Web Services.

Locky project is a project for research and development of the wireless location information systems. Mainly for tools of gathering WLDB (Wireless Location Database )

DawNLITE is a Natural-Language-based Image Transmoding Engine. The software transforms an image to a video as recorded by a virtual camera panning and zooming over the image, following a natural language text description of the image.

This is a set of business math tools. The intended users are American business students. Some features include interest calculations, mortgage payment calculations, markup and markdown calculations and others.

Geo Sus is a software suit for use with the Bartington MS2 magnetic susceptibility meter. It was developed for the Victoria University Wellington Geophysics department to help out in their work. Created by team Geodudes in SWEN302 T2 2009

powerPlant is a plant modelling tool based on parametric plant descriptions, producing highly detailed models that can be exported to 3ds. Deriving similar plants is a matter of 1 click! Complete scenes can be composited with the integrated scene editor.

This project provides a library of easy to use 2D graphics editor tools and a functional and extendable stand-alone graphics editor.

Testing tools source code of the Integrating the Healthcare Enterprise (IHE) Cross-Enterprise Document Sharing for Images (XDS-I) Integration Profile

Goldify is a set of tools that allow automated addition of links into electronic documents. Its main purpose is to allow such addition of links into documents that wish to link to the IUPAC GoldBook (http://goldbook.iupac.org).

TiMAT2 contains tools for low and high level genomic tiling microarray analysis using the Affymetrix, NimbleGen, and Agilent platforms. It is designed for processing single and multi chip data sets from ChIP-Chip, RNA difference, and aCGH experiments.

Software tools for visual psychophysics research. The focus of these tools is amblyopia research, but they can be used in some related visual neuroscience research tasks.

The main objective of the ONE project is to enrich Digital Ecosystems with an decentralised negotiation environment and enabling tools that will allow organisations to create contract agreements for supplying integrated services as a virtual organisation

The ART testbed program allows researchers to compare their work from a practical point of view in the modelling of trust in agent societies.

An open source Java based library for target tracking algorithms as well as evaluation tools. Currently contains 11 different sequential filters, such as; Kalman, particle, H infinity, interacting multiple model (IMM), and others.

This project aims to make open source tools for medical Studies of Diagnostic Accuracy, wich are neglected by most commom statistical tools. Most tools will be based on the STARD.

Testing tools source code of the Integrating the Healthcare Enterprise (IHE) PIX and PDQ v3 Integration Profiles

Nevada is a tool for interactive visualization of dynamic networks. Unlike other dynamic network visualization tools it's focussing on visualizations preserving the user's mental-map. Import of Pajek files is supported.

JLongTCPConn is a developing toolkit for TCP connection and session. It does the jobs of TCP processing (such as login, session maintainment, active-test or heartbeating, and data buffering), which makes you focus on application layer logics.

Software tools for building interactive information visualization applications. Prefuse supports a rich set of features for data modeling, visualization, animation, and interaction for both Java (prefuse) and Flash (prefuse flare).

Scan, the Semantic Content ANnotator, is a semantic pipeline that helps connecting information extraction tools to semantic database. UIMA-based, it allows easy plugin-writing: information extraction, ontology control, store in RDF Repositories.

DIY Genomics is an open source bioinformatics consortium intended to bring a collection of tools and libraries into the hands of small scale genomics labs for the process of sequence assembly and annotation. Projects include DIYA, MGAP, CRISPR, and DIYGV