Search results - ORA - Oxford University Research Archive

51

Journal article

The logical strength of Büchi's decidability theorem

Kolodziejczyk, L, Michalewski, H, Pradic, P, et al.
2019-05-23

52

Conference item

Kleene Algebra with Hypotheses

Doumane, A, Kuperberg, D, Pous, D, et al.
2019-04-05

53

Conference item

LMSO: A Curry-Howard approach to Church's synthesis via linear logic

Pradic, P, Riba, C
2018-07-09

54

Journal article

The distribution of Mg-spinel across the Moon and constraints on crustal origin

Pieters, CM, Hanna, KD, Cheek, L, et al.
2014-10-01

55

Journal article

Synthesis of cyclic alkenyl dimethylsiloxanes from alkynyl benzyldimethylsilanes and application in polyene synthesis

Gudmundsson, H, Kuper, C, Cornut, D, et al.
2019-10-24

56

Conference item

A study of cyber hate on twitter with implications for social media governance strategies

Procter, R, Webb, H, Jirotka, M, et al.
2019-10-05

57

Conference item

Model based bolt preload monitoring using digital image correlation

Jiménez-Peña, C, Lavatelli, A, Balcaen, R, et al.
2018-06-29

58

Journal article

Remotely-sensed L4 SST underestimates the thermal fingerprint of coastal upwelling

Meneghesso, C, Seabra, R, Broitman, B, et al.
2019-12-19

59

Journal article

Excitation and control of plasma wakefields by multiple laser pulses

Cowley, J, Thornton, C, Arran, C, et al.
2017-07-27

60

Journal article

Automated method for detecting and reading seven-segment digits from images of blood glucose metres and blood pressure monitors

Finnegan, E, Villarroel, M, Velardo, C, et al.
2019-11-04

61

Conference item

Algorithms for #BIS-hard problems on expander graphs

Jenssen, M, Keevash, P, Perkins, W
2019-01-06

62

Journal article

High precision automated alignment procedure for two-mirror telescopes

Hampson, K, Gooding, D, Cole, R, et al.
2019-09-12

63

Journal article

Zinc finger and interferon-stimulated genes play a vital role in TB-IRIS following HAART in AIDS

Ma, J, Zhao, F, Su, W, et al.
2018-07-09

64

Journal article

Measurement of neutrino and antineutrino neutral-current quasielasticlike interactions on oxygen by detecting nuclear deexcitation γ rays

Abe, K, Akutsu, R, Ali, A, et al.
2019-12-30

65

Journal article

Orthogonal functionalization of alternating polyesters: Selective patterning of (AB)n sequences

Yi, N, Chen, T, Unruangsri, J, et al.
2019-09-20

66

Journal article

Characterisation of slip and twin activity using digital image correlation and crystal plasticity finite element simulation: Application to orthorhombic α-uranium

Grilli, N, Earp, P, Cocks, A, et al.
2019-11-21

67

Journal article

Topology and morphology of self-deforming active shells

Metselaar, L, Yeomans, J, Doostmohammadi, A
2019-11-13

68

Journal article

Base induced isomerisation of a phosphaethynolato-borane: mechanistic insights into boryl migration and decarbonylation to afford a triplet phosphinidene

Wilson, D, Franco, M, Myers, W, et al.
2019-12-02

69

Journal article

Multiscale synchrotron scattering studies of the temperature-dependent changes in the structure and deformation response of a thermoplastic polyurethane elastomer

Sui, T, Salvati, E, Zhang, H, et al.
2019-11-27

70

Journal article

Experiment design driven FAIRification of omics data matrices, an exemplar

Rocca-Serra, P, Sansone, S-A
2019-12-12

71

Conference item

Visual pitch estimation

Koepke, A, Wiles, O, Zisserman, A
2019-05-25

72

Journal article

Illegal wildlife trade: Scale, processes, and governance

‘T Sas-Rolfes, M, Challender, D, Hinsley, A, et al.
2019-08-05

73

Journal article

A new construction of Calabi–Yau manifolds: Generalized CICYs

Anderson, L, Apruzzi, F, Gao, X, et al.
2016-03-18

74

Journal article

Minkowski4×S2 solutions of IIB supergravity

Apruzzi, F, Geipel, J, Legramandi, A, et al.
2018-02-19

75

Journal article

Phases of 5d SCFTs from M-/F-theory on non-flat fibrations

Apruzzi, F, Lin, L, Mayrhofer, C
2019-05-28

76

Journal article

Instanton superpotentials, Calabi-Yau geometry, and fibrations

Anderson, L, Apruzzi, F, Gao, X, et al.
2016-04-01

77

Journal article

Nilpotent networks and 4D RG flows

Apruzzi, F, Hassler, F, Heckman, J, et al.
2019-05-14

78

Journal article

From 6D superconformal field theories to dynamic gauged linear sigma models

Apruzzi, F, Hassler, F, Heckman, JJ, et al.
2017-09-13

79

Journal article

Risk of yellow fever virus importation into the United States from Brazil, outbreak years 2016–2017 and 2017–2018

Dorigatti, I, Stephanie, M, Donnelly, C, et al.
2019-12-31

80

Journal article

Chemical tuning between triangular and honeycomb structures in a 5d spin-orbit Mott insulator

Johnson, R, Broeders, I, Mehlawat, K, et al.
2019-12-18

81

Journal article

Experimental evaluation of 3D printed spiral phase plates for enabling an orbital angular momentum multiplexed radio system

Allen, B, Pelham, T, Wu, Y, et al.
2019-12-11

82

Journal article

Adaptive optics in laser processing

Salter, P, Booth, M
2019-10-31

83

Journal article

NLO QCD predictions for tt¯bb¯¯ production in association with a light jet at the LHC

Buccioni, F, Kallweit, S, Pozzorini, S, et al.
2019-12-03

84

Journal article

Fast nonadiabatic dynamics of many-body quantum systems

Larder, B, Gericke, OD, Richardson, S, et al.
2019-11-22

85

Journal article

Colloidal liquid crystals confined to synthetic tactoids

Garlea, I, Dammone, O, Alvarado, J, et al.
2019-12-31

86

Journal article

Selection from a pool of self-assembling lipid replicators

Colomer, I, Borissov, A, Fletcher, S
2020-01-10

87

Journal article

Cluster adjacency and the four-loop NMHV heptagon

Drummond, J, Foster, J, Gürdoğn, Ö, et al.
2019-03-15

88

Journal article

Supporting people with type 2 diabetes in effective use of their medicine through mobile health technology integrated with clinical care (SuMMiT-D Feasibility): a randomised feasibility trial protocol

Farmer, A, Allen, J, Bartlett, K, et al.
2019-12-29

89

Journal article

Modeling population structure under hierarchical Dirichlet processes

Elliott, L, De Iorio, M, Favaro, S, et al.
2018-05-19

90

Journal article

The influence of population growth and wind on vagrancy in a North American passerine

Zawadzki, L, Veit, R, Manne, L
2019-10-03

91

Journal article

OrthoFinder: phylogenetic orthology inference for comparative genomics

Emms, D, Kelly, S
2019-11-14

92

Journal article

Quantum units from the topological engineering of molecular graphenoids

Lombardi, F, Lodi, A, Ma, J, et al.
2019-11-29

93

Conference item

A DCE-MRI imaging-based model for simulation of vascular tumour growth

Roque, T, Kersemans, V, Smart, S, et al.
2016-10-18

94

Journal article

A Silicon surface code architecture resilient against leakage errors

Cai, Z, Fogarty, M, Schaal, S, et al.
2019-12-09

95

Journal article

Comparison of graphene and carbon nanotube saturable absorbers for wavelength and pulse duration tunability

Hussain, S
2019-11-21

96

Journal article

Worldwide reduction in MERS cases and deaths since 2016

Donnelly, CA, Malik, MR, Elkholy, A, et al.
2019-08-07

97

Journal article

Bicyclic boronate VNRX-5133 inhibits metallo- and serine-β-lactamases

Krajnc, A, Brem, J, Hinchliffe, P, et al.
2019-08-27

98

Conference item

Microwave technique for liquid water detection in icing applications

Leis, J, Buttsworth, D, Saeed, R, et al.
2019-06-10

99

Journal article

Comparative performance of some constitutive models in stress rotation

Schranz, F, Fellin, W, Kolymbas, D
2019-11-25

100

Journal article

Saving the universe with finite volume effects

Alexandre, J, Clough, K
2019-11-15