Now showing items 1-8 of 8

  • Alloy: fast generic transformations for Haskell 

    Sampson, Adam T.; Brown, Neil C.C. (Association for Computing Machinery (ACM), 2009)
    Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Generic programming is often approached from a ...
  • The best of most worlds: shared objects for multilingual simulation 

    Sampson, Adam T.; Andrews, Paul S. (ACM, 2010-10)
    Computing techniques are increasingly being used in scientific research to tackle a diverse set of problems. An example is complex systems research, which focuses on the use of computer simulations to explore, understand ...
  • Engineering simulations for cancer systems biology 

    Bown, James L.; Andrews, Paul S.; Deeni, Yusuf Y.; Goltsov, Alexey; Idowu, Michael A.; Polac, Fiona A.C.; Sampson, Adam T.; Shovman, Mark; Stepney, Susan (Bentham Science Publishers, 2012-11)
    Computer simulation can be used to inform in vivo and in vitro experimentation, enabling rapid, low-cost hypothesis generation and directing experimental design in order to test those hypotheses. In this way, in silico ...
  • Information visualization and the arts-science-social science interface 

    Bown, James L.; Fee, Kenneth; Sampson, Adam T.; Shovman, Mark; Falconer, Ruth E.; Goltsov, Alexey; Issacs, John P.; Robertson, Paul; Scott-Brown, Kenneth C.; Szymkowiak, Andrea (ACM, 2010)
    In a world of ever-increasing and newly discovered complexities, and rapidly expanding data sets describing man-made and natural phenomena, information visualization offers a means of structuring and enabling interpretation ...
  • Modelling fungal colonies and communities: challenges and opportunities 

    Falconer, Ruth E.; Bown, James L.; McAdam, Eilidh; Perez-Reche, Paco; Sampson, Adam T.; van den Bulcke, Jan; White, Nia A.; Perez-Reche, Francisco J. (International Mycological Association, 2010-12)
    This contribution, based on a Special Interest Group session held during IMC9, focuses on physiological based models of filamentous fungal colony growth and interactions. Fungi are known to be an important component of ...
  • Multicore scheduling for lightweight communicating processes 

    Ritson, Carl G.; Sampson, Adam T.; Barnes, Frederick R. M. (Elsevier, 2012-06)
    Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A typical process-oriented design involves the composition of a large number of ...
  • To boldly go: an occam-π mission to engineer emergence 

    Welch, Peter H.; Wallnau, Kurt; Sampson, Adam T.; Klein, Mark (Springer Verlag, 2012)
    Future systems will be too complex to design and implement explicitly. Instead, we will have to learn to engineer complex behaviours indirectly: through the discovery and application of local rules of behaviour, applied ...
  • Understanding tissue morphology: model repurposing using the CoSMoS process 

    Li, Ye; Sampson, Adam T.; Bown, James L.; Khalil, Hilal S.; Deeni, Yusuf Y. (Springer, 2014-10-07)
    We present CoSMoS as a way of structuring thinking on how to reuse parts of an existing model and simulation in a new model and its implementation. CoSMoS provides a lens through which to consider, post-implementation, the ...