In this paper, we introduce the Python to Kubernetes (PTK) framework, a high-level Python-based programming framework for deploying Python applications on top of Kubernetes clusters. PTK supports a task-based programm...
详细信息
Opportunities for programming education have been increasing, and enrichment of guidance is needed. To provide precise guidance in programming exercises, instructors need to successfully grasp learners' impasses. ...
详细信息
Implementing distributed systems is hard;choreographic programming aims to make it easier. In this paper, we present the design of a new choreographic programming language that supports isolated transactions among ove...
详细信息
Implementing distributed systems is hard;choreographic programming aims to make it easier. In this paper, we present the design of a new choreographic programming language that supports isolated transactions among overlapping sets of processes. The first idea is to track for every variable which processes are permitted to use it. The second idea is to use model checking to prove isolation.
The increasing demand for programmers has led to a surge in participants in programming courses, making it increasingly challenging for instructors to assess student code manually. As a result, automated programming a...
详细信息
Given a user who asks why an algorithmic decision did not satisfy some conditions, a counterfactual explanation takes the form of a minimally perturbed input that would have led to a decision satisfying the user's...
详细信息
ISBN:
(数字)9783031332715
ISBN:
(纸本)9783031332708;9783031332715
Given a user who asks why an algorithmic decision did not satisfy some conditions, a counterfactual explanation takes the form of a minimally perturbed input that would have led to a decision satisfying the user's conditions. Building on recent work, this paper develops techniques to generate counterfactual explanations for linear discrete constrained optimization problems. These explanations take the form of a minimally perturbed objective vector that induces an optimal solution satisfying the newly stated user constraints. Drawing inspiration from the inverse combinatorial optimization literature, we introduce a novel non-convex quadratic programming algorithm to generate such explanations. Furthermore, we develop conditions for the existence of an explanation, addressing a limitation of past approaches. Finally, we discuss several future directions for explanations in discrete optimization such as actionable and sparse explanations.
computerprogramming skills are no longer discipline bounded. Many national policy documents across disciplines make computerprogramming a fundamental skill needed for most occupation in modern economy. Resulting to ...
详细信息
computerprogramming skills are no longer discipline bounded. Many national policy documents across disciplines make computerprogramming a fundamental skill needed for most occupation in modern economy. Resulting to the rise of the need, there is a growing demand over different disciplines, for developing an introductory programming course that targets non-computerscience (non-CS) major students. This demand is more paramount as many students may not have been introduced to fundamentals of programming in high schools. According to a national survey, only 53% of high schools offer computerscience courses. The scarcity of the availability of courses at high school level results in more difficulties, and no prior computerprogramming experience. For such students the deficit in base continues to grow in college with two important facets: 1) such students are reluctant to pursue engineering and computing majors and 2) these students find typical college programming courses more challenging and harder than many others who took programming in their high school, leaving them behind in courses. Considering offering programming courses for non-CS major students as an ongoing challenge, in this paper, we present our blended approach to design an introductory Python programming course for students with non-CS majors. Also, as the course was designed for non-CS majors with diverse students from different academic backgrounds, it is imperative to hear from non-CS major students' perspective on the course and use their feedback for effective course changes and continuous improvement. Keeping the blended approach, the instructor used various approaches in the courses for enhancing student engagement including 1) lecture in various forms including pre and post reading materials, live coding, and discussions, 2) informal student interaction with instructor and peer mentor, and in-person and online office hours, and 3) individual and collaborative assessments. For capturing studen
A nation’s economic and social progress is strongly influenced by its agricultural sector. Crop distribution, crop combination, and operational activities for crop production are critical decisions that must be made ...
详细信息
We conducted action research on a programming class of 66 MSc students following a content co-creation approach. This allowed students to create problems and write programs to solve them, enhancing their understanding...
详细信息
ISBN:
(纸本)9798400711770
We conducted action research on a programming class of 66 MSc students following a content co-creation approach. This allowed students to create problems and write programs to solve them, enhancing their understanding and programming skills. Pre-tests, post-tests, and a survey assessed their knowledge and opinions. Post-test scores on 28 consenting participants showed significant improvement and enhanced comprehension irrespective of their background. Positive feedback highlighted improvements in critical thinking, motivation, and a sense of belonging. The results evidence a positive impact of content co-creation, proving it to be an inclusive approach to develop all students' coding skills.
This work examines a UAV-enabled surveillance mission over multiple restricted regions and aims to determine the optimal UAV trajectory that minimizes the mission completion time. The UAV is prohibited from entering t...
详细信息
For beginning programmers, understanding how to express instructions to the computer and how to organize these instructions can be difficult. We propose using AI to guide students in their first programming steps thro...
详细信息
暂无评论