Search Results for "formulation"
Sort By:
Showing 37 open source projects for "formulation"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
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.
-
1
Tequila
A High-Level Abstraction Framework for Quantum Algorithms
Tequila is an abstraction framework for (variational) quantum algorithms. It operates on abstract data structures allowing the formulation, combination, automatic differentiation and optimization of generalized objectives. Tequila can execute the underlying quantum expectation values on state-of-the-art simulators as well as on real quantum devices. -
2
Convex.jl
A Julia package for disciplined convex programming
...Convex.jl works by transforming the problem—which possibly has nonsmooth, nonlinear constructions like the nuclear norm, the log determinant, and so forth—into a linear optimization problem subject to conic constraints. This reformulation often involves adding auxiliary variables and is called an "extended formulation", since the original problem has been extended with additional variables. These formulations rely on the problem being modeled by combining Convex.jl's "atoms" or primitives according to certain rules which ensure convexity, called the disciplined convex programming (DCP) ruleset. If these atoms are combined in a way that does not ensure convexity, the extended formulations are often invalid. -
3
CUTLASS
CUDA Templates for Linear Algebra Subroutines
CUTLASS is a collection of CUDA C++ template abstractions for implementing high-performance matrix-multiplication (GEMM) and related computations at all levels and scales within CUDA. It incorporates strategies for hierarchical decomposition and data movement similar to those used to implement cuBLAS and cuDNN. CUTLASS decomposes these "moving parts" into reusable, modular software components abstracted by C++ template classes. These thread-wide, warp-wide, block-wide, and device-wide... -
4
Library for ion optics, plasma extraction and space charge dominated ion beam transport.
-
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.
-
5
mdterm
Markdown engine for Unix terminals
This project provides a pseudo-markdown engine for producing nicely formatted text in terminal windows. The markdown syntax bears no resemblance to what is commonly called markdown, but is instead a custom formulation. -
6
beCPG PLM (Product Lifecycle Management)
New Product Development, Projects and Quality management
...In a few words, beCPG offers the following features: - Product repository to manage finished products, recipes, raw materials and packaging with their technical and regulatory data - Formulation to calculate automatically allergens, ingredients, nutrient facts, costs, labeling, ... - Product specification generator for clients, R&D and production - Project management to manage new product development from ideas until market launch - Customer complaints -
7
SciEx
C++ code for object-oriented formulation of scientific experiments
Scientific experiments are formulated as objects in C++ code. The project provides header files and libraries. Particular emphasis is put on electrochemical experiments. -
8
GRAMPC
A gradient-based augmented Lagrangian framework for embedded NMPC
GRAMPC is a nonlinear MPC framework that is suitable for dynamical systems with sampling times in the (sub)millisecond range and that allows for an efficient implementation on embedded hardware. The algorithm is based on an augmented Lagrangian formulation with a tailored gradient method for the inner minimization problem. GRAMPC is implemented in plain C with an additional interface to C++ and MATLAB/Simulink. The basic structure and usage of GRAMPC are described in the documentation that comes along with the source files. More details about the algorithm and its performance can be found in the corresponding article published in Optimization and Engeneering. ... -
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. -
$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.
-
10
IF97
Water & steam properties Java library
Steam tables for industrial use according to the international standard for the properties of water and steam, the IAPWS-IF97 formulation and the international standards for transport and other properties. Hummeling Engineering BV develops engineering software in the fields of thermodynamics, mechanics, hydrodynamics, and digital signal processing. -
11
Transducers.jl
Efficient transducers for Julia
...His Strange Loop talk is a great introduction to the idea of transducers. Transducers.jl is an implementation of the transducers in Julia. Aiming to satisfy the high-performance needs of Julia users, Transducers.jl uses a formulation that is pure and aiding type-stability. -
12
2020 Machine Learning Roadmap
A roadmap connecting many of the most important concepts
...The repository organizes machine learning knowledge into a structured roadmap that helps learners understand how different concepts connect within the field. It outlines the typical workflow of solving machine learning problems, starting from problem formulation and data preparation to model training and evaluation. The roadmap also highlights the major technologies and frameworks commonly used in machine learning development. In addition to describing technical tools, the project includes recommended learning resources that help users study the underlying mathematics and algorithms behind machine learning systems. ... -
13
Mask2Former
Code release for "Masked-attention Mask Transformer
Mask2Former is a unified segmentation architecture that handles semantic, instance, and panoptic segmentation with one model and one training recipe. Its core idea is to cast segmentation as mask classification: a transformer decoder predicts a set of mask queries, each with an associated class score, eliminating the need for task-specific heads. A pixel decoder fuses multi-scale features and feeds masked attention in the transformer so each query focuses computation on its current spatial... -
14
DnCNN
Beyond a Gaussian Denoiser: Residual Learning of Deep CNN
...DnCNN is a feedforward convolutional neural network that learns to predict the residual noise (i.e. noise map) from a noisy input image, which is then subtracted to yield a clean image. This formulation allows efficient denoising, supports blind Gaussian noise (i.e. unknown noise levels), and can be extended to related tasks like image super-resolution or JPEG deblocking in some variants. The repository includes training code (using MatConvNet / MATLAB), demo scripts, pretrained models, and evaluation routines. Single model handling multiple noise levels. -
15
Brain AutoML
Google Brain AutoML
...Google Brain researchers have introduced a new way of programming automated machine learning (AutoML) based on symbolic programming. The researchers also proposed PyGlove, a general symbolic programming library for Python, to implement the symbolic formulation of AutoML. AutoML, designed to fill the machine learning industry’s talent gap, is gaining traction among various organizations. -
16
Video Nonlocal Net
Non-local Neural Networks for Video Classification
...Non-local blocks compute attention-like responses across all positions in space-time, allowing a feature at one frame and location to aggregate information from distant frames and regions. This formulation improves action recognition and spatiotemporal reasoning, especially for classes requiring context beyond short temporal windows. The repo provides training recipes and models for standard datasets, as well as ablations that show how many non-local blocks to insert and at which stages. Efficient implementations keep memory and compute manageable so the blocks can be added without rewriting the entire backbone. ... -
17
Optimal Diet Formulation System
Diet formulation and optimization software
Optimal Diet Formulation System (ODFS) if a very powerful, open source, human diet formulation and optimization software. It supports unlimited number of contacts (people) and it is designed to optimize and track their nutrition. Record keeping of physical exercise and medical history (blood sugar, blood pressure and cholesterol) is also supported. -
18
Pour la médecine fondée sur les faits (Evidence-Based Medicine (EBM)). La technique PICO pour formuler des questions cliniques. Plate-forme web open source pour supporter la création de PICO, la recherche et l'évaluation d'informations.
-
19
titan2d-mod
a free code to simulate granular avalanche flows over natural terrian
...Titan2d-mod (titan2d 3.1.1) is a version modified as of 2016.03.14 to the open version 3.0.0 (2011) on the web of GMFG of University at Buffalo. Compared with 3.0.0, some bugs and errors are corrected, stopping criteria are added, and a new Carteisan formulation of the Savage-Hutter model is implemented in this modifed code as default. -
20
tabipb
A treecode-accelerated boundary integral Poisson-Boltzmann solver
TABI (treecode-accelerated boundary integral) solves the linear Poisson-Boltzmann equation. The solver employs a well-conditioned boundary integral formulation for the electrostatic potential and its normal derivative on the molecular surface, which is triangulated and the integral equations are discretized by centroid collocation. The linear system is solved by GMRES iteration and the matrix-vector product is carried out by a Cartesian terraced which reduces the cost from O(N^2) to O(N*logN), where N is the number elements. ... -
21
FPF_predict
Fine Particle Fraction (FPF) predictor
Application implements models described by classical mathematical equation for in vitro deposition prediction based on characteristics of formulation and assay conditions. This work was funded by Poland-Singapore bilateral cooperation project no 2/3/POL-SIN/2012. Published article: https://www.dovepress.com/empirical-modeling-of-the-fine-particle-fraction-fornbspcarrier-based--peer-reviewed-fulltext-article-IJN -
22
Unsupervised Random Forest
On-line Unsupervised Random Forest
...It supports on-line prediction of new observations (no need to retrain); and supports datasets that contain both continuous (e.g. CPU load) and categorical (e.g. VM instance type) features. In particular, we use an unsupervised formulation of the Random Forest algorithm to calculate similarities and provide them as input to a clustering algorithm. For the sake of efficiency and meeting the dynamism requirement of autonomic clouds, our methodology consists of two steps: (i) off-line clustering and (ii) on-line prediction. RF+PAM can: Cluster observations (Unsupervised Learning) Calculate the dissimilarity between 2 or more observations (how different two observations are) -
23
mARC is a novel data modeling technology rooted in the second quantization formulation of quantum mechanics. It is an all-purpose incremental and unsupervised data storage and retrieval system which can be applied to all types of signal or data, structured or unstructured, textual or not. mARC can be applied to a wide range of information clas-sification and retrieval problems like e-Discovery or contextual navigation.
-
24
igafem
Open source 3D Matlab Isogeometric Analysis Code
Isogeometric analysis (IGA) is a fundamental step forward in computational mechanics that offers the possibility of integrating methods for analysis into Computer Aided Design (CAD) tools and vice versa. The benefits of such an approach are evident, since the time taken from design to analysis is greatly reduced leading to large savings in cost and time for industry. The tight coupling of CAD and analysis within IGA requires knowledge from both fields and it is one of the goals of the... -
25
svmradiusmargin
code for convex formulation of radius-margin based SVM
Matlab code for the novel algorithms presented in the paper Convex formulation for radius-margin based Support Vector Machines
