Search Results for "z/vm"
Sort By:
38 projects for "z/vm" with 2 filters applied:
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
2
...K3DSurf supports Parametric equations and Isosurfaces. ****** Welcome to the realm of complex numbers! Change-log for MathMod-11.1 (16/06/2021) 1) Support of graphing functions with complex numbers Z=u+iv in 3D and 4D spaces (demo scripts: "Complex3D_xx" and "Complex4D_Saddle") 2) Added support for HSV (hue, saturation, brightness) coloring model (script: "Complex_Domain_Coloring") 3) Texture definitions (RGB and HSV) for parametric surfaces can now be expressed as functions of complex numbers 4) Added a software implementation for the OpenGL variable gl_FrontFacing (fixed an issue with GPU drivers on MacOSX Catalina). ...
-
3
grafx - Extensible Java Graphics Package
Extensible Line-drawing & Polygon-filling Rasterization Libs for Java
Line-drawing and polygon-filling rasterization algorithms in Java. Simple 2D package and more complex 3D package with Z-buffering. Texture mapping not supported at the moment. Color interpolation for lines, Gouraud shading for polygons fully supported. Floating point vertex coordinates, not integer. Pixel-level aliasing, not endpoint aliasing. Doesn't use Bresenham line style! Works with all Java versions. No external dependencies. Suitable for study in academic institutions, especially as related to line-drawing accuracy. ... -
4
eLogSim
Digital circuit simulator
eLogSim is an event driven, 4-level (0,X,1,Z) digital circuit simulator. It uses a test oriented stimulus approach and offers a statistical (or exhaustive if it makes sense) fault simulation option. eLogSim has a simple GUI and is pre-compiled for Ubuntu 20, Mint 20, CentOS 8, openSUSE 15, FreeBSD 12, Solaris 11, Windows 10/11 & Raspbian/Raspberry PiOS Buster (32/64bit) & Ubuntu-MATE 20.04 (64 bit) operating systems. -
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
5
VStar
Multi-platform Variable Star Visualisation and Analysis
VStar is a multi-platform, easy-to-use variable star observation visualisation and analysis tool. Data can be read from a file or the AAVSO database, light curves and phase plots created, period analysis performed, and filters applied. Plugins can be developed, e.g. to make additional observation sources available. See also: 1. http://www.aavso.org/vstar-overview 2. http://www.aavso.org/forums/about-aavso/vstar 3. http://dbenn.wordpress.com/category/astronomy-science/vstar 4.... -
6
haikuVM
A Java VM for ARDUINO and other micros using the leJOS runtime.
HaikuVM has been started for hobbyists who develop applications for ARDUINO to open the world of JAVA and leJOS. Yes, you can program an ARDUINO with JAVA! HaikuVM is so small that it even runs on an atmega8 (and the ASURO robot). And yes, you can program an ASURO robot with JAVA! And since version 1.4.0 the RCX lego brick. -
7
OpenChrom is a tool for gas chromatography and mass spectrometry. The focus is to handle data files from different GC/MS and GC/FID systems and vendors. Its functionality and algorithms can be extended using a flexible plugin approach, based on Eclipse RCP.
-
8
Acoustic Research Tool (ART)
Acoustic Simulation Library for Frequency and Time Domain Simulations.
...So far bore discontinuities, branches, tone holes, cylindrical and conical tubes, Bessel horns and bent tubes are available for frequency domain modelling. In the time domain generic bidirectional propagation elements, scattering elements, fractional delays, convolution with reflection functions and general z-domain networks are available and can be described using MuParserX expressions. Cylindrical and conical ducts can also be defined based on their geometry. Available models and their parameters can be enumerated and combined to form simulators for complex acoustical structures. Parameters can be specified symbolically by expressions containing other parameter values or global variables. ... -
9
Analog Insydes is a Mathematica toolbox for symbolic analysis of analog electronic circuits. This project provides a set of free add-ons to Analog Insydes, including a Java front-end and a native netlister for Cadence's Analog Design Environment (ADE).
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
10
SPANDx
Comparative analysis of haploid next-generation genome sequence data
SPANDx is your one-stop tool for identifying SNP and indel variants in haploid genomes using NGS data. SPANDx performs alignment of raw NGS reads against your chosen reference genome or pan-genome, followed by accurate variant calling and annotation, and locus presence/absence determination. SPANDx produces SNP and indel matrices for downstream phylogenetic analyses. Annotated, genome-wide SNPs and indels can also be identified if specified, and are output in human readable format. A... -
11
erf
error function and related functions in pure standard Fortran 2008
Fortran 2008 added 3 new intrinsic functions: erf, erfc, erfc_scaled. However, they take only real arguments. This package provides a BSD licensed Fortran 2008 module with erf(z), where z is a complex argument. The calculation is based on calculating w(z), the Faddeyeva (plasma dispersion) function. Two algorithms are implemented: TOMS 680 and 916, http://www.netlib.org/toms/. The simple test program calculates values in the Abramowitz, Stegun. -
12
Py3DN
Morphometric analysis and visualization of the 3D structure of neurons
...Py3DN is described in the paper: Aguiar P et al, "Versatile morphometric analysis and visualization of the three-dimensional structure of neurons", Neuroinformatics, 2013, 11(4):393-403 doi: 10.1007/s12021-013-9188-z -
13
LGML
LGPL GML parser
...The aim is to parse a GML document or fragment in order to get a WKT output. 2D and 3D inputs are both handled, but it is not permitted to have mixed geometries. The caller can choose if the input coordinates are parsed as X, Y, Z (if present) order, or Y, X, Z (if present) order. The willing of the project is to be a starting point useful for developers that need to parse GML objects in order to use them, for example, in the context of OGC catalogue projects. The library is compiled using Java 1.5 or 1.6. For now, supported inputs are: LineString, MultiLineString, MultiPoint, MultiPolygon, Point, Polygon, MultiSurface (in an experimental way: the only child object handled is Polygon). ... -
14
CoDeCZ
Derive copy number status from targeted sequencing data
CoDeCZ derives copy number state from targeted sequencing data on gene or exon level. Results are NOT true copy number however, but they are semi-quantitative: It uses the modified z-score to calculate deviation in normalized coverage per specified region. The higher the Z-score, the higher the copy number. The final z-score depends on the quality of the data and the makeup of the reference pool. -
15
JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
-
16
gcr_convert
converts cosmic-ray files from GALPROP for viewing / plotting.
...The ouput cosmic-ray distribution is in the form of FITS files which however are not convenient for viewing or plotting with the standard ftools program fv, since the files have 4 or 5 dimensional arrays (due to the momentum and species axes) while fv handles only 3 dimensional arrays. This program converts to fv-compatible FITS files, either from 2D to (R,z) or from 3D to (x,z) at y=0 or (x,y) at z=0, in each case for a chosen cosmic-ray species. The third axis is momentum in each case. The distribution can be viewed with fv as a colour image, contoured, output to a file etc. The program is stand-alone and requires only the cfitsio library to be installed. Build instructions are in the program header. ... -
17
libcerf
Complex error functions, Dawson, Faddeeva, and Voigt function
A self-contained C library providing complex error functions, based on Faddeeva's plasma dispersion function w(z). Also provides Dawson's integral and Voigt's convolution of a Gaussian and a Lorentzian. -
18
fvm2
FVM2 - F Virtual Machine v2
FVM2 is VM for running machines like Markov algorithms, Turing machine and so on. FVM2 has debugger with step mode and breakpoints. Goal of this project is to help students with studying Theory of computation. FVM2 shows how complex code works within a real machine. Currently the only implemented machine is Markov algorithms. -
19
rfMaxima is an RF toolbox for the wxMaxima computer algebra system.
-
20
Java Decision Diagram Libraries (BDD)
Java Decision Diagrams (BDD) libraries: JDD and JBDD
This project has been moved to bitbucket.org: - https://bitbucket.org/vahidi/jbdd/wiki/Home - https://bitbucket.org/vahidi/jdd/wiki/Home It includes two libraries for working with decision diagrams: - JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy - JDD: a native Java library supporting BDD, Z-BDD -
21
A program for exploring complex functions, much like the now out-dated f(z). Domain colored plots of complex functions. Click evaluate. Uses reflection so you can code almost anything for your formula. All java. Please help.
-
22
Atomic Transformation Code is an EPL-licensed low-level model transformation language implemented upon the Eclipse EMF project. It is an intermediate layer created with the goal of executing any model transformation language, such as QVT, or RubyTL.
-
23
An Interactive Fiction Player written for Java Virtual Machine. It implements the Z-machine and Glulx specifications and can be used either standalone or as an applet. The Z-Code/Glulx interpreter runs adventures made by Infocom and contemporary Inte
-
24
This Python 3.1 tool manipulates the coordinate system of CNC GCODE for machining or engraving. It can Flip X, Y, or Z coordinates, mirror X, Y, or Z coordinates, flip or Mirror both XY coordinates, or insert Z motions into a GCODE file devoid of them.
-
25
The project is aiming to do two things: track the total transit time it takes a news story to travel from site A to site Z across the net and we'll be indexing the content of the article at each hop and tracking the morphing of the content as it goes
