CIRCA

CIRCA Report 2009

CIRCA Staff
CIRCA students
Promotions and New Appointments
Grants
Research visits
Visitors
Conferences
Publications

CIRCA Staff

Steve Linton
Colin M Campbell
Ian Gent
Kevin Hammond
Sophie Huczynska
Roy Dyckhoff
Ian Miguel
James Mitchell
John J O’Connor
Martyn Quick
Edmund F Robertson
Colva Roney-Dougal
Nik Ruškuc
Andrews Mackenzie
Ulf Leonhardt

Senior Research Fellows

Max Neunhoffer
Tom Kelsey
Alexander Konovalov
Chris Jefferson

Research Fellows/Teaching Fellows

Peter Nightingale
Chun Xiong
Andrea Rendl
Chris Brown
Vladimir Janic
Yann Peresse
Reimer Behrends

Support

John McDermott
Angela Miguel

CIRCA Students

Ph.D.

Neil Moore (2007-)
Fiona Brunk (2005-2009)
Yann Peresse (2005-2009)
Abram Connelly (2005-)
Andy Grayland (2006-)
Jon Bagnall (2007-)
Vladimir Janic (2007-)
Victor Maltcev (2007-)
Andreas Distler (2006-)
Hannah Coutts (2006-)
Andrea Rendl (2006-2010)
Yohei Negi (2007-)
Morteza Jafarpour (2003-)
Arthur Geddes (2008-)
Jillian Ferguson (2008-)
Claire Pollard (2008-)
Lars Kotthoff (2008-)
Simon Craik (2008-)
Nina Menezes (2008-)
Markus Pfeiffer (2008-)
Nabilah Abu-Ghazalh (2009-)
Ozgur Akgun (2009-)

Promotions and New Appointments

Alexander Konovalov
Chris Jefferson
Peter Nightingale
Andrea Rendl
Chris Brown
Vladimir Janic
Yann Peresse
Reimer Behrends

Departures

Bob Gray
Fiona Brunk
Andy Grayland
Hans-Wolfgang Loidl

Grants

Major New Grants in 2009:

  1. HPC-GAP: High Performance Computational Algebra and Discrete Mathematics EPSRC: Linton SA, Gent IP and Hammond K. (2009-2013)
  2. A Constraint Solver Synthesiser EPSRC: Miguel IJ, Balasubramaniam D, Dent IP, Kelsey T and Linton SA (2009-2014)
  3. Automata, Languages, Decidability in Algebra EPSRC: Ruskuc N and Quick MR (2010-2013)

 

Complete List of Current CIRCA Grants

  1. EC: SCIEnce: Symbolic Computation Infrastructure for Europe. Linton, S. Hammond, K. (2006-2011)
  2. EPSRC: Multidisciplinary Critical Mass in Computational Algebra and Applications. Linton, SA, Gent, IP, Miguel, I, Ruskuc, N, Quick, M, Robertson, E, Mackenzie, A, Leonhardt, U. (2005-2010)
  3. Royal Society Dorothy Hodgkin Fellowship: Token Passing Networks and Pattern Classes of Permutations Huczynska, S. (2004-2010)
  4. EPSRC: Watched Literals and Learning for Constraint Programming. Gent, IP & Miguel, IJ (2007-2010)
  5. EPSRC: HPC-GAP: High Performance Computational Algebra and Discrete Mathematics. Linton SA, Gent IP and Hammond K. (2009-2013)
  6. EPSRC: A Constraint Solver Synthesiser. Miguel IJ, Balasubramaniam D, Dent IP, Kelsey T and Linton SA (2009-2014)
  7. EPSRC: Automata, Languages, Decidability in Algebra. Ruskuc N and Quick MR (2010-2013)


Research Visits/Invited Talks

Bob Gray: Lisbon
Steve Linton: North Eastern University, USA
Alexander Konovalov: University of Lisbon; Maplesoft, Waterloo, Canada; RISC, Linz; University of Birmingham
Tom Kelsey: Uruguay, York, Lisbon
James Mitchell: Manchester; Wroclaw, Poland 
Ian Miguel: University of Essex, York
Max Neunhoeffer: University of Auckland, University of Western Australia, Edinburgh, Birmingham 
Peter Nightingale: University of Wyoming, USA; York
Ian Gent: University College Cork, York

Visitors

Eric Jespers (Vrije University, Brussels)
Meinolf Sellmann (Brown University)
Richard Parker
Frank Luebeck (Aachen)
Mickael Gastineau (Institut de Mecanique Celeste, Paris)
Julian West
Vesna Kilibarda (Indiana University Northwest)
Karen Petrie (Oxford)
Barbara Smith (Leeds)
Vince Vatter (Dartmouth College, New Hampshire, USA)
Peter Cameron (Queen Mary, University of London)
Abdullahi Umar
Shamik Ghosh
Alan Frisch (York)
George Havas (University of Queensland)
Akos Seress (Ohio State University))
Karoly Bosa (RISC-Linz)
Alexandru Cârstea (Timisoara)
Peter Horn (Kassel)
Dan Roozemond (Eindhoven)
Phil Trinder (Edinburgh)
Guido Tack (Katholieke Universiteit Leuven, Belgium)
Csaba Schneider (CAUL, Lisbon)
Peter Gregory (Strathclyde)
Jonathan Lancaster (Oxford)
Patrick Prosser (Glasgow)
Barbara Smith
Victor Bovdi (University of Debrecen, Hungary)
Alan Cain (Lisbon)

Conferences Organised

British Combinatorial Conference 2009: 5th-10th July, 2009. University of St Andrews.

Groups St Andrews 2009: 1st-15th August, 2009. University of Bath

Publications

  1. Ahmadidelir, K.; Campbell, C. M.; Doostie, H. Two classes of finite semigroups and monoids involving Lucas numbers. Semigroup Forum 78 (2009), no. 2, 200-209.
  2. Albert, M. H.; Linton, S. A. Growing at a perfect speed. Combin. Probab. Comput. 18 (2009), no. 3, 301-308,
  3. Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad. Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. DAMP 2009: 25-36
  4. Abyd Al Zain, Valerie Gibson, Greg Michaelson, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl. Towards Hume SIMD Vectorisation In EUSIPCO09 — European Signal Processing Conference, Glasgow, Scotland, August 24–28, 2009.
  5. João Araújo, P.V. Bünau, Max Neunhoeffer and James D.Mitchell. Computing automorphisms of semigroups. Journal of Symbolic Computation 20 October 2009
  6. Jost Berthold, Simon Marlow, Kevin Hammond, Abdallah Al Zain. Comparing and Optimising Parallel Haskell Implementations for Multicore Machines. ICPP Workshops 2009: 386-393
  7. Saleem Bhatti, Edwin Brady, Kevin Hammond, James McKinna. Domain Specific Languages (DSLs) for Network Protocols ICDCS Workshops 2009: 208-213
  8. Bovdi, V.; Grishkov, A.; Konovalov, A. Kimmerle conjecture for the Held and O’Nan sporadic simple groups. Sci. Math. Jpn. 69 (2009), no. 3, 353-361.
  9. Bovdi, V. A.; Konovalov, A. B. Integral group ring of Rudvalis simple group. Ukraïn. Mat. Zh. 61 (2009), no. 1, 3–13; translation in Ukrainian Math. J. 61 (2009), no. 1, 1-13,
  10. J.N.Bray, D.F.Holt and Colva M. Roney-Dougal. Certain classical groups are not well-defined, Journal of Group Theory, 12 (2009) 171-180.
  11. S Brett, N Bee, W H B Wallace, M Rajkhowa, T W Kelsey Individual ovarian volumes obtained from 2D and 3D ultrasound lack precision; Reproductive Biomedicine Online; 18(3):348-35
  12. A.J. Cain, G. Oliver, N. Ruskuc and R.M. Thomas, Automatic presentations for semigroups, Inform. and Comput. 207 (2009), 1156-1168
  13. Campbell, C. M.; Campbell, P. P. The Fibonacci lengths of binary polyhedral groups and related groups. Proceedings of the Eleventh International Conference on Fibonacci Numbers and their Applications. Congr. Numer. 194 (2009), 95-102.
  14. J. Carlson, M. Neunhoeffer and Colva M. Roney-Dougal. A polynomial-time reduction algorithm for groups of semilinear or subfield class, J. Algebra. 322, (2009), 613-637.
  15. Andreas Distler and Tom Kelsey, The Monoids of Orders Eight, Nine and Ten, Annals of Mathematics and Artificial Intelligence: Volume 56, Issue 1 (2009)
  16. E. Dombi and N. Ruskuc, On generators and presentations of semidirect products in inverse semigroups, Bull. Austral. Math. Soc. 79 (2009), 353-365.
  17. I. P. Gent, S. Huczynska, P. McKay, I. Miguel, P. Nightingale. Modelling Equidistant Frequency Permutation Arrays in Constraints. Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation (SARA), 2009
  18. R. Gray and N. Ruskuc, On residual finiteness of direct products of algebraic systems, Monathsh. Math. 158 (2009), 63-69.
  19. R. Gray, k-CS-transitive Infinite Graphs Journal of Combinatorial Theory, Series B, Vol. 99, 2009, pp. 378–398.
  20. R. Gray and J. K. Truss, Cycle-free Partial Orders and Ends of Graphs, Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 146, 2009, pp. 535–550.
  21. A. Grayland, C. Jefferson, I. Miguel, C. Roney-Dougal. Minimal Ordering Constraints for some Families of Variable Symmetries. Annals of Mathematics and Artificial Intelligence 57(1), 75-102, 2009.
  22. A. Grayland, I. Miguel, C.M. Roney-Dougal. Snake Lex: An Alternative to Double Lex. Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming, 391-399, 2009
  23. A. Grayland, I. Miguel, C. M. Roney-Dougal. In search of a better method to break row and column symmetriesProceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation (SARA), 2009.
  24. A. Grayland, I. Miguel, C. M. Roney-Dougal. Confluence of reduction rules for lexicographic ordering constraints. Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation (SARA), 2009.
  25. Gudmund Grov, Greg Michaelson, Steffen Jost, Christoph Hermann, Hans-Wolfgang Loidl. An application of Hume analysis to imperative programs In SETP09: Intl. Conf. on Software Engineering Theory and Practice, Orlando, FL, USA, July 13–16, 2009.
  26. S.Huczynska, J.D.Mitchell and Colva M. Roney-Dougal (eds). Surveys in Combinatorics, 2009, LMS Lecture Note Series, 365, Cambridge University Press 2009.
  27. S.Huczynska, G.L.Mullen and J.Yucas, The extent to which subsets are additively closed, Journal of Combinatorial Theory, Series A, 116 (2009), 831–843.
  28. S. Huczynska, P. McKay, I. Miguel, P. Nightingale. Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming, 50-64, 2009
  29. Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivný. Same-Relation Constraints. CP 2009: 470-485
  30. Steffen Jost, Hans-Wolfgang Loidl, Norman Scaife, Kevin Hammond, Greg Michaelson, Martin Hofmann.Worst-Case Execution Time Analysis through Types In ECRTS’09: EUROMICRO Conference on Real-Time Systems, Dublin, Ireland, July 1-3, 2009.
  31. Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann. “Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis. FM 2009: 354-369
  32. T W Kelsey. Radioterapia, factores ambientales y fallo ovárico prematuro, Capítulo 7 de Preservación de la fertilidad en la paciente oncológica; Justo Callejo Olmos (ed); Editorial Glosa, Barcelona
  33. Z. Kiziltan, A.M. Frisch, B. Hnich, I. Miguel, T. Walsh. Filtering Algorithms for the Multiset Ordering Constraints. Artificial Intelligence 173(2), 299-328, 2009.
  34. A.Konovalov , S.Freundt, P.Horn, S.Lesseni, S.Linton and D.Roozemond. OpenMath in SCIEnce: Evolving of Symbolic Computation Interaction. OpenMath workshop 2009.
  35. Hans-Wolfgang Loidl, Steffen Jost. Improvements to a Resource Analysis for Hume In FOPARA’09: International Workshop on Foundational and Practical Aspects of Resource Analysis. Eindhoven, The Netherlands, 3 November, 2009. LNCS 6324, Springer.
  36. Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer. A Proof-carrying-code Infrastructure for Resources. In LADC09 — Fourth Latin American Symposium on Dependable Computing, Joao Pessoa, Paraiba, Brazil, September 1–4, 2009.
  37. V. Maltcev, J.D. Mitchell and N. Ruskuc, The Bergman property for semigroups, J. Lond. Math. Soc. 80 (2009) 212-232;
  38. Peter Nightingale, Non-binary Quantified CSP: Algorithms and Modelling, Constraints, Volume 14, pages 539-581, 2009.
  39. A. Rendl, I. Miguel, I. P. Gent, C. Jefferson. Automatically Enhancing Constraint Model Instances during Tailoring. Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation (SARA), 120-127, AAAI Press, 2009.
  40. A. Rendl, I. Miguel, I. P. Gent, P. Gregory. Common Subexpressions in Constraint Models of Planning Problems. Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation (SARA), 128-135, AAAI Press, 2009.
  41. A. Rendl, I. Miguel, I.P. Gent. The Cost of Flattening with Common Subexpression Elimination. Proceedings of the Eighth International Workshop on Constraint Modelling and Reformulation, 117-131, 2009.
  42. Phil Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson. Characterising Effective Resource Analyses for Parallel and Distributed Coordination In FOPARA’09: International Workshop on Foundational and Practical Aspects of Resource Analysis. Eindhoven, The Netherlands, 3 November, 2009. LNCS 6324, Springer.
  43. 2009; C Xiong, T W Kelsey, S A Linton, U Leonhardt. Towards the calculation of Casimir forces for inhomogeneous planar media, Proceedings of the 8th Asian Symposium on Computer Mathematics (ASCM); ; Math-for-Industry MI Lecture Note Series Vol.22:222-230

 

CIRCA Preprints

2009/1
Hannah J. Coutts, Martyn Quick and Colva M. Roney-Dougal The Primitive Permutation Groups of Degree Less than 4096
2009/2
Sophie Huczynska Equidistant frequency permutation arrays and related constant composition codes
2009/3
Andrea Rendl, Ian Miguel , Ian P. Gent and Peter Gregory Enhancing Constraint Models of Planning Problems by Common Subexpression Elimination
2009/4
Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale and Sophie Huczynska Modelling Equidistant Frequency Permutation Arrays in Constraints
2009/5
Alan J. Cain, Graham Oliver, Nik Ruskuc and Richard M. Thomas Automatic presentations for semigroups
2009/6
Alan J. Cain, Graham Oliver, Nik Ruskuc and Richard M. Thomas Automatic presentations and semigroup constructions
2009/7
Lars Kotthoff Constraint solvers: An empirical evaluation of design decisions
2009/8
WHB Wallace and Tom Kelsey Human Ovarian Reserve from Conception to the Menopause
2009/9
Neil Moore and Ian Miguel Learning Implied Constraints Lazily
2009/10
Fiona Brunk and Sophie Huczynska Some Erdös-Ko-Rado Theorems for Injections
2009/11
Fiona Brunk and Nik Ruskuc Largest Intersecting Families of Almost Linear Posets
2009/12
Andrea Rendl and Ian Miguel Automated Constraint Model Enhancement during Tailoring
2009/13
Christopher Jefferson, Neil Moore, Peter Nightingale and Karen Petrie Implementing Logical Connectives in Constraint Programming
2009/14
T.G. Philbin, C. Xiong and U. Leonhardt Casimir stress in an inhomogeneous medium
2009/15
Andrea Rendl, Ian Miguel and Ian P. Gent Effective Compilation of Constraint Models
2009/16
Scott H. Murray and Colva M. Roney-Dougal Constructive Homomorphisms for Classical Groups
2009/17
T.W. Kelsey, S.A. Linton and U. Leonhardt Towards the calculation of Casimir forces for inhomogeneous planar media
2009/18
R. Gray and N. Ruskuc On Maximal Subgroups of Free Idempotent Generated Semigroups
2009/19
Elena Beratarbide and Tom Kelsey eHealth Governance, A Key Factor for Better Health Care
2009/20
Peter Nightingale Are Adjacency Lists Worthwhile in AllDifferent?
2009/21
Ian P. Gent, Chris Jefferson, Lars Kotthoff, Ian Miguel and Peter Nightingale Specification of the DOMINION Input Language Version 0.1
2009/22
Robert Brignall, Nik Ruskuc and Vince Vatter Simple Extensions of Combinatorial Structures
2009/23
Alan J Cain, Robert Gray and Nik Ruskuc Green Index in Semigroups: Generators, Presentations and Automatic Structures