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
-
Orbits of primitive k-homogenous groups on (n-k)-partitions with applications to semigroups
(2017-05-09) - Journal articleThe purpose of this paper is to advance our knowledge of two of the most classic and popular topics in transformation semigroups: automorphisms and the size of minimal generating sets. In order to do this, we examine the ... -
Coinductive soundness of corecursive type class resolution
(Springer, 2017) - Conference itemHorn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed, with the goal of allowing (co)recursive ... -
Follicle Stimulating Hormone is an accurate predictor of azoospermia in childhood cancer survivors
(2017-07-20) - Journal articleThe accuracy of Follicle Stimulating Hormone as a predictor of azoospermia in adult survivors of childhood cancer is unclear, with conflicting results in the published literature. A systematic review and post hoc analysis ... -
Micro-dose hCG as luteal phase support without exogenous progesterone administration : mathematical modelling of the hCG concentration in circulation and initial clinical experience
(2016-10) - Journal articleFor the last two decades, exogenous progesterone administration has been used as luteal phase support (LPS) in connection with controlled ovarian stimulation combined with use of the human chorionic gonadotropin (hCG) ... -
Decision problems for word-hyperbolic semigroups
(2016-07-22) - Journal articleThis paper studies decision problems for semigroups that are word-hyperbolic in the sense of Duncan & Gilman. A fundamental investigation reveals that the natural definition of a `word-hyperbolic structure' has to be ...
RSS 1.0