Open Source Linux Computer Aided Instruction (CAI) Software

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.

Esta é a documentação de um projeto de conclusão de curso feito na conclusão do curso de Engenharia de Computação-UNIVALI.É um conjunto de arquivos C e Matlab contendo a implementação da Lógica Fuzzy e simulações em sistema de enegia.

Socialscape is a tool for modeling artificial societies. Multiple agents move on a grid and interact with each other. Agents create value only by interacting with other agents, unlike “Sugarscape”, where agents get goods from the land.

Convince Me is a Java application for generating and analyzing arguments. Convince Me uses a connectionist model, called ECHO, to provide feedback on the coherence of the arguments entered into the application.

Diglo is a Music Information Retrieval System based on Computer Vision and Audio Spectrum Analysis, using algorithmic operations to find emergent patterns in musical performance. Also it functions as a low-cost Motion Capture Analysis system.

Gabbie is an experimental natural language (plain english) command system, written in C++. The goal of Gabbie is to produce sensible responses to english input such as "Open the email draft I started yesterday." or "When is my meeting with Bill?".

GnuTutor is an open source re-imagining of the intelligent tutoring system AutoTutor (autotutor.org) developed at the Institute for Intelligent Systems at the University of Memphis. GnuTutor has a simple codebase to foster development of derivative ITS.

A program for school children to practice mental calculation. The output can be text or spoken using text to speech.

Open source animation of kmeans clustering in X Window System using the C++ libplotter library. Supports Linux, Mac, and BSD. Includes common initialization methods such as Forgy, Macqueen, random, and angular. Sample videos are available through the Files Tab above. The SVN repo is accessible thorugh the Code Tab above. Requires a C++ compiler, libplot-dev, and libncurses5-dev Mac alternative to libplot-dev: macports plotutils +x11

kabook audiobook mp3 player, text to speech block text editor. Bookmark & link to searchable associated text. Resume play where quit. For all audio learners, dyslectic, blind, and barrier free linux accessibility . Foot pedal transcription of dictation.

Kana no Shiai teaches Japanese characters (hiragana and katakana) with a variety of games by employing AI techniques which model the student's level of understanding and adjust the difficulty level accordingly. "Kana no Shiai" is Japanese for Kana Game.

OpenMAIA. Free Virtual Keyboard Engine for disabled people. An Open Source project totally written in C++ with support of wxWindows library.

A simulation environment for 2D robots to interact and perform tasks in. Meant to be educational and demonstrate emergent behaviors. No download necessary! See demos on project website!

Net.py is a tool for learning about neural nets. Currently, it only allows the user to experiment with a Hopfield net. I am now extending it to cover the Kohonen net. I'd be pleased to receive suggestions and criticism.

Pattern recognition software package. It includes several classification and clustering algorithms. It can read data from a set of images, an ASCII file or a JDBC connection. A small TCP data server with its corresponding JDBC driver is included.

OpenExpert. Dual use Web based and Easy to Use Expert System or Education System. If you do not have access to a server php and MySQL. I will host one for you for free. Provided you give us feedback and the content you post is Creative Commons. https://t.me/utpeorg or (765) 233-6246

An Evolution Simulator of Single Cells in a Pond. This shows a crosssection of water with sun shining from above. A single cell is dropped in and has various genes. The cells multipy and evolve. See Files above for download and screenshot.

A graphical, interactive, multimedia-rich text reader integrated with computer text-to-speech whose level of focus, complexity, and detail is adjustable according to the user's needs. Suitable for users with learning disabilities: i.e. dyslexia.

Simple Essay Analysis Mechanism (SEAM) is a utility for automatically evaluating essays and providing feedback to students.

SoFi (Solution Finder) is an extensible Java framework that facilitates rapid development of instructional applications to demonstrate common search and problem solving methods in the field of Artificial Intelligence.

Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.

Tank Battles is a 3D simulator for teaching robot artificial inteligence. It's heavilly influenced by Robocode, but differs from the former in that it adds the complexity of a full 3D scene, realistic physics simulation, among other features.

Vehikel is a learning environment for behavior based control of mobile robots. A little bit artificial intelligence based on a domain specific language for the c't Bot.

Venn diagrams are an interesting method for rendering triadic relations on a two dimensional drawing surface. Certain marks (or annotations) indicate the existence of variables or constants in the distinguishable regions.

Warwick Maze Courseware