The following pages link to full work available at URL (P205):
Displaying 50 items.
- 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)
- A helical Cauchy-Born rule for special Cosserat rod modeling of nano and continuum rods (Q287350) (← links)
- A dynamic contact problem with history-dependent operators (Q287352) (← links)
- An example of a one-parameter family of rank-one convex stored energies for isotropic compressible solids (Q287355) (← links)
- Interactive theorem proving. Preface of the special issue (Q287356) (← links)
- On definitions of constants and types in HOL (Q287358) (← links)
- Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation (Q287361) (← links)
- Eisbach: a proof method language for Isabelle (Q287365) (← links)
- Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) (← links)
- Mechanizing a process algebra for network protocols (Q287372) (← links)
- Completeness and decidability results for CTL in constructive type theory (Q287375) (← links)
- A heuristic prover for real inequalities (Q287379) (← links)
- Adding decision procedures to SMT solvers using axioms with triggers (Q287384) (← links)
- Quantifier reordering for QBF (Q287386) (← links)
- In memory of Professor Peter Gavin Hall, 1951--2016 (Q287387) (← links)
- A new class of two-level optimal extended designs (Q287389) (← links)
- Exponentially tilted empirical distribution function for ranked set samples (Q287391) (← links)
- Asymptotic properties for distributions and densities of extremes from generalized gamma distribution (Q287393) (← links)
- Semiparametric maximum likelihood estimation of stochastic frontier model with errors-in-variables (Q287396) (← links)
- Two-level screening designs derived from binary nonlinear codes (Q287399) (← links)
- Optimal random sample size based on Bayesian prediction of exponential lifetime and application to real data (Q287402) (← links)
- On asymmetric generalization of the Weibull distribution by scale-location mixing of normal laws (Q287404) (← links)
- Nonparametric comparison of recurrent event processes based on panel count data (Q287405) (← links)
- Bivariate zero truncated Poisson INAR(1) process (Q287409) (← links)
- An approximate likelihood function of spatial correlation parameters (Q287412) (← links)
- A moderate deviation for associated random variables (Q287416) (← links)
- Decision boundaries for mixtures of regressions (Q287417) (← links)
- Scaled ridge estimator and its application to multimodel ensemble approaches for climate prediction (Q287423) (← links)
- Estimation and testing procedures for the reliability functions of generalized half logistic distribution (Q287426) (← links)
- Weighted restarting automata and pushdown relations (Q287429) (← links)
- Abelian powers and repetitions in Sturmian words (Q287434) (← links)
