Search results - ORA - Oxford University Research Archive

« Previous | 41 - 50 of 155 | Next »

41

Thesis

Optical mapping signal synthesis

Bishop, MJ
2008

42

Journal article

Unconventional complexity measures for unconventional computers

Blakey, E
2011-12-01

43

Journal article

Combining the box structure development method and CSP for software development

Hopcroft, P, Broadfoot, G
2005-05-01

44

Journal article

Towards a small model theorem for data independent systems in Alloy

Momtahan, L
2005-05-01

45

Thesis

Two variable and linear temporal logic in model checking and games

Lenhardt, R
2013

46

Thesis

Stream fusion: practical shortcut fusion for coinductive sequence types

Coutts, D
2011

47

Thesis

Evaluation of relational algebra queries on probabilistic databases: tractability and approximation

Fink, RD
2014

48

Journal article

Conditional doxastic models: a qualitative approach to dynamic belief revision

Baltag, A, Smets, S
2006-11-11

49

Journal article

Conditional doxastic models: a qualitative approach to dynamic belief revision

Baltag, A, Sonja Smets
2006-11-01

50

Thesis

Efficient simulation of cardiac electrical propagation using adaptive high-order finite elements

Arthurs, C, Christopher Arthurs
2013

« Previous
1
2
3
4
5
6
7
8
9
…
15
16
Next »

TO TOP