The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Model checking RAISE applicative specifications (Q470000) (← links)
- Proving termination of nonlinear command sequences (Q470005) (← links)
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- An inductive approach to strand spaces (Q470008) (← links)
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- Threaded behavior protocols (Q470016) (← links)
- The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits (Q470019) (← links)
- Statechartable Petri nets (Q470022) (← links)
- On theorem prover-based testing (Q470025) (← links)
- Constructing and visualizing chemical reaction networks from pi-calculus models (Q470031) (← links)
- Towards formally specifying and verifying transactional memory (Q470040) (← links)
- A calculus of trustworthy ad hoc networks (Q470043) (← links)
- The generalized Pareto process; with a view towards application and simulation (Q470047) (← links)
- Model comparison with composite likelihood information criteria (Q470048) (← links)
- Particle-kernel estimation of the filter density in state-space models (Q470055) (← links)
- Stochastic monotonicity and continuity properties of functions defined on Crump-Mode-Jagers branching processes, with application to vaccination in epidemic modelling (Q470065) (← links)
- Tail approximations for the Student \(t\)-, \(F\)-, and Welch statistics for non-normal and not necessarily i.i.d. random variables (Q470067) (← links)
- Affine invariant divergences associated with proper composite scoring rules and their applications (Q470075) (← links)
- The affinely invariant distance correlation (Q470078) (← links)
- Correcting and combining time series forecasters (Q470161) (← links)
- Supervised orthogonal discriminant subspace projects learning for face recognition (Q470166) (← links)
- A Bayesian inverse solution using independent component analysis (Q470168) (← links)
- Direct kernel perceptron (DKP): ultra-fast kernel ELM-based classification with non-iterative closed-form weight calculation (Q470174) (← links)
- Semi-supervised learning of class balance under class-prior change by distribution matching (Q470186) (← links)
- Pointwise probability reinforcements for robust statistical inference (Q470187) (← links)
- Robust support vector machine-trained fuzzy system (Q470193) (← links)
- Large-scale linear nonparallel support vector machine solver (Q470195) (← links)
- Long-term time series prediction using OP-ELM (Q470217) (← links)
- Lagrangian support vector regression via unconstrained convex minimization (Q470224) (← links)
- Dressians, tropical Grassmannians, and their rays (Q470239) (← links)
- Nonstationary hemodynamics modelling in a cerebral aneurysm of a blood vessel (Q470270) (← links)
- Imputing genotypes using regularized generalized linear regression models (Q470300) (← links)
- Bayesian identification of protein differential expression in multi-group isobaric labelled mass spectrometry data (Q470303) (← links)
- Robustness of the linear mixed effects model to error distribution assumptions and the consequences for genome-wide association studies (Q470311) (← links)
- Bayesian modelling of compositional heterogeneity in molecular phylogenetics (Q470316) (← links)
- Quantifying the multi-scale performance of network inference algorithms (Q470320) (← links)
- Manifold matching: joint optimization of fidelity and commensurability (Q470368) (← links)
- The complementary exponential power series distribution (Q470383) (← links)
- Long-term survival models with latent activation under a flexible family of distributions (Q470384) (← links)
- Elliptic curves coming from Heron triangles (Q470395) (← links)
- VaR and ES for linear portfolios with mixture of generalized Laplace distributions risk factors (Q470430) (← links)
- Statistics of time warpings and phase variations (Q470432) (← links)
- Analysis of proteomics data: block \(k\)-mean alignment (Q470436) (← links)
- Analysis of proteomics data: phase amplitude separation using an extended Fisher-Rao metric (Q470438) (← links)
- Analysis of proteomics data: an improved peak alignment approach (Q470446) (← links)
- Introduction to neural spike train data for phase-amplitude analysis (Q470449) (← links)
- Analysis of spike train data: an application of \(k\)-mean alignment (Q470451) (← links)
- Analysis of spike train data: alignment and comparisons using the extended Fisher-Rao metric (Q470452) (← links)
- Analysis of spike train data: a multivariate mixed effects model for phase and amplitude (Q470457) (← links)
- Analysis of juggling data: an application of \(k\)-mean alignment (Q470462) (← links)
