The following pages link to title (P159):
Displaying 50 items.
- Fast correlation attacks on nonlinear filter generators (Q287225) (← links)
- Fair on-line scheduling of a dynamic set of tasks on a single resource (Q287232) (← links)
- Recognizable subsets of the two letter plactic monoid (Q287233) (← links)
- An approximate model of processor communication rings under heavy load (Q287237) (← links)
- Batch scheduling with deadlines on parallel machines: an NP-hard case (Q287238) (← links)
- Characterization of extended \(\mathrm{LR}(k)\) grammars (Q287241) (← links)
- A simple linear algorithm for the edge-disjoint \((s, t)\)-paths problem in undirected planar graphs (Q287243) (← links)
- Time bounds on synchronization in a periodic distributed system (Q287245) (← links)
- Efficient access methods for image databases (Q287248) (← links)
- Exact and approximate computational geometry solutions of an unrestricted point set stereo matching problem (Q287251) (← links)
- Formal justification of underspecification for S5 (Q287254) (← links)
- Noncommutative minimization algorithms (Q287255) (← links)
- A characterization of finitary bisimulation (Q287256) (← links)
- On improving dependency implication algorithms (Q287258) (← links)
- The computational complexity of the reliability problem on distributed systems (Q287259) (← links)
- Computing a poset from its realizer (Q287260) (← links)
- Revisiting the COUNTER algorithms for list update (Q287261) (← links)
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269) (← links)
- Decision procedures for flat array properties (Q287272) (← links)
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- Reverse complexity (Q287279) (← links)
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- The \(q\)-versions of the Bernstein operator: from mere analogies to further developments (Q287285) (← links)
- Further results for \(k\)th order Kantorovich modification of linking Baskakov type operators (Q287288) (← links)
- Hyers-Ulam stability of Euler's differential equation (Q287290) (← links)
- New Korovkin type theorem for non-tensor Meyer-König and Zeller operators (Q287292) (← links)
- Asymptotic properties of Bernstein-Durrmeyer operators (Q287294) (← links)
- Statistically relatively uniform convergence of positive linear operators (Q287297) (← links)
- Degree of approximation for bivariate Chlodowsky-Szasz-Charlier type operators (Q287299) (← links)
- An iterative modification of Shepard-Bernoulli operator (Q287301) (← links)
- GBS operators of Lupaş-Durrmeyer type based on Polya distribution (Q287302) (← links)
- General form of Voronovskaja's theorem in terms of weighted modulus of continuity (Q287304) (← links)
- Von Neumann-Schatten dual frames and their perturbations (Q287307) (← links)
- Orthogonal polynomials for modified Chebyshev measure of the first kind (Q287309) (← links)
- Estimations of the operator resolvent by higher order Cesàro means (Q287310) (← links)
- Korovkin-type theorems for abstract modular convergence (Q287312) (← links)
- A Korovkin-type approximation theorem and power series method (Q287315) (← links)
- Approximation by max-product neural network operators of Kantorovich type (Q287317) (← links)
- Circle numbers of regular convex polygons (Q287319) (← links)
- Automated proofs of block cipher modes of operation (Q287326) (← links)
- In memory of Mark Stickel (Q287330) (← links)
- Mark Stickel: his earliest work (Q287332) (← links)
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- An experiment with satisfiability modulo SAT (Q287334) (← links)
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- The biaxial moduli of cubic materials subjected to an equi-biaxial elastic strain (Q287342) (← links)
- Analytical solution of the Cerruti problem under linearly distributed horizontal loads over polygonal domains (Q287345) (← links)
- Small strain growth and the human nail (Q287346) (← links)
