Search
Search Results
-
A systematic review of evaluation and program planning strategies for technology integration in education: Insights for evidence-based practice
This paper presents a systematic review of the literature on evaluation and program planning strategies for technology integration in education. The...
-
Automating the map** of course learning outcomes to program learning outcomes using natural language processing for accurate educational program evaluation
Quality control and assurance plays a fundamental role within higher education contexts. One means by which quality control can be performed is by...
-
A Bebras Computational Thinking (ABC-Thinking) program for primary school: Evaluation using the competent computational thinking test
Bebras tasks are considered to develop Computational Thinking (CT) and are currently used for this purpose in many studies. However, the relationship...
-
Evaluation of Road Safety Education Program with Virtual Reality Eye Tracking
Traffic rules are essential and part of today’s road safety education programs at school. However, learning how to properly use attention in complex...
-
Ranged Program Analysis via Instrumentation
Ranged program analysis has recently been proposed as a means to scale a single analysis and to define parallel cooperation of different analyses. To...
-
Program Synthesis from Graded Types
Graded type systems are a class of type system for fine-grained quantitative reasoning about data-flow in programs. Through the use of resource...
-
Evaluation of good practices and opportunity areas of a Collaborative Online International Learning (COIL) program: Global Shared Learning Classroom
The post-COVID-19 educational landscape requires novel teaching strategies to cultivate skills in a global environment where knowledge can be shared...
-
Performance Evaluation Methodologies and Tools 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings
This volume contains the proceedings of the 16th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2023,...
-
Evaluation
The purpose of model evaluation is to assess the model’s suitability for the intended purpose. In the evaluation of clinical models, we consider...
-
The WeChat Mini-program for Oral English Evaluation Based on the Smart Listening Algorithm
This article introduces a WeChat mini-program for Smart Oral Evaluation. In this mini-program, we use Tencent Cloud’s Smart Oral Evaluation interface...
-
Parallel Program Analysis via Range Splitting
Ranged symbolic execution has been proposed as a way of scaling symbolic execution by splitting the task of path exploration onto several workers...
-
Genetic Algorithm for Program Synthesis
A deductive program synthesis tool takes a specification as input and derives a program that satisfies the specification. The drawback of this...
-
Fostering Cyber-Resilience in Higher Education: A Pilot Evaluation of a Malware Awareness Program for College Students
This study evaluated the effectiveness of a malware awareness program designed to enhance college students’ knowledge of malware prevention...
-
Program analysis using empirical abstraction
Given a program analysis problem that consists of a program and a property of interest, we use an empirical approach to automatically construct a...
-
Program Synthesis in Saturation
We present an automated reasoning framework for synthesizing recursion-free programs using saturation-based theorem proving. Given a functional...
-
Parallel program testing based on critical communication and branch transformation
Software testing is an efficient way to guarantee the reliability and accuracy of parallel programs. Communication plays a substantial role in...
-
Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis
We show how to generate a constraint system of symbolic expressions as part of an inter-procedural constraint-system–based program analysis such that...
-
Schematic Program Proofs with Abstract Execution
We propose Abstract Execution , a static verification framework based on symbolic execution and dynamic frames for proving properties of schematic ...
-
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense
Probabilistic programming aims to open the power of Bayesian reasoning to software developers and scientists, but identification of problems during...
-
Semantic similarity-based program retrieval: a multi-relational graph perspective
In this paper, we formulate the program retrieval problem as a graph similarity problem. This is achieved by first explicitly representing queries...