Search Results for "support system java"
Sort By:
Showing 155 open source projects for "support system java"
View related business solutions-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
1
Java multiprecision calculator
Multiprecision calculator
Multipresicion calculator, based on Bigdecimal Java class . It has a library (BigMath) that makes calculations with Bigdecimal. It has also an expression parser to parse the user input. It allows you to store user defined variables and functions . You can operate with them to be used for calculations or for creating new functions with composition. With the new version, you can also calculate the derivative of a function. JDK-17 compatibility You can find more about it at this web... -
2
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
3
Advanced Trigonometry Calculator
Open-source C/C++ math engine for advanced scientific computing
Advanced Trigonometry Calculator (ATC) is an open-source mathematical computing engine written mainly in C/C++. Created in 2011 and maintained by Renato Alexandre dos Santos Freitas, ATC is designed as a practical Windows desktop application for advanced calculations, automation, and technical problem solving. ATC supports equation solving, polynomial tools, complex numbers, matrix calculations, statistics, physics, geometry, unit conversions, DSP/FFT operations, and scripting. It can... -
4
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 -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
UnBBayes
Framework & GUI for Bayes Nets and other probabilistic models.
UnBBayes is a probabilistic network framework written in Java. It has both a GUI and an API with inference, sampling, learning and evaluation. It supports Bayesian networks, influence diagrams, MSBN, OOBN, HBN, MEBN/PR-OWL, PRM, structure, parameter and incremental learning. Please, visit our wiki (https://sourceforge.net/p/unbbayes/wiki/Home/) for more information. Check out the license section (https://sourceforge.net/p/unbbayes/wiki/License/) for our licensing policy. -
6
java symbolic computing library and math editor, with : polynomial system solving, vectors & matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification, MathML output, java code generation, geometric algebra
-
7
SourceForge-Project-Tracker-Lite
App that allows you to track progress of your sourceforge project.
App that allows you to track progress of your sourceforge project on mobile. Shows stats in real time. -
8
ADaMSoft
Open Source and data mining software
ADaMSoft is a free and Open Source Data Mining software developed in Java. It contains data management methods and it can create ready to use reports. It can read data from several sources and it can write the results in different formats. -
9
This project will be a project that will be used by Speleologist (cavers) to help aid in the mapping of the underground world. It will be simple at first.. only allowing the entry of survey (dist/azmith/V-angle) and give back a line plot..
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
10
LTI-Lib is an object oriented computer vision library written in C++ for Windows/MS-VC++ and Linux/gcc. It provides lots of functionality to solve mathematical problems, many image processing algorithms, some classification tools and much more...
-
11
Combinatorial Game Suite
A computer algebra system for research in combinatorial game theory.
STARTING WITH VERSION 2.0, CGSUITE HAS MOVED TO GITHUB. The latest version can be found at the CGSuite homepage: https://www.cgsuite.org/ This page is preserved for archival purposes only and is no longer being maintained. -
12
Javaluator
A java infix evaluator based on "Shunting Yard" algorithm.
Evaluate an arithmetic expression is as simple as: Double result = new DoubleEvaluator().evaluate("(e^3-1)*sin(pi/4)*ln(pi^2)"). But Javaluator provides you with much more ... Key features: - Functions support, including variable argument count. - Constants support: e, pi, etc ... - Variables support: Example sin(x) for x = pi/4. - Highly configurable: Reduce the built-in operator or function sets, define your own brackets. - Extensible: Define your own grammar, or extends the... -
13
FunctionalCalculator
A functional maths program calculating with functions
FunctionalCalculator is a Mathematical program, which calculates with functions and which is designed to be functional in the sense of convenience and usability. It has a desktop and a mobile edition. FunctionalCalculator has 75 User-Functions and logical / comparison operators (70 in the case of the mobile edition). The User-Functions can have arguments given by matrices, infinitely differentiable functions, complex numbers or arbitrary precision integers. Among the User-Functions you... -
14
-
15
STEMCalc IV - Mathematics Swiss Knife
The Fourth Edition of STEMCalc and the biggest one yet!
+++DISCLAIMER+++ The project is still currently in beta, thus have bare functionality, and possible bugs. Anyone who can spare time and lend a helping hand as a beta-tester is very appreciated. Contact the author for more information. +++INTRO+++ STEMCalc IV is a simple, yet powerful, console-programmed calulator written in Java, performing one calculation with two numbers max at a time and other various functions. +++STORY+++ This is the fourth edition of the previously abandoned... -
16
Numerics for Chemical Engineering
Numerical models for chemical and process engineering
NCE Calculation Framework is a library of routines, models and data applicable to chemical and process engineering calculations, written in Java. -- NEW -- www.chesolver.com *ONLINE CALCULATORS*. A set of solvers to perform calculations consistently on any device, from smart-phone to desktop. The project includes the following ready to use software all based on the same core library: * Online Calculators at www.chesolver.com * Extensions for Libreoffice/Openoffice Calc... -
17
spectralHMM
A spectral method for inferring selection from time series data
***WARNING*** This software was migrated to: https://github.com/popgenmethods/spectralHMM Support and updates will only be available at this new address. This software implements the algorithms described in the following paper: Steinrücken, M., Bhaskar, A. and Song, Y.S. A novel spectral method for inferring general diploid selection from time series genetic data. Annals of Applied Statistics, Vol. 8, No. 4 (2014) 2203-2222 -
18
Pyramid Calc
Simple calculator
Simple and fast in use scientific calculator. More details in README. It's not that long. -
19
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
...As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. If you are more familiar with MATLAB language, we suggest you to try VeriSiMPL version 1.4 which is fully based on MATLAB. -
20
VBS for Research on the Internet
Welcome to the Volunteer-Based System for Research on the Internet!
Welcome to the Volunteer-Based System for Research on the Internet! This system is designed to provide detail data about applications used in the Internet. This information can be used for: - obtaining the knowledge which applications are most frequently used in the network - providing the users some basic statistics about their Internet connection usage (for example for which kinds of applications their connection is used the most) - creating scientific profiles of traffic generated... -
21
Flamethyst is a flame fractal renderer written in java. It generalizes the classical algorithm in several ways, and support most features of Apophysis .flame files.
-
22
Econball
Equation of stock trading simplified to game of moving resizing balls
The econ theory is the value of buy and sell are usually equal, at whatever free market price at the time, so if we trade between 2 things, holding the total of those 2 equal eachother, then you can buy without anyone selling, or sell without anyone buying. Just change from one equal valued type to the other, and the total of all the A's and all the B's are scaled instantly to be the same amounts. Those who change to the majority side lose, and those who change to the minority side win,... -
23
yacas
Computer calculations made easy
NOTE: Yacas and yagy development has moved to github. The new repositories are located at https://github.com/grzegorzmazur/yacas and https://github.com/grzegorzmazur/yagy . The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. Yacas is an easy to use, general purpose computer algebra system. It uses its own programming language designed for symbolic as well as... -
24
...This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine provides fast and accurate solutions for linear, nonlinear, continuous time, discrete time, time varying and hybrid system designs. With JMCAD, users can quickly develop software or "virtual" prototypes of systems or processes to demonstrate their behavior prior to building physical prototypes. The user builds his system model by selecting predefined blocks from a block library and simply wiring the blocks together. ...
-
25
xorlisp
Bit level lambda continuations and nothing else - Queue automata
Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a...
