The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Resilient dictionaries (Q2930274) (← links)
- Updating relaxed <i>K</i> -d trees (Q2930277) (← links)
- Shortest paths in directed planar graphs with negative lengths (Q2930306) (← links)
- An approximation algorithm for the maximum leaf spanning arborescence problem (Q2930326) (← links)
- On logical universality of Belousov-Zhabotinsky vesicles (Q2930722) (← links)
- Efficient Computation of the Well-Founded Semantics over Big Data (Q2931253) (← links)
- <tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming (Q2931265) (← links)
- Lifted Variable Elimination for Probabilistic Logic Programming (Q2931273) (← links)
- Anytime Computation of Cautious Consequences in Answer Set Programming (Q2931278) (← links)
- Convergence analysis for hyperbolic evolution problems in mixed form (Q2931522) (← links)
- Deadlock-freedom-by-design (Q2931801) (← links)
- Logical relations for fine-grained concurrency (Q2931809) (← links)
- Memfractance: A Mathematical Paradigm for Circuit Elements with Memory (Q2932609) (← links)
- Truth versus information in logic programming (Q2933087) (← links)
- On exact algorithms for treewidth (Q2933641) (← links)
- Convergence of Trust-Region Methods Based on Probabilistic Models (Q2934477) (← links)
- Iterated Chvátal--Gomory Cuts and the Geometry of Numbers (Q2934479) (← links)
- Robust Solutions of MultiObjective Linear Semi-Infinite Programs under Constraint Data Uncertainty (Q2934483) (← links)
- A PRACTICAL FUZZY DIGRAPH MODEL FOR MODELING MANUFACTURING FLEXIBILITY (Q2934522) (← links)
- Optimal policy for profit maximising in an EOQ model under non-linear holding cost and stock-dependent demand rate (Q2935123) (← links)
- Popular Matchings: Structure and Strategic Issues (Q2935279) (← links)
- Combinatorial Benders' Cuts for the Strip Packing Problem (Q2935306) (← links)
- Nearly Linear Time Algorithms for Preconditioning and Solving Symmetric, Diagonally Dominant Linear Systems (Q2936576) (← links)
- Higher Order Fréchet Derivatives of Matrix Functions and the Level-2 Condition Number (Q2936584) (← links)
- Monadic augment and generalised short cut fusion (Q2936792) (← links)
- Cake Cutting Algorithms for Piecewise Constant and Piecewise Uniform Valuations (Q2936971) (← links)
- On the Existence of Low-Rank Explanations for Mixed Strategy Behavior (Q2937008) (← links)
- Extensions to the CEGAR Approach on Petri Nets (Q2937547) (← links)
- A Combined Probabilistic/Nonprobabilistic Decision Analysis for Contaminant Remediation (Q2938461) (← links)
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (Q2938523) (← links)
- Robust explicit model predictive control via regular piecewise-affine approximation (Q2938633) (← links)
- Isogeny-Based Quantum-Resistant Undeniable Signatures (Q2938682) (← links)
- Bayesian Reinforcement Learning with Exploration (Q2938731) (← links)
- Offline to Online Conversion (Q2938735) (← links)
- Indefinitely Oscillating Martingales (Q2938742) (← links)
- Output feedback control synthesis for non-linear time-delay systems using a sliding-mode observer (Q2939291) (← links)
- On the definability of simulation and bisimulation in epistemic logic (Q2939298) (← links)
- A formal semantics for agent (re)organization (Q2939305) (← links)
- On Discrete Least-Squares Projection in Unbounded Domain with Random Evaluations and its Application to Parametric Uncertainty Quantification (Q2940009) (← links)
- A Hessian-Based Method for Uncertainty Quantification in Global Ocean State Estimation (Q2940055) (← links)
- Improving the Performance of MIQP Solvers for Quadratic Programs with Cardinality and Minimum Threshold Constraints: A Semidefinite Program Approach (Q2940060) (← links)
- Localized Patterns in Periodically Forced Systems (Q2940721) (← links)
- A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS (Q2940885) (← links)
- Charlie – An Extensible Petri Net Analysis Tool (Q2941151) (← links)
- New Search Strategies for the Petri Net CEGAR Approach (Q2941159) (← links)
- Digital Signatures from Strong RSA without Prime Generation (Q2941193) (← links)
- Public-Key Encryption Indistinguishable Under Plaintext-Checkable Attacks (Q2941199) (← links)
- Simple Functional Encryption Schemes for Inner Products (Q2941218) (← links)
- A Polynomial-time Bicriteria Approximation Scheme for Planar Bisection (Q2941581) (← links)
- Quantum interactive proofs and the complexity of separability testing (Q2941643) (← links)
