Illinois Wesleyan University

Filter
Conference contribution

Search results

  • 2024

    Patterns of Student Help-Seeking When Using a Large Language Model-Powered Programming Assistant

    Sheese, B., Liffiton, M., Savelka, J. & Denny, P., Jan 29 2024, ACE 2024 - Proceedings of the 26th Australasian Computing Education Conference, Held in conjunction with: Australasian Computer Science Week. Association for Computing Machinery, p. 49-57 9 p. (ACM International Conference Proceeding Series).

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

    Open Access
  • 2023

    CodeHelp: Using Large Language Models with Guardrails for Scalable Support in Programming Classes

    Liffiton, M., Sheese, B., Savelka, J. & Denny, P., Nov 13 2023, Proceedings of 23rd International Conference on Computing Education Research, Koli Calling 2023. Association for Computing Machinery, 3631830. (ACM International Conference Proceeding Series).

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

    Open Access
  • 2020

    Experimental implementation of wavefront sensorless real-time adaptive optics aberration correction control loop with a neural network

    Liu, M., Lopez, D. N. & Spalding, G. C., 2020, Emerging Topics in Artificial Intelligence 2020. Volpe, G., Pereira, J. B., Brunner, D. & Ozcan, A. (eds.). SPIE, 114691S. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11469).

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

    Open Access
  • 2019

    Motility assessment of green biflagellated microalgae in an optical trap using back focal plane interferometry

    Juarez-Alvarez, B. A., De La Torre, D., Garces, V. G., Cordero-Esquivel, B., Sanchez, J. D. D., Spalding, G. C. & O'Donnell, K. A., 2019, Optical Trapping and Optical Micromanipulation XVI. Dholakia, K. & Spalding, G. C. (eds.). SPIE, 1108338. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11083).

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

  • 2017

    Finding graph decompositions via SAT

    Zhao, W., Liffiton, M., Jeavons, P. & Roberts, D., Jul 2 2017, Proceedings - 2017 International Conference on Tools with Artificial Intelligence, ICTAI 2017. IEEE Computer Society, p. 131-138 8 p. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2017-November).

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

    Open Access
  • Notice of Removal: A few twists regarding the momentum of shaped beams

    Spalding, G., Dahl, P., Yang, Z., Glynne-Jones, P., Macdonald, M. P., Demore, C. & Cochran, S., Oct 31 2017, 2017 IEEE International Ultrasonics Symposium, IUS 2017. IEEE Computer Society, 8091958. (IEEE International Ultrasonics Symposium, IUS; vol. 0).

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

  • Parallelizing partial MUS enumeration

    Zhao, W. & Liffiton, M. H., Jan 11 2017, Proceedings - 2016 IEEE 28th International Conference on Tools with Artificial Intelligence, ICTAI 2016. Esposito, A., Alamaniotis, M., Mali, A. & Bourbakis, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 464-471 8 p. 7814637. (Proceedings - 2016 IEEE 28th International Conference on Tools with Artificial Intelligence, ICTAI 2016).

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

  • Rotational dynamics and heating of trapped nanovaterite particles

    Arita, Y., Richards, J. M., Mazilu, M., Spalding, G. C., Skelton Spesyvtseva, S. E., Craig, D. & Dholakia, K., 2017, Optical Manipulation Conference. Morita, R. & Omatsu, T. (eds.). SPIE, 102520S. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 10252).

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

    Open Access
  • 2016

    Imaging of superluminal scattering sources: Time reversal, pair creation and annihilation

    Lyons, A., Clerici, M., Spalding, G. C., Warburton, R., Aniculaesei, C., Richards, J. M., Leach, J. & Faccio, D., Jul 18 2016, Imaging Systems and Applications, IS 2016. Optica Publishing Group (formerly OSA), (Optics InfoBase Conference Papers).

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

  • Imaging of superluminal scattering sources: Time reversal, pair creation and annihilation

    Lyons, A., Clerici, M., Spalding, G. C., Warburton, R., Aniculaesei, C., Richards, J. M., Leach, J. & Faccio, D., 2016, Imaging Systems and Applications, IS 2016. Optica Publishing Group (formerly OSA), ITh3D.3. (Optics InfoBase Conference Papers).

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

  • Real-time 3D video utilizing a compressed sensing time-of-flight single-pixel camera

    Edgar, M. P., Sun, M. J., Gibson, G. M., Spalding, G. C., Phillips, D. B. & Padgett, M. J., 2016, Optical Trapping and Optical Micromanipulation XIII. Dholakia, K. & Spalding, G. C. (eds.). SPIE, 99221B. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 9922).

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

  • 2015

    Smallest MUS extraction with minimal hitting set dualization

    Ignatiev, A., Previti, A., Liffiton, M. & Marques-Silva, J., 2015, Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Proceedings. Pesant, G. (ed.). Springer Verlag, p. 173-182 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9255).

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

  • 2014

    Hybrid optical and acoustic force based sorting

    O'Mahoney, P., Brodie, G. W., Wang, H., Demore, C. E. M., Cochran, S., Spalding, G. C. & MacDonald, M. P., 2014, Optical Trapping and Optical Micromanipulation XI. Spalding, G. C. & Dholakia, K. (eds.). SPIE, 916421. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 9164).

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

  • Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets

    Blackham, B., Liffiton, M. & Heiser, G., Oct 15 2014, 2014 IEEE 20th Real Time and Embedded Technology and Applications Symposium, RTAS 2014. October ed. IEEE Computer Society, p. 169-178 10 p. 6926000. (Real-Time Technology and Applications - Proceedings; vol. 2014-October, no. October).

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

  • 2013

    Enumerating infeasibility: Finding multiple MUSes quickly

    Liffiton, M. H. & Malik, A., 2013, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 10th International Conference, CPAIOR 2013, Proceedings. p. 160-175 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7874 LNCS).

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

  • Mapping out tractor beams: Topological angular momentum and reduced axial flux; Gradient versus non-conservative forces

    Spalding, G. C., Dahl, P. M., Démoré, C. E. M., Yang, Z., Glynne-Jones, P., Melzer, A., Cochran, S. & MacDonald, M. P., 2013, Optical Trapping and Optical Micromanipulation X. 881004. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 8810).

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

  • MaxSAT-based MCS enumeration

    Morgado, A., Liffiton, M. & Marques-Silva, J., 2013, Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers. Springer Verlag, p. 86-101 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7857 LNCS).

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

    Open Access
  • Tailoring acoustic beam momentum and angular momentum

    Spalding, G. C., Dahl, P., Yang, Z., Démoré, C., Volovick, A., Cochran, S. & MacDonald, M., 2013, Optical Trapping Applications, OTA 2013. Optical Society of America (OSA), p. TW4D.1 (Optical Trapping Applications, OTA 2013).

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

  • 2012

    A cardinality solver: More expressive constraints for free (Poster presentation)

    Liffiton, M. H. & Maglalang, J. C., 2012, Theory and Applications of Satisfiability Testing, SAT 2012 - 15th International Conference, Proceedings. p. 485-486 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7317 LNCS).

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

  • Acoustic Bessel beam with combined optical trapping

    Brodie, G. W. J., Hughes, D. A., Demore, C. E. M., Spalding, G. C. & MacDonald, M. P., 2012, Optical Trapping and Optical Micromanipulation IX. 84582H. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 8458).

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

  • 2011

    A sonic screwdriver: Acoustic angular momentum transfer for ultrasonic manipulation

    Demore, C., Yang, Z., Volovick, A., Wang, H., Cochran, S., MacDonald, M. & Spalding, G., 2011, 2011 IEEE International Ultrasonics Symposium, IUS 2011. p. 180-183 4 p. 6293056. (IEEE International Ultrasonics Symposium, IUS).

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

  • Sonotweezers: Complementing the size and force spectra of optical trapping

    MacDonald, M. P., Cochran, A., Weijer, C. J., Hughes, D., Demore, C., Brodie, G., Spalding, G. C., Bernasau, A., Cummings, D., Glynne-Jones, P., Hill, M., Courtney, C. & Drinkwater, B. W., 2011, Optical Trapping Applications, OTA 2011. (Optics InfoBase Conference Papers).

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

  • The sonic screwdriver: A model system for study of wave angular momentum

    Spalding, G. C., Volovic, A., Yang, Z., Démoré, C., MacDonald, M. P. & Cochran, S., 2011, Optical Trapping and Optical Micromanipulation VIII. 80971N. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 8097).

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

  • 2009

    Paradigms for non-classical substitutions

    Eklund, P., Gaĺan, M. A., Kortelainen, J. & Stout, L. N., 2009, Proceedings - 39th International Symposium on Multiple-Valued Logic, ISMVL 2009. p. 77-79 3 p. 5010378. (Proceedings of The International Symposium on Multiple-Valued Logic).

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

  • 2007

    Force measurement and optical assisted particle separation in an optical standing wave

    Mu, W., Li, Z., Luan, L., West, P., Kyriazes, H., Spalding, G. C., Wang, G., Feinerman, A. & Ketterson, J. B., 2007, Optical Trapping and Optical Micromanipulation IV. 66440R. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 6644).

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

  • Synthesis of homoallyl ethers via allylation of acetals and aldehydes in ionic liquids

    Mohan, R. S. & Anzalone, P. W., 2007, Ionic Liquids in Organic Synthesis. American Chemical Society, p. 104-115 12 p. (ACS Symposium Series; vol. 950).

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

  • 2006

    Colloidal traffic in static and dynamic optical lattices

    Smith, R. L., Spalding, G. C., Neale, S. L., Dholakia, K. & MacDonald, M. P., 2006, Optical Trapping and Optical Micromanipulation III. 63262N. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 6326).

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

  • Optical separation of particles based on a dynamic interferometer

    Mu, W., Wang, G., Spalding, G. C., Luan, L., West, P., Kyriazes, H. & Ketterson, J. B., 2006, Optical Trapping and Optical Micromanipulation III. 632615. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 6326).

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

  • 2003

    Advanced micromanipulation using Bessel beams

    McGloin, D., Garces-Chavez, V., Melville, H., Spalding, G. C., Sibbett, W. & Dholakia, K., 2003, 2003 Conference on Lasers and Electro-Optics Europe, CLEO/EUROPE 2003. p. 710 1 p. 1313778. (Conference on Lasers and Electro-Optics Europe - Technical Digest).

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

  • Advanced Micromanipulation using Non-diffracting Beams

    McGloin, D., Garcés-Chávez, V., Melville, H., Spalding, G. C., Sibbett, W. & Dholakia, K., 2003, Frontiers in Optics, FiO 2003. Optica Publishing Group (formerly OSA), ThE4. (Optics InfoBase Conference Papers).

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

  • Channelling of microparticles in evanescent fringes

    Garcés-Chávez, V., Spalding, G. C. & Dholakia, K., 2003, Frontiers in Optics, FiO 2003. Optica Publishing Group (formerly OSA), ThPP3. (Optics InfoBase Conference Papers).

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

  • 2001

    Lambek calculus proofs and tree automata

    Tiede, H. J., 2001, Logical Aspects of Computational Linguistics - 3rd International Conference, LACL 1998, Selected Papers. Moortgat, M. (ed.). Springer Verlag, p. 251-265 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2014).

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

  • 1995

    Construction of boundary quadrature formulas using wavelets

    He, T. X., 1995, Proceedings of SPIE - The International Society for Optical Engineering. Laine, A. F., Unser, M. A. & Wickerhauser, M. V. (eds.). 2/- ed. p. 825-836 12 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 2569 , no. 2/-).

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