The following pages link to Boost C++ Libraries (Q16271):
Displaying 50 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Sequential Bayesian model selection of regular vine copulas (Q273648) (← links)
- A computable criterion for the existence of connecting orbits in autonomous dynamics (Q330541) (← links)
- \textsc{BAL}: a library for the \textit{brute-force} analysis of dynamical systems (Q339357) (← links)
- Training effective node classifiers for cascade classification (Q361264) (← links)
- Complex-shaped beam element and graph-based optimization of compliant mechanisms (Q373974) (← links)
- Scheduling arc maintenance jobs in a network to maximize total flow over time (Q406493) (← links)
- To CG or to HDG: A comparative study (Q427207) (← 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)
- A language for generic programming in the large (Q532409) (← 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)
- 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)
- Fast and accurate algorithm for the generalized exponential integral \(E_{\nu}(x)\) for positive real order (Q684195) (← links)
- Heuristics for the mixed swapping problem (Q733528) (← links)
- The design of the Boost interval arithmetic library (Q817867) (← links)
- Translating lambda calculus into C++ templates (Q832102) (← links)
- Dynamic algorithm selection for runtime concepts (Q988558) (← links)
- HyPAM: A hybrid continuum-particle model for incompressible free-surface flows (Q1005511) (← links)
- Sparse group Lasso and high dimensional multinomial classification (Q1621358) (← links)
- Fast method of approximate particular solutions using Chebyshev interpolation (Q1654968) (← links)
- GEMSFIT: a generic fitting tool for geochemical activity models (Q1663657) (← links)
- Nektar++: an open-source spectral/\(hp\) element framework (Q1682423) (← links)
- A resistive magnetohydrodynamics solver using modern C++ and the Boost library (Q1682630) (← links)
- A survey on design and implementation of protected searchable data in the cloud (Q1686146) (← links)
- On the performance of exponential integrators for problems in magnetohydrodynamics (Q1691763) (← links)
- Parallel implementation of a Lagrangian-based model on an adaptive mesh in C++: application to sea-ice (Q1699015) (← links)
- \textsc{OpenCL} based parallel algorithm for RBF-PUM interpolation (Q1703059) (← links)
- 2CoBel: a scalable belief function representation for 2D discernment frames (Q1726302) (← links)
- IGA-ADS: isogeometric analysis FEM using ADS solver (Q1738904) (← links)
- Enumeration of 2-level polytopes (Q1741129) (← links)
- Polyhedral approximation of ellipsoidal uncertainty sets via extended formulations: a computational case study (Q1789594) (← links)
- Parallel fast isogeometric L2 projection solver with Galois system for 3D tumor growth simulations (Q1986431) (← links)
- A new multi-resolution parallel framework for SPH (Q1986949) (← links)
- An isotropic unstructured mesh generation method based on a fluid relaxation analogy (Q1987989) (← links)
- A new constraint-based formulation for hydrodynamically resolved computational neuromechanics of swimming animals (Q2002280) (← links)
- Model-based quantification of left ventricular diastolic function in critically ill patients with atrial fibrillation from routine data: a feasibility study (Q2003713) (← links)
- Using a template engine as a computer algebra tool (Q2027841) (← links)
- On the effectiveness of the genetic paradigm for polygonization (Q2032170) (← links)
- Sequence analysis and modern C++. The creation of the SeqAn3 bioinformatics library (Q2057555) (← links)
- \texttt{blocks\_3d}: software for general 3d conformal blocks (Q2082850) (← links)
- Practical volume approximation of high-dimensional convex bodies, applied to modeling portfolio dependencies and financial crises (Q2096364) (← links)
- Multi-level adaptive particle refinement method with large refinement scale ratio and new free-surface detection algorithm for complex fluid-structure interaction problems (Q2106989) (← links)
- \texttt{Tusas}: a fully implicit parallel approach for coupled phase-field equations (Q2134513) (← links)
- An \(\Omega (n^d)\) lower bound on the number of cell crossings for weighted shortest paths in \(d\)-dimensional polyhedral structures (Q2144452) (← links)
