Matthew West

Affiliations:
  • University of Illinois at Urbana-Champaign, Urbana, IL, USA


According to our database1, Matthew West authored at least 70 papers between 2003 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Evaluating proof blocks problems as exam questions.
Inroads, 2022

How does a Rational Agent Act in an Epidemic?
CoRR, 2022

Truly Deterministic Policy Optimization.
CoRR, 2022

Learning Interface Conditions in Domain Decomposition Solvers.
CoRR, 2022

Efficient Partial Credit Grading of Proof Blocks Problems.
CoRR, 2022

Are We Fair?: Quantifying Score Impacts of Computer Science Exams with Randomized Question Pools.
Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Peer-grading "Explain in Plain English": A Bayesian Calibration Method for Categorical Answers.
Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Software Support for "A's for All".
Proceedings of the L@S'22: Ninth ACM Conference on Learning @ Scale, New York City, NY, USA, June 1, 2022

Achieving "A's for All (as Time and Interest Allow)".
Proceedings of the L@S'22: Ninth ACM Conference on Learning @ Scale, New York City, NY, USA, June 1, 2022

Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs.
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

Modeling Presymptomatic Spread in Epidemics via Mean-Field Games.
Proceedings of the American Control Conference, 2022

Benchmarking Partial Credit Grading Algorithms for Proof Blocks Problems.
Proceedings of the Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners' and Doctoral Consortium, 2022

2021
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction.
ACM Trans. Embed. Comput. Syst., 2021

Chemistry Across Multiple Phases (CAMP) version 1.0: An integrated multi-phase chemistry model.
CoRR, 2021

Proof Blocks: Autogradeable Scaffolding Activities for Learning to Write Proofs.
CoRR, 2021

Autograding.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Optimization-Based Algebraic Multigrid Coarsening Using Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Local Navigation and Docking of an Autonomous Robot Mower Using Reinforcement Learning and Computer Vision.
Proceedings of the 13th International Conference on Computer and Automation Engineering, 2021

Students' Perceptions and Behavior Related to Second-Chance Testing.
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).
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.
Proceedings of the 2021 American Control Conference, 2021

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

Measuring the Score Advantage on Asynchronous Exams in an Undergraduate CS Course.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

A Validated Scoring Rubric for Explain-in-Plain-English Questions.
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.
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.
Proceedings of the L@S'20: Seventh ACM Conference on Learning @ Scale, 2020

Comparison of Grade Replacement and Weighted Averages for Second-Chance Exams.
Proceedings of the ICER 2020: International Computing Education Research Conference, 2020

The Relationship Between Course Scheduling and Student Performance.
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.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

STMC: Statistical Model Checker with Stratified and Antithetic Sampling.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Strategies for Deploying Unreliable AI Graders in High-Transparency High-Stakes Exams.
Proceedings of the Artificial Intelligence in Education - 21st International Conference, 2020

2019
Statistical verification of PCTL using antithetic and stratified samples.
Formal Methods Syst. Des., 2019

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

Predicting the difficulty of automatic item generators on exams from their difficulty on homeworks.
Proceedings of the Sixth ACM Conference on Learning @ Scale, 2019

Every University Should Have a Computer-Based Testing Facility.
Proceedings of the 11th International Conference on Computer Supported Education, 2019

Effect of Discrete and Continuous Parameter Variation on Difficulty in Automatic Item Generation.
Proceedings of the Artificial Intelligence in Education - 20th International Conference, 2019

2018
An Improved Grade Point Average, With Applications to CS Undergraduate Education Analytics.
ACM Trans. Comput. Educ., 2018

Using a Computer-based Testing Facility to Improve Student Learning in a Programming Languages and Compilers Course.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

How much randomization is needed to deter collaborative cheating on asynchronous exams?
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.
Proceedings of the IEEE Frontiers in Education Conference, 2018

Towards a Model-Free Estimate of the Limits to Student Modeling Accuracy.
Proceedings of the 11th International Conference on Educational Data Mining, 2018

Statistical Verification of PCTL Using Stratified Samples.
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?
Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017

Statistical Verification of the Toyota Powertrain Control Verification Benchmark.
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.
J. Comput. Phys., 2016

Accelerated simulation of stochastic particle removal processes in particle-resolved aerosol models.
J. Comput. Phys., 2016

Modeling Student Scheduling Preferences in a Computer-Based Testing Facility.
Proceedings of the Third ACM Conference on Learning @ Scale, 2016

A methodological refinement for studying the STEM grade-point penalty.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

Studying faculty Communities of Practice through social network analysis.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Variance-reduced model predictive control of Markov jump processes.
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.
SIAM J. Appl. Dyn. Syst., 2015

Statistical verification of dynamical systems using set oriented methods.
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.
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.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Convergence of the Markov Chain Distributed Particle Filter (MCDPF).
IEEE Trans. Signal Process., 2013

Polynomial Level-Set Method for Polynomial System Reachable Set Estimation.
IEEE Trans. Autom. Control., 2013

Binning for Efficient Stochastic Multiscale Particle Simulations.
Multiscale Model. Simul., 2013

Anticorrelated discrete-time stochastic simulation.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Polynomial level-set method for attractor estimation.
J. Frankl. Inst., 2012

Application of variance reduction techniques for tau-leaping systems to particle filters.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011
Weighted Flow Algorithms (WFA) for stochastic particle coagulation.
J. Comput. Phys., 2011

2009
Multiscale networks for distributed consensus algorithms.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Markov Chain Distributed Particle Filters (MCDPF).
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Model reduction, optimal prediction, and the Mori-Zwanzig representation of Markov chains.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008
Stochastic multiscale approaches to consensus problems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Multiscale consensus for decentralized estimation and its application to building systems.
Proceedings of the American Control Conference, 2008

2005
Lagrangian Averaging for Compressible Fluids.
Multiscale Model. Simul., 2005

2004
Approximate momentum conservation for spatial semidiscretizations of semilinear wave equations.
Numerische Mathematik, 2004

2003
Nonsmooth Lagrangian Mechanics and Variational Collision Integrators.
SIAM J. Appl. Dyn. Syst., 2003


  Loading...