Centre for Interdisciplinary Research in Computational Algebra (CIRCA) Research
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.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Recent Submissions
-
Embedding right-angled Artin groups into Brin-Thompson groups
(2018-07-26) - Journal articleWe prove that every finitely-generated right-angled Artin group can be embedded into some Brin-Thompson group nV. It follows that many other groups can be embedded into some nV (e.g., any finite extension of any of Haglund ... -
New refiners for permutation group search
(2018-01-11) - Journal articlePartition backtrack is the current generic state of the art algorithm to search for subgroups of a given permutation group. We describe an improvement of partition backtrack for set stabilizers and intersections of subgroups ... -
Development, acceptability and feasibility of a communication skills training package for therapeutic radiographers to reduce fear of recurrence development in breast cancer patients (FORECAST2)
(2018-09-18) - Journal articleBackground: Many patients who have been treated for breast cancer experience high levels of fear that the cancer will return. The FORECAST pilot study showed that for a third of the patients, fears of cancer recurrence ... -
Existence and non-existence results for strong external difference families
(2018-01) - Journal articleWe consider strong external difference families (SEDFs); these are external difference families satisfying additional conditions on the patterns of external differences that occur, and were first defined in the context of ... -
Memory consistency models using constraints
(2018-08-27) - Conference itemMemory consistency models (MCMs) are at the heart of concurrent programming. They represent the behaviour of concurrent programs at the chip level. To test these models small program snippets called litmus test are generated, ...
RSS 1.0