Filter
Conference contribution

Search results

  • 2021

    Pandemic Pivot: Designing a Participatory Simulation to Support Social Distancing and Remote Learning

    Lamberty, K. K., Le Meur, A., Friederichsen, P. & Walbran, J. M., Jun 24 2021, Proceedings of Interaction Design and Children, IDC 2021. Association for Computing Machinery, Inc, p. 577-582 6 p. (Proceedings of Interaction Design and Children, IDC 2021).

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

  • 2019

    Push

    Spector, L. & McPhee, N. F., Jul 13 2019, GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, p. 1175-1196 22 p. (GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion).

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

    1 Scopus citations
  • 2018

    Expressive genetic programming: Concepts and applications

    Spector, L. & McPhee, N. F., Jul 6 2018, GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, p. 997-977 21 p. (GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion).

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

  • Program synthesis using uniform mutation by addition and deletion

    Helmuth, T., McPhee, N. F. & Spector, L., Jul 2 2018, GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 1127-1134 8 p. (GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference).

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

    28 Scopus citations
  • Specialization and elitism in lexicase and tournament selection

    Pantridge, E., McPhee, N. F., Helmuth, T. & Spector, L., Jul 6 2018, GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, p. 1914-1917 4 p. (GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion).

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

    4 Scopus citations
  • 2017

    Expressive genetic programming: Concepts and applications

    Spector, L. & McPhee, N. F., Jul 15 2017, GECCO 2017 - Proceedings of the Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, p. 852-871 20 p. (GECCO 2017 - Proceedings of the Genetic and Evolutionary Computation Conference Companion).

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

  • Improving generalization of evolved programs through automatic simplification

    Helmuth, T., Pantridge, E., McPhee, N. F. & Spector, L., Jul 1 2017, GECCO 2017 - Proceedings of the 2017 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 937-944 8 p. (GECCO 2017 - Proceedings of the 2017 Genetic and Evolutionary Computation Conference).

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

    Open Access
    34 Scopus citations
  • On the difficulty of benchmarking inductive program synthesis methods

    Pantridge, E., Helmuth, T., McPhee, N. F. & Spector, L., Jul 15 2017, GECCO 2017 - Proceedings of the Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, p. 1589-1596 8 p. (GECCO 2017 - Proceedings of the Genetic and Evolutionary Computation Conference Companion).

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

    Open Access
    10 Scopus citations
  • 2016

    Effects of lexicase and tournament selection on diversity recovery and maintenance

    Helmuth, T., McPhee, N. F. & Spector, L., Jul 20 2016, GECCO 2016 Companion - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Friedrich, T. (ed.). Association for Computing Machinery, Inc, p. 983-990 8 p. (GECCO 2016 Companion - Proceedings of the 2016 Genetic and Evolutionary Computation Conference).

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

    Open Access
    16 Scopus citations
  • Evolution evolves with autoconstruction

    Spector, L., McPhee, N. F., Helmuth, T., Casale, M. M. & Oks, J., Jul 20 2016, GECCO 2016 Companion - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Friedrich, T. (ed.). Association for Computing Machinery, Inc, p. 1349-1356 8 p. (GECCO 2016 Companion - Proceedings of the 2016 Genetic and Evolutionary Computation Conference).

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

    9 Scopus citations
  • Expressive genetic programming: Concepts and applications

    Spector, L. & McPhee, N. F., Jul 20 2016, GECCO 2016 Companion - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Friedrich, T. (ed.). Association for Computing Machinery, Inc, p. 589-608 20 p. (GECCO 2016 Companion - Proceedings of the 2016 Genetic and Evolutionary Computation Conference).

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

    1 Scopus citations
  • Pinedale glacial history of the upper Arkansas River valley: New moraine chronologies, modeling results, and geologic mapping

    Schweinsberg, A. D., Briner, J. P., Shroba, R. R., Licciardi, J. M., Leonard, E. M., Brugger, K. A. & Russell, C. M., 2016, Unfolding the Geology of the West. Keller, S. M. & Morgan, M. L. (eds.). Geological Society of America, p. 335-353 19 p. (GSA Field Guides; vol. 44).

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

    8 Scopus citations
  • The impact of hyperselection on lexicase selection

    Helmuth, T., McPhee, N. F. & Spector, L., Jul 20 2016, GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Friedrich, T. (ed.). Association for Computing Machinery, Inc, p. 717-724 8 p. (GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference).

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

    Open Access
    18 Scopus citations
  • Visualizing genetic programming ancestries

    McPhee, N. F., Casale, M. M., Finzel, M., Helmuth, T. & Spector, L., Jul 20 2016, GECCO 2016 Companion - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Friedrich, T. (ed.). Association for Computing Machinery, Inc, p. 1419-1426 8 p. (GECCO 2016 Companion - Proceedings of the 2016 Genetic and Evolutionary Computation Conference).

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

    Open Access
    12 Scopus citations
  • 2015

    Impact of crossover bias in genetic programming

    McPhee, N., Dramdahl, M. K. & Donatucci, D., Jul 11 2015, GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference. Silva, S. (ed.). Association for Computing Machinery, Inc, p. 1079-1086 8 p. (GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference).

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

    4 Scopus citations
  • Using computational manipulatives to support story construction by early and emergent readers

    Lamberty, K. K. & Smolund, I., Jun 21 2015, Proceedings of IDC 2015: The 14th International Conference on Interaction Design and Children. Association for Computing Machinery, Inc, p. 442-444 3 p. 2771874. (Proceedings of IDC 2015: The 14th International Conference on Interaction Design and Children).

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

    1 Scopus citations
  • 2014

    Useful views of student artifacts and activities: Supporting student use of an open-ended exploratory construction tool in the classroom

    Lamberty, K. K., Jan 1 2014, 2014 International Conference on Collaboration Technologies and Systems, CTS 2014. IEEE Computer Society, p. 361-362 2 p. 6867589. (2014 International Conference on Collaboration Technologies and Systems, CTS 2014).

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

  • 2013

    Extending abramsky's lazy lambda calculus: (Non)-conservativity of embeddings

    Schmidt-Schauß, M., MacHkasova, E. & Sabel, D., Jan 1 2013, 24th International Conference on Rewriting Techniques and Applications, RTA 2013. van Raamsdonk, F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 239-254 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 21).

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

    6 Scopus citations
  • 2011

    Using a large display in the periphery to support children learning through design

    Lamberty, K. K., Adams, S., Biatek, J., Froiland, K. & Lapham, J., 2011, Proceedings of IDC 2011 - 10th International Conference on Interaction Design and Children. p. 62-71 10 p. (Proceedings of IDC 2011 - 10th International Conference on Interaction Design and Children).

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

    6 Scopus citations
  • 2010

    Encouraging awareness of peers' learning activities using large displays in the periphery

    Lamberty, K. K., Froiland, K., Biatek, J. & Adams, S., 2010, CHI 2010 - The 28th Annual CHI Conference on Human Factors in Computing Systems, Conference Proceedings and Extended Abstracts. p. 3655-3660 6 p. (Conference on Human Factors in Computing Systems - Proceedings).

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

    11 Scopus citations
  • Simulation in the call-by-need lambda-calculus with letrec

    Schmidt-Schauss, M., Sabel, D. & Machkasova, E., Dec 1 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010. p. 295-310 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 6).

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

    10 Scopus citations
  • 2009

    Developmental plasticity in linear genetic programming

    McPhee, N., Crane, E., Lahr, S. E. & Poli, R., 2009, Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009. p. 1019-1026 8 p. (Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009).

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

    8 Scopus citations
  • Free lunches for function and program induction

    Poli, R., Graff, M. & McPhee, N. F., Sep 21 2009, Proceedings of the 10th ACM SIGEVO Workshop on Foundations of Genetic Algorithms, FOGA'09. p. 183-194 12 p. (Proceedings of the 10th ACM SIGEVO Workshop on Foundations of Genetic Algorithms, FOGA'09).

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

    18 Scopus citations
  • Introduction to genetic programming

    Poli, R. & McPhee, N. F., 2009, Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009. Association for Computing Machinery, p. 2775-2810 36 p. (Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009; vol. 2009-January).

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

  • Memory with memory in tree-based genetic programming

    Poli, R., McPhee, N. F., Citi, L. & Crane, E., 2009, Genetic Programming - 12th European Conference, EuroGP 2009, Proceedings. p. 25-36 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5481 LNCS).

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

    3 Scopus citations
  • The observer effect of profiling on dynamic Java optimizations

    Machkasova, E., Arhelger, K. & Trinciante, F., 2009, OOPSLA 2009 Companion - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009. p. 757-758 2 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • Wind to ammonia: Electrochemical processes in room temperature ionic liquids

    Pappenfus, T. M., Lee, K. M., Thoma, L. M. & Dukart, C. R., 2009, ECS Transactions - Molten Salts and Ionic Liquids 16 - 214th ECS Meeting. 49 ed. Electrochemical Society Inc., p. 89-93 5 p. (ECS Transactions; vol. 16, no. 49).

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

    29 Scopus citations
  • 2008

    A finite simulation method in a non-deterministic call-by-need lambda-calculus with letrec, constructors, and case

    Schmidt-Schauss, M. & Machkasova, E., 2008, Rewriting Techniques and Applications - 19th International Conference, RTA 2008, Proceedings. p. 321-335 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5117 LNCS).

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

    6 Scopus citations
  • A linear estimation-of-distribution GP system

    Poli, R. & McPhee, N. F., 2008, Genetic Programming - 11th European Conference, EuroGP 2008, Proceedings. p. 206-217 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4971 LNCS).

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

    20 Scopus citations
  • Creating mathematical artifacts: Extending children's engagement with math beyond the classroom

    Lamberty, K. K., 2008, Proceedings of the 7th International Conference on Interaction Design and Children, IDC 2008. p. 226-233 8 p. (Proceedings of the 7th International Conference on Interaction Design and Children, IDC 2008).

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

    5 Scopus citations
  • Development of a new organic chemistry lab procedure: Fermentation and distillation of ethanol

    Albrecht, A. J. & Carpenter, N. E., Dec 1 2008, American Chemical Society - 235th National Meeting, Abstracts of Scientific Papers. (ACS National Meeting Book of Abstracts).

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

  • Elitism reduces bloat in genetic programming

    Poli, R., McPhee, N. F. & Vanneschi, L., 2008, GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008. Association for Computing Machinery (ACM), p. 1343-1344 2 p. (GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008).

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

    18 Scopus citations
  • Memory with memory: Soft assignment in genetic programming

    McPhee, N. F. & Poli, R., 2008, GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008. p. 1235-1242 8 p. (GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008).

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

    8 Scopus citations
  • Number fields ramified at one prime

    Jones, J. W. & Roberts, D. P., 2008, Algorithmic Number Theory - 8th International Symposium, ANTS-VIII, Proceedings. p. 226-239 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5011 LNCS).

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

    7 Scopus citations
  • Parsimony pressure made easy

    Poli, R. & McPhee, N. F., 2008, GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008. Association for Computing Machinery (ACM), p. 1267-1274 8 p. (GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008).

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

    35 Scopus citations
  • Semantic building blocks in genetic programming

    McPhee, N. F., Ohs, B. & Hutchison, T., 2008, Genetic Programming - 11th European Conference, EuroGP 2008, Proceedings. p. 134-145 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4971 LNCS).

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

    102 Scopus citations
  • The impact of population size on code growth in GP: Analysis and empirical validation

    Poli, R., McPhee, N. F. & Vanneschi, L., Dec 15 2008, GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008. p. 1275-1282 8 p. (GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008).

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

    23 Scopus citations
  • 2007

    Optimizing java programs using generic types

    Mayfield, E., Kyle Roth, J., Selifonov, D., Dahlberg, N. & Machkasova, E., 2007, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion. p. 829-830 2 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • 2006

    Collision-broadened line shapes: A different perspective via moyal quantum mechanics

    McQuarrie, B. R., Tabisz, G. C. & Osborn, T. A., 2006, SPECTRAL LINE SHAPES: 18th International Conference on Spectral Line Shapes. American Institute of Physics Inc., p. 151-161 11 p. (AIP Conference Proceedings; vol. 874).

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

  • Emergent behaviour, population-based search and low-pass filtering

    Poli, R., Wright, A. H., McPhee, N. F. & Langdon, W. B., Dec 1 2006, 2006 IEEE Congress on Evolutionary Computation, CEC 2006. p. 88-95 8 p. 1688294. (2006 IEEE Congress on Evolutionary Computation, CEC 2006).

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

    7 Scopus citations
  • 2005

    A theoretical analysis of the HIFF problem

    McPhee, N. F. & Crane, E. F., 2005, GECCO 2005 - Genetic and Evolutionary Computation Conference. Beyer, H. G., O'Reilly, U. M., Arnold, D., Banzhaf, W., Blum, C., Bonabeau, E. W., Cantu-Paz, E., Dasgupta, D., Deb, K. & et al, A. (eds.). p. 1153-1160 8 p. (GECCO 2005 - Genetic and Evolutionary Computation Conference).

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

    2 Scopus citations
  • 2001

    A schema theory analysis of the evolution of size in genetic programming with linear representations

    McPhee, N. F. & Poli, R., Jan 1 2001, Genetic Programming - 4th European Conference, EuroGP 2001, Proceedings. Tomassini, M., Ryan, C., Langdon, W. B., Lanzi, P. L., Tettamanzi, A. G. B. & Miller, J. (eds.). Springer- Verlag, p. 108-125 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2038).

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

    20 Scopus citations
  • Exact schema theorems for GP with one-point and standard crossover operating on linear structures and their application to the study of the evolution of size

    Poli, R. & McPhee, N. F., 2001, Genetic Programming - 4th European Conference, EuroGP 2001, Proceedings. Miller, J., Tomassini, M., Lanzi, P. L., Ryan, C., Tettamanzi, A. G. B. & Langdon, W. B. (eds.). Springer Verlag, p. 126-142 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2038).

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

    24 Scopus citations
  • 1994

    Mechanically proving geometry theorems using a combination of Wu’s method and Collins’ method

    McPhee, N. F., Chou, S. C. & Gao, X. S., 1994, Automated Deduction — CADE-12 - 12th International Conference on Automated Deduction, Proceedings. Bundy, A. (ed.). Springer Verlag, p. 401-415 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 814 LNAI).

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

    6 Scopus citations