Search Results for "computer-aided software engineering"

Our software GENPPI is efficient because, for example, it creates interaction networks from the central genome of 50 species/lineages of Corynebacterium, with an average size of 2200 genes, in less than 40 minutes, on a conventional computer. Our software is compelling because the interaction networks that it creates reflect evolutionary relationships between species and obtained in Average Nucleotide Identity (ANI) analyzes.

Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.

This Project will administer an exam on an applet using 4 answer mutliple choice questions. Only one answer may be selected per question. Later we may improve this but for now this is the scope. We will use XML to read and write exams.

OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.

Acheron is a Common Lisp (CL) to JavaScript (JS) compiler. Programs are written in a subset of CL and after compilation executed in a webbrowser. Acheron has native functions that are written in JS and are the bridge between CL and JS.

The interactive mathematical programming system GYWOPT is released as free software. It has been developed since early 2000 for experiments with the Integral Basis Method for integer programming by U.-U. Haus, M. Köppe and R. Weismantel.

Collection of tools for allowing CAD (Computer Aided Design) systems to interact with STEP (ISO 10303) data.

Framework for making Windows applications that are one .exe file in AutoHotKey_L,C++,C#, VB.NET,Java,Groovy,Common Lisp,Nemerle,Ruby,Python,PHP,Lua,Tcl,Perl,Jint,S#,WSH VBScript,HTML/JavaScript/CSS,COM, PowerShell without compiling . For .NET 4.

The OKlibrary is a research platform for generalised SAT solving. It provides tools to tackle "intractable problems" at the Maxima computer-algebra level and at the C++ level. It also automatically installs a wide range of external software.

‘intelliworm’ is a prototype simulation of a Intelligent Species of a common earth worm,which inherits human like decision making capabilities through Neural Network intelligence representation,all developed by integrating .NET with Lisp and Yacc.