Showing page 1 of 7.

• 
  RODIN

  Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

  790 weekly downloads
• 
  ProM - Framework for Process Mining

  ProM is the comprehensive, extensible framework for process mining. Process Mining deals with the a-posteriori analysis of (business) processes using enactment logs.

  69 weekly downloads
• 
  CartoReso

  CartoReso intends to facilitate enterprise computer network mapping.

  18 weekly downloads
• 
  robotrader

  Simulation platform for automated stock exchange trading. It delivers statistics to analyse performance on historic data and allows comparison between trading strategies, that can be coded in Java.

  10 weekly downloads
• 
  LTE baseband simulator on Cell platform

  3GPP LTE baseband simulator on Cell platform

  13 weekly downloads
• 
  Turing and Post Machines: C++ Simulators

  The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.

  18 weekly downloads
• 
  Web Submission and Review Software

  Web-based software for submission and review of papers to academic conferences. Provides support for the entire life-cycle of the conference review process.

  10 weekly downloads
• 
  OpenSHORE

  OpenSHORE is an XML based Semantic Document Repository (SDR) with a free definable meta model that builds up a semantic network from sections and relations in documents. The acronym SHORE means Semantic Hypertext Object Repository.

  13 weekly downloads
• 
  BANNER Named Entity Recognition System

  BANNER is a named entity recognition system intended primarily for biomedical text. It uses conditional random fields as the primary recognition engine and includes a wide survey of the best techniques described in recent literature.

  11 weekly downloads
• 
  Fourier Transform

  Description and detailed explanation on Fourier Transform, some FFT, LPC etc. Runable project demonstrates DCT transform on continuous audio, show and edit audio source with different zooming and view.

  11 weekly downloads
• 
  JavaSeis

  JavaSeis.org: Java based software for processing and storing petroleum industry seismic data.

  10 weekly downloads
• 
  C/C++ Program Perfometer

  The program enables to get performance of C/C++ program and separated pieces of code for any metrics (for instance : time, memory, metrics defined by user etc.). The measurement results are represented in detailed/summary reports. The detailed

  9 weekly downloads
• 
  PORUS USB stack

  PORUS is a portable USB stack for peripheral devices. Enumeration is handled automatically by C code generated from an easy-to-use configuration file. PORUS is written in standard C, so porting to new hardware is straightforward.

  8 weekly downloads
• 
  SeqEntropy

  An assessmemt tool of sequence repeats for short read sequencing.

  8 weekly downloads
• 
  Annotation Graph Toolkit

  AGTK is a suite of software components for building tools for annotating linguistic signals, time-series data which documents any kind of linguistic behavior (e.g. audio, video). The internal data structures are based on annotation graphs.

  6 weekly downloads
• 
  IPDR.org

  The IPDR.org reference libraries encode and decode IPDR usage documents in either XML or the binary format. Libraries are available in C and Java.

  6 weekly downloads
• 
  GNUniversalExpertAdvisor

  GNUEA stand for GNU Universal Expert Advisor. Used in MetaTrader platform as an Automatic Trading System. With GNUEA, we can use every default MetaTrader's indicators as automatic enter and exit trading strategy. For forex (or other futures market).

  3 weekly downloads
• 
  Free-Fall Calculator

  An easy-to-use free-fall calculator that calculates terminal velocity and vacuum calculations in BOTH Metric and English units. Simple variables like time, mass, distance, and velocity are all that's needed for the calculations.

  4 weekly downloads
• 
  OOONEIDA - FBench

  The FBench is the ongoing development of an open-source graphical software tool for embedded automation components and systems based on the IEC 61499 standard. The project originates from the OOONEIDA Workbench pioneered by Dr. James Christensen in 2005.

  4 weekly downloads
• 
  Symja Java CAS

  Symja - Java Computer Algebra System

  4 weekly downloads
• 
  n-ary Huffman Template Algorithm

  The algorithm allows any kind of weights (costs, frequencies), including non-numerical ones. The {0, 1, ..., n-1} alphabet is used to encode message. Built tree is n-ary one.The algorithm is based on a set of template classes : Cell(SYMBOL, WEIGHT), Node(

  4 weekly downloads
• 
  Analyzer

  This software gives you at the moment what means any of that blood or urine analyses you do by telling what diseases are associated to high or low values. It's only for educational purposes!

  2 weekly downloads
• 
  Cielespace.org add-ons pack for Celestia

  This package is a collection of all Celestia add-ons required to work with the scripts available at cielespace.org website.

  3 weekly downloads
• 
  Decision Tree Jungle

  DTreeJungle provides educational applets to teach the concepts of decision trees for regular pattern recognition.

  3 weekly downloads
• 
  Dynagraph

  Dynagraph is a cross-platform library and command-line tool for dynamically drawing graphs (networks, flowcharts, family trees, etc.) in reponse to continual modifications. Included are DynaDAG for directed graphs and FDP force-directed placement.

  3 weekly downloads

• Back
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• Next