Search Results for "framework-arduinoststm32"

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

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...

A shell for using the methods of Contextual Logic to do qualitative data analysis, mathematical research on the theory underlying Conceptual Knowledge Processing, or learning Formal Concept Analysis. It uses the framework provided by the Tockit project..

Opt4J is an open source Java-based framework for evolutionary computation. It contains a set of (multi-objective) optimization algorithms such as evolutionary algorithms (including SPEA2 and NSGA2), differential evolution, particle swarm optimization, and simulated annealing. The benchmarks that are included comprise ZDT, DTLZ, WFG, and the knapsack problem. The goal of Opt4J is to simplify the evolutionary optimization of user-defined problems as well as the implementation of arbitrary...

The MOEA Framework is a free and open source Java library for developing and experimenting with multiobjective evolutionary algorithms (MOEAs) and other general-purpose multiobjective optimization algorithms. The MOEA Framework supports genetic algorithms, differential evolution, particle swarm optimization, genetic programming, grammatical evolution, and more. A number of algorithms are provided out-of-the-box, including NSGA-II, NSGA-III, ε-MOEA, GDE3 and MOEA/D. In addition, the MOEA...

mathCollection is a java package representing a consistent and efficient extension to the Java Collection Framework of JDK 1.4. It offers different kinds of sets with mathematical, non-destructive functions.

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and...

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.

Operations Research EXperiment Framework for Java

Plexus is a Java library with specifications and implementations for generic graph data structures. Like the Java Collections Framework, vertices and edges are containers for arbitrary user-defined objects.

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse

Java OpenCL Process Virtual Machine. Spring IoC based framework for complex data analysis with OpenCL computing.

JStatCom is a software framework that facilitates the creation of JAVA programs for data based analysis tasks in various domains. It provides ways to call routines from specialized software packages, like Matlab, Gauss, Ox, and possibly others.

Framework: Project for Evolutionary Predator Prey Algorithms, used to implement an evolutionary scheme based on the developement by van Laumanns. Implement testproblems, special behaviours, environments, and other yet not known features.

ANNJ, Another Neural Network for Java is a neural network framework for the Java programming language. It is still in an early development stage, currently supporting only feed-forward type networks, but will soon be able to handle many other types.

Combean is a Java framework for mathematical structures and optimization algorithms. Through a set of Java interfaces and JavaBeans-based config, Combean glues optimization codes together - leading to more interoperable, adaptable and flexible solutions.

The Open Optimization for Java provides a framework and the implementation of commonly-used algorithms found in Graph Theory and Network Optimization, e.g. shortest path and postman problem.

A framework for utilising the Genetic Algorithm in the domain of Game Theory

Expression4J (Math Expression Parser) is a java framework used to manage mathematic expression stored in String object like "f(x,b)=2*x-cos(b)" or "g(x,y)=f(y,x)*-2". Expression gramar can be define by user (add new operator or type ...)

jMathematics is a Java based mathematics framework and library. It solves numerical and symbolic calculations. It is designed to be integrated in a wide range of other applications.

D-Cog (Declarative-Cognition) is a Java based framework for training software components (reusable, object-oriented, interface-driven components). Instead of programmed, software components are trained by example to get the expected results.

A java based neural network framework. The Auratus network is built around an XML messaging system, allowing for a complete MVC design. Additionally, Auratus networks are constructed and at the node/edge level, allowing for advanced topologies.

A .Net Library that lets you make full use of multi-core and multiprocessor computers. It is very efficient, and easily integrated into existing applications. It is modeled after the Parallel FX usage model, and is faster than the PFX too.