« Previous | 1 - 10 of 6,605 |
1
Thesis icon

Thesis

Incremental sheet forming: modelling and path optimisation

  • Raithatha, AM
  • 2008
2
Journal article icon

Journal article

HermiT: an OWL 2 reasoner

  • Glimm, B, Horrocks, I, Motik, B, et al.
  • 2014-01-01
3
Journal article icon

Journal article

Permissive controller synthesis for probabilistic systems

  • Dräger, K, Forejt, V, Kwiatkowska, M, et al.
  • 2015
4
Journal article icon

Journal article

A quantified system-of-systems modeling framework for robust national infrastructure planning

  • Hall, J, Otto, A, Hickford, A, et al.
  • 2017
5
Journal article icon

Journal article

A parallel implementation of an off-lattice individual-based model of multicellular populations

  • Pitt-Francis, J, Fletcher, A, Harvey, D, et al.
  • 2015-04-07
6
Journal article icon

Journal article

Uncertainties in future energy demand in UK residential heating

  • Eyre, N, Baruah, P
  • 2016-01-08
7
Journal article icon

Journal article

Synthesis of anionic phosphorus-containing heterocycles by intramolecular cyclizations involving N-functionalized phosphinecarboxamides

  • Robinson, T, Goicoechea, J
  • 2015-03-03
8
Dataset icon

Dataset

Code to create the simulations for the paper "Bounds for the normal approximation of the maximum likelihood estimator".

  • Anastasiou, A
  • 2015
9
Dataset icon

Dataset

mcqmc14

  • Giles, M
  • 2015
10
Journal article icon

Journal article

A web portal for in-silico action potential predictions

  • Williams, G, Mirams, G
  • 2015-05-09
FILTER RESULTS

TO TOP