Publication Date
| In 2025 | 0 |
| Since 2024 | 0 |
| Since 2021 (last 5 years) | 0 |
| Since 2016 (last 10 years) | 2 |
| Since 2006 (last 20 years) | 2 |
Descriptor
| Computation | 2 |
| Programming | 2 |
| Standards | 2 |
| Academic Achievement | 1 |
| Academic Persistence | 1 |
| Adults | 1 |
| Affective Behavior | 1 |
| Artificial Intelligence | 1 |
| Attention | 1 |
| Audits (Verification) | 1 |
| Automation | 1 |
| More ▼ | |
Author
| Barnes, Tiffany, Ed. | 1 |
| Grobelna, Iwona | 1 |
| Hershkovitz, Arnon, Ed. | 1 |
| Hu, Xiangen, Ed. | 1 |
| Paquette, Luc, Ed. | 1 |
Publication Type
| Collected Works - Proceedings | 1 |
| Journal Articles | 1 |
| Reports - Descriptive | 1 |
Education Level
| Early Childhood Education | 1 |
| Higher Education | 1 |
| Junior High Schools | 1 |
| Middle Schools | 1 |
| Postsecondary Education | 1 |
| Secondary Education | 1 |
Audience
Location
| China | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Download full textGrobelna, Iwona – Informatics in Education, 2020
Control systems are becoming ever more commonly used in everyday life. This is true both in industry and in the domestic domain, in the form of e.g., smart home systems. The quality of such systems can be increased by using formal verification methods, such as the model checking technique, to make sure that the designed system fulfills all user…
Descriptors: Programming Languages, Standards, Engineering, Information Systems
Hu, Xiangen, Ed.; Barnes, Tiffany, Ed.; Hershkovitz, Arnon, Ed.; Paquette, Luc, Ed. – International Educational Data Mining Society, 2017
The 10th International Conference on Educational Data Mining (EDM 2017) is held under the auspices of the International Educational Data Mining Society at the Optics Velley Kingdom Plaza Hotel, Wuhan, Hubei Province, in China. This years conference features two invited talks by: Dr. Jie Tang, Associate Professor with the Department of Computer…
Descriptors: Data Analysis, Data Collection, Graphs, Data Use
