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
-
The impact of cancer on subsequent chance of pregnancy : a population-based analysis
(2018-06-15) - Journal articleSTUDY QUESTION What is the impact of cancer in females aged ≤39 years on subsequent chance of pregnancy? SUMMARY ANSWER Cancer survivors achieved fewer pregnancies across all cancer types, and the chance of achieving a ... -
Automatically deriving cost models for structured parallel processes using hylomorphisms
(2018-02) - Journal articleStructured parallelism using nested algorithmic skeletons can greatly ease the task of writing parallel software, since common, but hard-to-debug, problems such as race conditions are eliminated by design. However, choosing ... -
Chains of subsemigroups
(2017-06) - Journal articleWe investigate the maximum length of a chain of subsemigroups in various classes of semigroups, such as the full transformation semigroups, the general linear semigroups, and the semigroups of order-preserving transformations ... -
Imprimitive permutations in primitive groups
(2017-09-15) - Journal articleThe goal of this paper is to study primitive groups that are contained in the union of maximal (in the symmetric group) imprimitive groups. The study of types of permutations that appear inside primitive groups goes back ... -
Analyticity, balance and non-admissibility of Cut in Stoic Logic
(2018-04-20) - Journal articleThis paper shows that, for the Hertz-Gentzen Systems of 1933 (without Thinning), extended by a classical rule T1 (from the Stoics) and using certain axioms (also from the Stoics), all derivations are analytic: every cut ...
RSS 1.0