Search Results for "theory"

Catlab.jl is a framework for applied and computational category theory, written in the Julia language. Catlab provides a programming library and interactive interface for applications of category theory to scientific and engineering fields. It emphasizes monoidal categories due to their wide applicability but can support any categorical structure that is formalizable as a generalized algebraic theory.

Fuzzy machine learning framework is a library and a GUI front-end for machine learning using intuitionistic fuzzy data. The approach is based on the intuitionistic fuzzy sets and the possibility theory. Further characteristics are fuzzy features and classes; numeric, enumeration features and features based on linguistic variables; user-defined features; derived and evaluated features; classifiers as features for building hierarchical systems; automatic refinement in case of dependent features; incremental learning; fuzzy control language support; object-oriented software design with extensible objects and automatic garbage collection; generic data base support through ODBC or SQLite; text I/O and HTML output; an advanced graphical user interface based on GTK+; and examples of use.

...Each module focuses on a specific technology or integration—covering web applications, ORM frameworks, microservices, caching, messaging, security, distributed systems, and monitoring. The repository emphasizes both theory and practice, combining conceptual explanations with working examples so learners can bridge the gap between reading documentation and building real-world applications. It also includes advanced topics such as distributed locks with Zookeeper, API documentation with Swagger, session sharing, security with RBAC, and microservice communication patterns. ...

...You can train TensorFlow models with your own training data to built your own custom object counter system! If you want to learn how to do it, please check one of the sample projects, which cover some of the theory of transfer learning and show how to apply it in useful projects. The development is on progress! The API will be updated soon, the more talented and light-weight API will be available in this repo! Detailed API documentation and sample jupyter notebooks that explain basic usages of API will be added!

TheoremJS is a mathematical framework that is packed up with tons of useful mathematical functions. It is composed of functions in most mathematical fields such as algebra, number theory, statistics, etc... It was designed to fit your need, whatever you are trying to do. With TheoremJS, you won't feel the need of running the code on a server, you can run it right on the browser, or on a NodeJS notebook (Jupyter like). Even though we loose performances with BigNumber, our algorithms are well-engineered and ensure decent performances on every device. ...

A Java collections framework based on set theory, specifically, from Spivey's work on the Z notation (a formal specification language).

G.A.V. (Graph Algorithm Visualizer) is a tool that visualizes algorithms from graph theory. A step-by-step visualization from each different algorithm allows the user to understand the particular algorithm very easily.

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.

This tool is based on Graph Theory learning. It can help professors and students to teach and learn the Graph Theory easier. With this tool, people can draw simple graphs and even apply functions on their drawn graphs.

This toolkit will attempt to make EAV's more accessable to programmers by first focusing on the basic theory of modeling an EAV/CR and then alter extending the model to provide a useful API and UI to play with.