Search Results for "software auth program" - Page 2
Sort By:
Showing 52 open source projects for "software auth program"
View related business solutions-
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.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
PhEq_bootstrap
FDA's f2 computation with bootstrap technique
...The algorithm provides possible “worst case scenario” of f2 values, thus supporting claim about pharmaceutical equivalence. The target users are researchers from industry and academia dealing with pharmaceutical equivalence problem. The software is Open Source. It was developed in Lazarus environment, therefore source code is available in ObjectPascal. -
2
pyL1min
General purpose norm-1 minimization solver in Python
...It is based on NumPy/SciPy, CVXOPT ( FFTW enabled) to solve l1 minimization problems that are based on interior point methods. You need to install Python, NumPy/SciPy and CVXOPT ( FFTW enabled) to use this software. The test.py program demonstrates a simple application in Compressive Sensing and shows how to use l1min module. You need to install matplotlib to plot diagrams. Note: pyL1min can handle complex as well as real vectors. -
3
ExactCalc
Software for exact computing based on interval arithmetic.
1/3 is not 0.33. Pi is not 3.14. Actually 1/3 is in interval [0.33, 0.34] and pi is in interval [3.14, 3.15]. During computation truncating error is accumulating. At end of computation it is needed to know real boundaries of result. The solution is given by interval arithmetic. Simply speaking, because 1/3 is in interval [0.33, 0.34] and 1/7 is in interval [0.14, 0.15], value 1/3 - 1/7 must be in [0.18, 0.2]. Computation can be arbitrary long and complex but interval arithmetic gives... -
4
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
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. -
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.
-
5
allink
Software for data analysis, image processing, simulations, solver.
Collection of utilities based on two basics classes: Matematica and VarData. Matematica) performs math operations on vectors and matrices for smoothing, interpolation, convolution, image processing... VarData) manipulate a structure of points connected by links. Addraw) openGL engine. ElPoly) analyze mechanical properties of polymer and membrane like structures. Addyn) perform molecular dynamics and Monte Carlo simulations and has a solver for 4th oder PDE. Avvis) perform all the... -
6
Linear Program Solver
Solve linear programming problems
Linear Program Solver (LiPS) is an optimization package oriented on solving linear, integer and goal programming problems. The main features of LiPS are: ● LiPS is based on the efficient implementation of the modified simplex method that solves large scale problems. ● LiPS provides not just an answer, but a detailed solution process as a sequence of simplex tables, so you can use it for studying/teaching linear programming. ● LiPS gives sensitivity analysis procedures, which allow us to... -
7
ŁX (Łukasiewicz eXperimental)
a reverse Polish notation multi-precision pocket calculator software
This project aims at an easy-to-use, cross-platform pocket calculator like software with reverse Polish notation (RPN) input, multi-precision arithmetics and support of several data types including macros. At the moment many features are rather rudimentary. Notably, it’s rather easy to freeze the program, say, by requesting a 1,000,000×1,000,000 identity matrix. Hey, I did call it ‘experimental’. -
8
QMC Logic Minimizer
combinational logic functions minimization
QMC Logic Minimizer is a versatile application for fast simplifying truth and reduce lines tables. This program offers a comfortable user interface for generating and minimizing of the combinational logic functions. It is unique for its possibility of minimizing several functions at the same time. This program is intended for practical digital devices constructors as well as formal scholars and academics. Features: - You can minimize up to 16 input variables and up to 16 output... -
9
The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
Compilation of Physics Calculators
A compliation of Physics derived claculators
A NEW GUI VERSION WILL BE RELEASED SOON! Thank you for visiting the Physics Calculator, provided by PIezoSystems Inc., please visit their company website at https://piezosystems.org. For other downloads, please visit our github page, https://github.com/PiezoSystems. We hope that you find this program useful and easy to use, for troubleshooting, please email us, contact@piezosystems.org. If any bugs were found, please email us at bugs@piezosystems.org. -
11
Galois sub-hierarchy builder
Visualize Galois sub-hierarchy of 2d matrix
..."Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and Alain Sigayret In you're in need of other GSH algorithms or their realizations in C++, you might want to investigate a project called Galicia on sourceforge. This program is free software and is licensed under GNU General Public License as published by the Free Software Foundation. Only jre7 compliant at the moment. -
12
This software is a computer program whose purpose is to fortran mathematics library and some solve linear equation in high performance computing. I create this software for for my last year of engineer school (Scientific Computing Option)
-
13
A simple program that solves linear equation systems. As of now only numerical coefficients are supported. The program is very simple and not suited for big matrices, since it uses laplace's method.
-
14
SimKernel controls parameter scans and iterations for any given C++ code / scientific simulation. Parameters, iteration ranges, settings and dependencies are specified in Mathematica syntax. Parallel processing of parameter scanning via MPI.
-
15
This program generates customizable hyper-surfaces (multi-dimensional input and output) and samples data from them to be used further as benchmark for response surface modeling tasks or optimization algorithms.
-
16
PlexBench is a cross-platform, web-enabled, analysis tool that is driven by a scalable backpropagation feed-forward neural network. It uses embedded Perl for scripting and is written in the style of an in-process Component Object Model (COM) C++ program.
-
17
PowerMath is a computer algebra system designed for all science. It has the ability, but not the limitation, to complete advanced or simple science and math problems. It runs from DOS but programmers are needed to program a GUI for the software.
-
18
This is a program for compute the dimension of the Hochschild homology k-vector spaces of a k-algebra A.
-
19
The simpliZia-program implements the simplex-algorithm and is designed to help students of Operations Research to understand and learn the algorithm. This is a german project, source and program are actually written in german.
-
20
Tiny Flash ActionScript Speed math program to train rapid multiplication and addition. Good for any age who wants to improve arithmetic and general maths skills. Quick mathematics is useful.
-
21
Lienzo is a gtk-Canvas and Lua program to work in geometry. Unlike others like Cinderella, Cabri, DrGeo, etc... this one focuses in algorithms, not in static figures. the lua interface allows to work with programable objects.
-
22
Edit equations right on the screen with your mouse, and never make a mistake. Guide the program through any complex algebraic manipulation, and let it handle the tedious details. Many other features!
-
23
Push Down Automata Animator is a software program developed in C# to model the operation of deterministic and non-deterministic push down automata.
-
24
Generates prime numbers. This program finds primes by checking to see if the modulus of the current number is equal to 0 for any previously found primes up unitl the square root of the number.
-
25
Multiprecision unsigned number template library (MUNTL). The program is intended for the organization of calculations with the big precision for unsigned numbers. Program is very fast because do not use any heap call (new, malloc etc.)
