The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Efficient implementation of Radau collocation methods (Q465127) (← links)
- Convergence and error theorems for Hermite function pseudo-RBFs: interpolation on a finite interval by Gaussian-localized polynomials (Q465131) (← links)
- On distribution of semiprime numbers (Q465143) (← links)
- Representation of the inverse of a frame multiplier (Q465192) (← links)
- Quantization of quadratic Liénard-type equations by preserving Noether symmetries (Q465218) (← links)
- Dynamics in a diffusive predator-prey system with strong Allee effect and Ivlev-type functional response (Q465238) (← links)
- Weighted last-step min-max algorithm with improved sub-logarithmic regret (Q465257) (← links)
- Partitions of \(\mathrm{AG}(4, 3)\) into maximal caps (Q465267) (← links)
- Enumerations of plane trees with multiple edges and Raney lattice paths (Q465269) (← links)
- Nonleft peaks in Dyck paths: a combinatorial approach (Q465280) (← links)
- On the sub-permutations of pattern avoiding permutations (Q465287) (← links)
- Construction and optimization of a texture-geometric model of a face image in the space of basic Gabor functions (Q465309) (← links)
- Effect of intraocular pressure on the hemodynamics of the central retinal artery: a mathematical model (Q465342) (← links)
- Limit cycles of Abel equations of the first kind (Q465441) (← links)
- A Minty variational principle for set optimization (Q465450) (← links)
- Different approaches to the complex of three Dirac operators (Q465483) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- Deadlock checking by data race detection (Q465488) (← links)
- Towards the flexible reuse of model transformations: a formal approach based on graph transformation (Q465491) (← links)
- Certified CYK parsing of context-free languages (Q465493) (← links)
- A computational method for solving time-delay optimal control problems with free terminal time (Q465549) (← links)
- Consensus of multiple nonholonomic chained form systems (Q465551) (← links)
- On optimizing Jacobi-Davidson method for calculating eigenvalues in low dimensional structures using eight band \(\mathbf{k}\cdot\mathbf{p}\) model (Q465559) (← links)
- Pressure forcing and dispersion analysis for discontinuous Galerkin approximations to oceanic fluid flows (Q465560) (← links)
- A weak formulation for solving elliptic interface problems without body fitted grid (Q465561) (← links)
- Second kind integral equation formulation for the modified biharmonic equation and its applications (Q465566) (← links)
- A monotonicity preserving conservative sharp interface flow solver for high density ratio two-phase flows (Q465569) (← links)
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion (Q465578) (← links)
- Conditional \(p\)-adic probability logic (Q465585) (← links)
- On finitely-valued fuzzy description logics (Q465589) (← links)
- Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← links)
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities (Q465595) (← links)
- Valued preference-based instantiation of argumentation frameworks with varied strength defeats (Q465598) (← links)
- Postulates for logic-based argumentation systems (Q465599) (← links)
- A weighted causal theory for acquiring and utilizing open knowledge (Q465606) (← links)
- An extension of the generalized half-normal distribution (Q465622) (← links)
- Distributions for spherical data based on nonnegative trigonometric sums (Q465625) (← links)
- Non-parametric prediction intervals for the lifetime of coherent systems (Q465629) (← links)
- On tests of radial symmetry for bivariate copulas (Q465637) (← links)
- DNA-inspired information concealing: a survey (Q465664) (← links)
- Streaming techniques and data aggregation in networks of tiny artefacts (Q465668) (← links)
- Certifying algorithms (Q465678) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Verification conditions for source-level imperative programs (Q465685) (← links)
- Confronting intractability via parameters (Q465686) (← links)
- Textual data compression in computational biology: algorithmic techniques (Q465689) (← links)
- Which security policies are enforceable by runtime monitors? A survey (Q465692) (← links)
- Motion planning algorithms for molecular simulations: a survey (Q465699) (← links)
- Growth properties of power-free languages (Q465700) (← links)
- Data mining of social networks represented as graphs (Q465703) (← links)
