Search results - ORA - Oxford University Research Archive

1

Conference item

‘You are you and the app. There’s nobody else.’: building Worker-Designed Data institutions within platform hegemony

Stein, J, Vizgirda, V, Van Kleek, M, et al.
2023

2

Journal article

Comprehensive computational analysis of epigenetic descriptors affecting CRISPR-Cas9 off-target activity

Mak, JK, Störtz, F, Minary, P
2022-12-06

3

Journal article

Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions

Kissinger, A, van de Wetering, J
2022-07-21

4

Journal article

Sustainable risk identification using formal ontologies

Shaked, A, Margalit, O
2022-09-02

5

Conference item

𝑘-prize weighted voting games

Harrenstein, B, Hyland, D, Lee, WC, et al.
2023

6

Journal article

Systems thinking and efficiency under emissions constraints: addressing rebound effects in digital innovation and policy

Widdicks, K, Lucivero, F, Samuel, G, et al.
2023-02-10

7

Thesis

On coalgebras and final semantics

Worrell, J
2000

8

Conference item

Death by a thousand COTS: disrupting satellite communications using low earth orbit constellations

Rawlins, F, Baker, R, Martinovic, I
2023

9

Thesis

Quantitative rational verification

Steeples, T
2023

10

Conference item

Negotiated path planning for non-cooperative multi-robot systems

Gautier, A, Stephens, A, Lacerda, B, et al.
2022-05-09

11

Conference item

Explainable action prediction through self-supervision on scene graphs

Kochakarn, P, De Martini, D, Omeiza, D, et al.
2023

12

Thesis

Globular multicategories with homomorphism types

Dean, CJ
2022

13

Conference item

Learning Structured Knowledge from Social Tagging Data: a critical review of methods and techniques

Dong, H, Wang, W, Liang, H-N
2016-05-05

14

Conference item

Don’t simulate twice: one-shot sensitivity analyses via automatic differentiation

Quera-Bofarull, A, Chopra, A, Aylett-Bullock, J, et al.
2023

15

Journal article

Bounds for the query complexity of approximate equilibria

Goldberg, PW, Roth, A
2016-08-26

16

Journal article

Incremental updates of generalized hypertree decompositions

Gottlob, G, Lanzinger, M, Longo, D, et al.
2022-12-27

17

Thesis

Design and modular self-assembly of nanostructures

Joakim Bohlin
2022

18

Thesis

Improving representation learning through variational autoencoding

Lin, S
2022

19

Conference item

Before and after China’s new data laws: privacy in apps

Kollnig, K, Zhang, L, Zhao, J, et al.
2023

20

Thesis

Learning and memorization via predictive coding

Salvatori, T
2022

21

Thesis

Category theory for quantum natural language processing

Toumi, A
2022

22

Thesis

Testing deep image classifiers using generative machine learning

Dunn, I
2022

23

Thesis

The economics of industrial cyberespionage

Stupak, O
2022

24

Conference item

CableAuth: a biometric second factor authentication scheme for electric vehicle charging

Sturgess, J, Köhler, S, Birnbach, S, et al.
2023-02-27

25

Conference item

The complexity of pattern counting in directed graphs, parameterised by the outdegree

Bressan, M, Lanzinger, M, Roth, M
2023

26

Conference item

Hybrid multiparty session types: compositionality for protocol specification through endpoint projection

Gheri, L, Yoshida, N
2023

27

Thesis

Better conditioning on context for natural language processing

Liu, Q
2022

28

Dataset

WatchAuth dataset (extended)

Sturgess, J
2023

29

Dataset

RingAuth dataset

Sturgess, J
2023

30

Dataset

CableAuth dataset

Sturgess, J, Köhler, S, Birnbach, S
2023

31

Conference item

Improving language model predictions via prompts enriched with knowledge graphs

Brate, R, Dang, M-H, Hoppe, F, et al.
2023-02-11

32

Conference item

Results of the Ontology Alignment Evaluation Initiative 2022

Pour, MAN, Algergawy, A, Buche, P, et al.
2023-01-10

33

Conference item

English-to-Chinese transliteration with phonetic auxiliary task

He, Y, Cohen, SB
2020-12-01

34

Conference item

BERTMap: a BERT-based ontology alignment system

He, Y, Chen, J, Antonyrajah, D, et al.
2022-06-28

35

Conference item

Machine learning-friendly biomedical datasets for equivalence and subsumption ontology matching

He, Y, Chen, J, Dong, H, et al.
2022-10-16

36

Conference item

Knowledge-aware zero-shot learning: survey and perspective

Chen, J, Geng, Y, Chen, Z, et al.
2021-08-11

37

Conference item

Augmenting ontology alignment by semantic embedding and distant supervision

Chen, J, Jiménez-Ruiz, E, Horrocks, I, et al.
2021-05-31

38

Conference item

The Dow Jones knowledge graph

Horrocks, I, Olivares, J, Cocchi, V, et al.
2022-05-31

39

Thesis

Parallel front propagation in medical image segmentation

Yeghiazaryan, V
2017

40

Conference item

Reasoning techniques in DatalogMTL

Wałega, PA, Zawidzki, M, Cuenca Grau, B
2022-08-31

41

Journal article

Bayesian workflow for disease transmission modeling in Stan

Grinsztajn, L, Semenova, E, Margossian, CC, et al.
2021-09-08

42

Conference item

Poster: an analysis of privacy features in 'expert-approved' kids' apps

Ekambaranathan, A, Zhao, J, Van Kleek, M
2022-11-07

43

Conference item

'Don't make assumptions about me!': understanding children's perception of datafication online

Wang, G, Zhao, J, Van Kleek, M, et al.
2022-11-11

44

Conference item

Dynamically updatable multiparty session protocols

Castro-Perez, D, Yoshida, N
2023

45

Conference item

Approximate graph colouring and the hollow shadow

Zivny, S, Ciardo, L
2023

46

Conference item

Multimodal PET/CT tumour segmentation and prediction of progression-free survival using a full-scale UNet with attention

Bourigault, E, McGowan, DR, Mehranian, A, et al.
2022-03-13

47

Thesis

Enabling efficient and effective data extraction and data labeling

Zhang, Y
2022

48

Journal article

Stream reasoning with DatalogMTL

Walega, P, Kaminski, M, Wang, D, et al.
2023

49

Dataset

BeeHIVE: Behavioral Biometric System based on Object Interactions in Smart Environments

Krawiecka, K, Birnbach, S, Eberz, S, et al.
2023

50

Journal article

Global geomagnetic perturbation forecasting using deep learning

Upendran, V, Tigas, P, Ferdousi, B, et al.
2022-05-31

51

Journal article

Digital Twins: state of the art theory and practice, challenges, and open research questions

Sharma, A, Kosasih, E, Zhang, J, et al.
2022-08-08

52

Thesis

Discontinuous Galerkin methods for Friedrichs systems with irregular solutions

Jensen, M
2004

53

Journal article

Automated clinical coding: what, why, and where we are?

Dong, H, Falis, M, Whiteley, W, et al.
2022-10-22

54

Journal article

A category-theoretic proof of the ergodic decomposition theorem

Moss, S, Perrone, P
2023

55

Conference item

Screening infant hips: DDH diagnosis via deep learning

Stamper, A, Singh, A, McCouat, J, et al.
2023

56

Conference item

A formal CHERI-C semantics for verification

Park, SH, Pai, R, Melham, T
2023

57

Conference item

Further collapses in TFNP

Göös, M, Hollender, A, Jain, S, et al.
2022-07-11

58

Thesis

Compression of models and data in deep learning

Alizadeh, M
2022

59

Conference item

‘Treat me as your friend, not a number in your database’: co-designing with children to cope with datafication online

Wang, G, Zhao, J, Van Kleek, M, et al.
2023

60

Conference item

12 ways to empower: designing for children's digital autonomy

Wang, G, Zhao, J, Van Kleek, M, et al.
2023

61

Journal article

Two's company, three's a crowd: consensus-halving for a constant number of agents

Deligkas, A, Filos-Ratsikas, A, Hollender, A
2022-09-09

62

Dataset

Equity and inclusivity in research funding: barriers and delivering change

Gladstone, J, Schipper, L, Hara-Msulira, T, et al.
2023

63

Journal article

Finite materialisability of Datalog programs with metric temporal operators

Wałęga, PA, Zawidzki, M, Cuenca Grau, B
2023-01-28

64

Journal article

Metastability of the Potts ferromagnet on random regular graphs

Coja-Oghlan, A, Galanis, A, Goldberg, LA, et al.
2023

65

Journal article

Federated partially supervised learning with limited decentralized medical images

Dong, N, Kampffmeyer, M, Voiculescu, I, et al.
2022-12-20

66

Journal article

On coalescence time in graphs–when is coalescing as fast as meeting?

Kanade, V, Mallmann-Trenn, F, Sauerwald, T
2023-01-17

67

Journal article

Using deep convolutional neural networks to forecast spatial patterns of Amazonian deforestation

Ball, JGC, Petrova, K, Coomes, DA, et al.
2022-08-04

68

Thesis

Promise constraint satisfaction problems

Brandts-Longtin, A
2022

69

Conference item

Affine monads and lazy structures for Bayesian programming

Dash, S, Kaddar, Y, Paquet, H, et al.
2023-01-11

70

Conference item

Learning logic programs by discovering where not to search

Cropper, A, Hocquette, C
2022

71

Journal article

Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus

Coecke, B, Horsman, D, Kissinger, A, et al.
2021-08-05

72

Journal article

Tractability beyond β-acyclicity for conjunctive queries with negation and SAT

Lanzinger, MP
2022

73

Conference item

Relational program synthesis with numerical reasoning

Hocquette, C, Cropper, A
2022

74

Conference item

Materialisation-based reasoning in DatalogMTL with bounded intervals

Wałęga, PA, Zawidzki, M, Wang, D, et al.
2022

75

Conference item

MeTeoR: practical reasoning in datalog with metric temporal operators

Wang, D, Hu, P, Walega, P, et al.
2022

76

Conference item

Efficient embeddings of logical variables for query answering over incomplete knowledge graphs

Wang, D, Chen, Y, Cuenca Grau, B
2022

77

Journal article

Causal computational complexity of distributed processes

Demangeon, R, Yoshida, N
2022-12-07

78

Journal article

Precise subtyping for asynchronous multiparty sessions

Ghilezan, S, Pantović, J, Prokić, I, et al.
2022-10-20

79

Conference item

Countdown μ-calculus

Kołodziejski, J, Klin, B
2022-08-22

80

Journal article

Six human-centered artificial intelligence grand challenges

Ozmen Garibay, O, Winslow, B, Andolina, S, et al.
2023-01-02

81

Journal article

Towards robust partially supervised multi-structure medical image segmentation on small-scale data

Dong, N, Kampffmeyer, M, Liang, X, et al.
2021-11-20

82

Journal article

National, regional, and global estimates of anaemia by severity in women and children for 2000–19: a pooled analysis of population-representative data

Stevens, GA, Paciorek, CJ, Flores-Urrutia, MC, et al.
2022-05-01

83

Journal article

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020

Biere, A, Parker, D
2022-09-23

84

Conference item

EndoUDA: a modality independent segmentation approach for endoscopy imaging

Celik, N, Ali, S, Gupta, S, et al.
2021-09-21

85

Thesis

Unambiguous and finitely ambiguous automata

Widdershoven, C
2022

86

Thesis

Learning to represent scenes with geometry and semantics

Wang, B
2022

87

Journal article

In-silico drug trials for precision medicine in atrial fibrillation: from ionic mechanisms to electrocardiogram-based predictions in structurally-healthy human atria

Dasí, A, Roy, A, Sachetto, R, et al.
2022-09-15

88

Journal article

Remodelling of potassium currents underlies arrhythmic action potential prolongation under beta-adrenergic stimulation in hypertrophic cardiomyopathy

Doste, R, Coppini, R, Bueno Orovio, A
2022-09-01

89

Journal article

Kan extensions are partial colimits

Perrone, P, Tholen, W
2022-01-31

90

Conference item

A multi-BERT hybrid system for named entity recognition in Spanish radiology reports

Suárez-Paniagua, V, Dong, H, Casey, A
2021-08-20

91

Journal article

Toward understanding the communication in sperm whales

Andreas, J, Beguš, G, Bronstein, M, et al.
2022-05-12

92

Journal article

Physiologically-informed Gaussian processes for interpretable modelling of psycho-physiological states

Ghiasi, S, Patane, A, Laurenti, L, et al.
2022-11-25

93

Conference item

Robustness guarantees for Bayesian neural networks (invited extended abstract of a keynote speaker)

Kwiatkowska, M
2022-09-10

94

Conference item

Symbolic causal inference via operations on probabilistic circuits

Wang, B, Kwiatkowska, M
2022

95

Journal article

Multi-label classification for biomedical literature: an overview of the BioCreative VII LitCovid Track for COVID-19 literature topic annotations

Chen, Q, Allot, A, Leaman, R, et al.
2022-08-31

96

Journal article

The reporting quality of natural language processing studies: systematic review of studies of radiology reports

Davidson, EM, Poon, MTC, Casey, A, et al.
2021-10-02

97

Journal article

A systematic review of natural language processing applied to radiology reports

Casey, A, Davidson, E, Poon, M, et al.
2021-06-03

98

Conference item

Memory-driven text-to-image generation

Li, B, Torr, PHS, Lukasiewicz, T
2022-11-25

99

Book section

Symbolic verification and strategy synthesis for turn-based stochastic games

Kwiatkowska, M, Norman, G, Parker, D, et al.
2022

100

Thesis

Learning and inference over relational data

Abboud, R
2022