The following pages link to Recommended article (P1643):
Displaying 50 items.
- Estimations of the operator resolvent by higher order Cesàro means (Q287310) (← links)
- Korovkin-type theorems for abstract modular convergence (Q287312) (← 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)
- 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)
- 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)
- When does randomness come from randomness? (Q287436) (← links)
- Some permutations on Dyck words (Q287437) (← links)
- Strong matching preclusion for \(n\)-dimensional torus networks (Q287442) (← links)
- Computing role assignments of split graphs (Q287443) (← links)
- Conjugacy relations of prefix codes (Q287447) (← links)
- Document retrieval with one wildcard (Q287451) (← links)
- Lagrangians for massive Dirac chiral superfields (Q287458) (← links)
- Lepton flavor violating decays of Standard-Model-like Higgs in 3-3-1 model with neutral lepton (Q287459) (← links)
- Thermodynamics of Inozemtsev's elliptic spin chain (Q287461) (← links)
