Boost C++ Libraries

swMATH4084MaRDI QIDQ16271

No author found.

Related Items (only showing first 100 items - show all)

Extracting unsatisfiable cores for LTL via temporal resolution ⋮ A census of hyperbolic Platonic manifolds and augmented knotted trivalent graphs ⋮ Sequential Bayesian model selection of regular vine copulas ⋮ Sparse group Lasso and high dimensional multinomial classification ⋮ Translating lambda calculus into C++ templates ⋮ \texttt{Tusas}: a fully implicit parallel approach for coupled phase-field equations ⋮ Feel++ : A computational framework for Galerkin Methods and Advanced Numerical Methods ⋮ A Parallel Implementation of the Mortar Element Method in 2D and 3D ⋮ Laissez-Faire Caching for Parallel #SAT Solving ⋮ Modular SIMD arithmetic in M <scp>athemagix</scp> ⋮ An \(\Omega (n^d)\) lower bound on the number of cell crossings for weighted shortest paths in \(d\)-dimensional polyhedral structures ⋮ Exact algorithms for budgeted prize-collecting covering subgraph problems ⋮ Computational Methods for Physicists ⋮ A new open-source software developed for numerical simulations using discrete modeling methods ⋮ Efficient Expression Templates for Operator Overloading-Based Automatic Differentiation ⋮ A computable criterion for the existence of connecting orbits in autonomous dynamics ⋮ \textsc{BAL}: a library for the \textit{brute-force} analysis of dynamical systems ⋮ Fast method of approximate particular solutions using Chebyshev interpolation ⋮ The supporting hyperplane optimization toolkit for convex MINLP ⋮ GEMSFIT: a generic fitting tool for geochemical activity models ⋮ Extreme-Scale Block-Structured Adaptive Mesh Refinement ⋮ Training effective node classifiers for cascade classification ⋮ Unsymmetric multi-level hanging nodes and anisotropic polynomial degrees in \(H^1\)-conforming higher-order finite element methods ⋮ Parallelization of the multi-level \(hp\)-adaptive finite cell method ⋮ Complex-shaped beam element and graph-based optimization of compliant mechanisms ⋮ Succinct encoding of binary strings representing triangulations ⋮ Motion planning algorithms for the Dubins Travelling Salesperson Problem ⋮ Programming with C++ concepts ⋮ Design and evaluation of C++ open multi-methods ⋮ On the impact of the migration topology on the island model ⋮ An improved multiobjective shortest path algorithm ⋮ Nektar++: an open-source spectral/\(hp\) element framework ⋮ A resistive magnetohydrodynamics solver using modern C++ and the Boost library ⋮ Error-correcting neural networks for two-dimensional curvature computation in the level-set method ⋮ The \texttt{deal.II} library, version 9.4 ⋮ A survey on design and implementation of protected searchable data in the cloud ⋮ A new particle shifting technique for SPH methods based on Voronoi diagram and volume compensation ⋮ Scheduling arc maintenance jobs in a network to maximize total flow over time ⋮ On the performance of exponential integrators for problems in magnetohydrodynamics ⋮ Modelling of a two-phase vortex-ring flow using an analytical solution for the carrier phase ⋮ A generic exact solver for vehicle routing and related problems ⋮ Machine learning algorithms for three-dimensional mean-curvature computation in the level-set method ⋮ Parallel implementation of a Lagrangian-based model on an adaptive mesh in C++: application to sea-ice ⋮ To CG or to HDG: A comparative study ⋮ A generic topology library ⋮ TC++: first-principles calculation code for solids using the transcorrelated method ⋮ \textsc{OpenCL} based parallel algorithm for RBF-PUM interpolation ⋮ Efficient algorithm for representations of U(3) in \(\mathrm{U}(N)\) ⋮ Subdomain deflation combined with local AMG: a case study using AMGCL library ⋮ High Performance Rearrangement and Multiplication Routines for Sparse Tensor Arithmetic ⋮ Non-replicability circumstances in a neural network model with Hodgkin-Huxley-type neurons ⋮ Certifying feasibility and objective value of linear programs ⋮ Discontinuous Galerkin method on three-dimensional tetrahedral grids. The use of template metaprogramming of the C++ language ⋮ Kaskade 7 -- a flexible finite element toolbox ⋮ A parallel bio-inspired shortest path algorithm ⋮ The stability of barycentric interpolation at the Chebyshev points of the second kind ⋮ On design and implementation of a generic number type for real algebraic number computations based on expression dags ⋮ Adaptive spectral solution method for the Landau and Lenard-Balescu equations ⋮ 2CoBel: a scalable belief function representation for 2D discernment frames ⋮ Verification of the Jones unknot conjecture up to 22 crossings ⋮ Dynamics of locally coupled agents with next nearest neighbor interaction ⋮ Efficient Random-Walk Methods for Approximating Polytope Volume ⋮ IGA-ADS: isogeometric analysis FEM using ADS solver ⋮ Enumeration of 2-level polytopes ⋮ A locking-free meshfree method for the simulation of shear-deformable plates based on a mixed variational formulation ⋮ Parallel fast isogeometric L2 projection solver with Galois system for 3D tumor growth simulations ⋮ A new multi-resolution parallel framework for SPH ⋮ Enhancing unsatisfiable cores for LTL with information on temporal relevance ⋮ An isotropic unstructured mesh generation method based on a fluid relaxation analogy ⋮ Mixed-integer programming techniques for the connected max-\(k\)-cut problem ⋮ Hierarchical multigrid approaches for the finite cell method on uniform and multi-level \(h p\)-refined grids ⋮ Fast and accurate algorithm for the generalized exponential integral \(E_{\nu}(x)\) for positive real order ⋮ Optimizations in computing the Duquenne-Guigues basis of implications ⋮ A language for generic programming in the large ⋮ A new constraint-based formulation for hydrodynamically resolved computational neuromechanics of swimming animals ⋮ Model-based quantification of left ventricular diastolic function in critically ill patients with atrial fibrillation from routine data: a feasibility study ⋮ Development of a Mission Simulator for Design and Testing of C2 Algorithms and HMI Concepts across Real and Virtual Manned-Unmanned Fleets ⋮ Dynamic algorithm selection for runtime concepts ⋮ Piecewise linear secant approximation via algorithmic piecewise differentiation ⋮ Using a template engine as a computer algebra tool ⋮ Polyhedral approximation of ellipsoidal uncertainty sets via extended formulations: a computational case study ⋮ On the effectiveness of the genetic paradigm for polygonization ⋮ Data Clustering in C++ ⋮ Concepts for High-Perfomance Scientific Computing ⋮ Computing the Lambert \(W\) function in arbitrary-precision complex interval arithmetic ⋮ Verified Computations for Hyperbolic 3-Manifolds ⋮ Heuristics for the mixed swapping problem ⋮ The mimetic methods toolkit: an object-oriented API for mimetic finite differences ⋮ HyPAM: A hybrid continuum-particle model for incompressible free-surface flows ⋮ Productivity, performance, and portability for computational fluid dynamics applications ⋮ Experiments-based parameter identification on the GPU for cooperative systems ⋮ Sequence analysis and modern C++. The creation of the SeqAn3 bioinformatics library ⋮ France Telecom workforce scheduling problem: a challenge ⋮ ViennaCL---Linear Algebra Library for Multi- and Many-Core Architectures ⋮ \texttt{blocks\_3d}: software for general 3d conformal blocks ⋮ Functional programming framework for \textit{GRworkbench} ⋮ Practical volume approximation of high-dimensional convex bodies, applied to modeling portfolio dependencies and financial crises ⋮ Multi-level adaptive particle refinement method with large refinement scale ratio and new free-surface detection algorithm for complex fluid-structure interaction problems ⋮ Branch-and-price for staff rostering: an efficient implementation using generic programming and nested column generation ⋮ The design of the Boost interval arithmetic library

This page was built for software: Boost C++ Libraries