Search Results for "formulation"
Sort By:
Showing 28 open source projects for "formulation"
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.
-
$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.
-
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
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. -
4
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 -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
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. -
6
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. ... -
7
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. -
8
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. -
9
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. -
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.
-
10
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. ... -
11
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... -
12
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. -
13
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. -
14
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. ... -
15
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.
-
16
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. -
17
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. ... -
18
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 -
19
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.
-
20
TIDES
Taylor series Integrator for Differential Equations
Taylor series Integrator for Differential EquationS. This software is developed by Profs. A. Abad, R. Barrio, F. Blesa and M. Rodriguez, (GME, University of Zaragoza, Spain). It consists on a C (Fortran) library, libTIDES, and a Mathematica package, MathTIDES. (MathTIDES requires Mathematica version >= 7.0) . Basic references: * A. Abad, R. Barrio, F. Blesa, M. Rodriguez, 2012. Algorithm 924: TIDES, a Taylor series Integrator for Differential EquationS, ACM TOMS. 39, no. 1, art. 5.... -
21
Cooldt
Cool-down time calculator for multi-layers pipe
...The duration to reach the “Final fluid temperature” or cool-down time (CDT) is calculated by solving the heat equation in cylindrical coordinates with a flux conservative formulation. -
22
RootFinder
Comprehensive implementation of a 1D RootFinder framework solution
RootFinder provides the implementation of all the standard bracketing and open root finding techniques, along with a customizable and configurable framework that separates the initilization/bracketing functionality from the eventual root search. RootFinder achieves its design goal by implementing its functionality over several parts: - Root Finder Framework: Framework to accommodate bracketing/open convergence initialization, execution customization/configuration, iterative variate... -
23
hadronic gamma rays
gamma rays from hadronic processes in astrophysics
Cosmic-ray hadronic interaction matrices for gamma-ray and other secondaries for an interstellar medium target are available as described in Huang et al. Astroparticle Physics, 27, 429 (2007). These require significant effort in practice to compute emissivities for given input spectra. To supplement these matrices I provide here a C++ class which reads the matrices, interpolates on user-defined particle and gamma-ray energy grids, and computes the gamma-ray emissivity either differential or... -
24
Python Graphical Formulation Tool
A tool for graphically formulating optimization problems
-
25
This is a C++ library to create and simulate standard and hybrid bond graph. The library support XML input and output of the bond graph structure. Graphic representation of the bond graph in SVG are generated using the Graphviz library.
