Test description more to come
Neuronet-based model for choosing and applying an appropriate method for forecasting finantial time series.
A sample C# 2005 about using Tao.Framework to make a program control 3D Object and use ODE, Physical to make a program to simulate some industrial Robot. I never make a big program with many thing linked together. Thank if someone interesting and help m
This project is aimed at creating a set of highly universal AI tools to be used in AI modelling. So far the subject area includes: Neural Networks, Fuzzy Logic, Biological Methods, Genetic Computing. New tools will be devised as the project goes on.
Head First Design Patterns translated to C++. Three separate translations are planned: 'Bronze' is literal; minimal (syntax) changes only. 'Silver' is semantic; more C++ idioms + leftover patterns. 'Gold' is (forthcoming and) modern; template based
Clothes - sewing CAD for creation of models of clothes. Based on the new concept of the automated designing of clothes with use of parametrical model. Creates a base design of model of clothes and allows to change it depending on necessity of updating.
SYSTEM FOR DESIGNING AND SIMULATE CONCURRENT AND DISTRIBUTED PROGRAMS IN CLUSTER ARCHITECTURE Provides graphical interface for configuring relationships between cooperating, abstract processes and simulate it in real cluster environment, using MPI.
2D-GraLab is a program that is dedicated to automatically generating schematic representation of nonbonding interactions across the protein binding interfaces.
Probabilistic model checking for security protocols.
A Discrete EVents Simulation (DEVS) of a Precision Approach Radar (PAR) developed as an assignment for the SYSC5105 course at the Carleton University. It was developed as DEVS formalism and implemented using the CD++ toolkit plugin to Eclipse. Code on SV
A basic simulation of aircraft emergency evacuation developed in CELL-DEVS using the CD++ Toolkit. A python script was then adapted to visualize this project in Blender. Code on SVN only at this time.
El sistema de manejo documental y archivo empresarial busca automatizar varios procesos de la gestión documental. Va dirigido a toda entidad publica y privada de colombia que desee aplicar la ley general de archivos. Se desarrolla bajo J2EE y Postgres.
KEManager models Knowledge Based Systems following a methodological approach ( Knowledge Engineering) for academical purposes of CommonKADS and IDEAL. It supports the viability test, some knowledge acquisition techniques and conceptual modeling.
FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.
This project is destinated to develop um sistem to make more easy projects to embebed sistems that uses FPGA or Microcontrolers, and the programation in many plataforms and languages. There is a IDE and a hardware system to develop some products.
DARPA Urban Challenge, a C++ based platform for testing Path Planning Algorithms: An application of Game Theory and Neural Networks. Rubin, Raphael (2007)
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.
* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
Open Schedulability Tool for Analysis of Real-time Systems (OpenSTARS) is designed to be an efficient, scalable, flexible, and extensible open-source tool and framework that can be used for both offline and online analysis.
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
drawcode é um plugin do eclipse para edição de diagramas de classe e NS(Nassi & Shneiderman), com a possibilidade de gerar código a partir da associação destes 2 tipos de diagramas.
iKO (Interactive Knowledge Organization) - SKOS authoring made easy
GenLab abbreviation of Genetics Laboratory .It is a user-friendly bioinformatics tool to support your bioinformatics lab work. GenLab creates a software user-friendly environment, which makes users to make a large number of protein, DNA, and RNA sequence analysis and excellent graphical viewing. It also provides powerful environment for simulations of Protein 3D molecular models. GenLab typically provides: •User-friendly graphical tools used for finding and working with relevant regions of DNA, RNA, and protein sequences. •Full integration of data input, data management, calculation results. This eliminates time spent on manual data transfers between different programs and databases. •Output functionalities, including generation of graphics output.
This UML profile will augument UML at meta-model level. It will provide a new set of stereotypes, taggged values to software developers, who use UML to model their software designs. Project has long term vision to make software actions secure.