The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Fibonacci type presentations and 3-manifolds (Q347258) (← links)
- pTAS distributions with application to risk management (Q347267) (← links)
- Exponentiated Marshall-Olkin family of distributions (Q347275) (← links)
- Generalized log-logistic proportional hazard model with applications in survival analysis (Q347278) (← links)
- Further results on state estimation of neural networks with multiple time delays (Q347281) (← links)
- Robust control design for rigid-link flexible-joint electrically driven robot subjected to constraint: theory and experimental verification (Q347283) (← links)
- Synchronization of two different fractional-order chaotic systems with unknown parameters using a robust adaptive nonlinear controller (Q347291) (← links)
- A complementarity approach for the computation of periodic oscillations in piecewise linear systems (Q347344) (← links)
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
- Combine and conquer: relating BIP and Reo (Q347371) (← links)
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- Formalizing semantic bidirectionalization and extensions with dependent types (Q347391) (← links)
- Dynamic rebinding for concurrent object groups: theory and practice (Q347396) (← links)
- Logic programming approach to automata-based decision procedures (Q347398) (← links)
- An extended framework for passive asynchronous testing (Q347402) (← links)
- A numerical optimization approach to generate smoothing spherical splines (Q347414) (← links)
- Semi-algebraic geometry of common lines (Q347459) (← links)
- New classes of matrix decompositions (Q347485) (← links)
- Continuous-time block-monotone Markov chains and their block-augmented truncations (Q347491) (← links)
- The Birkhoff theorem for unitary matrices of arbitrary dimensions (Q347494) (← links)
- Improved recovery guarantees for phase retrieval from coded diffraction patterns (Q347510) (← links)
- Low rank matrix recovery from rank one measurements (Q347516) (← links)
- Robust sparse phase retrieval made easy (Q347523) (← links)
- Scale-invariant learning and convolutional networks (Q347531) (← links)
- \(G_{4}\)-flux and standard model vacua in F-theory (Q347555) (← links)
- Non-perturbative running of renormalization constants from correlators in coordinate space using step scaling (Q347560) (← links)
- On infrared problems of effective Lagrangians of massive spin 2 fields coupled to gauge fields (Q347583) (← links)
- A fast, high-order solver for the Grad-Shafranov equation (Q347629) (← links)
- External verification analysis: a code-independent verification technique for unsteady PDE codes (Q347632) (← links)
- A one-level FETI method for the drift-diffusion-Poisson system with discontinuities at an interface (Q347640) (← links)
- Multi-element stochastic spectral projection for high quantile estimation (Q347642) (← links)
- A variable-density fictitious domain method for particulate flows with broad range of particle-fluid density ratios (Q347645) (← links)
- New velocity-space discretization for continuum kinetic calculations and Fokker-Planck collisions (Q347648) (← links)
- Algorithmic improvements for schemes using the ADER time discretization (Q347653) (← links)
- Positivity-preserving flux difference splitting schemes (Q347657) (← links)
- A Filon-type asymptotic approach to solving highly oscillatory second-order initial value problems (Q347658) (← links)
- Isogeometric analysis of Lagrangian hydrodynamics (Q347662) (← links)
- A solution accurate, efficient and stable unsplit staggered mesh scheme for three dimensional magnetohydrodynamics (Q347671) (← links)
- Analysis of the absorbing layers for the weakly-compressible lattice Boltzmann methods (Q347695) (← links)
- An inverse Lax-Wendroff method for boundary conditions applied to Boltzmann type models (Q347697) (← links)
- Towards shock-stable and accurate hypersonic heating computations: a new pressure flux for AUSM-family schemes (Q347700) (← links)
- Fully conservative leak-proof treatment of thin solid structures immersed in compressible fluids (Q347711) (← links)
- Efficient iterative method for solving the Dirac-Kohn-Sham density functional theory (Q347712) (← links)
- Analysis and parallel implementation of a forced \(N\)-body problem (Q347719) (← links)
- Multicomponent real gas 3-D-NSCBC for direct numerical simulation of reactive compressible viscous flows (Q347725) (← links)
- A second-order semi-implicit \(\delta f\) method for hybrid simulation (Q347739) (← links)
- Corrigendum to ``AstroGK: astrophysical gyrokinetics code'' (Q347758) (← links)
