Search Results for "theory"
Sort By:
Showing 28 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.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
NZMATH
Python Calculator on Number Theory, three-birds-one learning material
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 -U 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 Number Theory' (TAKAGI, Teiji) in Python-NZMATH language. ... -
2
Digraph3
A collection of python3 modules for Algorithmic Decision Theory
This collection of Python3 modules provides a large range of implemented decision aiding algorithms useful in the field of outranking digraphs based Multiple Criteria Decision Aid (MCDA), especially best choice, linear ranking and absolute or relative rating algorithms with multiple incommensurable criteria. Technical documentation and tutorials are available under the following link: https://digraph3.readthedocs.io/en/latest/ The tutorials introduce the main objects like digraphs,... -
3
-
4
Chemical Trajectory Analyzer
A software package for processing and analyzing chemical trajectories
...-D.Przybylski-Freund, L.C.Kröger, W.A.Kopp, A.E.Ismail, K.Leonhard, "Automated Discovery of Reaction Pathways, Rate Constants, and Transition States Using Reactive Molecular Dynamics Simulations", J. Chem. Theory Comput. 11 (2015), 2517-2524 L.C.Kröger, W.A.Kopp, M.Döntgen, K.Leonhard, "Assessing Statistical Uncertainties of Rare Events in Reactive Molecular Dynamics Simulations", J. Chem. Theory Comput. 13 (2017), 3955-3960 M.Döntgen, F.Schmalz, W.A.Kopp, L.C.Kröger, K.Leonhard, "Automated Chemical Kinetic Modeling via Hybrid Reactive Molecular Dynamics and Quantum Chemistry Simulations", J. ... -
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
5
Napkin
An Infinitely Large Napkin
...It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem statements, intuitive motivations, and informal sketches of why things work, with the goal of building conceptual understanding. The coverage spans undergraduate and early graduate topics, designed to show how different areas of math fit together—linear algebra, analysis, topology, number theory, and more—without going deeply into every subtopic. Because it is written in LaTeX (with supporting Asymptote or other tools), readers can compile their own version, and the repository integrates diagrams, flowcharts, and supplementary files. -
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
relax
Molecular dynamics by NMR data analysis
The software package 'relax' is designed for the study of molecular dynamics through the analysis of experimental NMR data. Organic molecules, proteins, RNA, DNA, sugars, and other biomolecules are all supported. It supports exponential curve fitting for the calculation of the R1 and R2 relaxation rates, calculation of the NOE, reduced spectral density mapping, the Lipari and Szabo model-free analysis, study of domain motions via the N-state model and frame order dynamics theories using... -
8
CAMPARI
Software for molecular simulations and trajectory analysis
...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 and analyzing molecular simulations, in particular of systems of biological relevance. It focuses on a wide availability of algorithms for (advanced) sampling and is capable of combining Monte Carlo and molecular dynamics in seamless fashion. ... -
9
Funi
Python script for calculation of deflection of elastic ropes.
This software implements the equations of the catenary curves, in adimensional formulation. The theory is applicable only to elastic ropes with uniform section. Any number of hanged masses or hangers may be input. The schema may be imported and exported. The graphics of deflections and tensions are shown with reference to X coordinate, while the graphic of stretches is shown with reference to the curvilinear coordinate. The solution is found by iteration, by mean of Scipy Minimize functions of Python, version 1.10. ... -
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
10
NuPIC
Numenta platform for intelligent computing
The Numenta Platform for Intelligent Computing (NuPIC) is a machine intelligence platform that implements the HTM learning algorithms. HTM is a detailed computational theory of the neocortex. At the core of HTM are time-based continuous learning algorithms that store and recall spatial and temporal patterns. NuPIC is suited to a variety of problems, particularly anomaly detection and prediction of streaming data sources. For more information, see numenta.org or the NuPIC Forum. If you want to build the dependent nupic.bindings from source, you should build and install from nupic.core prior to installing nupic (since a PyPI release will be installed if nupic.bindings isn't yet installed). ... -
11
book
A textbook on informal homotopy type theory
The canonical Homotopy Type Theory informal textbook, initiated at the Institute for Advanced Study (2012–13) under the Univalent Foundations project. It presents the theory pedagogically without requiring technical proof assistant use. -
12
A library of tools for doing computation in game theory.
-
13
Regina
Software for 3-manifold topology and normal surface theory
A suite of mathematical software for 3-manifold topologists, focusing on the study of 3-manifold triangulations, normal surfaces and angle structures. -
14
xPyder PyMOL Plugin
Analyze and visualize coupled residues and their networks in proteins
xPyder is a PyMOL plugin to analyze and visualize on the 3D structure dynamical cross-correlation matrices (DCCM), linear mutual information (LMI), communication propensities (CP), intra- and inter-molecular interactions (e.g. PSN), and more, to produce highly customizable publication-quality images. xPyder identifies networks (using concepts from graph theory, such as hubs and shortest path searching), compares matrices and focuses the analysis on relevant information by filtering the data using a modular, user-expandable plugin system that takes advantage of structural and dynamical information, contributing to bridge the gap between dynamical and mechanical properties at the molecular level. -
15
rmachine is a register machine simulator (the complexity theory version), programmed in python, complete with a module to be used in your programs and a (PyQt4) GUI.
-
16
Graphical representation of fractals, IFS's, strange attractors,L-systems and generally chaos theory aspects.
-
17
This software can be used to calculate thermochemical and kinetic quantities like, enthalpy, entropy, heat capacity and transition state theory rate constants from spectroscopic/quantum data.
-
18
The aim of project is creating program environment for solving some integral equations, arising at solving mathematical problems of the diffraction theory.
-
19
Data processing algorithms based on the gnostical theory of uncertain data possess high robustness with respect to both outlying data and changes of their statistical characteristics.
-
20
Set of python scripts that can be used for the calculations of equilibrium fractionation factors from experiments and from statistical mechanics theory. python scripts use Scipy/Numpy/Matplotlib/WxPython for calculations, plotting and the GUI
-
21
An open source project project to make Quantum Field Theory calculations and demonstrations using python.
-
22
pyGraph is tool that hopefully will help graph theory students by analizing,transforming and creating graphs Dependencies: python and pygame
-
23
-
24
A library for number theory, symbolic algebra, geometry, special functions, etc, written entirely in Python.
-
25
KU1K is a set of tools for 4D,5D and 6D compact U(1) lattice gauge theory Monte Carlo simulation using the Skipis-Vantzos algorithm. As the calculations involved, even for the 4D case, are consuming, the project is modular so as to run on the Grid.
