Boost

swMATH9223MaRDI QIDQ21213

No author found.

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

Extracting unsatisfiable cores for LTL via temporal resolution ⋮ Sequential Bayesian model selection of regular vine copulas ⋮ Multifractal analysis and topological properties of a new family of weighted Koch networks ⋮ Sparse group Lasso and high dimensional multinomial classification ⋮ Formalising Boost POSIX regular expression matching ⋮ \texttt{Tusas}: a fully implicit parallel approach for coupled phase-field equations ⋮ On estimation of the diagonal elements of a sparse precision matrix ⋮ Krylov subspace methods for the Dirac equation ⋮ 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 ⋮ Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO ⋮ A computable criterion for the existence of connecting orbits in autonomous dynamics ⋮ Single liner shipping service design ⋮ A divide and conquer matheuristic algorithm for the prize-collecting Steiner tree problem ⋮ \textsc{BAL}: a library for the \textit{brute-force} analysis of dynamical systems ⋮ A new heuristic for detecting non-Hamiltonicity in cubic graphs ⋮ 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 ⋮ Training effective node classifiers for cascade classification ⋮ A reformulation framework for global optimization ⋮ Complex-shaped beam element and graph-based optimization of compliant mechanisms ⋮ Computing of B-series by automatic differentiation ⋮ Programming with C++ concepts ⋮ Design and evaluation of C++ open multi-methods ⋮ On the impact of the migration topology on the island model ⋮ Fractionation in planar kinematic chains: reconciling enumeration contradictions ⋮ A new dichotomic algorithm for the uniform random generation of words in regular languages ⋮ Nektar++: an open-source spectral/\(hp\) element framework ⋮ A resistive magnetohydrodynamics solver using modern C++ and the Boost library ⋮ A framework for globally optimizing mixed-integer signomial programs ⋮ A survey on design and implementation of protected searchable data in the cloud ⋮ Scheduling arc maintenance jobs in a network to maximize total flow over time ⋮ The simplified partial digest problem: approximation and a graph-theoretic model ⋮ On the performance of exponential integrators for problems in magnetohydrodynamics ⋮ A generic exact solver for vehicle routing and related problems ⋮ Models for the single-vehicle preemptive pickup and delivery problem ⋮ Evacuation dynamics influenced by spreading hazardous material ⋮ 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 ⋮ Implementation of a unimodularity test ⋮ Properties of the DGS-auction algorithm ⋮ \textsc{OpenCL} based parallel algorithm for RBF-PUM interpolation ⋮ Subdomain deflation combined with local AMG: a case study using AMGCL library ⋮ Modeling wildfire propagation with Delaunay triangulation and shortest path algorithms ⋮ 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 ⋮ Formalising and implementing Boost POSIX regular expression matching ⋮ 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 ⋮ A flow based pruning scheme for enumerative equitable coloring algorithms ⋮ Bounds on maximum concurrent flow in random bipartite graphs ⋮ A worker constrained flexible job shop scheduling problem with sequence-dependent setup times ⋮ Optimal distributed linear averaging ⋮ Dynamics of locally coupled agents with next nearest neighbor interaction ⋮ ViennaMaterials -- a dedicated material library for computational science and engineering ⋮ IGA-ADS: isogeometric analysis FEM using ADS solver ⋮ Continuous-time hybridization expansion quantum impurity solver for multi-orbital systems with complex hybridizations ⋮ Enumeration of 2-level polytopes ⋮ Multiresolution coupled vertical equilibrium model for fast flexible simulation of CO\(_2\) storage ⋮ 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 ⋮ Compact sparse symbolic Jacobian computation in large systems of ODEs ⋮ 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 ⋮ Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code ⋮ A language for generic programming in the large ⋮ Treewidth computations. I: Upper bounds ⋮ 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 ⋮ Treewidth computations. II. Lower bounds ⋮ The Nemhauser-Trotter reduction and lifted message passing for the weighted CSP ⋮ Computing large matchings in planar graphs with fixed minimum degree ⋮ Motion planning via manifold samples ⋮ Numerical object oriented quantum field theory calculations ⋮ Analytical and simulation-based design space exploration of software defined radios ⋮ Dynamic algorithm selection for runtime concepts ⋮ Using a template engine as a computer algebra tool ⋮ Solving path problems on the GPU ⋮ Polyhedral approximation of ellipsoidal uncertainty sets via extended formulations: a computational case study ⋮ On the effectiveness of the genetic paradigm for polygonization ⋮ Heuristics for the mixed swapping problem ⋮ HyPAM: A hybrid continuum-particle model for incompressible free-surface flows ⋮ Rewriting theory for the life sciences: a unifying theory of CTMC semantics ⋮ Hierarchical multiresolution approaches for dense point-level breast cancer treatment data ⋮ Efficient connection processing in equation-based object-oriented models ⋮ 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 ⋮ The design of the Boost interval arithmetic library

This page was built for software: Boost