Search Results for "embed"

Briefly said, PetriNetExec is an open-source Java library which allows you to embed Petri Nets into your Java application. Using PetriNetExec you can define places and transitions, connect them using arcs and inhibitors, define the initial marking and then fire events and see how tokens flow into the network. * PetriNetExec does not provide a GUI for editing the network nor will it provide in the near future.

Earth3D is a program to display the earth as a 3D globe (including heightfields) in real-time. One can zoom until cities become visible. It uses huge datasets that are loaded on demand over the internet. It is possible to embed dynamic data into the view

The Stats Jam project is an extension to Mediawiki that allows users to embed database queries and visualisations into their wiki pages.

PAVIAN - PArsing and VIsualization of Arithmetic Notations is a Java-applet, used to embed a visualization of a formula into websites. PAVIAN parses LaTeX, mathML-based or an intuitive notation on the client to display them.

JGV is a Java applet that lets you embed movable 3D objects in web pages. Users can rotate, scale, translate, select and annotate the objects interactively. Also, JGV supports XML-based transmission of user events to the source web server over HTTP.

The MDS is sponsored by the Applied Math dept at the U Colorado, Boulder. We have created a system for presenting a mathematical text online, letting users embed discussions (including math symbols!) directly in the text.