The following pages link to zbMATH DE Number (P1451):
Displaying 50 items.
- Template:Hang on/notice3 (transclusion) (← links)
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle (Q286772) (← links)
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- On definitions of constants and types in HOL (Q287358) (← links)
- Variance reduction in Monte Carlo sampling-based optimality gap estimators for two-stage stochastic linear programming (Q288402) (← links)
- Exact algorithms for size constrained 2-clustering in the plane (Q288798) (← links)
- Modular verification of chemical reaction network encodings via serializability analysis (Q288812) (← links)
- A strand graph semantics for DNA-based computation (Q288814) (← links)
- An ordinal game theory approach to the analysis and selection of partners in public-private partnership projects (Q289098) (← links)
- Decomposition and mean-field approach to mixed integer optimal compensation problems (Q289132) (← links)
- Inverse space-dependent force problems for the wave equation (Q289285) (← links)
- On resilient graph spanners (Q289925) (← links)
- Assigning channels via the meet-in-the-middle approach (Q289931) (← links)
- Recognizing and drawing IC-planar graphs (Q290513) (← links)
- Magnifying computing gaps. Establishing encrypted communication over unidirectional channels (Q290516) (← links)
- Asymptotic properties of multivariate tapering for estimation and prediction (Q290722) (← links)
- Three-coloring triangle-free graphs on surfaces. I: Extending a coloring to a disk with one triangle. (Q290801) (← links)
- Stability of predictor-based feedback for nonlinear systems with distributed input delay (Q290865) (← links)
- Regular languages of thin trees (Q290908) (← links)
- Application of stochastic programming to reduce uncertainty in quality-based supply planning of slaughterhouses (Q291335) (← links)
- Construction of bound entangled states based on permutation operators (Q291488) (← links)
- Quantifying nonclassicality of correlations based on the concept of nondisruptive local state identification (Q291495) (← links)
- Multi-boson correlation sampling (Q291571) (← links)
- Second-order coding rates for pure-loss bosonic channels (Q291579) (← links)
- Short run and long run causality in time series: inference (Q291702) (← links)
- A sparse grid stochastic collocation method for elliptic interface problems with random input (Q293115) (← links)
- Automata and forbidden words (Q293331) (← links)
- On the complexity of interactive proofs with bounded communication (Q293359) (← links)
- Cosmology from \(f(R,T)\) theory in a variant speed of light scenario (Q293859) (← links)
- The construction of 3D conformal motions (Q294383) (← links)
- Robust \(\ell_1\) approaches to computing the geometric median and principal and independent components (Q294428) (← links)
- A separation of two randomness concepts (Q294630) (← links)
- Total-chromatic number and chromatic index of dually chordal graphs (Q294687) (← links)
- A necessary condition for constructive negation in constraint logic programming (Q294756) (← links)
- On the computational power of linearly transformed BDDs (Q294813) (← links)
- Enumerating longest increasing subsequences and patience sorting (Q294846) (← links)
- Deterministic small-world communication networks (Q294854) (← links)
- Processing a multimedia join through the method of nearest neighbor search (Q294889) (← links)
- Longest common extensions in trees (Q294947) (← links)
- Order-preserving indexing (Q294954) (← links)
- Approximate string matching using a bidirectional index (Q294959) (← links)
- Erratum to: ``Collective dynamics in the Vicsek and vectorial network models beyond uniform additive noise'' (Q295324) (← links)
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- Does ``cooling by heating'' protect quantum correlations? (Q296126) (← links)
- Log-determinant divergences revisited: alpha-beta and gamma log-det divergences (Q296329) (← links)
- Strategic and operational decisions in restaurant revenue management (Q296638) (← links)
- Robust optimization for interactive multiobjective programming with imprecise information applied to R\&D project portfolio selection (Q296687) (← links)
- On the empirical scaling of run-time for finding optimal solutions to the travelling salesman problem (Q296693) (← links)
- Optimisation of integrated reverse logistics networks with different product recovery routes (Q296710) (← links)
- Construction of asymmetric copulas and its application in two-dimensional reliability modelling (Q296786) (← links)
