The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Bernstein polynomials and spectral numbers for linear free divisors (Q538802) (← links)
- The generalized DINA model framework (Q538803) (← links)
- Polytomous latent scales for the investigation of the ordering of items (Q538806) (← links)
- Item screening in graphical loglinear Rasch models (Q538810) (← links)
- Regularized generalized canonical correlation analysis (Q538813) (← links)
- Three-way Tucker2 component analysis solutions of stimuli \(\times \) responses \(\times \) individuals data with simple structure and the fewest core differences (Q538814) (← links)
- OpenMx: an open source extended structural equation modeling framework (Q538815) (← links)
- Modeling rule-based item generation (Q538822) (← links)
- Energy expressions and free vibration analysis of a rotating double tapered Timoshenko beam featuring bending-torsion coupling (Q538891) (← links)
- A meshless method for stress-wave propagation in anisotropic and cracked media (Q538893) (← links)
- A stochastic analysis of hard disk drives (Q538916) (← links)
- Hysteresis nonlinearity identification using new Preisach model-based artificial neural network approach (Q538996) (← links)
- Modeling and simulation of a chemical vapor deposition (Q539001) (← links)
- Combining robustness with efficiency in the estimation of the variogram (Q539033) (← links)
- Application of continuous wavelet transform in examining soil spatial variation: a review (Q539036) (← links)
- An improved parallel multiple-point algorithm using a list approach (Q539047) (← links)
- Estimating freshwater acidification critical load exceedance data for great britain using space-varying relationship models (Q539050) (← links)
- New genetic algorithms based approaches to continuous \(p\)-median problem (Q539099) (← links)
- A Dantzig-Wolfe decomposition based heuristic scheme for bi-level dynamic network design problem (Q539101) (← links)
- Interval uncertainty-based robust optimization for convex and non-convex quadratic programs with applications in network infrastructure planning (Q539107) (← links)
- Further properties of a function of Ogg and Ligozat (Q539119) (← links)
- Asymptotic expansions for a class of zeta-functions (Q539127) (← links)
- Identities for the harmonic numbers and binomial coefficients (Q539133) (← links)
- A formal approach for the construction and verification of railway control systems (Q539161) (← links)
- Symbolic decision procedure for termination of linear programs (Q539162) (← links)
- VDM semantics of programming languages: Combinators and monads (Q539163) (← links)
- A denotational semantics for Handel-C (Q539165) (← links)
- Realization of an integrated structural design process: analysis-suitable geometric modelling and isogeometric analysis (Q539166) (← links)
- Coupling impedance boundary conditions for absorptive structures with spectral finite elements in room acoustical simulations (Q539167) (← links)
- Simulation and visualization of the Saint-Venant system using GPUs (Q539171) (← links)
- Highly interactive computational steering for coupled 3D flow problems utilizing multiple GPUs (Q539175) (← links)
- Galois realizability of groups of order 64 (Q539180) (← links)
- Restricted partitions and \(q\)-Pell numbers (Q539195) (← links)
- On Galois cohomology and realizability of 2-groups as Galois groups (Q539197) (← links)
- Geometry of the locus of polynomials of degree 4 with iterative roots (Q539208) (← links)
- Z2SAL: a translation-based model checker for Z (Q539218) (← links)
- Proving linearizability with temporal logic (Q539223) (← links)
- A data-flow approach to test multi-agent ASMs (Q539229) (← links)
- On the purpose of Event-B proof obligations (Q539230) (← links)
- Retrenchment for Event-B: UseCase-wise development and Rodin integration (Q539231) (← links)
- Chebyshev finite spectral method with extended moving grids (Q539263) (← links)
- Analysis of thick plates by radial basis functions (Q539302) (← links)
- Two-dimensional elasticity solution for transient response of simply supported beams under moving loads (Q539305) (← links)
- The steady-state cornering of a wheel with a reinforced tyre with slipping (Q539324) (← links)
- Integrability of the Bakirov system: a zero-curvature representation (Q539373) (← links)
- Automated verification and refinement for physical-layer protocols (Q539420) (← links)
- The dynamic frames theory (Q539422) (← links)
- Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
- Partial order semantics for use case and task models (Q539426) (← links)
- Model checking with bounded context switching (Q539429) (← links)
