Search results - ORA - Oxford University Research Archive

1 - 15 of 15

1

Journal article

On fixpoint logics and equivalences for processes with restricted nondeterminism

Gutierrez, J
2015-06-08

2

Dataset

Insect opsin protein sequence alignment

Holland, P, Feuda, R, Marletaz, F, et al.
2015

3

Journal article

Calcium-dependent neuroepithelial contractions expel damaged cells from the developing brain

Herrgen, L, Voss, O, Akerman, C
2014-11-20

4

Dataset

Inference or enaction data set

Dunbar, R, Carney, J, Wlodarski, R
2014

5

Journal article

Absorption time of the Moran process

Díaz, J, Goldberg, L, Richerby, D, et al.
2016-01-12

6

Journal article

Counting list matrix partitions of graphs

Göbel, A, Goldberg, L, McQuillan, C, et al.
2015

7

Journal article

Guiding the folding pathway of DNA origami

Dunn, KE, Dannenberg, F, Ouldridge, TE, et al.
2015-08-19

8

Journal article

Glacial cycles drive variations in the production of oceanic crust

Crowley, J, Katz, R, Huybers, P, et al.
2015-02-05

9

Journal article

Permissive controller synthesis for probabilistic systems

Dräger, K, Forejt, V, Kwiatkowska, M, et al.
2015

10

Dataset

Online homophily experiments data

Launay, J, Dunbar, R
2014

11

Journal article

Grain-size dynamics beneath mid-ocean ridges : implications for permeability and melt extraction

Turner, A, Katz, R, Behn, M
2015-03-26

12

Dataset

Ultrahigh and persistent optical depths of cesium in Kagomé-type hollow-core photonic crystal fibres

Kaczmarek, K
2015

13

Dataset

Group size homophily data

Launay, J, Dunbar, R
2014

14

Journal article

Household illness, poverty and physical and emotional child abuse victimisation: Findings from South Africa’s first prospective cohort study

Meinck, F, Cluver, L, Boyes, M
2019

15

Conference item

Safety verification and refutation by k-invariants and k-induction

Brain, M, Joshi, S, Kroening, D, et al.
2015-09-02

TO TOP