The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Mathematical programming: Turing completeness and applications to software analysis (Q405669) (← links)
- An exact algorithm for the maximum probabilistic clique problem (Q405671) (← links)
- Characteristics of the maximal independent set ZDD (Q405673) (← links)
- On risk-averse maximum weighted subgraph problems (Q405680) (← links)
- Value-at-risk support vector machine: stability to outliers (Q405683) (← links)
- An integer programming framework for critical elements detection in graphs (Q405684) (← links)
- Integrated ant colony and tabu search approach for time dependent vehicle routing problems with simultaneous pickup and delivery (Q405689) (← links)
- Programming languages and operational semantics. A concise overview (Q405750) (← links)
- Poisson spectra in polynomial algebras (Q405816) (← links)
- Semigroups of \(sl_3(\mathbb C)\) tensor product invariants (Q405822) (← links)
- An amalgam uniqueness result for recognising \(q^6:\mathrm{SU}_3(q)\), \(G_2(q)\), or \(3^{\cdot}M_{10}\) using biaffine polar spaces (Q405823) (← links)
- A combinatorial proof of the Eisenbud-Goto conjecture for monomial curves and some simplicial semigroup rings (Q405850) (← links)
- Specht modules in the Auslander-Reiten quiver. (Q405873) (← links)
- Finite-dimensional pointed or copointed Hopf algebras over affine racks. (Q405876) (← links)
- Diagonalizability and symmetrizability of Sobolev-type bilinear forms: a combinatorial approach (Q405929) (← links)
- On the null spaces of the Macaulay matrix (Q405945) (← links)
- Quadratic functions and maximal Artin-Schreier curves (Q405955) (← links)
- The rate-controlled constrained-equilibrium approach to far-from-local-equilibrium thermodynamics (Q405980) (← links)
- Filter-type variable selection based on information measures for regression tasks (Q405995) (← links)
- Effect of gold nanoparticle conjugation on peptide dynamics and structure (Q406036) (← links)
- Minimum mutual information and non-Gaussianity through the maximum entropy method: theory and properties (Q406088) (← links)
- Information theory estimators for the first-order spatial autoregressive model (Q406093) (← links)
- Nonparametric estimation of information-based measures of statistical dispersion (Q406103) (← links)
- Wavelet \(q\)-Fisher information for scaling signal analysis (Q406132) (← links)
- On the information transmission ability of nonlinear stochastic dynamic networks (Q406160) (← links)
- Organizing the atoms of the clique separator decomposition into an atom tree (Q406311) (← links)
- Combinatorial optimization with one quadratic term: spanning trees and forests (Q406320) (← links)
- Partial-route inequalities for the multi-vehicle routing problem with stochastic demands (Q406333) (← links)
- On the defining equations of the tangent cone of a numerical semigroup ring (Q406344) (← links)
- Periodicity of Betti numbers of monomial curves (Q406349) (← links)
- Character degrees of finite \(p\)-groups by coclass. (Q406351) (← links)
- Higher Nash blowup on normal toric varieties (Q406353) (← links)
- Factorizing a finite group into conjugates of a subgroup. (Q406354) (← links)
- On shift dynamics for cyclically presented groups. (Q406356) (← links)
- On inductively free restrictions of reflection arrangements. (Q406361) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Computing minimal extending sets by relation-algebraic modeling and development (Q406434) (← links)
- Spatial voting games, relation algebra and RelView (Q406437) (← links)
- Inference engine based on closure and join operators over truth table binary relations (Q406448) (← links)
- Multirelations with infinite computations (Q406449) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Gunther Schmidt's life as a mathematician and computer scientist (Q406464) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Two projection methods for regularized total least squares approximation (Q406473) (← links)
- The approximate determinantal assignment problem (Q406481) (← links)
- An ILP-refined tabu search for the directed profitable rural postman problem (Q406489) (← links)
- Algorithms for nesting with defects (Q406491) (← links)
- Scheduling arc maintenance jobs in a network to maximize total flow over time (Q406493) (← links)
