Search Results for "formulation"
Sort By:
Showing 49 open source projects for "formulation"
View related business solutions-
Rezku Point of SaleRezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.
-
Corporate Compliance Software | SkillcastSkillcast delivers compliance training and RegTech through a unified Compliance Portal that brings e-learning, Policy Hub (versioning & attestations), staff declarations, compliance registers, CPD/Training 360 and Events Management in one place.
-
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
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 -
Empower Your Contact Center with Human-Like AI ConversationsEnterprise Bot, based in Switzerland, is a pioneer in Conversational AI, Process Automation, and Generative AI. With the trust of esteemed enterprise giants across industries like Generali, SIX, SBB, DHL, and SWICA, Enterprise Bot is revolutionizing both customer and employee experiences. Through its advanced integration with Large Language Models (LLM) such as ChatGPT and Llama 2, and its unique patent-pending DocBrain technology, the company delivers unparalleled personalization, active engagement, and omnichannel solutions across platforms like email, voice, and chat. Furthermore, Enterprise Bot integrates with existing core systems, such as SAP, CRMs, Confluence and more, and with its proprietary middleware, Blitzico, enables the AI to not only respond to queries but also take action to resolve them. This dedication to innovation in four main use case areas, Customer Support, Sales and Marketing, Knowledge Management and Digital Coworker, elevates both CX and employee productivity.
-
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
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
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
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. -
9
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. -
Estimating Software for Heavy ConstructionBuilt by an estimator, SharpeSoft Estimator is a fully comprehensive software that allows for a more efficient and quicker job-winning bids. Ideal for civil, utility, heavy/highway, grading, excavating, paving, and pipeline contractors, SharpeSoft Estimator offers advanced features such as Item Master, Subcontractor Comparison, Materials Comparison, Grouped Items, Trench Profiler, Haul Calculations, What-if Scenarios, Batch Reports, and more.
-
10
Library for ion optics, plasma extraction and space charge dominated ion beam transport.
-
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
The QBullDiet is one application dedicate to formulate automatically, diet for cattle. It allow users to cutomize nutrient requirement formulation to users need.
-
13
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. ... -
14
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... -
15
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. -
16
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. -
17
RBCsimulation
simulation of RBC passing through microcapillary
simulation of RBC passing through microcapillary; uses spherical harmonics, large-strain shell formulation and boundary integrals -
18
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. ... -
19
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. -
20
CPLEX Formula Generator
Simple Program to Formulate Optimization Problem
Simple program written by JAVA to generate formula of optimization problem and save it in LP format so you can use CPLEX to run/solve this formulation. Author Rakan Alanazi. -
21
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.
-
22
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. -
23
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. ... -
24
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 -
25
FeedMU (pronounce feed-mew) is a simple feed formulation software. Users can manage animal requirements, ingredients composition, etc for formulating a well balanced diet. Least cost feed formulation by linear programming and other features are included.
