Computer Science

Discovering Behavior Patterns of Self-Regulated Learners in an Inquiry-Based Learning Environment

In Lecture Notes in Computer Science (pp. 209–218).

A Markov Decision Process Model of Tutorial Intervention in Task-Oriented Dialogue

In Lecture Notes in Computer Science (pp. 828–831).

Embodied Affect in Tutorial Dialogue: Student Gesture and Posture

In Lecture Notes in Computer Science (pp. 1–10).

Utilizing Dynamic Bayes Nets to Improve Early Prediction Models of Self-regulated Learning

In User Modeling, Adaptation, and Personalization (pp. 228–241).

Math Fluency through Game Design

In Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience (pp. 189–198).

Formative Feedback in Interactive Learning Environments

In Lecture Notes in Computer Science (pp. 946–946).

Hypergeometric Identities Associated with Statistics on Words

In Advances in Combinatorics (pp. 77–100).

Studying the effect of a competitive game show in a learning by teaching environment

International Journal of Artificial Intelligence in Education, 23(1-4), 1–21.

Toward a reflective SimStudent: Using experience to avoid generalization errors

CEUR Workshop Proceedings, 1009, 51–60. http://www.scopus.com/inward/record.url?eid=2-s2.0-84924980730&partnerID=MN8TOARS

Impact of prior knowledge and teaching strategies on learning by teaching

CEUR Workshop Proceedings, 1009, 71–80. http://www.scopus.com/inward/record.url?eid=2-s2.0-84924982067&partnerID=MN8TOARS

Cognitive anatomy of tutor learning: Lessons learned with SimStudent.

Journal of Educational Psychology, 105(4), 1152–1163.

Adiabatic quantum programming: minor embedding with hard faults

Quantum Information Processing, 13(3), 709–729.

Evaluating OpenMP Tasking at Scale for the Computation of Graph Hyperbolicity

In OpenMP in the Era of Low Power Devices and Accelerators: Vol. 8122 LNCS (pp. 71–83).

Linear-Size Approximations to the Vietoris–Rips Filtration

Discrete & Computational Geometry, 49(4), 778–796.

Zigzag zoology

Proceedings of the 29th annual symposium on Symposuim on computational geometry - SoCG '13. Presented at the the 29th annual symposium.

A fast algorithm for well-spaced points and approximate delaunay graphs

Proceedings of the 29th annual symposium on Symposuim on computational geometry - SoCG '13. Presented at the the 29th annual symposium.

A new approach to output-sensitive voronoi diagrams and delaunay triangulations

Proceedings of the 29th annual symposium on Symposuim on computational geometry - SoCG '13. Presented at the the 29th annual symposium.

Profmig: A framework for flexible migration of program profiles across software versions

Zhou, M., Wu, B., Ding, Y., & Shen, X. (2013, February). Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).

Exploring Hybrid Memory for GPU Energy Efficiency through Software-Hardware Co-Design

Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques. Presented at the PACT, Edinburgh, Scotland.

Platys: User-centric place recognition

AAAI Workshop - Technical Report, WS-13-05, 14–20. http://www.scopus.com/inward/record.url?eid=2-s2.0-84898908253&partnerID=MN8TOARS