The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Descent symmetrization of the Dai-Liao conjugate gradient method (Q2809315) (← links)
- Non-parametric Sampling Approximation via Voronoi Tessellations (Q2809645) (← links)
- Exponential stabilization of the wave equation by Dirichlet integral feedback (Q2810065) (← links)
- Optimal any-angle pathfinding in practice (Q2810130) (← links)
- On the complexity of local search in unconstrained quadratic binary optimization (Q2810549) (← links)
- A sequential method for a class of stable mathematical programming problems (Q2810550) (← links)
- Characterizing the stabilization size for semi-implicit Fourier-spectral method to phase field equations (Q2810567) (← links)
- Compositional model checking of product-form CTMCs (Q2810967) (← links)
- Rainbow matchings and Hamilton cycles in random graphs (Q2811161) (← links)
- Complexity and approximability of the maximum flow problem with minimum quantities (Q2811300) (← links)
- A template-based adaptive large neighborhood search for the consistent vehicle routing problem (Q2811324) (← links)
- Numerical stability of path-based algorithms for traffic assignment (Q2811480) (← links)
- Hybridizations of GRASP with path relinking for the far from most string problem (Q2811940) (← links)
- Cantorvals and Subsum Sets of Null Sequences (Q2812154) (← links)
- A Product of Nested Radicals for the AGM (Q2812157) (← links)
- Computing Some Integrals by Computing Derivatives (Q2812158) (← links)
- The Exponential Map Is Chaotic: An Invitation to Transcendental Dynamics (Q2812167) (← links)
- Hanging Around in Non-Uniform Fields (Q2812170) (← links)
- On Convex Curves Which Have Many Inscribed Triangles of Maximum Area (Q2812172) (← links)
- What Does “Less Than or Equal“ Really Mean? (Q2812175) (← links)
- Polya′s Random Walk Theorem Revisited (Q2812182) (← links)
- Continuous-mode multiphoton filtering (Q2813313) (← links)
- The algebraic method in tree percolation (Q2813341) (← links)
- Transient Solution for Queueing Delay Distribution in the GI/M/1/K-type Mode with “Queued” Waking up and Balking (Q2814139) (← links)
- A chaotic system with different shapes of equilibria (Q2814186) (← links)
- An Application of Differential Evolution to Positioning Queueing Systems (Q2814375) (← links)
- Optimized Particle Regeneration Scheme for the Wigner Monte Carlo Method (Q2814534) (← links)
- Explicit-Implicit Splitting Schemes for Parabolic Equations and Systems (Q2814557) (← links)
- Time-Series Constraints: Improvements and Application in CP and MIP Contexts (Q2815092) (← links)
- A Bit-Vector Solver with Word-Level Propagation (Q2815126) (← links)
- Fast, Simple and Separable Computation of Betti Numbers on Three-Dimensional Cubical Complexes (Q2815194) (← links)
- Constraint-based local search for inventory control under stochastic demand and lead time (Q2815430) (← links)
- Disjunctive decomposition for two-stage stochastic mixed-binary programs with generalized upper bound constraints (Q2815438) (← links)
- Variance-stabilizing and Confidence-stabilizing Transformations for the Normal Correlation Coefficient with Known Variances (Q2816723) (← links)
- Comments on some theories of fuzzy computation (Q2817095) (← links)
- Distributed estimation based on covariances under network-induced phenomena described by random measurement matrices (Q2817104) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (Q2817298) (← links)
- Extending E Prover with Similarity Based Clause Selection Strategies (Q2817300) (← links)
- Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy (extended abstract) (Q2817636) (← links)
- From empirical observations to tree models for stochastic optimization: convergence properties (Q2817839) (← links)
- A dynamic programming approach for a class of robust optimization problems (Q2817842) (← links)
- Automorphisms of the Cube $$n^d$$ (Q2817882) (← links)
- Highly Bi-Connected Subgraphs for Computational Protein Function Annotation (Q2817900) (← links)
- Counting Constraints in Flat Array Fragments (Q2817911) (← links)
- Strong Backdoors for Default Logic (Q2818000) (← links)
- Lifting QBF Resolution Calculi to DQBF (Q2818035) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- Analysis on a nonnegative matrix factorization and its applications (Q2818250) (← links)
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics (Q2819263) (← links)
