The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Stochastic stability analysis for 2-D Roesser systems with multiplicative noise (Q286341) (← links)
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound (Q286345) (← links)
- ASlib: a benchmark library for algorithm selection (Q286390) (← links)
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Querying incomplete information in RDF with SPARQL (Q286403) (← links)
- Bounded situation calculus action theories (Q286407) (← links)
- On some properties of the low-dimensional Gumbel perturbations in the perturb-and-MAP model (Q286446) (← links)
- Representation of stationary and stationary increment processes via Langevin equation and self-similar processes (Q286454) (← links)
- Chi-square mixture representations for the distribution of the scalar Schur complement in a noncentral Wishart matrix (Q286465) (← links)
- Bias-correction of Kalman filter estimators associated to a linear state space model with estimated parameters (Q286471) (← links)
- Multiple imputation in three or more stages (Q286474) (← links)
- Accounting for contamination and outliers in covariates for open population capture-recapture models (Q286477) (← links)
- Significance analysis of high-dimensional, low-sample size partially labeled data (Q286481) (← links)
- Analysis of the dynamics of a tumor-immune system with chemotherapy and immunotherapy and quadratic optimal control (Q286487) (← links)
- Squaring down with zeros cancellation in generalized systems (Q286501) (← links)
- A bilinear differential forms approach to parametric structured state-space modelling (Q286503) (← links)
- Dimension filtration, sequential Cohen-Macaulayness and a new polynomial invariant of graded algebras (Q286552) (← links)
- On the type of an almost Gorenstein monomial curve (Q286554) (← links)
- Optimal averaged Hausdorff archives for bi-objective problems: theoretical and numerical results (Q286603) (← links)
- A formal proof of a paradox associated with Cohen's kappa (Q286623) (← links)
- Dimensionally reduced model-based clustering through mixtures of factor mixture analyzers (Q286628) (← links)
- Book review of: S. A. Mulaik, Linear causal modeling with structural equations (Q286632) (← links)
- Rank-2 syzygy bundles on Fermat curves and an application to Hilbert-Kunz functions (Q286663) (← links)
- Almost-toric hypersurfaces (Q286665) (← links)
- Planar discrete isothermic nets of conical type (Q286677) (← links)
- Optimal capacitated ring trees (Q286687) (← links)
- Wedge operations and torus symmetries (Q286723) (← links)
- Preface: Special issue on interpolation (Q286728) (← links)
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Proof tree preserving tree interpolation (Q286737) (← links)
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle (Q286772) (← links)
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- The 2013 evaluation of SMT-COMP and SMT-LIB (Q286784) (← links)
- MaLeS: a framework for automatic tuning of automated theorem provers (Q286787) (← links)
- The reflective Milawa theorem prover is sound (down to the machine code that runs it) (Q286790) (← links)
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Reconsidering pairs and functions as sets (Q286796) (← links)
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec (Q286798) (← links)
- MizAR 40 for Mizar 40 (Q286800) (← links)
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver (Q286803) (← links)
- Improving legibility of formal proofs based on the close reference principle is NP-hard (Q286805) (← links)
- Black-box polynomial resultants (Q286994) (← links)
- A tight lower bound for top-down skew heaps (Q287017) (← links)
- An optimal algorithm for realizing a Delaunay triangulation (Q287080) (← links)
- A verification algorithm for inheritance hierarchies in object-oriented databases (Q287091) (← links)
- On computing representatives (Q287112) (← links)
- Formal justification of underspecification for S5 (Q287254) (← links)
