Matthew West

Proceedings of the 13th International Conference on Computer and Automation Engineering, 2021

Students' Perceptions and Behavior Related to Second-Chance Testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE Frontiers in Education Conference, 2021

How productive are homework and elective practice? Applying a post hoc modeling of student knowledge in a large, introductory computing course (Full Paper).

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Workshops at the International Conference on Educational Data Mining 2021 co-located with 14th International Conference on Educational Data Mining (EDM 2021), 2021

A Data-Informed Approach for Analysis, Validation, and Identification of COVID-19 Models.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

2020

Unsupervised Regionalization of Particle-resolved Aerosol Mixing State Indices on the Global Scale.

[BibT_eX]

[DOI]

CoRR, 2020

Measuring the Score Advantage on Asynchronous Exams in an Undergraduate CS Course.

[BibT_eX]

[DOI]

Mariana Silva

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

A Validated Scoring Rubric for Explain-in-Plain-English Questions.

[BibT_eX]

[DOI]

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

A Quantitative Analysis of When Students Choose to Grade Questions on Computerized Exams with Multiple Attempts.

[BibT_eX]

[DOI]

Proceedings of the L@S'20: Seventh ACM Conference on Learning @ Scale, 2020

Learning to Cheat: Quantifying Changes in Score Advantage of Unproctored Assessments Over Time.

[BibT_eX]

[DOI]

Proceedings of the L@S'20: Seventh ACM Conference on Learning @ Scale, 2020

Comparison of Grade Replacement and Weighted Averages for Second-Chance Exams.

[BibT_eX]

[DOI]

Proceedings of the ICER 2020: International Computing Education Research Conference, 2020

The Relationship Between Course Scheduling and Student Performance.

[BibT_eX]

[DOI]

Seth Poulsen

Carolyn J. Anderson

Proceedings of 4th Educational Data Mining in Computer Science Education (CSEDM) Workshop co-located with the 13th Educational Data Mining Conference (EDM 2020), 2020

Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

STMC: Statistical Model Checker with Stratified and Antithetic Sampling.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Strategies for Deploying Unreliable AI Graders in High-Transparency High-Stakes Exams.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Education - 21st International Conference, 2020

2019

Statistical verification of PCTL using antithetic and stratified samples.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

A tree-based radial basis function method for noisy parallel surrogate optimization.

[BibT_eX]

[DOI]

Chenchao Shou

CoRR, 2019

Predicting the difficulty of automatic item generators on exams from their difficulty on homeworks.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM Conference on Learning @ Scale, 2019

Every University Should Have a Computer-Based Testing Facility.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Computer Supported Education, 2019

Effect of Discrete and Continuous Parameter Variation on Difficulty in Automatic Item Generation.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Education - 20th International Conference, 2019

2018

An Improved Grade Point Average, With Applications to CS Undergraduate Education Analytics.

[BibT_eX]

[DOI]

Jonathan H. Tomkin

Geoffrey L. Herman

ACM Trans. Comput. Educ., 2018

Using a Computer-based Testing Facility to Improve Student Learning in a Programming Languages and Compilers Course.

[BibT_eX]

[DOI]

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

How much randomization is needed to deter collaborative cheating on asynchronous exams?

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual ACM Conference on Learning at Scale, 2018

Making Testing Less Trying: Lessons Learned from Operating a Computer-Based Testing Facility.

[BibT_eX]

[DOI]

Proceedings of the IEEE Frontiers in Education Conference, 2018

Towards a Model-Free Estimate of the Limits to Student Modeling Accuracy.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Educational Data Mining, 2018

Statistical Verification of PCTL Using Stratified Samples.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Do Performance Trends Suggest Wide-spread Collaborative Cheating on Asynchronous Exams?

[BibT_eX]

[DOI]

Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017

Statistical Verification of the Toyota Powertrain Control Verification Benchmark.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016

Variance-reduced simulation of lattice discrete-time Markov chains with applications in reaction networks.

[BibT_eX]

[DOI]

J. Comput. Phys., 2016

Accelerated simulation of stochastic particle removal processes in particle-resolved aerosol models.

[BibT_eX]

[DOI]

J. Comput. Phys., 2016

Modeling Student Scheduling Preferences in a Computer-Based Testing Facility.

[BibT_eX]

[DOI]

Proceedings of the Third ACM Conference on Learning @ Scale, 2016

A methodological refinement for studying the STEM grade-point penalty.

[BibT_eX]

[DOI]

Jonathan H. Tomkin

Geoffrey L. Herman

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

Studying faculty Communities of Practice through social network analysis.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Variance-reduced model predictive control of Markov jump processes.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

On the Use of Nonlinear Boundary-Value Problems to Estimate the Cloud-Formation Potential of Aerosol Particles.

[BibT_eX]

[DOI]

Mehdi Saghafi

Harry Dankowicz

SIAM J. Appl. Dyn. Syst., 2015

Statistical verification of dynamical systems using set oriented methods.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Exact simulation of continuous time Markov jump processes with anticorrelated variance reduced Monte Carlo estimation.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Convergence of the Markov Chain Distributed Particle Filter (MCDPF).

[BibT_eX]

[DOI]

Sun Hwan Lee

IEEE Trans. Signal Process., 2013

Polynomial Level-Set Method for Polynomial System Reachable Set Estimation.

[BibT_eX]

[DOI]

Ta-Chung Wang

Sanjay Lall

IEEE Trans. Autom. Control., 2013

Binning for Efficient Stochastic Multiscale Particle Simulations.

[BibT_eX]

[DOI]

M. D. Michelotti

Michael T. Heath

Multiscale Model. Simul., 2013

Anticorrelated discrete-time stochastic simulation.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Polynomial level-set method for attractor estimation.

[BibT_eX]

[DOI]

Ta-Chung Wang

Sanjay Lall

J. Frankl. Inst., 2012

Application of variance reduction techniques for tau-leaping systems to particle filters.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Weighted Flow Algorithms (WFA) for stochastic particle coagulation.

[BibT_eX]

[DOI]

R. E. Lee DeVille

Nicole Riemer

J. Comput. Phys., 2011

2009

Multiscale networks for distributed consensus algorithms.

[BibT_eX]

[DOI]

Christina Selle

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Markov Chain Distributed Particle Filters (MCDPF).

[BibT_eX]

[DOI]

Sun Hwan Lee

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Model reduction, optimal prediction, and the Mori-Zwanzig representation of Markov chains.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008

Stochastic multiscale approaches to consensus problems.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Multiscale consensus for decentralized estimation and its application to building systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

2005

Lagrangian Averaging for Compressible Fluids.

[BibT_eX]

[DOI]

Multiscale Model. Simul., 2005

2004

Approximate momentum conservation for spatial semidiscretizations of semilinear wave equations.

[BibT_eX]

[DOI]

Marcel Oliver