Cited in
(64)- Distributed solution of Laplacian eigenvalue problems
- Reordering decision diagrams for quantum computing is harder than you might think
- A formal proof of the Kepler conjecture
- Some evidence for the Coleman-Oort conjecture
- Hadamard diagonalizable graphs of order at most 36
- Optimally configuring a measurement system to detect diversions from a nuclear fuel cycle
- Optimal expected-shortfall portfolio selection with copula-induced dependence
- Leviathan
- Polsat
- Reflection of a self-propelling rigid disk from a boundary
- Computing elliptic curves over \(\mathbb {Q}\)
- Efficiently and effectively recognizing toricity of steady state varieties
- ilsts-wvcp
- Almost event-rate independent monitoring of metric temporal logic
- Modelling stochastic and deterministic behaviours in virus infection dynamics
- Initial steps in the classification of maximal mediated sets
- Hierarchical invention of theorem proving strategies
- A simple quantum test for smooth horizons
- Computation of the uncollided-flux moments with advanced MOC and QP methods
- Subsumption demodulation in first-order theorem proving
- Of cores: a partial-exploration framework for Markov decision processes
- Improved formulations and new valid inequalities for a hybrid flow shop problem with time-varying resources and chaining time-lag
- There is no (75,32,10,16) strongly regular graph
- A derivative-free Gauss-Newton method
- PASS
- casper
- eVolCheck
- QMDD
- EBSeq
- DENOVO
- Alors
- SummerTime
- JKind
- QuIDDPro
- pstca
- SDPB
- KADABRA
- polyDB
- Domain-independent cost-optimal planning in ASP
- Montre
- MLSVM
- mimclib
- Physics-informed machine learning with conditional Karhunen-Loève expansions
- MaximinOPF.jl
- aerial
- iCaRL
- Boolean_Expression_Checkers
- salso
- jags-wiener
- A smeared quantum phase transition in disordered holography
- How attention influences perceptual decision making: single-trial EEG correlates of drift-diffusion model parameters
- KS(conf): a light-weight test if a multiclass classifier operates outside of its specifications
- Ant colony optimization for path planning in search and rescue operations
- CoSA
- A bilevel approach for identifying the worst contingencies for nonconvex alternating current power systems
- Classical symmetries and the quantum approximate optimization algorithm
- scientific article; zbMATH DE number 7445165 (Why is no real title available?)
- Aalta
- Almost event-rate independent monitoring
- Exploiting partial variable assignment in interpolation-based model checking
- On Monte Carlo tree search for weighted vertex coloring
- Multilevel and multi-index Monte Carlo methods for the McKean-Vlasov equation
- Fragmentation uncertainties in hadronic observables for top-quark mass measurements
- Vehicle routing problems with time windows and multiple service workers: a systematic comparison between ACO and GRASP
This page was built for software: GNU parallel
