Based on the reflection of the research status, this study designs a value-added evaluation model that conforms to the characteristics of 'C Language programming', and completes the teaching research and pract...
详细信息
Software trustworthiness is an essential criterion for evaluating software quality. In componentbased software, different components play different roles and different users give different grades of trustworthiness af...
详细信息
Software trustworthiness is an essential criterion for evaluating software quality. In componentbased software, different components play different roles and different users give different grades of trustworthiness after using the software. The two elements will both affect the trustworthiness of software. When the software quality is evaluated comprehensively, it is necessary to consider the weight of component and user feedback. According to different construction of components, the different trustworthiness measurement models are established based on the weight of components and user feedback. Algorithms of these trustworthiness measurement models are designed in order to obtain the corresponding trustworthiness measurement value automatically. The feasibility of these trustworthiness measurement models is demonstrated by a train ticket purchase system.
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.
With the coming of the digital intelligence era, contemporary middle school students should have the key literacy and ability to quickly adapt to the current social development. Computational thinking, as a critical p...
详细信息
This work-in-progress innovative practice paper describes an active learning in-class activity to be used in introductory programming courses. In the software development industry, critical thinking, problem-solving, ...
详细信息
ISBN:
(纸本)9798350351507
This work-in-progress innovative practice paper describes an active learning in-class activity to be used in introductory programming courses. In the software development industry, critical thinking, problem-solving, code review, and debugging are vital skill sets software engineers require to build software that meets requirements. Commercial software companies often have extensive code review processes to make sure that developed code is of high quality. Many new developers work in quality assurance and maintenance of software products. For these jobs, learning to understand code written by peers is an essential skill. Code review skills are rarely explicitly taught in required programming classes in CS, especially at the entry-level. In beginning programming classes, students are usually thrilled if they can find one way to make a program work. They rarely see, let alone generate, multiple approaches to solving a single problem. In this research, we propose an active learning approach that provides students with experience reviewing and analyzing existing code. In our activities, students practice code review skills by exploring multiple approaches to solve a single problem. We have developed an in-class active learning approach, called Code Insight, for entry-level programming courses. Code Insight activities are designed based on student-created answers to previous homework and midterm problems. Students are given the code to upload into their development environment, so they have the tools available that a typical software developer would have. Students use a classroom response system to report the correctness of these solutions by responding to multiple-choice questions. Preliminary results show that students prefer doing this activity to listening to lectures. In addition, students report that they learn more programming from this structure of the exercise. The degree to which Code Insight can improve student learning in beginning programming will be assesse
programming is one of the most popular and demanding courses in universities around the world for students to build a strong foundation for their future in the field of computerscience. Unlike other subjects, compute...
详细信息
Background: The automated classification of videos through artificial neural networks is addressed in this work. To explore the concepts and measure the results, the data set UCF101 is used, consisting of video clips ...
详细信息
In this correspondence, we propose a movable antenna (MA)-aided multi-user hybrid beamforming scheme with a sub-connected structure, where multiple movable sub-arrays can independently change their positions within di...
详细信息
The purpose of this research-to-practice work-in-progress paper is to help students formalize the development and documentation of problem-solving strategies for computerprogramming, before attempting code writing, i...
详细信息
This paper aims to use an experimental approach to determine the best performing and most stable web programming languages for building a website. Through a comprehensive comparison of different languages such as Gola...
详细信息
暂无评论