Showing 61 - 80 results of 98 for search 'Oxford University Computing Laboratory', query time: 0.14s Refine Results
  1. 61
    Architectures for Secure Delegation Within Grids

    Architectures for Secure Delegation Within Grids by Broadfoot, P, Lowe, G

    Published 2003
    “…Oxford University Computing Laboratory…”
    Report
  2. 62
    A Categorical semantics of Quantum Protocols

    A Categorical semantics of Quantum Protocols by Abramsky, S, Coecke, B

    Published 2004
    “…Oxford University Computing Laboratory…”
    Report
  3. 63
    Piecewise smooth chebfuns

    Piecewise smooth chebfuns by Pachόn, R, Platte, R, Trefethen, N

    Published 2008
    “…Oxford University Computing Laboratory…”
    Report
  4. 64
    On the modelling and analysis of Amazon Web Services access policies

    On the modelling and analysis of Amazon Web Services access policies by Power, D, Slaymaker, M, Simpson, A

    Published 2009
    “…Oxford University Computing Laboratory…”
    Report
  5. 65
    Approximation of Linear Functionals Using an hp−Adaptive Discontinuous Galerkin Finite Element Method

    Approximation of Linear Functionals Using an hp−Adaptive Discontinuous Galerkin Finite Element Method by Harriman, K, Gavaghan, D, Süli, E

    Published 2004
    “…Oxford University Computing Laboratory…”
    Report
  6. 66
    Abstraction Framework for Markov Decision Processes and PCTL via Games

    Abstraction Framework for Markov Decision Processes and PCTL via Games by Kattenbelt, M, Huth, M

    Published 2009
    “…Oxford University Computing Laboratory…”
    Report
  7. 67
    Believe it or not‚ Bell states are a model of multiplicative linear logic

    Believe it or not‚ Bell states are a model of multiplicative linear logic by Duncan, R

    Published 2004
    “…Oxford University Computing Laboratory…”
    Report
  8. 68
    A taxonomy of web services using CSP

    A taxonomy of web services using CSP by Momtahan, L, Martin, A, Roscoe, A

    Published 2004
    “…Oxford University Computing Laboratory…”
    Report
  9. 69
    Using global interpolation to evaluate the Biot−Savart integral for deformable elliptical Gaussian vortex elements

    Using global interpolation to evaluate the Biot−Savart integral for deformable elliptical Gaussian vortex elements by Rossi, R, Mitchell, T

    Published 2008
    “…Oxford University Computing Laboratory…”
    Report
  10. 70
    Combination preconditioning and self−adjointness in non−standard inner products with application to saddle point problems

    Combination preconditioning and self−adjointness in non−standard inner products with application to saddle point problems by Stoll, M, Wathen, A

    Published 2015
    “…Oxford University Computing Laboratory…”
    Report
  11. 71
    Video Based Requirements Elicitation: A Friendly Guide

    Video Based Requirements Elicitation: A Friendly Guide by Jirotka, M, Aylett, M

    Published 1994
    “…Oxford University Computing Laboratory…”
    Report
  12. 72
    GMRES for the differentiation operator

    GMRES for the differentiation operator by Olver, S

    Published 2008
    “…Oxford University Computing Laboratory…”
    Report
  13. 73
    Approximation of the scattering amplitude

    Approximation of the scattering amplitude by Golub, G, Stoll, M, Wathen, A

    Published 2007
    “…Oxford University Computing Laboratory…”
    Report
  14. 74
    Translating CSP trace refinement to UNITY unreachability : a study in data independence

    Translating CSP trace refinement to UNITY unreachability : a study in data independence by Roscoe, A, Wang, X, Lazic, R

    Published 2015
    “…Oxford University Computing Laboratory…”
    Report
  15. 75
    Linear instability of asymmetric Poiseuille flows

    Linear instability of asymmetric Poiseuille flows by Kachuma, D, Sobey, I

    Published 2007
    “…Oxford University Computing Laboratory…”
    Report
  16. 76
    Exact and Heuristic Approaches for Identifying Disease−Associated SNP Motifs

    Exact and Heuristic Approaches for Identifying Disease−Associated SNP Motifs by Huang, G, Jeavons, P, Kwiatkowski, D

    Published 2005
    “…Oxford University Computing Laboratory…”
    Report
  17. 77
    BSP Scheduling of Regular Patterns of Computation

    BSP Scheduling of Regular Patterns of Computation by Calinescu, R

    Published 1997
    “…Oxford University Computing Laboratory…”
    Report
  18. 78
    The chebop system for automatic solution of differential equations

    The chebop system for automatic solution of differential equations by Driscoll, T, Bornemann, F, Trefethen, N

    Published 2008
    “…Oxford University Computing Laboratory…”
    Report
  19. 79
    Barycentric−Remez algorithms for best polynomial approximation in the chebfun system

    Barycentric−Remez algorithms for best polynomial approximation in the chebfun system by Pachόn, R, Trefethen, N

    Published 2008
    “…Oxford University Computing Laboratory…”
    Report
  20. 80
    Adaptive Finite Element Simulation of Currents at Microelectrodes to a Guaranteed Accuracy. Application to Channel Microband Electrodes

    Adaptive Finite Element Simulation of Currents at Microelectrodes to a Guaranteed Accuracy. Application to Channel Microband Electrodes by Harriman, K, Gavaghan, D, Houston, P, Kay, D, Süli, E

    Published 2000
    “…Oxford University Computing Laboratory…”
    Report

Search Tools: