GitHub

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