The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Complexity of synthesis of composite service with correctness guarantee (Q439758) (← links)
- Reliability-aware automatic composition approach for web services (Q439793) (← links)
- Further results on the margin explanation of boosting: new algorithm and experiments (Q439827) (← links)
- Symbolic algorithmic verification of intransitive generalized noninterference (Q439858) (← links)
- CMQV+: an authenticated key exchange protocol from CMQV (Q439860) (← links)
- A framework for multi-robot motion planning from temporal logic specifications (Q439866) (← links)
- Mixed integer linear programming formulations for probabilistic constraints (Q439901) (← links)
- Branching on nonchimerical fractionalities (Q439902) (← links)
- Split cuts for robust mixed-integer optimization (Q439905) (← links)
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Verification of multi-linked heaps (Q439948) (← links)
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Ambient abstract state machines with applications (Q439957) (← links)
- Synthesis from scenario-based specifications (Q439960) (← links)
- Rewriting XPath queries using materialized XPath views (Q439966) (← links)
- The implication problem for `closest node' functional dependencies in complete XML documents (Q439971) (← links)
- Vector space formulation of probabilistic finite state automata (Q439977) (← links)
- A QoS-aware composition method supporting cross-platform service invocation in cloud environment (Q439983) (← links)
- Distributed data possession checking for securing multiple replicas in geographically-dispersed clouds (Q439985) (← links)
- Sparse regression learning by aggregation and Langevin Monte-Carlo (Q439987) (← links)
- A complete characterization of statistical query learning with applications to evolvability (Q439989) (← links)
- Parameter reduction and automata evaluation for grammar-compressed trees (Q440015) (← links)
- A tutorial on approximate Bayesian computation (Q440017) (← links)
- Analysis of multi-level correlated data in the framework of generalized estimating equations via xtmultcorr procedures in Stata and qls functions in Matlab (Q440079) (← links)
- Simultaneous sensitivity analysis for observational studies using full matching or matching with multiple controls (Q440088) (← links)
- Support vector machines with disease-gene-centric network penalty for high dimensional microarray data (Q440098) (← links)
- A mixed ordinal location scale model for analysis of ecological momentary assessment (EMA) data (Q440130) (← links)
- Adaptive spatial smoothing of fMRI images (Q440161) (← links)
- Evaluating functional autocorrelation within spatially distributed neural processing networks (Q440169) (← links)
- Cosine series representation of 3D curves and its application to white matter fiber bundles in diffusion tensor imaging (Q440179) (← links)
- Computation- and space-efficient implementation of SSA (Q440234) (← links)
- Variance model selection with application to joint analysis of multiple microarray datasets under false discovery rate control (Q440263) (← links)
- Controlling population structure in human genetic association studies with samples of unrelated individuals (Q440314) (← links)
- Determination of proportionality in two-part models and analysis of multi-ethnic study of atherosclerosis (MESA) (Q440358) (← links)
- Higher derivative terms including the Ramond-Ramond five-form (Q440468) (← links)
- Towards establishing the spin of warped gravitons (Q440499) (← links)
- Counting gauge invariant operators in SQCD with classical gauge groups (Q440505) (← links)
- Non-geometric flux vacua, S-duality and algebraic geometry (Q440529) (← links)
- Simplicity in the structure of QED and gravity amplitudes (Q440533) (← links)
- Type I supergravity effective action from pure spinor formalism (Q440552) (← links)
- The orthogonal gradients method: a radial basis functions method for solving partial differential equations on arbitrary surfaces (Q440604) (← links)
- An adaptive Newton continuation strategy for the fully implicit finite element immersed boundary method (Q440605) (← links)
- Semi-automatic sparse preconditioners for high-order finite element methods on non-uniform meshes (Q440609) (← links)
- Object-oriented electrodynamic S-matrix code with modern applications (Q440628) (← links)
- Fast iterative interior eigensolver for millions of atoms (Q440633) (← links)
- An optimized spectral difference scheme for CAA problems (Q440635) (← links)
- Weak and strong wall boundary procedures and convergence to steady-state of the Navier-Stokes equations (Q440637) (← links)
- Hermite-DG methods for pdf equations modelling particle transport and deposition in turbulent boundary layers (Q440641) (← links)
- A hybrid spectral/DG method for solving the phase-averaged ocean wave equation: algorithm and validation (Q440643) (← links)
