Search Results for "theory"
Sort By:
132 programs for "theory" with 1 filter applied:
-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
1
Catlab.jl
A framework for applied category theory in the Julia language
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. First and foremost, Catlab provides data structures, algorithms, and serialization for applied... -
2
Proxy
Proxy: Next Generation Polymorphism in C++
... management, and JIT-compile the source code at runtime to generate full metadata. We improved the theory and implemented it as a C++ library without sacrificing performance, proposing to merge it into the C++ standard. -
3
The Agda standard library
The Agda standard library
The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group... -
4
Measurements.jl
Error propagation calculator and library for physical measurements
... an attached error to quantify the confidence about its accuracy. Measurements.jl relieves you from the hassle of propagating uncertainties coming from physical measurements, when performing mathematical operations involving them. The linear error propagation theory is employed to propagate the errors. -
Boost your bottom line in less time | IBM Cognos AnalyticsIBM Cognos Analytics acts as your trusted co-pilot for business with the aim of making you smarter, faster, and more confident in your data-driven decisions.
-
5
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.
-
6
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
-
7
computem
Transmission Electron Microscope Image Simulation
These programs calculate high resolution conventional and scanning transmission electron microscope (CTEM, STEM) images of thin specimens from first principles using the multislice method for electrons in the energy range of approximately 60 keV to 1000 keV. The fundamental theory and usage are described in "Advanced Computing in Electron Microscopy" (Springer 2020) and Acta Cryst. A72 (2016) p. 1 by Earl J. Kirkland. Please refer to these for the theory of calculation and how to use... -
8
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
-
9
CAMPARI
Software for molecular simulations and trajectory analysis
We are proud to introduce version 5 of CAMPARI. We have added a number of new features, most notably a Python interface for interpreting user-supplied code (with the help of ForPy), a novel trajectory storage standard (with the help of libpqxx/PostgreSQL), and a module for performing transition path theory. Naturally, CAMPARI continues to provide the reference implementation of the ABSINTH force field paradigm and implicit solvation model. CAMPARI is a joint package for performing... -
AI-based, Comprehensive Service Management for Businesses and IT ProvidersChangeGear provides IT staff with the functions required to manage everything from ticketing to incident, change and asset management and more. ChangeGear includes a virtual agent, self-service portals and AI-based features to support analyst and end user productivity.
-
10
NZMATH
Python Calculator on Number Theory
NZMATH is a Python calculator on number theory. It is freely available and distributed under the BSD license. All programs are written only by Python so that you can easily see their algorithmic number theory. You can get NZMATH with a single command: % python -m pip install nzmath Here % is the command line prompt of Windows or Unix/macOS. This release contains several program corrections and additions obtained by writing a programming "notebook" of the book 'Lectures on Elementary... -
11
eprb_signal_correlations
Simulation of a two-channel Bell test, with closed-form proofs
Derivation, entirely by probability theory, of the correlation coefficient for a two-channel Bell test, with simulation in Ada and other languages. The Nobel Committe for Physics bans this program for subversive content. (Mirror of the repository at https://github.com/chemoelectric/eprb_signal_correlations) -
12
AminePlatform
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
Amine is an Artificial Intelligence Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems and Agents (Knowledge-Based, Ontology-Based, Conceptual Graph -CG- Based, NLP, Reasoning and Learning, Natural Language Processing, etc.). Ontology, KB can be created and manipulated with various processes. CG theory is used as the main knowledge representation language. Amine provides two languages: PROLOG+CG which extends PROLOG with CG and Amine... -
13
Thinknowlogy
The world's only naturally intelligent knowledge technology
• Despite centuries of exhaustive research, the theory of evolution still hasn't provided a satisfying explanation for the origin of intelligence and language; • According to the biblical world view, God has created laws of nature. Being based on the Laws of Intelligence embedded in Grammar, only Thinknowlogy implements the natural meaning (intelligent function) of words like definite article “the”, conjunction “or”, possessive verb “has/have” and past tense verbs “was/were” and “had... -
14
AnharmoniCAOS
Cagliari-Orsay model for anharmonic molecular spectra in 2nd order PT
Given dynamical coefficients and/or derivatives of the ionic potential with respect to normal (harmonic) vibrational modes, compute anharmonic energies and electric dipole-permitted transitions and intensities using nearly-degenerate perturbation theory (i.e. properly accounting for Fermi and Darling-Dennison resonances). -
15
Finite Transform Library
A Library is for Finite Transforms
The Library is for Finite Transforms such as the Number Theoretic Transform (NTT) and Finite Radon Transform (FRT). Current modules include NTTW for NTTs with high resolution (microsecond) timing, basic array and imaging. The transforms are optimised for performance. -
16
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..
-
17
Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included.
-
18
-
19
CoRoPa stands for Computational Rough Paths. The aim of CoRoPa is to provide a software framework for various ideas related to Rough Path Theory, including rough differential equations and the digital description of serial data streams.
-
20
libnova
Celestial Mechanics Engine
libnova is a general purpose, double precision, celestial mechanics, astrometry and astrodynamics library. -
21
Econball
Equation of stock trading simplified to game of moving resizing balls
The econ theory is the value of buy and sell are usually equal, at whatever free market price at the time, so if we trade between 2 things, holding the total of those 2 equal eachother, then you can buy without anyone selling, or sell without anyone buying. Just change from one equal valued type to the other, and the total of all the A's and all the B's are scaled instantly to be the same amounts. Those who change to the majority side lose, and those who change to the minority side win, since... -
22
dnrDALMAS
A general-level Prolog implementation of the DALMAS architecture.
DnrDALMAS is a Prolog module intended to be a general-level Prolog implementation of the abstract DALMAS (Deontic Action-Logic based Multi-Agent System) architecture. A DALMAS is regulated by a normative system based on an algebraic version of the theory of normative positions. For more information about dnrDALMAS, see the following technical report: Hjelmblom, M. (2008). Deontic action-logic multi-agent systems in Prolog. University of Gävle, Division of Computer Science; University... -
23
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. License :: Creative Commons Attribution License... -
24
CILP++
In-development neural-symbolic system, CILP++
This is the project of the extension of the original C-IL2P neural-symbolic system, CILP++, for reasoning, knowledge extraction and theory revision from propositional and first-order logics. *** ATTENTION! The CILP++ project has been discontinued from SVN! It has been migrated to Github on https://github.com/manoelfranca/cilppp! -
25
sparsedoppler
Continuous choice of string resonance at each point live music in CPU
... discontinuous field but in theory may be continuous as change in natural resonance frequency (what part of the "guitar string" would vibrate as if nothing acted on it) These few kilobytes of java code, many versions of CochleaSim.java and JSoundCard0.5 as an easily replaced dependency that reads microphone and writes to speakers as numbers ranging -1 to 1 44100 times per second, which is where SparseDoppler hooks in its array, microphone at one end and speakers hear the sum of the whole string.