Uses Of Automata Theory Machines

HoudahGPS allows you to transfer track log and waypoint data from your Garmin, Magellan or Wintec GPS devices. It connects via USB to the Garmin and Magellan devices. It interfaces with the Wintec WBT-100, WBT-101 and WBT-201 devices using Bluetooth. HoudahGPS may also be used to convert between... Platforms: Mac

Allows you to transfer track log and waypoint data from your Garmin, Magellan or Wintec GPS devices. It connects via USB to the Garmin and Magellan devices. It interfaces with the Wintec WBT-100, WBT-101 and WBT-201 devices using Bluetooth. HoudahGPS may also be used to convert between the GPX,... Platforms: Mac

The Goverlan Remote Control product has been adopted by large organizations throughout the world as their enterprise wide remote control solution. This is because Goverlan Remote Control has been designed to be implemented effortlessly and securely in the enterprise. Automatic agent deployment /... Platforms: Windows, 2K, XP, 2003, Windows Vista, 7

The most popular logfile analyser in the world Analog is a program to measure the usage on your web server. It tells you which pages are most popular, which countries people are visiting from, which sites they tried to follow broken links from, and all sorts of other useful information.... Platforms: Windows

The most popular logfile analyser in the world Analog is a program to measure the usage on your web server. It tells you which pages are most popular, which countries people are visiting from, which sites they tried to follow broken links from, and all sorts of other useful information.... Platforms: Mac

JSBSim Python Bindings was specially designed as an accessible and Open-Source package that provides Python language bindings to the C++ flight simulation model JSBSim. Using JSBSim through the Python bindings will be a little bit slower than using the native C++ API, but Python allows a more... Platforms: Windows

Virtual machine sprawl is a critical issue that most organizations usually face after virtualizing their environments. Users tend to create a lot of virtual machines for temporary purposes, use them for a small period of time and then leave on the server, consuming power, disk space, and other... Platforms: Windows

AutoScan-Network is an application designed to explore and to manage your network. Entire subnets can be scanned simultaneously without human intervention. The objective of the program is to post the list of all equipment connected to the network. A list of ports preset is scanned for each... Platforms: Windows

Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement... Platforms: Windows, Mac, *nix, Java, BSD Solaris

TweakPNG is a low-level utility for examining and modifying PNG image files. It runs on Windows 95 or higher (98, ME, 2000, XP, etc.). In order to use it, you will need to be at least somewhat familiar with the internal format of PNG files.TweakPNG is an interactive PNG file editor utility that... Platforms: Windows, C/C++,

PluggedOut CMS is a flexible and powerful content management system for PHP/MySQL based systems, tried, tested and trusted in enterprise level systems. It provides rich multi user management of big websites through an extensive admin interface.- FlexibilityCMS has been designed from the ground... Platforms: Windows, Mac, *nix, PHP, BSD Solaris

SVMs are a bit tricky. In this case, we show a linear SVM and illustrate its behaviour on some 2D data. This should be great for getting to grips with maximising geometric margins, support vectors, and the optimisation involved in computing an optimal separating hyperplane.Data can be generated... Platforms: Matlab

Quaternion Library for SimulinkVersion 1.7 (JASP) 12-Dec-2009This is a library of blocks that allows manipulation of quaternions.The available blocks are: Quaternion Normalize Quaternion Conjugate Quaternion Multiply Quaternion Propagation Quaternion Vector Transform Quaternion Vector Rotation... Platforms: Matlab

CapSim is an open-source planar physics simulator designed for academic purposes.The main features are:* Simple yet full featured, %100 Matalab code for readability and modifiability, perfect for research.* Planar capsules (a capsule is a segment with a radius) can be connected in arbitrary... Platforms: Matlab

moonpos calculates the moon position using the method in the bookAstronomical Algorithms by Jean Meeus, Chapter 45, pp 307 - 313. Thealgorithm used is accurate to about 10 arcsec in longitude and 4 arcsecin latitude according to the book, although the time range is notmentioned. The periodic... Platforms: Matlab

PluggedOut CMS is a flexible and powerful content management system for PHP/MySQL based systems, tried, tested and trusted in enterprise level systems.It provides rich multi user management of big websites through an extensive admin interface.- FlexibilityCMS has been designed from the ground up... Platforms: PHP

Fox filter is meant to filter redundant MySQL database query results that be returned when querying three tables that establish many-to-many relationships.The class' function named out_put returns an associative a two dimenstional array of records. It may either return a list of the filtered... Platforms: PHP

After a few weeks of writing posts on WordPress, I was getting very irritated when all the HTML entities I added to my examples kept being converted into characters -- e.g. HTML entities like > < & etc. while in "Visual" mode and they will stay put, even after you save your post. 2. Allows... Platforms: PHP

Highslide JS is a brilliant thumbnail viewer written in javascript. WP-Highslide is a wordpress plugin that allows you to easily use Highslide by automatically inserting the necessary javascript into your posts or pages. The plugin makes uses of a wordpress quicktag to make the insertion process... Platforms: PHP

url shortening is a technique on the World Wide Web in which a Uniform Resource Locator (URL) may be made substantially shorter in length and still direct to the required page. This is achieved by using an HTTP Redirect on a domain name that is short, which links to the web page that has a long... Platforms: Windows, Mac, *nix, DOS, Other,Pocket PC,Android,BlackBerry,iPhone,iPod,iTouch,Palm,Palm OS 6.0,Not Applicable,Handheld/Mobile Other,Java,AS/400