Famous Explorers Prove Theory

OverLook is a branch of the famous e-mail client SquirrelMail, transformed for being an usable application also by a less expert user, accustomed using other tools for the management of his mail. OverLook Webmail has not been only changed the skin, but the usability of the entire interface,... Platforms: *nix

MRTG::Parse is a Perl extension for parsing and utilizing the logfiles generated by the famous MRTG Tool. SYNOPSIS use strict; use MRTG::Parse; my $mrtg_logfile = "/var/www/htdocs/mrtg/eth0.log"; my $period = "day"; my $desired_unit = "GB"; my ($traffic_incoming, $traffic_outgoing,... Platforms: *nix

ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been... Platforms: *nix

Statistics::SDT Perl package contains signal detection theory measures of sensitivity and response-bias. SYNOPSIS use Statistics::SDT; $sdt = Statistics::SDT->new( { hits => 50, signal_trials => 50, false_alarms => 17, noise_trials => 25, correct => 2, } ); $d =... Platforms: *nix

religious screensaver with quotes from famous people. Platforms: Windows

PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...), but also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power... Platforms: Windows

Provide a computer environment which will facilitate finding patterns and relationships between chords, scales, intervals, keys in an automated manner. In it's current form it may be used as a music theory educational tool for guitar and piano. Platforms: Windows, Mac, Linux

? In collaboration with Camrider: one of the country's Finest Rider Training Companies! ? FREE Lite Version of Motorcycle Theory Test (UK) uses the Latest Official DSA highway code revision question data bank in an intuitive, powerful way and i Platforms: Mac

This script computes the strategy oddments for two-player zero-sum games of perfect information. It uses a robust, iterative approximation that can handle dominance, non-square payoff matrices, and games without a saddle-point. Platforms: Windows, Mac, *nix, Python, BSD Solaris

Gambit is a library of game theory software and tools for the construction and analysis of finite extensive and strategic games. Gambit provides: - A graphical user interface, based upon the wxWidgets library, providing a common interface with native look-and-feel across platforms. - A Python... Platforms: Windows, Mac, *nix, Python, BSD Solaris

TableEditoR is a famous remote database administration tool written in pure ASP. You may browse your tables and queries, add, edit and delete records, execute sql statements and more.Why pay for other database administration packages when you can use TableEditoR for free. Although it's still a... Platforms: ASP.NET

Space time coding takes profit of the channel diversity to improve the reliability of a communication system. This file contains some of the most famous space time block codes.References:[1] S.M Alamouti " A simple transmitter diversity scheme for wireless communications" IEEE J.Select Areas... Platforms: Matlab

According to shannon theory it is possible to reconstruct a band limited signal from its Fourier components provided it is sampled sufficiently...just to demonstrate this, posting a small example based on that Platforms: Matlab

The function is based on the mathematical treatment of rotating rotors in "Principles of Helicopter Aerodynamics" by Dr. J.Gordon LeishmanThe numerical method does this by using Blade Element Momentum Theory (BEMT) to calculate the inflow along the length of the blade, then using that inflow and... Platforms: Matlab

This is a set of functions written to teach the stream programming base theory. I think that this can be useful to the programmers that don't know what the stream programing is and manage signals or (infinite) sequences of entities. Platforms: Matlab

Written for undergraduate and graduate-level courses in control theory, this introductory text provides comprehensive coverage of classical and state-space approaches to control system design. Platforms: Matlab

This book focuses on the theory, implementation, and applications of subspace identification algorithms for linear time-invariant finite-dimensional dynamical systems.For a full book description and ordering information, please refer to http://www.mathworks.com/support/books/book1458.jsp. Platforms: Matlab

MATLAB routines for the following Adaptive Resonance Theory Algorithms: Art1, Artmap, Fuzzy Art, Fuzzy Artmap. These routines are described and their usage explained in Appendix A of the book "Adaptive Resonance Theory Microchips", Kluwer Academic Publishers, ISBN 0-7923-8231-5. Chapter 1 of the... Platforms: Matlab

Written in Chinese, this book presents the theory of control systems with the aid of MATLAB.For a full book description and ordering information, please refer to http://www.mathworks.com/support/books/book1743.jsp. Platforms: Matlab

This book represents a modern and thorough treatment of classical control theory and application concepts.For a full book description and ordering information, please refer to http://www.mathworks.com/support/books/book1292.jsp. Platforms: Matlab