Barrier Certificates for Assured Machine Teaching.
Mohamadreza AhmadiBo WuYuxin ChenYisong YueUfuk TopcuPublished in: CoRR (2018)
Keyphrases
- web based learning
- learning process
- learning environment
- e learning
- online learning
- learning systems
- flowshop
- computer programming
- human teacher
- virtual laboratory
- programming course
- elementary school
- educational software
- public key
- computer science education
- hybrid learning
- real time
- batch processing
- hong kong
- learning design
- learning analytics
- case study
- university level
- educational systems
- learning in higher education
- cooperative learning
- middle school students
- teacher education
- teaching materials
- problem based learning
- learning community
- high school
- access control
- data sets