Showing page 1 of 30.

• 
  MTSA

  The Modal Transition Analyser (MTSA) is a joint research effort of the Distributed Software Engineering (DSE) group at Imperial College London and the Laboratory on Foundations and Tools for Software Engineering (LaFHIS) at University of Buenos Aires

  72 weekly downloads
• 
  ANTz

  realtime 3D data visualization

  70 weekly downloads
• 
  LM - Report Asistent

  LM - Report Asistent will be an utility, that helps dataminers, who use LISP-Miner, with writing analytical repostrs. Report Asisten will connect LISP-Miner with MS Word (R) editor.

  1 weekly downloads
• 
  Abstract Info Representation

  Representation method of abstract information based on hierarchical network of simplest nodes. Each node can represent both value and attribute. Network is able to accumulate, classify and learn information.

  0 weekly downloads
• 
  smib

  smib is probably one of the smallest and simpliest computer algebra system in the world, but simple does not mean simplistic. Using smib you can explore many branches of mathematics (e.g. number theory, algebra, calculus, numerical analysis, differential geometry, probalility and stochastic calculus) and also some physics (e.g. electromagnetism and quantum mechanics).. By simple you can understand easy to program (smib is a weakly typed language, with strong affinity to recursivity, programs are often short and powerful and maybe useful for teaching), and also easy to modify (source code is free, written in C language, and based on notions of stacks (like FORTH language), and lists (like LISP language)). In this version : polynomial algebra, euclidean algorithm, polynomial equations.

  3 weekly downloads
• 
  Python Power Electronics

  Circuit simulator for power electronics

  20 weekly downloads
• 
  'Wind Power' controller

  Real-time emulator of controller of wind generator.

  12 weekly downloads
• 
  JScript Logic

  Web pages are not just for clicking. Every web page has powerful built-in math & text processing. By using logic to treat ideas mathematically, web pages can be a tool for decision making. This project will show you how, starting with a few games.

  1 weekly downloads
• 
  Crackpot

  Crackpot is an action planning system based on iterative repair. It features real-time optimization and revision, auto-scaling on parallel architectures, and handles temporal reasoning, resources, and an open, complex planning world.

  0 weekly downloads
• 
  Fast Decimals to Fractions

  This is the downloadable JAVA version of Fast Decimals to Fractions, so you no longer need to log on to convert your decimals. Must have JAVA to run the .JAR file.

  3 weekly downloads
• 
  SoundStepper

  A software for ATM telescope automation

  10 weekly downloads
• 
  Online Pathology Report Delivery System

  Enterprise level Online pathology report generation and Delivery

  0 weekly downloads
• 
  PyGraphMath

  PyGraphMath is a system for the manipulation of symbolic and numerical expr., equations, vectors .. (Maxima). Main focus lies on direct 3D graphical viewport (openGL) which displays math objects. Syntax is "pseudo-python" and supports objects, loops .. *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** OBSOLETE: please use instead http://www.sagemath.org/ with PyODE (or pyphyssim/PPE) *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***

  2 weekly downloads
• 
  Note Cruncher

  Console based notepad number cruncher makes calculations fast and simple, yet with ample features under the hood. With log turned on, you can record your session on-the-fly from any open instance of the program.

  1 weekly downloads
• 
  Bibliophile

  Bibliophile is a loose grouping of independent OS or GPL bibliographic systems and aims at promoting discussion, standards and the development of common utilities.

  4 weekly downloads
• 
  Bacteria Simulator

  This project intends to create a bacteria simulator framework, with some realistic bacteria control methods based on chemical signaling, simple sensors, motors and neural networks. The bacteria will evolve in a genetic algorithm environment.

  0 weekly downloads
• 
  Gait Monitoring +

  Calculates NPA PPA of a human gait based on input of data

  2 weekly downloads
• 
  ACCORD

  ACCORD is a C library for composition of scanning electron or helium-ion microscope images with correction of drift. It produces significantly more accurate images than the traditional imaging techniques and also provides drift trajectories.

  1 weekly downloads
• 
  EcoLab

  EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.

  6 weekly downloads
• 
  MatCont

  MatCont is a Matlab software project for the numerical continuation and bifurcation study of continuous and discrete parameterized dynamical systems. Leaders of the project are Willy Govaerts (Gent,B) and Yuri A. Kuznetsov (Utrecht,NL).

  463 weekly downloads
• 
  The Verified Software Repository

  The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

  0 weekly downloads
• 
  TMpred

  The TMpred program makes a prediction of membrane-spanning regions and their orientation. The algorithm is based on the statistical analysis of TMbase, a database of naturally occuring transmembrane proteins.

  1 weekly downloads
• 
  Personal numerical methods library

  My personal numerical methods library. Anyone can use it

  0 weekly downloads
• 
  spinney

  SPINNEY provides an implementation of helicity spinors and related algorithms for the symbolical manipulation program FORM. The description of this package is published in http://arxiv.org/abs/1008.0803 .

  1 weekly downloads
• 
  revAI

  Project of AI for a reversi software.

  0 weekly downloads

• Back
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• …
• Next