The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Lower bounds on paraclique density (Q266841) (← links)
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Translation of first order formulas into ground formulas via a completion theory (Q266881) (← links)
- On self-clique shoal graphs (Q266940) (← links)
- Estimation of Laplacian spectra of direct and strong product graphs (Q266954) (← links)
- Bayes procedures for adaptive inference in inverse problems for the white noise model (Q267016) (← links)
- A globally convergent penalty-free method for optimization with equality constraints and simple bounds (Q267115) (← links)
- Constructions of asymmetric quantum alternant codes (Q267287) (← links)
- Betti splitting via componentwise linear ideals (Q267380) (← links)
- Reductive pairs arising from representations. (Q267387) (← links)
- Periodic free resolutions from twisted matrix factorizations (Q267393) (← links)
- A Steinberg type decomposition theorem for higher level Demazure modules (Q267413) (← links)
- Sylow subgroups of symmetric and alternating groups and the vertex of \(S^{(k p - p, 1^p)}\) in characteristic \(p\) (Q267419) (← links)
- Segal-Sugawara vectors for the Lie algebra of type \(G_2\) (Q267420) (← links)
- Numerical continuation of solution at singular points of codimension one (Q267551) (← links)
- An approach to the inverse problem of brain functional mapping under the assumption of gamma distributed myogram noise within rest intervals using the independent component analysis (Q267611) (← links)
- A statistical approach to calibrating the scores of biased reviewers of scientific papers (Q267651) (← links)
- Testing order restrictions in contingency tables (Q267657) (← links)
- Numerical analysis and computation of a type of IMEX method for the time-dependent natural convection problem (Q267681) (← links)
- An efficient modification of the Hestenes-Stiefel nonlinear conjugate gradient method with restart property (Q267707) (← links)
- Eigenvalue attraction (Q267728) (← links)
- American and Bermudan options in currency markets with proportional transaction costs (Q267772) (← links)
- Proper generalized decompositions. An introduction to computer implementation with Matlab (Q267774) (← links)
- On encoding symbol degrees of array BP-XOR codes (Q267791) (← links)
- Conditional differential cryptanalysis of 105 round Grain v1 (Q267806) (← links)
- Estimating response ratios from continuous outcome data (Q267880) (← links)
- Rare event probability estimation in the presence of epistemic uncertainty on input probability distribution parameters (Q267894) (← links)
- Thermodynamically consistent microstructure prediction of additively manufactured materials (Q267941) (← links)
- A decoupled strategy to solve reduced-order multimodel problems in the PGD and Arlequin frameworks (Q267968) (← links)
- An adaptive model order reduction by proper snapshot selection for nonlinear dynamical problems (Q267977) (← links)
- Linking process, structure, property, and performance for metal-based additive manufacturing: computational approaches with experimental support (Q267988) (← links)
- A palette of fine-scale eddy viscosity and residual-based models for variational multiscale formulations of turbulence (Q267992) (← links)
- Integration of PGD-virtual charts into an engineering design process (Q267996) (← links)
- Meshless analysis of shear deformable shells: boundary and interface constraints (Q268003) (← links)
- Maximal subalgebras of Cartan type in the exceptional Lie algebras (Q268170) (← links)
- The secant line variety to the varieties of reducible plane curves (Q268201) (← links)
- Calabi-Yau threefolds in \(\mathbb P^6\) (Q268216) (← links)
- A construction of algebraic surfaces with many real nodes (Q268220) (← links)
- An Erdős-Ko-Rado theorem for finite 2-transitive groups (Q268268) (← links)
- Absolutely exotic compact 4-manifolds (Q268273) (← links)
- Smooth-threshold estimating equations for varying coefficient partially nonlinear models based on orthogonality-projection method (Q268292) (← links)
- On the regularizing behavior of the SDA and SDC gradient methods in the solution of linear ill-posed problems (Q268305) (← links)
- Linear mean-square stability properties of semi-implicit weak order 2.0 Taylor schemes for systems of stochastic differential equations (Q268307) (← links)
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- A weak Galerkin finite element scheme for solving the stationary Stokes equations (Q268325) (← links)
- SIMPLE-like preconditioners for saddle point problems from the steady Navier-Stokes equations (Q268332) (← links)
- A hybrid optimization method for multiplicative noise and blur removal (Q268334) (← links)
- Self-corrective iterations (SCI) for generalized diagonally dominant matrices (Q268346) (← links)
- Operator splitting combined with positivity-preserving discontinuous Galerkin method for the chemotaxis model (Q268351) (← links)
- Bandwidth truncation for Chebyshev polynomial and ultraspherical/Chebyshev Galerkin discretizations of differential equations: restrictions and two improvements (Q268355) (← links)