The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Micromechanics of granular materials with capillary effects (Q541014) (← links)
- Homogenized properties of periodic \(n\)-component composites (Q541151) (← links)
- Zeons, permanents, the Johnson scheme, and generalized derangements (Q541187) (← links)
- Arthritic hand-finger movement similarity measurements: tolerance near set approach (Q541198) (← links)
- Simulation refinement for concurrency verification (Q541209) (← links)
- Completeness of fair ASM refinement (Q541210) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL (Q541222) (← links)
- Passage retrieval in legal texts (Q541290) (← links)
- Contracts for security adaptation (Q541291) (← links)
- Building distributed controllers for systems with priorities (Q541297) (← links)
- A novel control method for integer orders chaos systems via fractional-order derivative (Q541316) (← links)
- Eigenvector weighting function in face recognition (Q541338) (← links)
- Electromagnetic problems solving by conformal mapping: a mathematical operator for optimization (Q541423) (← links)
- Robust sensor fault reconstruction for Lipschitz nonlinear systems (Q541433) (← links)
- A multi-model stereo similarity function based on monogenic signal analysis in Poisson scale space (Q541446) (← links)
- Temporary workforce planning with firm contracts: a model and a simulated annealing heuristic (Q541451) (← links)
- Less conservative \(\mathcal{H}_{\infty}\) fuzzy control for discrete-time Takagi-Sugeno systems (Q541459) (← links)
- Efficient and effective total variation image super-resolution: a preconditioned operator splitting approach (Q541461) (← links)
- A multiobjective stochastic production-distribution planning problem in an uncertain environment considering risk and workers productivity (Q541465) (← links)
- Computing the characteristic polynomials of a class of hyperelliptic curves for cryptographic applications (Q541470) (← links)
- Genetic algorithm for combinatorial path planning: the subtour problem (Q541476) (← links)
- A polynomial preconditioner for the CMRH algorithm (Q541488) (← links)
- Solution of fractional order system of Bagley-Torvik equation using evolutionary computational intelligence (Q541501) (← links)
- New algorithm for the numerical solutions of nonlinear third-order differential equations using Jacobi-Gauss collocation method (Q541526) (← links)
- State feedback guaranteed cost repetitive control for uncertain discrete-time systems (Q541536) (← links)
- Adaptive method for spike solutions of Gierer-Meinhardt system on irregular domain (Q541569) (← links)
- Formalisations and applications of BPMN (Q541678) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Channel-based coordination via constraint satisfaction (Q541681) (← links)
- Dynamic consistency in process algebra: from paradigm to ACP (Q541685) (← links)
- Analysis of compound bullwhip effect causes (Q541696) (← links)
- Optimizing departure times in vehicle routes (Q541710) (← links)
- Real-time fuzzy regression analysis: a convex hull approach (Q541718) (← links)
- An algebraic approach to integer portfolio problems (Q541725) (← links)
- Pareto-improving congestion pricing on multimodal transportation networks (Q541728) (← links)
- Optimization models for targeted offers in direct marketing: exact and heuristic algorithms (Q541729) (← links)
- Assigning judges to competitions of several rounds using tabu search (Q541731) (← links)
- Spline interpolation on networks (Q541760) (← links)
- Numerical solution and stability of multistep method for solving delay differential equations (Q541763) (← links)
- A framework for reasoning under uncertainty based on non-deterministic distance semantics (Q541819) (← links)
- Hybrid approaches to attribute reduction based on indiscernibility and discernibility relation (Q541820) (← links)
- A probability maximization model based on rough approximation and its application to the inventory problem (Q541826) (← links)
- Exploiting independencies to compute semigraphoid and graphoid structures (Q541838) (← links)
- Support sets in exponential families and oriented matroid theory (Q541842) (← links)
- Design principles for robust biochemical reaction networks: what works, what cannot work, and what might almost work (Q541858) (← links)
- Mathematical properties and bounds on haplotyping populations by pure parsimony (Q541881) (← links)
- Diagonalization of tensors with circulant structure (Q541907) (← links)
- On \(p\)th roots of stochastic matrices (Q541909) (← links)
- Deflating quadratic matrix polynomials with structure preserving transformations (Q541912) (← links)
