Petrie, Karen

Dr

  • 61 Citations
  • 4 h-Index
20082017
If you made any changes in Pure these will be visible here soon.

Research Output 2008 2017

  • 61 Citations
  • 4 h-Index
  • 8 Conference contribution
  • 2 Chapter
  • 2 Article
  • 1 Other chapter contribution
2017
10 Citations (Scopus)
296 Downloads (Pure)

A case study of Facebook use: outlining a multi-layer strategy for higher education

Menzies, R., Petrie, K. & Zarb, M., Jan 2017, In : Education and Information Technologies. 22, 1, p. 39-53 15 p.

Research output: Contribution to journalArticle

Open Access
File
facebook
education
student
electronic learning
learning
2016
1 Citation (Scopus)

A theoretical framework for constraint propagator triggering

Cohen, D. A., Jefferson, C. & Petrie, K. E. J., 2016, Proceedings of the Ninth International Symposium on Combinatorial Search. Baier, J. A. & Botea, A. (eds.). AAAI Press, p. 19-27 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015
1 Citation (Scopus)

An Analysis of User Engagement in Relation to Computing Workshop Activities

Menzies, R., Crabb, M., Herron, D., Petrie, K., Stewart, C. & Zarb, M., 24 Feb 2015, SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science Education . New York: Association for Computing Machinery, p. 469-474 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

secondary school pupil
school
university
mathematics
engineering
2013

Using self-learning and automatic tuning to improve the performance of sexual genetic algorithms for constraint satisfaction problems

Xu, H., Petrie, K. & Murray, I., 2013, 2013 Imperial College Computing Student Workshop (ICCSW'13). Jones, A. V. & Ng, N. (eds.). Saarbrücken: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, p. 128-135 8 p. (OASICS ; vol. 35).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Constraint satisfaction problems
Self-learning
Constraint Satisfaction Problem
genetic algorithm
Tuning
2012
1 Citation (Scopus)

Self-learning genetic algorithm for constrains satisfaction problems

Xu, H. & Petrie, K., 2012, 2012 Imperial College Computing Student Workshop: ICCSW 2012. Jones, A. V. (ed.). Leibnitz, Austria: Dagstuhl Publications, Vol. 28. p. 156-162 7 p. (Open Access Series in Informatics (OASIcs); vol. 28).

Research output: Chapter in Book/Report/Conference proceedingChapter

Learning algorithms
Genetic algorithms
Learning systems
Experiments
2011
6 Citations (Scopus)

Automatic generation of constraints for partial symmetry breaking

Jefferson, C. & Petrie, K. E., 2011, Principles and practice of constraint programming - CP 2011: 7th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings. Lee, J. (ed.). Berlin: Springer , p. 729-743 15 p. (Lecture notes in computer science; vol. 6876).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Equivalence classes
Constraint satisfaction problems
Defects
1 Citation (Scopus)

Combination: automated generation of puzzles with constraints

Jefferson, C., Moncur, W. & Petrie, K. E., 2011, SAC '11: proceedings of the ACM Symposium on Applied Computing. NewYork: Association for Computing Machinery, p. 907-912 6 p.

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Computer games
Sales
2010

Constraint programming to solve maximal density still life

Chu, G., Petrie, K. E. & Yorke-Smith, N., 2010, Game of Life Cellular Automata. Adamatzky, A. (ed.). London: Springer , p. 167-175 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

21 Citations (Scopus)

Implementing logical connectives in constraint programming

Jefferson, C., Moore, N. C. A., Nightingale, P. & Petrie, K. E., Nov 2010, In : Artificial Intelligence. 174, 16-17, p. 1407-1429 23 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)

Learning when to use lazy learning in constraint solving

Gent, I. P., Jefferson, C., Kotthoff, L., Miguel, I., Moore, N. C. A., Nightingale, P. & Petrie, K., 2010, ECAI 2010: 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal - including Prestigious Applications of Artificial Intelligence (PAIS-2010). Proceedings. Coelho, H., Studer, R. & Wooldridge, M. (eds.). Amsterdam: IOS Press, p. 873-878 6 p. (Frontiers in artificial intelligence and applications; vol. 215).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Classifiers
Learning systems
2009
4 Citations (Scopus)

Same-Relation Constraints

Jefferson, C., Kadioglu, S., Petrie, K. E., Sellmann, M. & Zivny, S., 2009, Principles and Practice of Constraint Programming. Gent, IP. (ed.). Berlin: Springer , p. 470-485 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Why are we still here? Experiences of successful women in computing

Dee, H. M., Petrie, K. E., Boyle, R. D. & Pau, R., 2009, ITICSE 2009 Proceeding of the 14th ACM SIGSE Annual Conference on Innovation and Technology in Computer Science Education. Brezillon, P. (ed.). New York: Association for Computing Machinery, p. 233-237 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2008

Efficiently solving problems where the solutions form a group

Petrie, K. E. & Jefferson, C., 2008, Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Stuckey, P. J. (ed.). Berlin: Springer , p. 529-533 5 p. (Lecture notes in computer science; vol. 5202).

Research output: Chapter in Book/Report/Conference proceedingConference contribution