Search Results for "logic"

This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.

Designed for data-logging applications (weather, hydroponics, greenhouses, aquariums, home automation, power consumpion, solar or wind generators etc.), this solution can be useful also in alarms and burglar. Now you can develop MySQL and web enabled Arduino applications only working on Arduino and PHP. To keep ligth the Arduino Sketch, you can port all not realtime logic to PHP side. At the end your application will works on XQ+Arduino UNO even 24/7 with only 20 Watt AC power, and can be controlled by smartphone via WiFi or from Internet using some free dynamic IP. What more? Enjoy. Sources in github https://github.com/msillano/USBphpTunnel Preconditions: MXQ + Palapa Web server, Arduino UNO Install: - Download USBphpTunnel11_d.apk and the full test_files dir - See file /test_files/readme.txt

The Secret of NIM is a software writen in PHP/MySQL and JavaScript. It shows a graphical representation of a logic scheme with wires connecting logic modules which have specific parameters. This software has been developped for NIM/TTL logic, thus his simplicity allows also the representation of other logic systems, numeric systems or analogic systems i.e. the pedal board of an electric guitar. The Secret of NIM is divided in two parts. The first one is the main part of the software. ...

PHP Business Rules is an open source application layer for PHP. The logic is defined in rules and facts. Like most Business Rule Engines (BRE) it uses the Rete algorithm.

The Unit Command Climate Assessment and Survey System (UCCASS) is a PHP survey script for creating dynamic surveys. Supports unlimited questions and answers, branching logic, bar graph results with filtering, CSV export, templates, time limits and more..

A set of MediaWiki extensions and other tools developed for the Twelf wiki (http://twelf.plparty.org) that enable a wiki to naturally incorporate logic Twelf in a number of meaningful and useful ways.