The following pages link to zbMATH Open document ID (P225):
Displaying 50 items.
- 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)
- 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)
- Anapole moment of the lightest neutralino in the cMSSM (Q287455) (← 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)
- A note on generalized hypergeometric functions, KZ solutions, and gluon amplitudes (Q287463) (← links)
- The \(\operatorname{SU}(r)_{2}\) string functions as \(q\)-diagrams (Q287466) (← links)
- Scalar explanation of diphoton excess at LHC (Q287470) (← links)
- Chiral and deconfining phase transitions from holographic QCD study (Q287473) (← links)
- Analytic continuations of 3-point functions of the conformal field theory (Q287474) (← links)
- Square and delta reflection (Q287476) (← links)
- Expansions of o-minimal structures by dense independent sets (Q287480) (← links)
