Showing 41 - 60 results of 98 for search 'Oxford University Computing Laboratory', query time: 0.41s Refine Results
  1. 41
    Finite Element Simulation of a Membrane Covered Electrode Problem

    Finite Element Simulation of a Membrane Covered Electrode Problem by Harriman, K, Gavaghan, D, Süli, E

    Published 2004
    “…Oxford University Computing Laboratory…”
    Report
  2. 42
    A theory of communicating sequential processes

    A theory of communicating sequential processes by Roscoe, A, Brookes, S, Hoare, C

    Published 1981
    “…Oxford University Computing Laboratory…”
    Report
  3. 43
    An alternative order for the failures model

    An alternative order for the failures model by Roscoe, A

    Published 1988
    “…Oxford University Computing Laboratory…”
    Report
  4. 44
    A computational justification for guessing attack formalisms

    A computational justification for guessing attack formalisms by Newcomb, T, Lowe, G

    Published 2005
    “…Oxford University Computing Laboratory…”
    Report
  5. 45
    Householder triangularization of a quasimatrix

    Householder triangularization of a quasimatrix by Trefethen, N

    Published 2008
    “…Oxford University Computing Laboratory…”
    Report
  6. 46
    Guidelines for Handling Audio Visual Data

    Guidelines for Handling Audio Visual Data by Jirotka, M

    Published 1993
    “…Oxford University Computing Laboratory…”
    Report
  7. 47
    Unbounded nondeterminism in CSP

    Unbounded nondeterminism in CSP by Roscoe, A

    Published 1988
    “…Oxford University Computing Laboratory…”
    Report
  8. 48
    On solving trust−region and other regularised subproblems in optimization

    On solving trust−region and other regularised subproblems in optimization by Gould, H, Robinson, D

    Published 2009
    “…Oxford University Computing Laboratory…”
    Report
  9. 49
    Quantum measurements without sums

    Quantum measurements without sums by Coecke, B, Pavlovic, D

    Published 2006
    “…Oxford University Computing Laboratory…”
    Report
  10. 50
    Fast‚ numerically stable computation of oscillatory integrals with stationary points

    Fast‚ numerically stable computation of oscillatory integrals with stationary points by Olver, S

    Published 2009
    “…Oxford University Computing Laboratory…”
    Report
  11. 51
    Preconditioned GMRES for oscillatory integrals

    Preconditioned GMRES for oscillatory integrals by Olver, S

    Published 2008
    “…Oxford University Computing Laboratory…”
    Report
  12. 52
    Proceedings of the Oxford University Computing Laboratory Programming Research Group Student Conference '06

    Proceedings of the Oxford University Computing Laboratory Programming Research Group Student Conference '06 by Xie, Y

    Published 2006
    “…Oxford University Computing Laboratory…”
    Report
  13. 53
    Information categorisation in biological sequence alignments

    Information categorisation in biological sequence alignments by Gunewardena, S, Jeavons, P

    Published 2004
    “…Oxford University Computing Laboratory…”
    Report
  14. 54
    Adaptive Finite Element Simulation of Steady State Currents at Microdisc Electrodes to a Guaranteed Accuracy

    Adaptive Finite Element Simulation of Steady State Currents at Microdisc Electrodes to a Guaranteed Accuracy by Harriman, K, Gavaghan, D, Houston, P, Süli, E

    Published 1999
    “…Oxford University Computing Laboratory…”
    Report
  15. 55
    Machine Learning and Genetic Regulatory Networks: A Review and a Roadmap

    Machine Learning and Genetic Regulatory Networks: A Review and a Roadmap by Fogelberg, C, Palade, V

    Published 2015
    “…Oxford University Computing Laboratory…”
    Report
  16. 56
    Scientific middleware for abstracted parallelisation

    Scientific middleware for abstracted parallelisation by Goodman, D

    Published 2005
    “…Oxford University Computing Laboratory…”
    Report
  17. 57
    Finding transcription factor binding sites in DNA Sequences: A template based approach

    Finding transcription factor binding sites in DNA Sequences: A template based approach by Gunewardena, S, Jeavons, P

    Published 2003
    “…Oxford University Computing Laboratory…”
    Report
  18. 58
    hp−Version Discontinuous Galerkin Methods with Interior Penalty for Partial Differential Equations with Nonnegative Characteristic Form

    hp−Version Discontinuous Galerkin Methods with Interior Penalty for Partial Differential Equations with Nonnegative Characteristic Form by Harriman, K, Houston, P, Senior, W, Süli, E

    Published 2002
    “…Oxford University Computing Laboratory…”
    Report
  19. 59
    Fusion on Haskell Unicode Strings

    Fusion on Haskell Unicode Strings by Harper, T

    Published 2008
    “…Oxford University Computing Laboratory…”
    Thesis
  20. 60
    Obfuscating Set Representations

    Obfuscating Set Representations by Drape, S

    Published 2004
    “…Oxford University Computing Laboratory…”
    Report

Search Tools: