Search Results for "max"

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.

...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 student project STEMCalcR. The project has never seen the light of day due to various bugs and lack of usability, even after attempts at reviving the project in the forms of STEMCalcR2 and R3Boot editions. Determined, not giving up, me, one of the original co-authors of STEMCalcR, has brought to you STEMCalc IV, the swiss knife of mathematics. ...

popt4jlib is an open-source parallel optimization library for the Java programming language supporting both shared memory and distributed message passing models. Implements a number of meta-heuristic algorithms for Non-Linear Programming, including Genetic Algorithms, Differential Evolution, Evolutionary Algorithms, Simulated Annealing, Particle Swarm Optimization, Firefly Algorithm, Monte-Carlo Search, Local Search algorithms, Gradient-Descent-based algorithms, as well as some well-known...

This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL).

jAgg is a Java 5.0 API that supports “group by” operations on Lists of Java objects: aggregate operations such as count, sum, max, min, avg, and many more. It supports Super Aggregation: Rollups, Cube, and Grouping Sets. It supports analytic operations such as lag/lead and row number and more. It also allows custom aggregate and analytic operations.

SimulME is a Java ME (J2ME) application with Queueing calculator, Stopwatch, Monte Carlo simulation, Random Number Generator (RNG), Probability distributions, Kolmogorov-Smirnov and Chi-square tests. It works with MIDP 2.0 and CLDC 1.1 profiles.