Solving Logic Problems

This is an educational software which includes tips and tricks to help you learn how to fix several windows computer problems. Platforms: Windows

Logic Builder for Windows Mobile SDK. State-engine. State-oriented C# programming for Windows Mobile 5 and 6. Includes GetStarted user manual and full-function examples for WM5WM6 - PocketPCSmartphone. Platforms: Windows

Awakener aims to provide a Java library for solving practical, real world optimisation problems by means of genetic algorithms (turnkey algorithms for >= 90% of industry problems). Awakener extends Sleepwalker with specific algorithms. Platforms: Windows, Mac, Linux

A graphical interface for solving exterior ballistics problems, based on the excellent GNU exterior ballistics library. This software generates valid 3-DOF solutions to small arms trajectories, including wind and atmospheric corrections. Platforms: Windows, Mac, BSD, Linux

LogiK is a board game of logic. Player has to place circle in a square game area respecting hints. Hints tell the number of circle to put in a line or column. Platforms: Windows, Mac, Linux

An applet that helps teachers or anyone else to perform tasks on logic expressions that would require quite a lot of human time to manage. This program includes conversions between infix, prefix and postfix notations, and displaying of syntax tree. Platforms: Windows, Mac, Linux

Search interface for the Mark Logic XQuery API function reference. Try it out at http://api.xqueryhacker.com, then download and run locally. Platforms: Windows, Mac, Linux

OAP Lite is Optimized Algorithms Platform Lite, which simplifies the process of solving some optimization problems by Genetic Algorithms. It is a highly configurable, efficient tool for user to get the optimum result without programming. Platforms: Windows, Mac, Linux

The Simple Interface for Global Optimization Algorithms allows the specification of arbitrary search/optimization problems, solving of these problems, and the specification and implementation of optimization algorithms like evolutionary algorithms. Platforms: Windows, Mac, Linux

The SuDoku Solving Assistent is a Java application meant as replacement of pencil and paper to solve SuDoku puzzles. It can automatically remove identified numbers from boxes in same block, row or column. A MIDlet for mobile phones is also available Platforms: Windows, Mac, Linux

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. Platforms: Windows, Mac, BSD, Linux

TyRuBa, a logic-programming language for Java, implemented in Java. TyRuBa was originally intended as language for writing logic-meta programs that generate Java code. It is however, just a normal logic language, with a few peculiarities. Platforms: Windows, Mac, Linux

This script implements data structures for solving the following two problems: - Range minimization: given an array X of data, quickly find min(X[i:j]) for different ranges i:j. - Least common ancestors: given a tree, quickly find the lowest tree node that is an ancestor of all of a given set... Platforms: Windows, Mac, *nix, Python, BSD Solaris

OOFEM is free finite element code with object oriented architecture for solving mechanical, transport and fluid mechanics problems that operates on various platforms.The aim of this project is to develop efficient and robust tool for FEM computations as well as to provide modular and extensible... Platforms: C and C plus plus

ilt=gavsteh(funname,t,L) funname The name of the function to be transformed. t The transform argument (usually a snapshot of time). ilt The value of the inverse transform L number of coefficient ---> depends on computer word length used (examples: L=8, 10, 12, 14, 16, so on..) Numerical Inverse... Platforms: Matlab

Evolutionary optimization methods, inspired from natural processes, have shown good performance in solving complex optimization problems. For example, genetic algorithms (inspired from biological evolution of human and other species), ant colony optimization (based on ants effort to find optimal... Platforms: Matlab

In this M-file, the implementation of ACO Algorithm is given with the support of reference papers listed. You can easily use it as following command to see the pictures of result and the playing iterative course.ACO('filename.tsp');filename.tsp is the problem file of the Symmetrical or... Platforms: Matlab

These files are obsolete. If you wish a more recent version download its from http://forja.rediris.es/frs/?group_id=644The methodology used for programing this utilities are described in the articles: * J.M. And?jar, A.J. Barrag?n, "A methodology to design stable nonlinear fuzzy control systems",... Platforms: Matlab

It is going on investigations of Heart VI1 simulator simulink,in case of Frequency Cardiac Controled, with unic monitoring scope and compiling problems:1)Problems 1:i think that syntax of simulink accept serial Block Connection2)Problem 2:i think that simulink syntax aceepts easily in feedback... Platforms: Matlab

The m-file imsl2c.m (IMSL to 'C') automates the process of writing the source code for C MEX files which, in turn, call routines in the IMSL numeric libraries. These libraries are included in the professional version of DEC's Digital Visual Fortran. The mat-file imsl.mat contains structures that... Platforms: Matlab