Search Results for "z tools"

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.

...+. Scientists, researchers, and other professionals who implement calculus in their work may rely on more complex toolkits like MATLAB. Though these tools offer broader functionality, they are similarly if not more unintuitive than their handheld counterparts. Calcflow shatters this interfacial bottleneck by enabling users to interact directly with complex equations in physical space. Users can manipulate inputs and parameters and observe changes to 3D visualizations in realtime.

Reconstruction and Visualization from Multiple Sections (ReViMS), an open-source, user-friendly software for automatically estimating volume and several other features of 3D multicellular aggregates (i.e., cancer spheroid, zebrafish, fruit fly). ReViMS requires a z-stack of 2D binary masks, obtained by segmenting a sequence of fluorescent images acquired by scanning the aggregate along the z axis, using a confocal or a light-sheet fluorescent microscope. It provides a number of tools...

Collection of tools for Atari/GEM platform. You can find more information on the project page.