Search Results for "theory"

Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of linguistic variables with operations on them. String-oriented I/O is supported. ...

Java Modelling Tools is a suite of scientific tools for performance analysis and modelling using queueing theory and colored stochastic Petri nets. Models are solved either with analytical, asymptotic or simulation methods; workload characterization tools are also included in the suite. See the project website for more details: http://jmt.sf.net

Fuzzy machine learning framework is a library and a GUI front-end for machine learning using intuitionistic fuzzy data. The approach is based on the intuitionistic fuzzy sets and the possibility theory. Further characteristics are fuzzy features and classes; numeric, enumeration features and features based on linguistic variables; user-defined features; derived and evaluated features; classifiers as features for building hierarchical systems; automatic refinement in case of dependent features; incremental learning; fuzzy control language support; object-oriented software design with extensible objects and automatic garbage collection; generic data base support through ODBC or SQLite; text I/O and HTML output; an advanced graphical user interface based on GTK+; and examples of use.

A shell for using the methods of Contextual Logic to do qualitative data analysis, mathematical research on the theory underlying Conceptual Knowledge Processing, or learning Formal Concept Analysis. It uses the framework provided by the Tockit project..

CoRoPa stands for Computational Rough Paths. The aim of CoRoPa is to provide a software framework for various ideas related to Rough Path Theory, including rough differential equations and the digital description of serial data streams.

GraphCAD is a pseudo 3D Computer Aided Design (CAD) program to modeling dinamic and static objects, basics on graph theory. GraphCAD may be used as GIS, Medical Disgnostic, Engineering, Education and Mathematical modeling tool.

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.

A Java-based tool for creating, designing and distributing graphical trees that represent syntactic construction of sentences. Useful for drawing trees under X-bar generative theory or any other correlated application.

This project has a theory of time that allows a computer program to decrypt information of the past, future, or alternate time-lines using a binary counter. Currently we have developed the binary counter now we are working on a production release.

Bayesian Surprise Matlab toolkit is a basic toolkit for computing Bayesian surprise values given a large set of input samples. It is also useful as way of exploring surprise theory. For more information see also: http://ilab.usc.edu/

Diktyologia is software for investigating complex systems with advanced methods of network theory. The package allows for analysing statistical properties of directed intercausal networks that are represented in form of cy.prus XML files.

XSY# is an open source project to implement multi-formalisms such as Discrete Event System Specification (DEVS) as well as meta-heuristic search techniques such as Genetic Algorithms.

OBOES (Open Biomedical Ontology-Based Enrichment and Search) is an information-theory-based platform that embeds new integrative methods allowing biologists to evaluate new hypotheses.

This project intends to create an indexing search engine, for knowledge management. The primary object is to apply an information retrieval core. And implement a knowledge data discovery theory such as data mining algorithm, text mining.

pystats is a comprehensive Python module implementing algorithms for statistics and information theory, including probability distributions, descriptive statistics, analysis of variance, regression, and inference.

KF Checker infers information flow rules from source code. The rules obtained in this way are used to create a theory which it then exploited to prove that information flow policies are respected.

distributed simulation agent system developed for prove and populate agent theory in resource planing branch

it provides a user interface to the economic theory through an intuitive and easily understandable quantification of the economic value of alternative business models.