The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Problems and methods of network control (Q507101) (← links)
- Discrete-event diagnostic model for a distributed computational system. Independent chains (Q507111) (← links)
- Nonlinear optimization problem of interdependent investment projects portfolio (Q507118) (← links)
- Improved methods for the construction of relative invariants for permutation groups (Q507130) (← links)
- CIO and ring graphs: deficiency and testing (Q507135) (← links)
- Resultants over commutative idempotent semirings. I: Algebraic aspect (Q507140) (← links)
- Construction algorithms for rational cubic surfaces (Q507142) (← links)
- Polynomial dynamics of human blood genotypes frequencies (Q507145) (← links)
- The invariant rings of the Sylow groups of \(GU (3,q^{2})\), \(GU(4,q^{2})\), \(Sp(4,q)\) and \(O^{+}(4,q)\) in the natural characteristic (Q507146) (← links)
- On rational functions with monodromy group \(M_{11}\) (Q507147) (← links)
- List decoding algorithm based on voting in Gröbner bases for general one-point AG codes (Q507148) (← links)
- On the maximum computing time of the bisection method for real root isolation (Q507151) (← links)
- Computing isolated orbifolds in weighted flag varieties (Q507153) (← links)
- Algorithmic calculus for Lie determining systems (Q507157) (← links)
- Foreword. What is numerical algebraic geometry? (Q507158) (← links)
- Decoupling highly structured polynomial systems (Q507159) (← links)
- Mixed cell computation in HOM4ps (Q507160) (← links)
- Parallel degree computation for binomial systems (Q507161) (← links)
- Critical points via monodromy and local methods (Q507163) (← links)
- Certifying solutions to square systems of polynomial-exponential equations (Q507164) (← links)
- A lifted square formulation for certifiable Schubert calculus (Q507165) (← links)
- Eliminating dual spaces (Q507167) (← links)
- Foveated compressive imaging for low power vehicle fingerprinting and tracking in aerial imagery (Q507263) (← links)
- Center conditions for generalized polynomial Kukles systems (Q507291) (← links)
- Continuous location under the effect of `refraction' (Q507312) (← links)
- An interior-point trust-funnel algorithm for nonlinear optimization (Q507313) (← links)
- An efficient inexact symmetric Gauss-Seidel based majorized ADMM for high-dimensional convex composite conic programming (Q507319) (← links)
- Smooth strongly convex interpolation and exact worst-case performance of first-order methods (Q507324) (← links)
- On reduced semidefinite programs for second order moment bounds with applications (Q507337) (← links)
- On the time transformation of mixed integer optimal control problems using a consistent fixed integer control function (Q507341) (← links)
- Barrier certificates revisited (Q507352) (← links)
- Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution (Q507359) (← links)
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- Skalpel: a constraint-based type error slicer for standard ML (Q507365) (← links)
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Preserving differential privacy under finite-precision semantics (Q507371) (← links)
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- Confluence reduction for Markov automata (Q507382) (← links)
- Linear-time computation of prefix table for weighted strings {\&} applications (Q507393) (← links)
- A space-efficient alphabet-independent Four-Russians' lookup table and a multithreaded Four-Russians' edit distance algorithm (Q507395) (← links)
- Two approximate algorithms for model counting (Q507433) (← links)
- Approximating Max NAE-\(k\)-SAT by anonymous local search (Q507440) (← links)
- Estimation of the dimensions of some Kisin varieties (Q507459) (← links)
- Colored partitions of a convex polygon by noncrossing diagonals (Q507469) (← links)
- A new series of optimal tight conflict-avoiding codes of weight 3 (Q507480) (← links)
- A classification of flag-transitive 2-designs with \(\lambda \geq (r,\lambda)^2\) and sporadic socle (Q507481) (← links)
- Improved partial permutation decoding for Reed-Muller codes (Q507498) (← links)
- A note on unimodular lattices with trivial automorphism groups (Q507505) (← links)
- RQL: a query language for rule discovery in databases (Q507529) (← links)
- Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics (Q507531) (← links)
