The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Complete intersections in certain affine and projective monomial curves (Q487059) (← links)
- Regularity and algebraic properties of certain lattice ideals (Q487073) (← links)
- Degree of the variety of pairs of nilpotent commuting matrices (Q487078) (← links)
- Simulation and analysis of a Bank's multi-server queueing system (Q487094) (← links)
- Log canonical threshold and Segre classes of monomial schemes (Q487152) (← links)
- Derivatives of Siegel modular forms and modular connections (Q487155) (← links)
- Comparative analysis of Radon transform regularization methods in computerized tomography (Q487194) (← links)
- On regions and zones for event-clock automata (Q487253) (← links)
- Runtime enforcement of timed properties revisited (Q487258) (← links)
- Highly-efficient wait-free synchronization (Q487262) (← links)
- Re-Chord: a self-stabilizing chord overlay network (Q487270) (← links)
- On a local protocol for concurrent file transfers (Q487273) (← links)
- Competing islands limit the rate of adaptation in structured populations (Q487299) (← links)
- On learning dynamics underlying the evolution of learning rules (Q487335) (← links)
- On the Boltzmann equation for charged particle beams under the effect of strong magnetic fields (Q487351) (← links)
- Dynamical complexity of a prey-predator model with nonlinear predator harvesting (Q487358) (← links)
- Inequalities for the Gaussian hypergeometric function (Q487506) (← links)
- Proofs of some conjectures on monotonicity of number-theoretic and combinatorial sequences (Q487517) (← links)
- Parameter identification for multibody systems expressed in differential-algebraic form (Q487533) (← links)
- A nonlinear two-node superelement for use in flexible multibody systems (Q487537) (← links)
- Reduced-order forward dynamics of multiclosed-loop systems (Q487542) (← links)
- Simulation of rockfall trajectories with consideration of rock shape (Q487550) (← links)
- Dynamics modeling and analysis of a flexible-base space robot for capturing large flexible spacecraft (Q487565) (← links)
- A compound renewal model for medical malpractice insurance (Q487580) (← links)
- On the robust stability of pricing models for non-life insurance products (Q487585) (← links)
- A class of distribution-free models for longitudinal mediation analysis (Q487592) (← links)
- Testing for measurement invariance with respect to an ordinal variable (Q487594) (← links)
- A unified framework for the comparison of treatments with ordinal responses (Q487599) (← links)
- Bayesian inferences of latent class models with an unknown number of classes (Q487601) (← links)
- A beta unfolding model for continuous bounded responses (Q487603) (← links)
- An idiographic approach to estimating models of dyadic interactions with differential equations (Q487606) (← links)
- Moderation analysis using a two-level regression model (Q487610) (← links)
- Empirical investigation of insurance claim dependencies using mixture models (Q487617) (← links)
- Best estimate calculations of savings contracts by closed formulas: application to the ORSA (Q487620) (← links)
- Modeling the effect of health: phase-type approach (Q487622) (← links)
- Improved filtering for weighted circuit constraints (Q487627) (← links)
- Solving constraint satisfaction problems with SAT modulo theories (Q487632) (← links)
- An overview of parallel SAT solving (Q487635) (← links)
- LS(graph): a constraint-based local search for constraint optimization on trees and paths (Q487640) (← links)
- Interval-based projection method for under-constrained numerical systems (Q487645) (← links)
- A complexity perspective on entailment of parameterized linear constraints (Q487646) (← links)
- Formulating the template ILP consistency problem as a constraint satisfaction problem (Q487650) (← links)
- Using dual presolving reductions to reformulate cumulative constraints (Q487651) (← links)
- Reformulation based MaxSat robustness (Q487654) (← links)
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories (Q487655) (← links)
- Search combinators (Q487659) (← links)
- Accurate stationary densities with partitioned numerical methods for stochastic partial differential equations (Q487672) (← links)
- A semi-discrete scheme for the stochastic Landau-Lifshitz equation (Q487675) (← links)
- Hölder-continuity for the nonlinear stochastic heat equation with rough initial conditions (Q487676) (← links)
- A symmetric and consistent immersed finite element method for interface problems (Q487702) (← links)
