Calculus Quotient Rule Derivative

ORE (Ontology Rule Editor) is a platform-independent application to manage the use of inference rules defined on a model represented by an ontology. ORE offers a easy, well-guided and intiutive GUI to define and test these inference rules.

Robot4 (tm) is a Robotic Arm Movement program where the arm is moved from a given position to a desired position. The program finds the angles necessary for the desired position. Problem came from NASA. Robot4 is an Inverse Problem example. It wants to solve how to move from starting point...

If you are a fan of model trains then you are about to find a game that will give you hours of fun and enjoyment. Rule the Rail 1.4 doesn`t only let you build model trains but also all the environment that goes with them (buildings, landscapes, railway lines, etc) and all with incredible...


Platforms: Windows

RSBAC (Rule Set Based Access Control) is a Free Software security extension for current Linux kernels. It is based on the Generalized Framework for Access Control (GFAC) by Abrams and LaPadula and provides a flexible system of access control based on several modules. All security relevant...


Platforms: *nix

Statistics::CalinskiHarabasz is a Perl extension to the cluster stopping rule proposed by Calinski and Harabasz (C&H). SYNOPSIS use Statistics::CalinskiHarabasz; &ch(InputFile, "agglo", 10); Input file is expected in the "dense" format - Sample Input file: 6 5 1 1 0 0 1 1 0 0 0 0 1 1...


Platforms: *nix

Statistics::Hartigan is a Perl extension for the stopping rule proposed by Hartigan J. Hartigan, J. (1975). Clustering Algorithms. John Wiley and Sons, New York, NY, US. SYNOPSIS use Statistics::Hartigan; &hartigan(InputFile, "agglo", 6, 10); Input file is expected in the "dense" format -...


Platforms: *nix

The NodeBrain program, nb, is an interpreter of a declarative rule-based language designed for construction of state and event monitoring applications. It is an event correlation engine that can interface with other monitoring components to make rule-based decisions. For the purpose of...


Platforms: *nix

Makepack project is a Makefile which together with a settings file and some simple rule files are able to download, compile and install software for your Slackware installation. As the installation is done using checkinstall a Slackware package is also created at the same time. The big...


Platforms: *nix

ruleCore provides a rule engine for event pattern detection. The ruleCore Engine is an event-driven rule engine that manages and executes reaction rules. The rules are event-condition-action (ECA) style of rules. The ruleCore Engine provides capabilities for detection of complex patterns of...


Platforms: *nix

Banjon is an open source rule based English to Bengali encoder and editor. The application is written in Java programming language using SWT (Standard Widget Toolkit) toolkit. Thus it is compatible with many different platforms and requires a Java Runtime Environment (JRE) installed on the target...


Platforms: *nix

MEPIS AntiX is a new, unofficial derivative of MEPIS Linux aimed at computers with as little as 128 MB or RAM. A development release, offering the choice of Fluxbox or IceWM as window managers..


Platforms: *nix

Yafig is a LAMP-based firewall rule generator. Yafig is a LAMP-based firewall rule generator that creates shell scriptsfor use with Linux netfilter/iptables..


Platforms: *nix

Nuhe is a rule based log monitoring system, which is capable of action when rules are matched againsts log(s) activity. Default Nuhe mode is to run on background (daemon), but it can also be used in foreground and log analyzer mode. Log analyzer mode just analyzes given logs and prints results to...


Platforms: *nix

Lambda project is a Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load), and list current definitions (list). Lambda...


Platforms: *nix

Quotient... Have you ever wondered what happens to the quotient of a division equation that goes off the screen of your calculator, such as 1/7? How long is it? Does it repeat?It does indeed repeat. It's what is known as a repeating decimal - a portion of the decimal repeats itself infinitely -...


Platforms: Mac

VX Search is an automated, rule-based file search solution capable of searching files by the file type, category, extension, file name, location, size, creation, modification and last access dates, user, file attributes, JPEG EXIF tags, etc. VX Search provides multiple types of file matching...


Platforms: Windows

CWC Simulator is a C++ implementation of CWC (Calculus of Wrapped Compartments). This package is basically a rewriting-based calculus for the representation and simulation of biological systems.


Platforms: Windows

Lambda Animator is designed as an accessible and handy application that can be used for demonstrating and experimenting with alternative reduction strategies in the lambda calculus. Eager languages reduce arguments before function application. Lazy languages reduce arguments, if needed, after...


Platforms: Windows

Effect Compiler is a rule file that allows you to compile Direct3D / HLSL effect files directly in Visual Studio. The default way is to compile all .fx files at runtime, but as files are getting bigger, compile time increases rapidly. However, in most cases it is not required to recompile the...


Platforms: Windows

It can also be configured to sort links according to a custom rule.InstallationUnpack and upload it to the /wp-content/plugins/ directory.Activate the plugin through the 'Plugins' menu in WordPress. Requirements: - WordPress 2.1 or higher


Platforms: Windows, Mac, *nix, PHP, BSD Solaris