Search
Search Results
-
A Trial to Improve Program Management in Government Bodies Through Focusing on Program Resource Management: Cases from UAE
Improving a program management in government bodies is a critical aspect, and this research paper demonstrates a thesis on Program Resource... -
Enhancing functional thinking in grade 5–6 students through a dynamic mathematics intervention program
The aim of this study was to develop, implement, and evaluate an intervention program focusing on develo** Grade 5 and 6 students’ functional...
-
Linear Algebraic Abduction with Partial Evaluation
Linear algebra is an ideal tool to redefine symbolic methods with the goal to achieve better scalability. In solving the abductive Horn propositional... -
Adversarial Reachability for Program-level Security Analysis
Many program analysis tools and techniques have been developed to assess program vulnerability. Yet, they are based on the standard concept of... -
Extracting high-level activities from low-level program execution logs
Modern runtime environments, standard libraries, and other frameworks provide many ways of diagnostics for software engineers. One form of such...
-
Application of Improved Fuzzy Mathematics Comprehensive Evaluation Algorithm in Student Evaluation System
The direct purpose of student evaluation of teaching is to evaluate the teaching effect of the teachers of the course, but more importantly, it is to... -
Neural TV program recommendation with heterogeneous attention
TV program recommendation is very important to avoid confusing users with large amounts of information. The existing methods are mainly based on...
-
Field-Sensitive Program Slicing
The granularity level of the program dependence graph (PDG) for composite data structures (tuples, lists, records, objects, etc.) is inaccurate when... -
A Framework for Memory Efficient Context-Sensitive Program Analysis
Static program analysis is in general more precise if it is sensitive to execution contexts (execution paths). But then it is also more expensive in...
-
Dynamic Grammar Pruning for Program Size Reduction in Symbolic Regression
Grammar is a key input in grammar-based genetic programming. Grammar design not only influences performance, but also program size. However, grammar...
-
Automated Program Repair Using Generative Models for Code Infilling
In educational settings, automated program repair techniques serve as a feedback mechanism to guide students working on their programming... -
An Active Learning Approach to Synthesizing Program Contracts
Contracts capture assumptions (preconditions) and guarantees (postconditions) of functions in a software program, and are an important paradigm for... -
Progress on the program of Si-compatible two-dimensional semiconductor materials and devices
Two-dimensional (2D) materials are at the forefront of innovation, heralding a new era for next-generation electronics and optoelectronics. These...
-
MerIt: improving neural program synthesis by merging collective intelligence
Program synthesis is the task of automatically generating programs from user intent, which is one of the central problems in automated software...
-
An Augmented Intelligence Framework as an Enabler of Digital Transformation and Innovation in the Pedagogical Evaluation of the Brazilian National Textbook Program (PNLD)
This project investigates the integration of Artificial Intelligence (AI) into the Brazilian National Textbook Program (PNLD), aiming to expand human... -
Automatic Program Instrumentation for Automatic Verification
In deductive verification and software model checking, dealing with certain specification language constructs can be problematic when the back-end... -
EBT Training Effectiveness and Evaluation
With the development of Evidence based training (EBT), more and more airlines realize this is a subsystem of SMS, which provides overarching tool... -
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
In recent years, more people have seen their work depend on data manipulation tasks. However, many of these users do not have the background in... -
Performance of Large Language Models in a Computer Science Degree Program
Large language models such as ChatGPT-3.5 and GPT-4.0 are ubiquitous and dominate the current discourse. Their transformative capabilities have led... -
Identifying algorithm in program code based on structural features using CNN classification model
In software, an algorithm is a well-organized sequence of actions that provides the optimal way to complete a task. Algorithmic thinking is also...