Search Results for "mchange-commons-java" - Page 7
Sort By:
Showing 720 open source projects for "mchange-commons-java"
View related business solutions-
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.
-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
1
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. -
2
coalescent
Software tool for Research in Computational Population Genetics
Development of exact and approximate methods (Importance Sampling and MCMC based) for computing likelihoods under the standard population genetic models of mutation,migration & recombination. Project issues are mainatined at https://freecode4susant.atlassian.net/browse/COALESCENT -
3
kFunction
Komplexe Funktionen Plotter
Dies ist kFunction, der Plotter für komplexe Funktionen, der im Zuge meiner Fachbereichsarbeit entstanden ist. Zum Download stehen alle Source-Files, sowie eine .exe und eine .jar Datei zur Verfügung. Java Version 1.7.0 wird benötigt. -
4
HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.
-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
5
JCycles
[frozen] A library for computing cycles in graphs or in Java code.
...It uses Tarjan's algorithm for SCCs, and Johnson's for cycles, with continuations instead of recursion, which allows to handle large graphs (< Integer.MAX_VALUE vertices). Requires Java 5 or later. -
6
EMsieve
A simple sieve/prefactor program for Eisenstein-Mersenne Primes
A simple sieve/prefactor program for the so-called Eisenstein-Mersenne Primes: 3^p +- 3^((p + 1)/2) + 1. See http://oeis.org/A125738, A125739 and [1] for a good introduction. Some easily established properties are: p must be prime; sign is minus for p=+-1 (mod 12), plus otherwise; composites only have factors of form 6kp+1 (integer k). Related probable primes (3^p -+ 3^((p + 1)/2) + 1)/7 are sieved at the same time. See http://oeis.org/A125743, A125744. After sieving, the... -
7
expressionCalc
Cross platform Mathematical expression solver
expressionCalc is a Mathematical expression solver. It has a Java implementation (for cross platform) and a C# implementation (for Windows). Support most of the Mathematical functions including log, sin, a sin etc. Implemented based on the expression solving technique of BODMAS. -
8
A math application written in Java. Its features include 2D and 3D graph plotting, scripting, user-defined variables and functions and skinnable GUI. This project is not maintained at the moment.
-
9
TOPS_CeMM
User Friendly Data Analysis Tool for Interaction Data
TOPS provides the benchtop scientist with a free toolset to analyze, filter and visualize data from functional genomic gene-gene and gene-drug interaction screens with a flexible interface to accommodate various different technologies and analysis algorithms in addition to those already provided here. -
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.
-
10
ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
-
11
Statcato is a Java software application for elementary statistics. Its features include data and graph generation, probability distributions, descriptive statistics, confidence intervals, hypothesis tests, correlation, regression, and analysis of var
-
12
DSOL
DSOL: A Distributed Simulation Object Library implemented in Java
DSOL is a full featured multi-formalism, distributed simulation environment developed at Delft University of Technology (The Netherlands). DSOL has support for discrete event and for continuous modeling. Formalisms supported are event scheduling, DEVS, flow-based simulation, and continuous modeling through sets of differential equations. The first release was introduced at IEEE's Winter Simulation Conference in 2002. Since then, numerous papers and PhD dissertations have been developed, with... -
13
Data Matrix
Java Api to manipulate simple on data of Matrix Type
Java Api to manipulate simple on data of Matrix Type. There is lot of usefull methods like resize, insert , remove, sort and lot of other methods. Usefull methods to manipulate with diagonals. For example you can create block diagonal matrix. There is lot of usefull methods to manipulate on mathematic matrix also, like determinant , norm , minor , cofactor , solveLienarSystem , arithmetic operations also and lot more. -
14
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. -
15
JSci - A science API for Java
A science API for Java
JSci is a set of open source Java packages. The aim is to encapsulate scientific methods/principles in the most natural way possible. As such they should greatly aid the development of scientific based software. -
16
algebrain
Math Parser for Java
Moved to GitHub https://github.com/fedups Algebraic equation processing at run time for Java programs. Supports variables, functions with parameters, rate table lookups, an embedded "if" function... Infinitely extensible, very small footprint. -
17
Interdependent Java frameworks: AMath (abstract numbers support); AFuzzy (fuzzy numbers and methods); AMathSys (flexible solvers of linear and nonlinear algebraic and differential equations); ADSM (multi-criteria ranking and grading of alternatives).
-
18
Easy Equations
Hand Written Equation Creator
Easy Equations is a utility using which one can write the mathematical equations. The focus of this utility is to provide user friendly access to write mathematical equations which is helpful for students, lecturers, mathematicians and Research persons who prefer using mathematical equations in a document, PowerPoint or web sites. Works on Windows as well as Linux platforms. Software Requirements: JDK 7 or higher. Linux Platform with kernel version 2.7 or higher.(for Linux users).python... -
19
StochDecomp
User Manual describing theory behind the package, installation instruc
Stochasticity is an indispensable aspect of biochemical processes at the cellular level. Studies on how the noise enters and propagates in biochemical systems provided us with nontrivial insights into the origins of stochasticity, in total however they constitute a patchwork of different theoretical analyses. Here we present a flexible and generally applicable noise decomposition tool, that allows us to calculate contributions of individual reactions to the total variability of a system’s... -
20
LQFB-analyser
A lqfb delegation analyser. A 3d directed weighted multi graph.
A rich client to analyse data from a liquid-feedback (http://liquidfeedback.org/) instance, for now it's a 3d graph explorer to inspect the delegations. It's an application based on the eclipse platform (indigo). To be precise its a directed weighted multi graph browser in 3d. Find out more in the wiki https://sourceforge.net/p/lqfbanalyser/wiki/Home/ . Generated reports https://sourceforge.net/p/lqfbanalyser/wiki/generated%20lqfb%20reports/ . -
21
KochCurve
This small library implements a data structure for Koch curves.
This small library implements the Koch curve, snowflake and anti-snowflake like a Shape to be used like any other Java shape. You can test the library by compiling the test applet in Files. -
22
HYDRA is an open-source, platform-neutral library for performing Markov Chain Monte Carlo. It implements the logic of standard MCMC samplers within a framework designed to be easy to use and to extend while allowing integration with other software to
-
23
DeDAY
MLE survival analysis: Gompertz, Weibull, Logistic and mixed morality.
DeDAY (Demography Data Analyses) is a tool of analyzing demography data. It supports Gompertz, Weibull and Logistic distributions. DeDay also supports mixed mortality models based on these distribution such as the Gompertz-Makeham distribution. Distributions such as Gompertz describes only age-dependent mortality, which increases over time. Mixed mortality models, such as in Gompertz-Makeham distribution, consider a more general case where mortality is consist of both age-dependent and... -
24
The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.
-
25
