The following pages link to GitHub (Q34954):
Displaying 44 items.
- Practical Bayesian model evaluation using leave-one-out cross-validation and WAIC (Q59366) (← links)
- \(\text{ALR}^n\): accelerated higher-order logistic regression (Q331666) (← links)
- CheMPS2: a free open-source spin-adapted implementation of the density matrix renormalization group for ab initio quantum chemistry (Q339298) (← links)
- The MIXMAX random number generator (Q525645) (← links)
- DeepRT: predictable deep learning inference for cyber-physical systems (Q779430) (← links)
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- Improvements on non-equilibrium and transport Green function techniques: the next-generation Transiesta (Q1687073) (← links)
- A constrained \(\ell1\) minimization approach for estimating multiple sparse Gaussian or nonparanormal graphical models (Q1698844) (← links)
- Multilevel and multi-index Monte Carlo methods for the McKean-Vlasov equation (Q1704027) (← links)
- Unstable modes in projection-based reduced-order models: how many can there be, and what do they tell you? (Q1729130) (← links)
- \texttt{pyJac}: analytical Jacobian generator for chemical kinetics (Q1739615) (← links)
- Wave propagation characteristics of Parareal (Q1790220) (← links)
- Complete integration-by-parts reductions of the non-planar hexagon-box via module intersections (Q1797273) (← links)
- A convex variational model for learning convolutional image atoms from incomplete data (Q1988356) (← links)
- Uniqueness of codes using semidefinite programming (Q1999906) (← links)
- Medical diagnostic tests: a review of test anatomy, phases, and statistical treatment of data (Q2003638) (← links)
- A manifold-based approach to sparse global constraint satisfaction problems (Q2010101) (← links)
- A constrained interval approach to the generalized distance geometry problem (Q2174890) (← links)
- GXNOR-Net: training deep neural networks with ternary weights and activations without full-precision memory under a unified discretization framework (Q2179802) (← links)
- Global-and-local-structure-based neural network for fault detection (Q2185622) (← links)
- Understanding image representations by measuring their equivariance and equivalence (Q2193805) (← links)
- Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light} (Q2198134) (← links)
- Setting decision thresholds when operating conditions are uncertain (Q2218341) (← links)
- Depth-4 lower bounds, determinantal complexity: a unified approach (Q2281250) (← links)
- A GPU-based multi-level algorithm for boundary value problems (Q2291986) (← links)
- Multilevel and multiscale feature aggregation in deep networks for facial constitution classification (Q2299895) (← links)
- Infinite-state invariant checking with IC3 and predicate abstraction (Q2363814) (← links)
- Bounding basis reduction properties (Q2364641) (← links)
- Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems (Q2364705) (← links)
- AIR tools II: algebraic iterative reconstruction methods, improved implementation (Q2413493) (← links)
- Noise-enhanced convolutional neural networks (Q2418174) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- On Sampling Methods for Costly Multi-Objective Black-Box Optimization (Q2958628) (← links)
- Parallel Aggregation Based on Compatible Weighted Matching for AMG (Q3297463) (← links)
- Assessing Goodness-of-Fit in Marked-Point Process Models of Neural Population Coding via Time and Rate Rescaling (Q3386424) (← links)
- Modeling Microtubule-Based Transport and Anchoring of mRNA (Q4562431) (← links)
- (Q4969196) (← links)
- An approach integrating planning and image-based visual servo control for road following and moving obstacles avoidance (Q5130069) (← links)
- Transition scale-spaces: A computational theory for the discretized entorhinal cortex (Q5131177) (← links)
- Bi-objective Branch-and-Cut Algorithms Based on LP Relaxation and Bound Sets (Q5139632) (← links)
- White-box Induction From SVM Models: Explainable AI with Logic Programming (Q5140006) (← links)
- Autoregressive Point Processes as Latent State-Space Models: A Moment-Closure Approach to Fluctuations and Autocorrelations (Q5157255) (← links)
- Decoding Hidden Cognitive States From Behavior and Physiology Using a Bayesian Approach (Q5214369) (← links)
- Machine Learning of Time Series Using Time-Delay Embedding and Precision Annealing (Q5214389) (← links)
