Theory Of Computation

DIRECTORIES:- SMALLPART/smallpart.mclusterindex.m- PARTITIONS/partition.mcluster.mBLLSG.mBoth are based on the Cluster Polynomial Representation of binary words of arbitrary length. The theory of Universal Lexicons is covered in the following Technical Report (submitted in J. App. Comp....

The Link Grammar Parser is a syntactic parser of English (and other languages as well), based on link grammar, an original theory of English syntax. Given a sentence, the system assigns to it a syntactic structure, which consists of a set of labelled links connecting pairs of words. The parser...

MultiViL is a tool for multi-view learning. It supports four classifiers (KNN, Naive-Bayes, Rochio and SVM-Perf), four view combining methods (Majority Voting, Borda Count, Dempster-Shafer theory of evidence and PSO) and provides many analisys tools.


Platforms: *nix

DREAM Tool is a generic framework that aims at providing a common semantic domain which can express several (real-time, power consumption, resource) constraints. The semantic domain has an executable C++ model which has been semantically anchored to the hybrid automata formalism. Although the...


Platforms: *nix

vdrd project is a daemon to control VDR. It supports: - starting VDR only when needed for live-viewing or recording - triggering VDR start via starting the live-view application (xawtv, xine...) - programming nvram-wakeup timers and automatic shutdown after recording - error recovery when...


Platforms: *nix

Alsa-Nyser is an Real Time Audio Analyser that displays several informations about sound. These informations are: Signals of the chanels Phase of sound in 1D and 2D representation Spectrum in full band Spectrum in 1/3 octavia displaying frequency in Stereo or Mono reducted sound Frequency...


Platforms: *nix

Strasheela is a highly expressive constraint-based music composition system.2 The Strasheela user declaratively states a music theory and the computer generates music which complies with this theory. A theory is formulated as a constraint satisfaction problem (CSP) by a set of rules (constraints)...


Platforms: Mac

YARP, short for Yet Another Robot Platform is a package that contains libraries, protocols and tools to keep robot modules and devices cleanly decoupled. It is reluctant middleware, with no desire or expectation to be in control of your system. YARP is definitely not an operating system. YARP...


Platforms: Windows

The Ware House Management Software TARGET has been developed by a leading software development company, SUNTECH Information System that has proven track record in software development for diverse needs. Because of its remarkably comprehensive features that are user friendly and instrumental in...


Platforms: Windows, Other

CMP Biorhythms is a small application which calculates and displays biorhythm graphs. Enter your birthdate and this Applet and it will calculate your biorhythms. Calculates and displays biorhythm graphs. Enter your birthdate and this Applet and it will calculate your biorhythms. It computes your...


Platforms: Windows

Calculates and displays biorhythm graphs. Enter your birthdate and this Applet and it will calculate your biorhythms. It computes your 23-day physical, 28-day emotional, 33-day intellectual and combined cycles. The combined cycle is sometimes called the luck cycle. The theory of biorhythms is...


Platforms: Windows, Mac, Java, Linux, Unix

The software system allows to solve constrained nonlinear programming problems by an efficient sequential quadratic programming (SQP) method. A nonlinear objective function is to be minimized subject to nonlinear equality or inequality constraints. The numerical code is called NLPQL, which is...


Platforms: Windows

This project aims to develop a parser for Finnish. The parser and the system of grammatical competence assumed herein, are based on the minimalist theory of grammar (Chomsky 1995, 2005) and Bare Lexicon Hypothesis (Brattico, in prep).


Platforms: Windows, Mac, Linux

These routines are the improved calculation routines for Mathieu functions with positive parameters based on Ben Barrowes' direct translation, performed using f2matlab, of the original FORTRAN-77 implementation of "Computation of Special Functions."The package includes the following...


Platforms: Matlab

Prolog+CG 2.0 is an implementation in Java of standard Prolog, but with extensions for handling the Conceptual Graph theory of John Sowa. Object-Oriented extensions are also provided. CGs are first-class data structures, allowing easy reasoning about CGs. Ontologies are also supported. Prolog+CG...


Platforms: Mac

The Young Two Slit Interference model simulates the interference pattern of light as it travels through two slits to a screen. This result was first described by Young who used the wave theory of light to describe the interference of light through two slits. The interference pattern is due to the...


Platforms: Mac

The Particle Worldline model computes and displays the trajectory of a test particle in the vicinity of a black hole using Schwarzschild coordinates. It was created for the study of Einstein's theory of general relativity and the Schwarzschild metric. The model has input fields displaying the...


Platforms: Mac

Prolog+CG 2.0 is an implementation in Java of standard Prolog, but with extensions for handling the Conceptual Graph theory of John Sowa. Object-Oriented extensions are also provided. CGs are first-class data structures, allowing easy reasoning about CGs. Ontologies are also supported. Prolog+CG...


Platforms: *nix

IMAGGS(NUM,DEN) Computation of Im[G(s)]=0 of a LTI system with transfer function defined by its NUM, DEN coefficients.Examples used are form "Computation of Stabilizing PI and PID Controllers" by Nusret Tan, Ibrahim Kaya and Dereck P. Atherton.Method is from "Fast calculation of stabilizing PID...


Platforms: Matlab

The function is based on the mathematical treatment of rotating rotors in "Principles of Helicopter Aerodynamics" by Dr. J.Gordon LeishmanThe numerical method does this by using Blade Element Momentum Theory (BEMT) to calculate the inflow along the length of the blade, then using that inflow and...


Platforms: Matlab