Search Results for "z-push"
Sort By:
Showing 19 open source projects for "z-push"
View related business solutions-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
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
Statistics101 - Resampling Statistics
Use simulation to perform statistical analyses.
Statistics101 is an Integrated Development Environment (IDE) that uses a simple, powerful language called “Resampling Stats” to develop Monte Carlo programs to analyze and solve statistical problems. The original Resampling Stats language and computer program were developed by Dr. Julian Simon (https://www.juliansimon.com/) and Peter Bruce (https://www.scientificamerican.com/author/peter-bruce/) as a new way to teach Statistics to social science students. Of course, social science students... -
4
Coordinates Converter
Coordinates Converter
...In 2D mode, it's possible to convert Cartesian to Polar (set the X and Y values) or vice versa, (set the r and theta values). In 3D mode, you can convert between Cartesian to Cylindrical-Spherical (set the X, Y and Z values), Spherical to Cartesian-Cylindrical (set the r, theta and pi values), or Cylindrical to Cartesian-Spherical (set the r, theta and h values). My blog: https://vegettadbz.blogspot.com/ -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
D_2D and D_3D are plotting programs with unique features, useful for data visualization and analysis. Input data should be provided as ASCII files formatted as x,y pairs or x,y,z triplets. Graphic output can be in DXF vector format, or raster image.
-
6
MandelbrotExplorer
A program to calculate and represent the Mandelbrot set
...The user disposes of a graphical interface to control the program and modify conveniently some parameters, like the XY-scales, the XY map area, the Julia seed for the complex series iteration of Z(n+1)=Z(n)^2+a, being Z(0)=(X0,Y0) the seed, and "a in XY" the points to be calculated. The user can enter (among other parameters) the desired convergence-radius R for the series, and/or the number of maximal iterations N for the generator-equation in Z. -
7
Accord.NET Framework
Scientific computing, machine learning and computer vision for .NET
The Accord.NET Framework provides machine learning, mathematics, statistics, computer vision, computer audition, and several scientific computing related methods and techniques to .NET. The project is compatible with the .NET Framework. NET Standard, .NET Core, and Mono. -
8
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. -
9
P.I.P. Equation Converter
Prefix/Infix/Postfix Equation Converter
...Equation Converter is a very simple Prefix/Infix/Postfix equation converter. It can detect and convert equation from one form to the other. Important: ++++++++++ * supported operands: A-Z, a-z, 0-9 (only single character each) * supported operators: '+', '-', '*', '/', '(', ')' * do not use brackets while inputting Prefix/Postfix Equation * do use brackets while inputting Infix Equation * this application cannot validate equation; it can only detect and convert -
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.
-
10
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. -
11
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 -
12
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.
-
13
Java package to study a clustering model described in the paper \"Novel Clustering Algorithm Based Upon Games on Evolving Network\" by Q. Li, Z. Chen, Y. He and J-P. Jiang (in arxiv: http://arxiv.org/pdf/0812.5064v1), generalizations and similar issues.
-
14
Many computational problems need arithmetic operations in polynomial finite rings over Z/nZ, where n is an integer (n>1). This library provides efficient operations for applications such as integer factorization and primality testing.
-
15
Push Down Automata Animator is a software program developed in C# to model the operation of deterministic and non-deterministic push down automata.
-
16
The project aims to provide the basic functions and algorithms needed for computations in polynomial rings over the ring of integers, including polynomial arithmetic and D-Groebner Bases. It might evolve in some kind of computer algebra system
-
17
GI-Gaia ist ein portables Framework zur Berechnung und Visualisierung verteilter Algorithmen (z. B. Bestimmung des größten gemeinsamen Teilers im Ring). Die konkreten Simulationen sind von den Basisdiensten getrennt und werden als Plugins nachgeladen.
-
18
A calculator that shows how it got its answer! It supports variables (X, Y, Z etc.) and many pre-defined constants such as Pi etc. It also has most if not all the functions of a Scientific calculator. It was coded in VB6 but was updated and is now VB.NE
-
19
PPAT, or Parallel Path following Algorithm using Triangles, is a reliable parallel tool to trace the level curves of any continuous, not necessarily smooth, function f(z): C → R.
- Previous
- You're on page 1
- Next
