Dr Stuart Bain
BInfTech, BEng (Hons), PhD
 
The denial of free enterprise is, first and foremost, the denial of freedom.
 
About   ResearchResearch Publications   TeachingTeaching   ContactContact   InterestsInterests   Misc. PublicationsMisc. Publications 
Last Updated: 23th July 2009

Professional
      About    
I completed my undergraduate studies in 2001, graduating with first-class honours in Engineering (Micro-electronic). I was subsequently awarded the Institute of Engineers Australia's Philip Jones Medal for my academic achievement, community involvement and advancement of the engineering profession. Although my doctoral studies have drawn me away from electronics, I remain an active member of the Institute of Electrical and Electronics Engineers.

In 2005 I was involved with the inception of BioSolvers, a computational life-sciences start-up offering DNA microarray services to the life-sciences industry. The business plan for BioSolvers was entered in, and subsequently won, the 2005 Griffith Innovation Challenge.

After spending 3 months on research detachment to University College Cork, Ireland, I subsequently returned to Australia and joined the Institute of Transport and Logistics Studies at the University of Sydney, where I hold the position of Postdoctoral Research Fellow. I am presently involved with the development and optimisation of regional transport models.

      Academic Publications    
      Satisfiability
  • Bain, S. (2007). Time-Reversal in Conway's Life as SAT. Australian Conference on Artificial Intelligence, 2007. pages 614-618.
  • Wallace, R. & Bain, S. (2007). Branching Rules for Satisfiability Analysed with Factor Analysis. Australian Conference on Artificial Intelligence, 2007. pages 803-809.
  • Thornton, J. R., Pham, D. N., Bain, S. & Ferreira Jr., V. (2004). Additive versus Multiplicative Clause Weighting for SAT. Proceedings of the 19th National Conference on Artificial Intelligence, AAAI-2004, pages 191-196, San Jose, California.
  • Thornton, J. R., Bain, S., Sattar, A. & Pham, D. (2002a). A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. Proceedings of the 15th Australian Joint Conference on Artificial Intelligence, AI-2002, pages 603-614, Canberra, Australia. Lecture Notes in Artificial Intelligence 2557, Springer-Verlag.
  • Thornton, J. R., Bain, S., Sattar, A. & Pham, D. (2002b). Applying Local Search to MAX-SAT Problems with Hard and Soft Constraints. Proceedings of the 4th International Workshop on Soft Constraints, Soft-02, Ithaca, New York. 87-98.

    •       Evolving Algorithms

  • Bain, S. (2006). Evolving Algorithms for Over-Constrained and Satisfaction Problems. PhD Thesis. Griffith University, School of ICT.
  • Bain, S., Thornton, J. R. & Sattar, A. (2005). A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. Australian Conference on Artificial Intelligence, 2005. pages 1068-1074.
  • Bain, S., Thornton, J. R. & Sattar, A. (2005). Evolving Variable-Ordering Heuristics for Constrained Optimization. Principles and Practice of Constraint Programming: CP'05, pages 732-736.
    • Extended Version
  • Bain, S., Thornton, J. R. & Sattar, A. (2004). Methods of Automatic Algorithm Generation. Proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, PRICAI-2004, pages 144-153, Auckland, NZ.
  • Bain, S., Thornton, J. R. & Sattar, A. (2004). Evolving Algorithms for Constraint Satisfaction. Proceedings of the 2004 Congress on Evolutionary Computing, CEC-2004, pages 265-272, Portland, Oregon.

    •       My DBLP Record     My BIBTEX File
          Teaching    
    Courses taught at Griffith University: At present, I am not currently teaching these courses, but I maintain these links and my Principles lecture notes for posterity.

    2101INT - Principles of Intelligent Systems, Semester 2, 2005.

          Contact    
    Email: stuartb<at>itls.usyd.edu.au

    Phone:02-935-10043      Fax:02-935-10088

    Mail:
    Stuart Bain
    Institute of Transport and Logistics Studies
    University of Sydney (C37)
    Sydney, NSW
    2006, Australia

     
    Personal
          Interests    
    I take a dilettante interest in philosophy, particularly that of Arthur Schopenhauer, who remains my favourite philosopher. As evidence of such, here is a photo of me standing on Schopenhauerstraße in Frankfurt. I am a frequent contributor to the Schopenhauer mailing list.

    Of late I have also taken an interest in the works of William Blake, inspired from two entirely different sources. Primarily, it was Loreena McKennitt's rendition of Blake's Lullaby that finally motivated me to read Blake. However, I had earlier become aware of his works after reading the His Dark Materials trilogy by Philip Pullman.

    Current motivational quote: "No bird soars too high, if he soars with his own wings." William Blake. The Marriage of Heaven and Hell.
          Miscellaneous Writings    

    19th June 2006 - On Orwell's "Democratic Weapons"

    Freeshell Site Mirror    Miami Site Mirror