Search Results for "theory"
Sort By:
Showing 63 open source projects for "theory"
View related business solutions-
$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.
-
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.
-
1
multinotes
Text architecture for music theory.
The text structures of notes and publications in music theory and musical analysis bring challenging requirements: how to include music notation excerpts, graphics, and even combinations thereof, into the typeset flow of paragraphs and into the work-flow, and how to integrate navigable references to these and to single domain entities into running text. Furthermore, dynamic interactive documents can be useful for presenting complicated interdependencies to the reader more clearly, far beyond conventional paper publication. ... -
2
Java Modelling Tools is a suite of scientific tools for performance analysis and modelling using queueing theory and colored stochastic Petri nets. Models are solved either with analytical, asymptotic or simulation methods; workload characterization tools are also included in the suite. See the project website for more details: http://jmt.sf.net
-
3
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
-
4
The Chemistry Development Kit (CDK) is a scientific, LGPL-ed library for bio- and cheminformatics and computational chemistry written in Java. The main home page of the CDK is now at: http://cdk.github.io
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
Fractal Zoomer
A Fractal Zoomer with various functions.
An application that lets you render some of the most known fractal functions, like the Mandelbrot set and many more! It comes with alot of options to further enhance your fractal experience! Its easy to use and does not require installation. A java version higher than 1.8 is required to be installed. -
6
LINE Solver
Simulation and algorithms for queueing theory
LINE is an open-source software package to analyze queueing models via analytical methods and simulation. The solver is available for Python, MATLAB, C++ and Java. LINE features algorithms for the solution of open queueing systems (e.g., M/M/1, M/M/k, M/G/1, ...), open and closed queueing networks, and layered queueing networks. The LINE discrete event simulator (LDES) covers a broad spectrum of these models. Additional details are available on the project website: http://line-solver.sf.net. -
7
JQM Java Quine McCluskey
JQM - Java Quine McCluskey for minimization of Boolean functions.
Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for managing truth tables and supports diverse file formats for import and export. -
8
Symja Java Computer Algebra
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example -
9
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. -
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.
-
10
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..
-
11
Econball
Equation of stock trading simplified to game of moving resizing balls
...Think of it as a 2d seesaw surface that never tilts because the masses of balls are adjusted to always balance. This is the early start of a game based on that econ theory. Econ is boring in number and symbol form, but as a realtime game its more like dancing. -
12
Pi-Space Physics Software
A Physics Theory for Unifying Classical, Quantum and Relativistic Phys
This is the Official Software of the Pi-Space Physics Theory created by Martin Brady. I have a B.Sc. in Computer Applications from Dublin City University and I have an interest in software implementation of Physics. The Theory includes a Quantum Theory of Gravity as well as a reworking of Classical versions of Newton's Formulas. The Theory is based on a set of Relativistic Diagrams called Pi-Space Diagrams for those new to the Theory. ... -
13
ISO GrAF
Experimental Java library for reading and writing GrAF/XML files.
The Graph Annotation Framework (GrAF) models linguistic annotations using a data model based on Graph theory and algorithms. The GrAF standard is a work product of ISO TC37SC4 Working Group 1. This Java library is NOT part of the GrAF standard and standoff annotation files produced by the library may not be GrAF compliant. -
14
Chordalysis
Log-linear analysis (data modelling) for high-dimensional data
...However, due to its exponential nature, previous approaches did not allow scale-up to more than a dozen variables. We present here Chordalysis, a log-linear analysis method for big data. Chordalysis exploits recent discoveries in graph theory by representing complex models as compositions of triangular structures, also known as chordal graphs. Chordalysis makes it possible to discover the structure of datasets with thousands of variables on a standard desktop computer. Associated papers at ICDM 2013, ICDM 2014 and SDM 2015 can be found at http://www.francois-petitjean.com/Research/ YourKit is supporting Chordalysis open source project with its full-featured Java Profiler. ... -
15
InfoSim
A Java Framework for Simulating Information Theory Concepts
This is a Java Framework which allows to design and simulate Channels, Cryptography algorithms, Coding algorithms, Noise analysis, Information sources and destinations, etc. It supports both Classical and Quantum Information Theory fields. It also allows to design a new Information Scheme from scratch. It has a big Math library which supports Abstract and Linear Algebra objects e.g Hilbert spaces. -
16
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. -
17
Colas
Analysis based on queuing theory
This software allows analysis based on queuing theory. The software is simple and intuitive. -
18
MCloudSim/NovaCloudSim
a distributed cloud simulator written in Java
...MCloudSim has following characteristics: (1) The overlay protocol can be freely replaced, and we have already ported Pastry, Kadmelia, Chord from PeerSim; (2) A Petri-Net workflow theory based task model is implemented to simulate distributed tasks; (3) A distributed cloud can be easily built by assembling and expanding the basic resource entities provided by the simulator. (4) ... If you have any questions, please contact nova@dsp.ac.cn. -
19
-
20
Set Theory Relations in Java
Java classes implementing set theory relation concepts
Simple java classes implementing basic concepts of relations as defined in set theory. A relation is a set of ordered pairs. A relation can have properties, including that it is reflexive, symmetric, or transitive. The classes enable some ordered pairs to be stated, and will deduce all the other related ordered pairs implied by the relation's properties. There are implementations of transitive, reflexive-and-transitive, and symmetric-reflexive-and-transitive (equivalence) relations using hash sets and tree sets. ... -
21
Java library for Monte Carlo simulation, stochastic processes, finance. Classes define the basic mathematical notions to ease transition from theory to application.
-
22
Nengo is a suite for building and simulating models of large neural networks. It is based on Eliasmith & Anderson's Neural Engineering Framework, which provides a coherent theory of computation, representation, and dynamics in neural circuits.
-
23
PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.
-
24
Connecting Historical Authorities with Links, Contexts and Entities. CHALICE is a historic placename gazetteer for the UK, published as Linked Data and linked to other widely-used sources of placename reference information on the semantic web.
-
25
