Search Results for "theory"
Sort By:
Showing 23 open source projects for "theory"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
Nemo.jl
Julia bindings for various mathematical libraries (including flint2)
Nemo is a computer algebra package for the Julia programming language. It aims to cover commutative algebra, number theory and group theory. Julia bindings for various mathematical libraries (including flint2) -
2
DFTK.jl
Density-functional toolkit
The density-functional toolkit, DFTK for short, is a collection of Julia routines for experimentation with plane-wave density-functional theory (DFT). The unique feature of this code is its emphasis on simplicity and flexibility with the goal of facilitating algorithmic and numerical developments as well as interdisciplinary collaboration in solid-state research. -
3
Circuitscape.jl
Algorithms from circuit theory to predict connectivity
Circuitscape is an open-source program that uses circuit theory to model connectivity in heterogeneous landscapes. Its most common applications include modeling the movement and gene flow of plants and animals, as well as identifying areas important for connectivity conservation. The new Circuitscape is built entirely in the Julia language, a new programming language for technical computing. -
4
Chromatone
Chromatone is a digital garden of visual music theory
Cards and short overviews on the physics and physiology of vision and hearing and their intersection at visual music research, exploration, practice, and self-expression. Useful tools to have in the pocket like a pack of interactive cards to learn and use in everyday music practice. These are open source web experiments with different aspects of sound and color. Chromatone is an open source research and design project to explore, develop and implement the scientific way of visual music... -
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.
-
5
miepython
Mie scattering of light by perfect spheres
miepython is a pure Python module to calculate light scattering for non-absorbing, partially-absorbing, or perfectly-conducting spheres. Mie theory is used, following the procedure described by Wiscombe. This code has been validated against his results. This code provides functions for calculating the extinction efficiency, scattering efficiency, backscattering, and scattering asymmetry. Moreover, a set of angles can be given to calculate the scattering for a sphere at each of those angles. -
6
CausalityTools.jl
Algorithms for detecting associations, dynamical influences
CausalityTools.jl is a package for quantifying associations and dynamical coupling between datasets, independence testing, and causal inference. Association measures from conventional statistics, information theory, and dynamical systems theory, for example, distance correlation, mutual information, transfer entropy, convergent cross mapping and a lot more. A dedicated API for independence testing, which comes with automatic compatibility with every measure-estimator combination you can think of. For example, we offer the generic SurrogateTest, which is fully compatible with TimeseriesSurrogates.jl, and the LocalPermutationTest for conditional independence testing. -
7
DiffOpt.jl
Differentiating convex optimization programs w.r.t. program parameters
...methods, to differentiate models (quadratic or conic) with optimal solutions. Differentiable optimization is a promising field of convex optimization and has many potential applications in game theory, control theory and machine learning. Recent work has shown how to differentiate specific subclasses of convex optimization problems. But several applications remain unexplored. With the help of automatic differentiation, differentiable optimization can have a significant impact on creating end-to-end differentiable systems to model neural networks, stochastic processes, or a game. -
8
Cytoscape.js
Graph theory library for visualization and analysis
A fully featured graph library written in pure JS. Permissive open source license (MIT) for the core Cytoscape.js library and all first-party extensions. Used in commercial projects and open-source projects in production. Designed for users first, for both frontfacing app usecases and developer usecases. Highly optimized. Compatible with All modern browsers. Legacy browsers with ES5 and canvas support. ES5 and canvas support are required, and feature detection is used for optional... -
9
DynamicHMC
Implementation of robust dynamic Hamiltonian Monte Carlo methods
...In contrast to frameworks that utilize a directed acyclic graph to build a posterior for a Bayesian model from small components, this package requires that you code a log-density function of the posterior in Julia. Derivatives can be provided manually, or using automatic differentiation. Consequently, this package requires that the user is comfortable with the basics of the theory of Bayesian inference, to the extent of coding a (log) posterior density in Julia. This approach allows the use of standard tools like profiling and benchmarking to optimize its performance. -
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
F2
An elegant, interactive and flexible charting library for mobile
F2 is an out-of-the-box visualization engine focused on the mobile terminal, oriented to conventional statistical charts, perfectly supporting the H5 environment and compatible with multiple environments (Node, applet), complete graphics grammar theory, to meet your various visualization needs , professional mobile design guidelines to bring you the best mobile graphics experience. Best practices for moving side charts around design, performance and heterogeneous environments. Based on the grammar of graphics, Flexible construction of various charts (50+), complete components, covering various scenarios. ... -
11
Measurements.jl
Error propagation calculator and library for physical measurements
...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. -
12
DeepH-pack
Deep neural networks for density functional theory Hamiltonian
DeepH-pack is the official implementation of the DeepH (Deep Hamiltonian) method described in the paper Deep-learning density functional theory Hamiltonian for efficient ab initio electronic-structure calculation and in the Research Briefing. DeepH-pack supports DFT results made by ABACUS, OpenMX, FHI-aims or SIESTA and will support HONPAS. -
13
ProxSDP.jl
Semidefinite programming optimization solver
ProxSDP is an open-source semidefinite programming (SDP) solver based on the paper "Exploiting Low-Rank Structure in Semidefinite Programming by Approximate Operator Splitting". The main advantage of ProxSDP over other state-of-the-art solvers is the ability to exploit the low-rank structure inherent to several SDP problems. -
14
ggplot2-book
ggplot2: elegant graphics for data analysis
The ggplot2-book repository contains the source for ggplot2: Elegant Graphics for Data Analysis, written by Hadley Wickham. The book explains the theory and application of the ggplot2 package in R for data visualization, guiding readers through its layered grammar of graphics approach. It serves as both a practical guide and conceptual reference for building advanced plots and mastering ggplot2. -
15
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..
-
16
DARPA Urban Challenge, a C++ based platform for testing Path Planning Algorithms: An application of Game Theory and Neural Networks. Rubin, Raphael (2007)
-
17
Diktyologia is software for investigating complex systems with advanced methods of network theory. The package allows for analysing statistical properties of directed intercausal networks that are represented in form of cy.prus XML files.
-
18
QTnew is a universal Queueing Theory simulator. Different types of serving disciplines, time distributions, routes are supported. Simulation is extremely flexible: any custom simulation can be performed with JavaScript.
-
19
Graph Theorizer will be a java application that will help to teach and research Graph Theory. We will support Windows, Linux, and Mac in our first releases, while hopefully moving towards any platform that supports Java Standard Editon.
-
20
2D soccer simulation focussing the theoretical covering strategies of the game. Academic research tool based on computational geometry science.
-
21
Chaotic Attractors is a JAVA program to generate images of chaotic attractors. Chaotic attractors are used in chaos theory. Even though they have their seeds in science, they are very artistic. They are great as wallpaper, too.
-
22
QMeshView is a cross-platform tool for visualization results of of Finite-Element modeling for 2D and axisymmetric tasks of Non-linear elastic theory.
-
23
SCTMF is an in development progress software aimed to educational learning of Formal Models, used in Computer Theory course. The meaning of SCTMF is Sistema para Criação e Testes de Modelos Formais (Formal Model Creation and Tests System).
- Previous
- You're on page 1
- Next
