Calculus Ab Testbank

The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into satisfiability (SAT) problems. Features: - Comes...

A series of solved calculus exercises, with step-by-step shown.

The AB Extension Pack is a collection of extensions written for Avant Browser that provide added functionality to an already wonderful browser shell. The extensions available can all be used from the browser's right click context menu and where applicable, are also available from the favourites....


Platforms: Windows

AB-Euro is the Free Currency Calculator for your desktop. You may convert between all Euro-based and 28 foreign currencies. A quick pocket calculator is integrated. Just mimimize AB-Euro to a small icon in your task bar. So it's always available. The extravagant look makes AB-Euro an...


Platforms: Windows

This project will provide tools that leverage WS-CDL and Pi Calculus to build more robust Service Oriented Architectures (SOA). The tools are now released (and supported) through JBoss Tools (version > 3.2): http://www.jboss.org/tools


Platforms: Windows, Mac, Linux

Daily Ab Workout is a great 5 to 10 minute daily ab routine for men and women that steps you through ten of the best ab-sculpting exercises you can do in the comfort of your own home. These proven exercises, demonstrated by a certified personal trainer, target all major abdominal muscles....


Platforms: Mac

The Fuzzy Relational Calculus Toolbox is companion software to the book Fuzzy Relational Calculus - Theory, Applications and Software (with CD-ROM) by Ketty Peeva & Yordan Kyosev, ISBN 981-256-076-9, Advances in Fuzzy Systems Applications and Theory - Vol. 22, World Scientific Publishing...


Platforms: Matlab

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...


Platforms: Windows, Windows 8, Windows 7, Windows Server

qadsl is a small utility to login on the Telia AB ADSL service. It also works good with COMHEM Cable Internet and Tiscali Internet services. It should be pointed out, however, that Alive is not limited to only Orbyte-based login servers. It is quite generic, see the alive.conf file for helpful...


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

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

ABSystem Spy Client Removal Tool will neutralize and remove all AB System Spy Client entries running on a scanned system. It will also make sure that malicious processes are no longer running and that they won't return when you reboot your computer. Clean your computer now from the AB System Spy...


Platforms: Windows, Windows Vista, 7

ABSystem Spy Server Removal Tool will neutralize and remove all AB System Spy Server entries running on a scanned system. It will also make sure that malicious processes are no longer running and that they won't return when you reboot your computer. Clean your computer now from the AB System Spy...


Platforms: Windows, Windows Vista, 7

ABSystem Spy Removal Tool will neutralize and remove all AB System Spy entries running on a scanned system. It will also make sure that malicious processes are no longer running and that they won't return when you reboot your computer. Clean your computer now from the AB System Spy infection...


Platforms: Windows, Windows Vista, 7

A simple non-intrusive addressbook software written in pure Java, the archive is 70 kbytes. I use it during 5-7 years myself, and I am completely satisfied with it. All known bugs are fixed. Ab is inspired by REBOL sample rebodex.


Platforms: Windows, Mac, Linux

This package is created with the highly appreciated theoretical help and under the supervision of Prof. DSc. Ketty Peeva.Theoretical results and methods can be found in:1. B. De Baets, Analytical solution methods for fuzzy relational equations, in the series: Fundamentals of Fuzzy Sets, The...


Platforms: Matlab

FC-Compiler (tm) is a Calculus-level Compiler, helps Tweak parameters.. The FortranCalculus (FC) language is for math modeling, simulation, and optimization. FC is based on Automatic Differentiation that simplifies computer code to an absolute minimum; i.e., a mathematical model, constraints,...


Platforms: Windows, Windows 8, Windows 7, Windows Server

A scalable business system that can meet the demands from most small businesses. Start with free writing of invoices on a single computer and expand to a complete invoicing system run on a network. A very easy-to-use system that lets you concentrate on the actual business but still be in full...


Platforms: Windows

CurvFit (tm) is a curve fitting program for Windows. Lorentzian, Sine, Exponential and Power series are available models to match your data. A Lorentzian series is highly recommended for real data especially for multiple peaked and/or valleys data. CurvFit is another improved productivity...


Platforms: Windows, Windows 8, Windows 7, Windows Server