The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Prony's method in several variables (Q530081) (← links)
- An accurate local average contact method for nonmatching meshes (Q530086) (← links)
- Intrinsic representation of tangent vectors and vector transports on matrix manifolds (Q530089) (← links)
- Simplified approach of free vibration analysis of plates supported in vicinity of the corners by BEM (Q530101) (← links)
- Free longitudinal vibration of a double-nanorod system (Q530119) (← links)
- Application of a Green's function method to heat conduction problems in multi-layered cylinders (Q530151) (← links)
- Thermally induced vibration of a cantilever beam with periodically varying intensity of a heat source (Q530174) (← links)
- Cattaneo-Vernotte equation. Identification of relaxation time using evolutionary algorithms (Q530186) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Regular and context-free nominal traces (Q530218) (← links)
- A symmetric version of the generalized alternating direction method of multipliers for two-block separable convex programming (Q530249) (← links)
- Distributed and sequential algorithms for bioinformatics (Q530299) (← links)
- Proof of Sun's conjectures on integer-valued polynomials (Q530317) (← links)
- Multi-symplectic Runge-Kutta-Nyström methods for nonsmooth nonlinear Schrödinger equations (Q530355) (← links)
- Interval-valued data regression using nonparametric additive models (Q530370) (← links)
- Local linear estimation for regression models with locally stationary long memory errors (Q530373) (← links)
- On Hoeffding and Bernstein type inequalities for sums of random variables in non-additive measure spaces and complete convergence (Q530382) (← links)
- Bayesian semiparametric analysis for latent variable models with mixed continuous and ordinal outcomes (Q530384) (← links)
- Special values of Kloosterman sums and binomial bent functions (Q530400) (← links)
- An improvement over the GVW algorithm for inhomogeneous polynomial systems (Q530403) (← links)
- A minimum distance bound for quasi-\(n\)D-cyclic codes (Q530404) (← links)
- Robust unit commitment with \(n-1\) security criteria (Q530420) (← links)
- Computational optimization of gas compressor stations: MINLP models versus continuous reformulations (Q530424) (← links)
- A mathematical model of the human menstrual cycle for the administration of GnRH analogues (Q530447) (← links)
- Global stability of protein folding from an empirical free energy function (Q530458) (← links)
- Beyond pairs: definition and interpretation of third-order structure in spatial point patterns (Q530479) (← links)
- A new method to cluster DNA sequences using Fourier power spectrum (Q530507) (← links)
- Modeling shortest path selection of the ant \textit{Linepithema humile} using psychophysical theory and realistic parameter values (Q530520) (← links)
- Why preferring parametric forecasting to nonparametric methods? (Q530528) (← links)
- Distributions of off-diagonal scattering matrix elements: Exact results (Q530535) (← links)
- Exact theory of intermediate phases in two dimensions (Q530541) (← links)
- Mitigating covert channels based on analysis of the potential for communication (Q530557) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- Finiteness results for \(F\)-Diophantine sets (Q530565) (← links)
- A modified three-term conjugate gradient method with sufficient descent property (Q530722) (← links)
- On degrees and birationality of the maps \(X_0(N)\to \mathbb P^2\) constructed via modular forms (Q530754) (← links)
- Sweeping words and the length of a generic vector subspace of \(M_n(\mathbb{F})\) (Q530766) (← links)
- Smooth monomial Togliatti systems of cubics (Q530767) (← links)
- Cayley digraphs of 2-genetic groups of odd prime-power order (Q530768) (← links)
- Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
- A dependent type theory with abstractable names (Q530845) (← links)
- A framework for developing stand-alone certifiers (Q530847) (← links)
- Enabling synchronous and asynchronous communications in CSP for SOC (Q530849) (← links)
- A framework for the analysis of access control policies with emergency management (Q530851) (← links)
- Yet another bijection between sequent calculus and natural deduction (Q530853) (← links)
- Practical extraction of evidence terms from common-knowledge reasoning (Q530856) (← links)
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- Skalpel: a type error slicer for standard ML (Q530861) (← links)
- Dynamics of fiscal financing in the United States (Q530949) (← links)
- Exponential series estimator of multivariate densities (Q530957) (← links)
