The following pages link to zbMATH Keywords (P1450):
Displaying 50 items.
- On computing minimal independent support and its applications to sampling and counting (Q265701) (← links)
- Projection, consistency, and George Boole (Q265702) (← links)
- Visual search tree profiling (Q265707) (← links)
- General game playing with stochastic CSP (Q265712) (← links)
- Optimal time-convex hull for a straight-line highway in \(L_p\)-metrics (Q265715) (← links)
- A lower bound for computing geometric spanners (Q265718) (← links)
- Tighter estimates for \(\epsilon\)-nets for disks (Q265723) (← links)
- Geometric permutations of non-overlapping unit balls revisited (Q265727) (← links)
- Rigid cohomology over Laurent series fields (Q265731) (← links)
- The mathematics behind biological invasions (Q265733) (← links)
- \(\mathcal A_k\)-singularities of curves and surfaces of fixed degree, quasi-degree, or multi-degree (Q265735) (← links)
- Asymptotics of multiple trigonometric series with monotone coefficients (Q265739) (← links)
- Estimate of the distance between two bodies inside an \(n\)-dimensional unit cube and a ball (Q265741) (← links)
- The functions that do not change types of minimal fillings (Q265743) (← links)
- The efficiency of perturbations in the class of linear Hamiltonian systems (Q265746) (← links)
- Angular diameter distances reconsidered in the Newman and Penrose formalism (Q265751) (← links)
- Area (or entropy) product formula for a regular black hole (Q265753) (← links)
- Shear-free dust solution in general covariant Hořava-Lifshitz gravity (Q265754) (← links)
- Radion vacuum expectation value and graviton mass: a study in an Einstein-Gauss-Bonnet warped geometry scenario (Q265757) (← links)
- Quantum tunneling from a high dimensional Gödel black hole (Q265761) (← links)
- Strong gravitational lensing and black hole quasinormal modes: towards a semiclassical unified description (Q265763) (← links)
- Quasinormal modes of generalized ABG black holes: scalar and gravitational perturbations (Q265766) (← links)
- Relational mechanics as a gauge theory (Q265768) (← links)
- Qualitative evolution in \(f(R)\) cosmologies (Q265773) (← links)
- Ultrarelativistic boost with scalar field (Q265776) (← links)
- Random models in ecology and evolution (Q265777) (← links)
- Jaghmīnī's \textit{Mulakhkhaṣ}. An Islamic introduction to Ptolemaic astronomy (Q265781) (← links)
- Varieties and covarieties of languages (extended abstract) (Q265785) (← links)
- Layout randomization and nondeterminism (Q265789) (← links)
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- On concurrent games with payoff (Q265795) (← links)
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Continuity of Gödel's system T definable functionals via effectful forcing (Q265800) (← links)
- A connection between concurrency and language theory (Q265802) (← links)
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Quasicontinuous domains and the Smyth powerdomain (Q265813) (← links)
- On block structures in quantum computation (Q265814) (← links)
- Rational operational models (Q265819) (← links)
- A categorical theory of patches (Q265821) (← links)
- Monads for behaviour (Q265824) (← links)
- Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
- Linearization of automatic arrays and weave specifications (Q265828) (← links)
- Bicategorical semantics for nondeterministic computation (Q265831) (← links)
- A stream calculus of bottomed sequences for real number computation (Q265834) (← links)
- Distributed probabilistic and quantum strategies (Q265835) (← links)
- Approximating bisimilarity for Markov processes (Q265837) (← links)
- Maximum principle for infinite-horizon optimal control problems under weak regularity assumptions (Q265840) (← links)
- On the question of construction of an attraction set under constraints of asymptotic nature (Q265842) (← links)
- Matrix resolving functions in game problems of dynamics (Q265844) (← links)