The following pages link to Boost (Q21213):
Displaying 50 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Sequential Bayesian model selection of regular vine copulas (Q273648) (← links)
- On estimation of the diagonal elements of a sparse precision matrix (Q302437) (← links)
- Krylov subspace methods for the Dirac equation (Q310844) (← links)
- Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO (Q322958) (← links)
- A computable criterion for the existence of connecting orbits in autonomous dynamics (Q330541) (← links)
- Single liner shipping service design (Q336948) (← links)
- \textsc{BAL}: a library for the \textit{brute-force} analysis of dynamical systems (Q339357) (← links)
- A new heuristic for detecting non-Hamiltonicity in cubic graphs (Q342098) (← links)
- Training effective node classifiers for cascade classification (Q361264) (← links)
- A reformulation framework for global optimization (Q367160) (← links)
- Complex-shaped beam element and graph-based optimization of compliant mechanisms (Q373974) (← links)
- Computing of B-series by automatic differentiation (Q379767) (← links)
- A new dichotomic algorithm for the uniform random generation of words in regular languages (Q391418) (← links)
- A framework for globally optimizing mixed-integer signomial programs (Q398656) (← links)
- Scheduling arc maintenance jobs in a network to maximize total flow over time (Q406493) (← links)
- Models for the single-vehicle preemptive pickup and delivery problem (Q421257) (← links)
- To CG or to HDG: A comparative study (Q427207) (← links)
- Properties of the DGS-auction algorithm (Q431903) (← links)
- Modeling wildfire propagation with Delaunay triangulation and shortest path algorithms (Q439586) (← links)
- Certifying feasibility and objective value of linear programs (Q453056) (← links)
- The stability of barycentric interpolation at the Chebyshev points of the second kind (Q466049) (← links)
- A locking-free meshfree method for the simulation of shear-deformable plates based on a mixed variational formulation (Q503333) (← links)
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- A language for generic programming in the large (Q532409) (← links)
- Treewidth computations. II. Lower bounds (Q549673) (← links)
- Computing large matchings in planar graphs with fixed minimum degree (Q553342) (← links)
- Programming with C++ concepts (Q608245) (← links)
- Design and evaluation of C++ open multi-methods (Q608250) (← links)
- On the impact of the migration topology on the island model (Q609092) (← links)
- Fractionation in planar kinematic chains: reconciling enumeration contradictions (Q612683) (← links)
- The simplified partial digest problem: approximation and a graph-theoretic model (Q621677) (← links)
- A generic topology library (Q632812) (← links)
- On design and implementation of a generic number type for real algebraic number computations based on expression dags (Q655162) (← links)
- Optimal distributed linear averaging (Q665204) (← links)
- ViennaMaterials -- a dedicated material library for computational science and engineering (Q669687) (← links)
- Fast and accurate algorithm for the generalized exponential integral \(E_{\nu}(x)\) for positive real order (Q684195) (← links)
- Numerical object oriented quantum field theory calculations (Q711839) (← links)
- Heuristics for the mixed swapping problem (Q733528) (← links)
- The design of the Boost interval arithmetic library (Q817867) (← links)
- Treewidth computations. I: Upper bounds (Q964001) (← links)
- Analytical and simulation-based design space exploration of software defined radios (Q987751) (← links)
- Dynamic algorithm selection for runtime concepts (Q988558) (← links)
- Solving path problems on the GPU (Q991105) (← links)
- HyPAM: A hybrid continuum-particle model for incompressible free-surface flows (Q1005511) (← links)
- Hierarchical multiresolution approaches for dense point-level breast cancer treatment data (Q1023595) (← links)
- Multifractal analysis and topological properties of a new family of weighted Koch networks (Q1620403) (← links)
- Sparse group Lasso and high dimensional multinomial classification (Q1621358) (← links)
- Formalising Boost POSIX regular expression matching (Q1623122) (← links)
