GitHub
From MaRDI portal
Software:56651
swMATH23170WikidataQ364 ScholiaQ364MaRDI QIDQ56651FDOQ56651
hosting service for software projects using Git
Author name not available (Why is that?)
Source code repository: https://github.com/
Cited In (only showing first 100 items - show all)
- A graph-based modeling abstraction for optimization: concepts and implementation in Plasmo.jl
- Proving non-termination and lower runtime bounds with \textsf{LoAT} (system description)
- \texttt{acados} -- a modular open-source framework for fast embedded optimal control
- Another approach to the Kan-Quillen model structure
- TbGAL: a tensor-based library for geometric algebra
- A modeling platform for the lymphatic system
- Accelerating incremental gradient optimization with curvature information
- GXNOR-Net: training deep neural networks with ternary weights and activations without full-precision memory under a unified discretization framework
- Multi-fidelity classification using Gaussian processes: accelerating the prediction of large-scale computational models
- A beam search algorithm for the biobjective container loading problem
- Efficient reordered nonlinear Gauss-Seidel solvers with higher order for black-oil models
- EasyMesh: an efficient method to reconstruct 3D mesh from a single image
- Improving RNA secondary structure prediction via state inference with deep recurrent neural networks
- Global-and-local-structure-based neural network for fault detection
- A geometrical characterization of proportionally modular affine semigroups
- An application of dynamic programming to assign pressing tanks at wineries
- Generation of point sets by convex optimization for interpolation in reproducing kernel Hilbert spaces
- Generalized co-clustering analysis via regularized alternating least squares
- Variational discriminant analysis with variable selection
- Coupled surface-subsurface flow modelling using the GeRa software
- Using tours to visually investigate properties of new projection pursuit indexes with application to problems in physics
- DiscreteZOO: a fingerprint database of discrete objects
- T-IFISS: a toolbox for adaptive FEM computation
- Nonlinear biobjective optimization: improvements to interval branch \& bound algorithms
- Polynomial interpolation via mapped bases without resampling
- Automated inference of gene regulatory networks using explicit regulatory modules
- Dynamics of moments for quadratic GKSL generators
- Model-based clustering with envelopes
- Nonparametric false discovery rate control for identifying simultaneous signals
- Pose stabilization of a bar tethered to two aerial vehicles
- SGL-SVM: a novel method for tumor classification via support vector machine with sparse group lasso
- Accelerated directional search with non-Euclidean prox-structure
- Calibration procedures for approximate Bayesian credible sets
- Electricity market equilibrium under information asymmetry
- OAR lib: an open source arc routing library
- Ordered line integral methods for solving the eikonal equation
- Bayesian model discrimination for partially-observed epidemic models
- Control of intracellular molecular networks using algebraic methods
- On the multipliers at fixed points of quadratic self-maps of the projective plane with an invariant line
- Orthogonal polynomial expansions to evaluate stop-loss premiums
- Projective splitting with forward steps only requires continuity
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Estimation and inference for area-wise spatial income distributions from grouped data
- Generation of energy-minimizing point sets on spheres and their application in mesh-free interpolation and differentiation
- Improving attacks on round-reduced Speck32/64 using deep learning
- Kernel based high order ``explicit unconditionally stable scheme for nonlinear degenerate advection-diffusion equations
- Kummer for genus one over prime-order fields
- Modeling rate of adaptive trait evolution using Cox-Ingersoll-Ross process: an approximate Bayesian computation approach
- Optimal design for adaptive smoothing splines
- TFHE: fast fully homomorphic encryption over the torus
- 4D, \(\mathcal{N} = 1\) matter gravitino genomics
- A high-order multiscale approach to turbulence for compact nodal schemes
- Direction of arrival estimation of sources with intersecting signature in time-frequency domain using a combination of if estimation and MUSIC algorithm
- A binned likelihood for stochastic models
- An effective bound for the partition function
- Cartan images and \(\ell \)-torsion points of elliptic curves with rational \(j\)-invariant
- Commensurability classes of fake quadrics
- MULKSG: \textit{MUL}tiple \textit{K} \textit{S}imultaneous \textit{G}raph assembly
- Predicting methylation from sequence and gene expression using deep learning with attention
- The set of target vectors in a semi-infinite linear program with a duality gap
- A note on parallel sampling in Markov graphs
- Detecting multiple random changepoints in Bayesian piecewise growth mixture models
- Estimating population average causal effects in the presence of non-overlap: the effect of natural gas compressor station exposure on cancer mortality
- Graphical models for zero-inflated single cell gene expression
- Nuclear discrepancy for single-shot batch active learning
- Temporal pattern attention for multivariate time series forecasting
- TD-regularized actor-critic methods
- A C\# code for solving 3D topology optimization problems using SAP2000
- Effective approximation of heat flow evolution of the Riemann \(\xi \) function, and a new upper bound for the de Bruijn-Newman constant
- Magnus representation of genome sequences
- Importance sampling for partially observed temporal epidemic models
- Nonparametric estimation of the lifetime and disease onset distributions for a survival-sacrifice model
- Sparse Dowker nerves
- TiGL: an open source computational geometry library for parametric aircraft design
- Currents and finite elements as tools for shape space
- Invariants of multidimensional time series based on their iterated-integral signature
- Multinomial models with linear inequality constraints: overview and improvements of computational methods for Bayesian inference
- Shrinkage priors for Bayesian penalized regression
- Thermodynamic integration and steppingstone sampling methods for estimating Bayes factors: a tutorial
- A web-based toolkit for mathematical word processing applications with semantics
- Stamina: stabilisation monoids in automata theory
- EigenKernel
- Extreme superposition: rogue waves of infinite order and the Painlevé-III hierarchy
- An efficient approach for solving stiff nonlinear boundary value problems
- LNA++: linear noise approximation with first and second order sensitivities
- \textsc{MasterMovelets}: discovering heterogeneous movelets for multiple aspect trajectory classification
- A convex variational model for learning convolutional image atoms from incomplete data
- Cuboids, a class of clutters
- Enumeration of unsensed orientable and non-orientable maps
- Optimal line packings from nonabelian groups
- On the orientation average based on central orientation density functions for polycrystalline materials
- Uniqueness of codes using semidefinite programming
- Computing dynamic user equilibria on large-scale networks with software implementation
- Direct superbubble detection
- Implementation of continuous \(hp\)-adaptive finite element spaces without limitations on hanging sides and distribution of approximation orders
- A linear algorithm for brick Wang tiling
- A manifold-based approach to sparse global constraint satisfaction problems
- Identification of repeats in DNA sequences using nucleotide distribution uniformity
- Probabilistic black-box reachability checking (extended version)
- The LBPM software package for simulating multiphase flow on digital images of porous rocks
This page was built for software: GitHub