Search Results for "x-scan" - Page 4

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

GNAT is an open source, platform-independent MATLAB based toolbox. It is written in MATLAB and Java. It has been tested in Windows (Windows 7), Linux (Ubuntu), and Mac OS (X Lion) platforms. The original GNAT package (file GNAT.zip) provides functions for reading, writing, manipulation, visualization and simulation of glycan structures and glycosylation reaction networks (citation [1]). The second version of this software (GNATv2beta.zip) upgrades the original GNAT program with additional features that are geared towards incorporating glycan-structure experimental data into the simulation environment. ...

astroDevice is a software platform for the control of astronomical instruments (telescope mount, filter wheel, focuser and CCD) through a single interface. This platform manages any astronomical device through plug-ins. It can manage multiple devices of same type (eg two telescope mounts). astroDevice is an alternative to ASCOM and INDI by providing a common interface between each device type and astronomy software such as Starry Night, KStars, Skychart and Stellarium. The platform is based...

RouteConverter is another route conversion tool. It helps me and I hope it could help you.

...Distributed as an Update site for Eclipse 3.7 Indigo and Indigo-based package for several platforms. Supports search, autocompletion, launching scripts, interactive console, debug and integrated plotting on Octave versions 3.2.x, 3.4.x and 3.6.x. The current goal is to make it running out-of-box on multiple platforms. Currently only Linux and Windows are supported. Mac support is possible. The project needs a maintainer for Mac version, since I don't have Mac to build Octclipse and test it on this platform. Also, it is worth to support Eclipse 4.0 Juno with DLTK 4.

...It is particularly useful for users that generate ns-2 trace files with other tools such as VanetMobiSim or SUMO (Simulation of Urban Mobility). With ns-2 Trace Toolkit, users can debug their trace files by generating histograms for: (1) node speed, (2) node x-position, and (3) node y-position. These histograms can give hits about concentration of nodes. Additionally, the tool allows users to simulate the movement of the nodes, in different modes: step-by-step and continue motion. During the simulation, the information of each node (speed and position) is shown. Finally, basic manipulation of trace files are also available in the tool. ...

This program is capable of subscribing to an UDP multicast feed containing (live) radar data in Eurocontrol Asterix format. The received UDP frames are stored in a recording file. A new (raw) Asterix recording file can be created every x minutes. The previously recorded Asterix filename contains date and timestamp. This tool can be used to do continuous 24/7 Asterix multicast recordings.

Java API for controling 1394 Digital Cameras (based on libdc1394: http://sourceforge.net/projects/libdc1394/ for Linux, and on: CMU 1394 DC http://www-2.cs.cmu.edu/~iwan/1394/ for Win32). On Top of the library comes a RCP plugin and a JMF capture dev

Java & MPEG-7 based tools for annotation and retrieval of digital photos and images (Caliph & Emir). LIRE has moved to https://github.com/dermotte/lire. Caliph & Emir have moved to https://github.com/dermotte/CaliphEmir.

FroZenLight connects simple line art and mathematics. The source of light can be positioned so that either symmetric reflection patterns or secret messages (Cryptography) are created. Example light patterns and math exercises for education are provided.

Simured is a multicomputer network simulation whith visual interface to see packet movement on the network. It is multi platform and there are versions in Java and C++.

jCAE is a JAVA based environment for CAE applications. It provides meshing and visualization capabilities. It is targetted to run on a maximal number of platform.

A group of useful tools for working with 802.15.4 networks. Currently includes a sniffer that interfaces with Wireshark in Windows/Linux (and maybe Mac OS X too), allowing you to do 802.15.4, ZigBee, and 6LoWPAN Sniffing.

Java library for Monte Carlo simulation, stochastic processes, finance. Classes define the basic mathematical notions to ease transition from theory to application.

TuringIDE is an integrated development environment (IDE) for simulating Turing Machines with multiple tapes and states. It offers debugging tools, XML import/export, and other advanced features for scientific experiments on formal symbol allocations.

Plantlore is a botanical occurence database being written in Java. It also has a BIOCASE Provider software based web interface.

Plotting of mathematical functions, including math expression evaluation

DIFFR is a menu-driven graphical software whereby the problem of a plane wave diffraction on a rough surface can be solved using several numerical and approximate methods.

Lindenmayer ist ein Programm zur Visualisierung von L- bzw Lindenmayer-Systemen mittels hübscher Baumgrafiken. Die ausführbaren Dateien und Hinweise zum Quellcode finden Sie auf unserer Homepage unter http://lindenmayer.berlios.de/.

Small stand-alone Java utility to visualize and compute drive train translation ratios for derailleur geared bicycles. Features load/save of data, chainline quality visualization, and scale drawing of the drive train with measures.

OPALE is an Open Source project which development is done at two different levels: the OPALE library: which is a scientific library written in Java and which is composed of different modules (tools, swools, mathtools,...). Its purpose is to give

This project is about stochastic simulation methods and their applications to physical systems. We develop interactive books, which can be used by students to study physics using free resources. The books contain text and Java source code.

visualFSA is a small tool which lets you construct NFAs/DFAs [(non)deterministic finite automata]. It offers some common algorithms which can be applied to that automatons, like converting NFA -> DFA, word problem, accepted language etc.

The project purpose is to develop an application to store and analyze workout data. Workout data in terms of duration of a training session, average pulse during the session and so forth. The focus will be on endurance training.

This is a simple application to convert between temperatures for Linux, Mac OS X, and Windows.