The Centre for Interdisciplinary Research in Computational Algebra (CIRCA) was established in 2000 to foster new and existing collaborative research between members of the Schools of Computer Science and of Mathematics and Statistics in the area of computational abstract algebra.

For more information please visit the Centre for Interdisciplinary Research in Computational Algebra (CIRCA) home page.

Recent Submissions

  • Lapedo : hybrid skeletons for programming heterogeneous multicore machines in Erlang 

    Janjic, Vladimir; Brown, Christopher Mark; Hammond, Kevin (IOS Press, 2016-04) - Conference item
    We describe Lapedo, a novel library of hybrid parallel skeletons for programming heterogeneous multi-core/many-core CPU/GPU sys- tems in Erlang. Lapedo’s hybrid skeletons comprise a mixture of CPU and GPU components, ...
  • Anti-Müllerian hormone serum concentrations of women with germline BRCA1 or BRCA2 mutations 

    Phillips, K-A; Collins, I M; Milne, R L; McLachlan, S A; Friedlander, M; Hickey, M; Stern, C; Hopper, J L; Fisher, R; Kannemeyer, G; Picken, S; Smith, C D; Kelsey, Thomas William; Anderson, R A (2016-04-19) - Journal article
    Study question: Do women with BRCA1 and BRCA2 mutations have reduced ovarian reserve, as measured by circulating anti-müllerian hormone (AMH) concentration?  Summary answer: Women with a germline mutation in BRCA1 have ...
  • Randomization-based models for multitiered experiments : I. a chain of randomizations 

    Bailey, Rosemary Anne; Brien, C. J. (2016-06) - Journal article
    We derive randomization-based models for experiments with a chain of randomizations. Estimation theory for these models leads to formulae for the estimators of treatment effects, their standard errors, and expected mean ...
  • A normative model of serum inhibin B in young males 

    Kelsey, Thomas William; Miles, Amy; Mitchell, Rod T.; Anderson, Richard; Wallace, W. Hamish B. (2016-04-14) - Journal article
    Inhibin B has been identified as a potential marker of Sertoli cell function in males. The aim of this study is to produce a normative model of serum inhibin B in males from birth to seventeen years. We used a well-defined ...
  • Type-based allocation analysis for co-recursion in lazy functional languages 

    Vasconcelos, Pedro Baltazar; Jost, Steffen; Florido, Mario; Hammond, Kevin (Springer-Verlag, 2015) - Conference item
    This paper presents a novel type-and-effect analysis for pre-dicting upper-bounds on memory allocation costs for co-recursive def-initions in a simple lazily-evaluated functional language. We show thesoundness of this ...

View more