programming is one of the fundamental components of computerscience. Many countries have incorporated this core component into their educational standards. We can introduce programming into the educational ...
详细信息
We show how to apply forward and reversemode Combinatory Homomorphic Automatic Differentiation (CHAD) (Vakar (2021). ESOP, 607-634;Vakar and Smeding (2022). ACM Transactions on programming Languages and Systems 44 (3)...
详细信息
We show how to apply forward and reversemode Combinatory Homomorphic Automatic Differentiation (CHAD) (Vakar (2021). ESOP, 607-634;Vakar and Smeding (2022). ACM Transactions on programming Languages and Systems 44 (3) 20:1-20:49.) to total functional programming languages with expressive type systems featuring the combination of tuple types;sum types;inductive types;coinductive types;function types. We achieve this by analyzing the categorical semantics of such types in Sigma-types (Grothendieck constructions) of suitable categories. Using a novel categorical logical relations technique for such expressive type systems, we give a correctness proof of CHAD in this setting by showing that it computes the usual mathematical derivative of the function that the original program implements. The result is a principled, purely functional and provably correct method for performing forward- and reverse-mode automatic differentiation (AD) on total functional programming languages with expressive type systems.
Background and ContextBased on issues arising around how to best prepare CS teachers and the constantly changing nature of the CS education content, curriculum, and instructional methods, it is crucial to examine the ...
详细信息
Background and ContextBased on issues arising around how to best prepare CS teachers and the constantly changing nature of the CS education content, curriculum, and instructional methods, it is crucial to examine the needs of secondary CS *** primary purpose of this study was to identify secondary computerscience (CS) teachers' needs and make recommendations for future CS education research and practices in the *** a mixed-method research design, the data were collected from computerscience Teachers Association (CSTA)'s email listserv member discussions (n = 1,706 from 482 unique members), questionnaire responses from 222 secondary CS teachers, and semi-structured interviews with eight CS teachers in the *** curriculum resources was an important ongoing need for secondary CS teachers. Curriculum resources, materials to assess students learning, and embedding the principles of computational thinking into curriculum were reported as major needs for secondary teachers. Teachers also reported that they need to learn more about student-centered teaching strategies (e.g. problem-based learning and pair programming) and guide students' learning using scaffolding and team-management strategies. The findings suggest that teachers perceived the need for administrators', parents', and other CS teachers' support. Having an online community for teachers was critical to address their curricular and pedagogical needs. Furthermore, increasing student enrollment and interest in CS was critical for the future of CS *** findings of this research have implications for creating professional development plans and support that can address secondary CS teachers' needs in the US.
Discrete Tomography(DT)is a technology that uses image projection to reconstruct *** reconstruction problem,especially the binary image(0–1matrix)has attracted strong *** this study,a fixed point iterative method of ...
详细信息
Discrete Tomography(DT)is a technology that uses image projection to reconstruct *** reconstruction problem,especially the binary image(0–1matrix)has attracted strong *** this study,a fixed point iterative method of integer programming based on intelligent optimization is proposed to optimize the *** solution process can be divided into two ***,the DT problem is reformulated into a polyhedron judgment problembased on lattice basis ***,the fixed-point iterativemethod of Dang and Ye is used to judge whether an integer point exists in the polyhedron of the previous *** the programs involved in this study are written in *** final experimental data show that this method is obviously better than the branch and bound method in terms of computational efficiency,especially in the case of high *** branch and bound method requires more branch operations and takes a long *** also needs to store a large number of leaf node boundaries and the corresponding consumptionmatrix,which occupies a largememory space.
The expansion of K-12 computerscience education has led to an increasing effort in preparing in-service teachers to learn and teach CS through participation in micro credentials, professional development, and online ...
详细信息
Motivating assignments is a well-known way to promote deeper learning in programming courses. As those assignments must also be aligned with the intended learning outcomes and preferably carry some novelty, the search...
详细信息
Self-efficacy has been claimed to be a predictor of students' motivation and learning [1]. It has been found to be sensitive to students' success, and to affect their academic achievement. In the CS/IT educati...
详细信息
ISBN:
(纸本)9798400706035
Self-efficacy has been claimed to be a predictor of students' motivation and learning [1]. It has been found to be sensitive to students' success, and to affect their academic achievement. In the CS/IT education context, where the drop rates are high, it is important that students not only gain knowledge and skills, but also self-efficacy, so that they persist in the program. In this study, we investigate 602 students taking an introductory Python course via different delivery methods: (i) traditional in-person;(ii) cohort in-person;(iii) synchronous online;and (iv) asynchronous online. Although modality predicted retention and success, we found no apparent links among learning, student retention, and self-efficacy. However we found evidence that cohort learning may in particular help struggling students catch up with their peers.
A crucial role of container shipping is maximizing container uptake onto vessels, optimizing the efficiency of a fundamental part of the global supply chain. In practice, liner shipping companies include block stowage...
详细信息
ISBN:
(纸本)9783031719929;9783031719936
A crucial role of container shipping is maximizing container uptake onto vessels, optimizing the efficiency of a fundamental part of the global supply chain. In practice, liner shipping companies include block stowage patterns that ensure that containers in above and below deck partitions of bays have the same destination. Despite preventing restows, increasing free space, and benefits for crane makespan and hydrostatics, this practical planning requirement is rarely included in stowage optimization models. In our paper, we introduce a novel 0-1 IP model that searches in the space of valid paired block stowage patterns, named template planning, which ensures sufficient vessel capacity and limits to crane makespan, trim, and bending moment. Our results show that template planning outperforms traditional allocation planning concerning optimality and runtime efficiency while preserving a sufficiently accurate representation of master planning constraints and objectives.
The purpose of this study is to design a scaffolding inquiry-based instruction to facilitate non-engineering students in STEM learning and investigates its impact on students' computerprogramming, science learnin...
详细信息
ISBN:
(纸本)9786269689026
The purpose of this study is to design a scaffolding inquiry-based instruction to facilitate non-engineering students in STEM learning and investigates its impact on students' computerprogramming, science learning and problem-solving performance. Employing a pretest-posttest experimental design, the investigation involved 19 university students who participated in a 3-week scaffolding inquiry-based program. The results showed that the instruction have positive effects on non-engineering students' logical thinking, debug, and control in computerprogramming and concept, high-level cognition, practice, apply and communication in science learning. Although the instruction improved students problem- solving performance, some students failed to solve complicated problems.
Interoperability between systems written in different programming languages can be challenging. While C offers some degree of interoperability, it is an unsafe language and does not encourage consideration of abstract...
详细信息
暂无评论