« Previous | 1 - 10 of 700 |
1
Journal article icon

Journal article

Decomposing random permutations into order-isomorphic subpermutations

  • Groenland, C, Johnston, T, Korandi, D, et al.
  • 2023
2
Conference item icon

Conference item

A formal CHERI-C semantics for verification

  • Park, SH, Pai, R, Melham, T
  • 2023
3
Journal article icon

Journal article

Robust quantum memory in a trapped-ion quantum network node

  • Drmota, P, Main, D, Nadlinger, DP, et al.
  • 2023
4
Journal article icon

Journal article

Monolithic multigrid for implicit Runge-Kutta discretizations of incompressible fluid flow

  • Abu-Labdeh, R, MacLachlan, S, Farrell, PE
  • 2023
5
Journal article icon

Journal article

Optimization of Hopf bifurcation points

  • Boullé, N, Farrell, PE, Rognes, M
  • 2023
6
Journal article icon

Journal article

Finite materialisability of Datalog programs with metric temporal operators

  • Wałęga, PA, Zawidzki, M, Cuenca Grau, B
  • 2023
7
Journal article icon

Journal article

Two-component 3d atomic bose-einstein condensates support complex stable patterns

  • Boulle, N, Newell, I, Farrell, P, et al.
  • 2023
8
Conference item icon

Conference item

Capturing graphs with hypo-elliptic diffusions

  • Toth, C, Lee, D, Hacker, C, et al.
  • 2023
9
Journal article icon

Journal article

Transformations for Piola-mapped elements

  • Farrell, P, Aznaran, FRA, Kirby, R
  • 2022
10
Journal article icon

Journal article

Nonlinear independent component analysis for discrete-time and continuous-time signals

  • Schell, A, Oberhauser, H
  • 2023
FILTER RESULTS

TO TOP