Teaching Proof Readers Marks

Emnu, new menu for KDE(proof of concept) is a proof of concept I finished at aKademy. It is a new menu idea. dnd any files to the startmenu. dnd any desktop files(shortcut) to the startmenu. drop quicklauncher and panel buttons. ..... This is a idea, some codes is toke from baghira...

This script provides a buffered stream that supports multiple forward-only readers. The buffer enables readers that are behind the front-runner to access values that have already been read from the stream. Values that are no longer accessible by any reader are cleared from the buffer.

The zip files contains SimulinkdlT« models that can be used for Teaching Signal Processing Concepts interactively. The models can be used for demonstrations or with modern teaching methods. The examples build on the ideas presented in the paper "Interactive models for teaching digital signal...


Platforms: Matlab

Examples used in the December 2010 webinar titled "Teaching Math and Physics with Symbolic Math Toolbox". View the recorded webinar here:http://www.mathworks.com/wbnr52810Topics include:* Using symbolic computation for common tasks such as solving, simplifying, and plotting equations, and...


Platforms: Matlab

TDFS stands for "Trivially distributed file system", and is a proof-of-concept implementation of distributed file system as a ("stacked") layer above normal file systems. It uses the FUSE libraries and subsystem to implement this operation in userland. NOTE:This is currently a proof-of-concept...


Platforms: *nix

The Proof of Concept Jumpstart Kit provides resources to deploy a desktop PoC with Windows 7, Office 2010, Internet Explorer 8, and Application Virtualization with Microsoft Desktop Optimization Pack technology. This self-contained, self-service kit will help you complete a Proof-of -Concept...


Platforms: Windows

Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.


Platforms: Windows, Mac, BSD, Linux

Reimplementation of the proof command from the Humdrum toolkit in Java


Platforms: Windows, Mac, Linux

Web Teaching is a complete package that enables the user to implement a web portal that allows the professor-student interaction. A great variety of functions are provided to the professor and students.


Platforms: Windows, Mac, Linux

Using 7 editable user defined properties, Super Marks Bearer Bar Set 1 draws Bearer Bars, film Registration Marks, and flexo Microdots precisely based on a single selected object or a group of objects in Illustrator CS (If more than one object is in the selection it must be grouped.) What's new...


Platforms: Mac

A pull-quote is a quotation or excerpt from an article that is typically placed in a larger or distinctive typeface on the same page, serving to entice readers into an article or to highlight a key topic.Without the module, authors would need to duplicate the text excerpt.FunctionalityThis module...


Platforms: PHP

Just BASIC is an ideal personal Windows programming tool and tutorial. Great for light programming and teaching or learning programming. Create your own utilities, games, business apps and more. Includes a syntax coloring editor, a debugger, and a customizable GUI editor. Large online...


Platforms: Windows

Learn Words project is a tool for teaching words in foreign languages. Once words and their meanings have been entered, the computer quizzes you and shows how many errors you made..


Platforms: *nix

When you delete a file normally, the operating system doesn`t physically delete it, but "hides" it. Then it marks its sector as unoccupied for if it might be necessary to write another file over it. Until that happens, that data continues to be physically stored on disc, with the danger that...


Platforms: Windows

ssh-smart is a really small software (a proof-of-concept) to put private identity from ssh on smartcard (memory card)). For the moment, we use the smartcard (from René Puls) program used to establish communication with the reader and the memory card. It has only been tested with the Towitoko...


Platforms: *nix

ELM is one of the most common mail readers for unix. Whats New in This Release: - fixed a hang when hitting certain 8-bit chars in the From line - fixed a file descriptor leak (from Andreas Luik) - removed all Expires: processing.


Platforms: *nix

R2cl compiler is a minimal, proof of concept translator from the R or S language into Common Lisp. An increase in speed of over 1000 times can then be achieved using the free CMU Common Lisp native code compiler on the resulting code, making it comparable to FORTRAN, Ada or C. Installation:...


Platforms: *nix

JRainWords project is a utility which aids in teaching children how to use a computer keyboard. JRainWords is a small educational tool I have developed for my nephews. JRainWords is a Java program useful in teaching children how to use a computer keyboard. It works with Linux, Windows and...


Platforms: *nix

markNewestVersion offers a KISS extension which marks the latest file version in a webpages file list. This KISS extension marks the latest file version in a webpages file list. It is especially usefull if you download files frequently from ftp or http index files thet happen to be not...


Platforms: *nix

Kannasaver is a screen saver for KDE 4, intended for teaching the user Japanese characters (hiragana and katakana; no kanji) in a flashcard style.


Platforms: *nix