The paper presents the main characteristics and a preliminary implementation of a novel computational framework named COMPLOG. Inspired by probabilistic programming systems like ProbLog, CompLog builds upon the infere...
详细信息
ISBN:
(纸本)9783031504846;9783031504853
The paper presents the main characteristics and a preliminary implementation of a novel computational framework named COMPLOG. Inspired by probabilistic programming systems like ProbLog, CompLog builds upon the inferential mechanisms proposed by Simplicity Theory, relying on the computation of two Kolmogorov complexities (here implemented as min-path searches via ASP programs) rather than probabilistic inference. The proposed system enables users to compute ex-post and ex-ante measures of unexpectedness of a certain situation, mapping respectively to posterior and prior subjective probabilities. The computation is based on the specification of world and mental models by means of causal and descriptive relations between predicates weighted by complexity. The paper illustrates a few examples of application: generating relevant descriptions, and providing alternative approaches to disjunction and to negation.
As AI-generated code promises to become an increasingly relied upon tool for software developers, there is a temptation to call for significant changes to early computerscience curricula. A move from syntax-focused t...
详细信息
ISBN:
(纸本)9798400704239
As AI-generated code promises to become an increasingly relied upon tool for software developers, there is a temptation to call for significant changes to early computerscience curricula. A move from syntax-focused topics in CS1 toward abstraction and high-level application design seems motivated by the new large language models (LLMs) recently made available. In this position paper however, we advocate for an approach more informed by the AI itself teaching early CS learners not only how to use the tools but also how to better understand them. Novice programmers leveraging AI-code-generation without proper understanding of syntax or logic can create "black box" code with significant security vulnerabilities. We outline methods for integrating basic AI knowledge and traditional software verification steps into CS1 along with LLMs, which will better prepare students for software development in professional settings.
In this study, we convert a bilevel quadratic programming problem (BQPP) into single-level mathematical programming with complementary constraints (MPCC), utilizing the Karush-Kuhn-Tucker (KKT) theorem. We address the...
详细信息
ISBN:
(纸本)9789819743988;9789819743995
In this study, we convert a bilevel quadratic programming problem (BQPP) into single-level mathematical programming with complementary constraints (MPCC), utilizing the Karush-Kuhn-Tucker (KKT) theorem. We address the inherent nonconvexity of MPCC by applying the linear transformation, which effectively relaxes the complementary slackness conditions to semi-positive definite quadratic constraints, thereby facilitating the transformation of the problem into convex programming. Furthermore, we introduce a projection neural network designed for resolving the MPCC efficiently. This neural network is structured to guarantee convergence from any initial point to the optimal solution of the original problem. The efficacy of our methodology is validated through a numerical simulation.
Heterogeneous systems, consisting of CPUs and GPUs, offer the capability to address the demands of compute- and data-intensive applications. However, programming such systems is challenging, requiring knowledge of var...
详细信息
ISBN:
(纸本)9783031506833;9783031506840
Heterogeneous systems, consisting of CPUs and GPUs, offer the capability to address the demands of compute- and data-intensive applications. However, programming such systems is challenging, requiring knowledge of various parallel programming frameworks. This paper introduces COMPAR, a component-based parallel programming framework that enables the exposure and selection of multiple implementation variants of components at runtime. The framework leverages compiler directive-based language extensions to annotate the source code and generate the necessary glue code for the StarPU runtime system. COMPAR provides a unified view of implementation variants and allows for intelligent selection based on runtime context. Our evaluation demonstrates the effectiveness of COMPAR through benchmark applications. The proposed approach simplifies heterogeneous parallel programming and promotes code reuse while achieving optimal performance.
We investigate the semigroup of integer points inside a convex cone. We extend classical results in integer linear programming to integer conic programming. We show that the semigroup associated with nonpolyhedral con...
详细信息
ISBN:
(纸本)9783031598340;9783031598357
We investigate the semigroup of integer points inside a convex cone. We extend classical results in integer linear programming to integer conic programming. We show that the semigroup associated with nonpolyhedral cones can sometimes have a notion of finite generating set. We show this is true for the cone of positive semidefinite matrices (PSD) and the second-order cone (SOC). Both cones have a finite generating set of integer points, similar in spirit to Hilbert bases, under the action of a finitely generated group. We also extend notions of total dual integrality, Gomory-Chv ' atal closure, and Carath ' eodory rank to integer points in arbitrary cones.
The purpose of this poster presentation is to demonstrate how we can bring art into computational thinking and computerprogramming spaces. Op-Artist Bridget Riley used geometrical shapes and patterns to express motio...
详细信息
ISBN:
(纸本)9798400706035
The purpose of this poster presentation is to demonstrate how we can bring art into computational thinking and computerprogramming spaces. Op-Artist Bridget Riley used geometrical shapes and patterns to express motion across the canvas. The example of Bridget Riley's art inspired U.S. middle and high school students to express their own artistic motions in unplugged and computer coded learning activities. This interdisciplinary lesson began with introducing Bridget Riley's artwork and how she arranged different triangles to create the illusion of movement [1]. Students then recreated one of her works by drawing triangles on graph paper with pencils, mimicking Riley's black-and-white compositions. After this unplugged activity, students transferred this understanding of drawing different triangles to the computer using JavaScript. Students used the gridlines behind their drawn triangles to map the pixel coordinates on a computer screen. Students used commands such as fill to set the color of the triangles and ***'s built-in triangle command to draw the triangles by specifying the (x, y) coordinates of each of the three vertices on the computer screen. Students then customized and expanded their code to express their interests (e.g., by picking different colors or effects) and to make it interactive for the user (e.g., by having the triangles' top vertices move left and right with the cursor of the screen). By the end of the lesson, each student created different works of Bridget Riley inspired art through their written code.
Word reading fluency and decoding can be important determinants when primary school students learn programming in order to develop computational thinking (CT). The question that arises is whether an interaction can be...
详细信息
ISBN:
(纸本)9783031723117;9783031723124
Word reading fluency and decoding can be important determinants when primary school students learn programming in order to develop computational thinking (CT). The question that arises is whether an interaction can be established regarding a growth on CT and the level of reading ability of students. Therefore, our experimental research aims to investigate whether different robotic programming environments can be applied to improve students' level of CT and thus reading skills. The studywas conducted among Dutch primary school students grade 3 and 4, aged 6 to 8. For both experimental groups, either BeeBot or Ozobot were applied as robotics programming interventions. The control group followed regular reading lessons. Reading exercises to be solved through programming applications were designed for both experimental groups. Via pre-test-posttest design, proficiency onCTwas determined by administering the Beginners Computational Thinking Test (BCTt). To establish reading proficiency, the "three-minute test" (DMT) was administered. Our research indicates a correlation between a development on CT and the level of reading fluency and decoding. Although not all subcategories of CT are a predictor on reading skills, programming tangible or code-based robotics did prove to be an explanatory model regarding the results of the reading test taken. The findings obtained imply that the application of programming and related CT development may be beneficial for the development of reading ability. Follow-up research is recommended to be able to make more specific statements on the effect of development on CT related to the reading level of students in primary education.
A significant increase has been noted in the application of gamification design interventions in programming education, which sparked enthusiasm in students and enhanced their levels of enjoyment and engagement, while...
详细信息
ISBN:
(纸本)9783031826320;9783031826337
A significant increase has been noted in the application of gamification design interventions in programming education, which sparked enthusiasm in students and enhanced their levels of enjoyment and engagement, while improving learning outcomes. By utilizing gamified learning activities and software applications, instructors can develop learning environments which greatly enhance the experiences of student interaction in gamified learning environments. Positive reported experiences of students in higher education programming learning environments, promise to steer students towards achievement in their programming pursuits. However, it is not clear if these positive reports might be inaccurate due to various inadequacies in research methodologies used in studies conducted in a gamified programming learning higher education context. To date, no systematic review has focused specifically on the methodological rigor of studies that investigated the gamification of higher education programming courses. The systematic literature review reported by this study, fills this gap, by exposing various methodological shortcomings observed in the reviewed literature. The study provides recommendations to researchers to improve research efforts in the future. The hope is that these guidelines will contribute to enhancing the overall quality and reliability of research findings related to the gamification of higher education programming courses.
From prior studies on eXtreme Apprenticeship (XA), it can be seen that XA has emerged as an innovative and effective educational approach. The technology in computerscience evolves rapidly and XA tackles the gap betw...
详细信息
Spreadsheets are very common for information processing to support decision making by both professional developers and non-technical end ***,business intelligence and artificial intelligence are increasingly popular i...
详细信息
Spreadsheets are very common for information processing to support decision making by both professional developers and non-technical end ***,business intelligence and artificial intelligence are increasingly popular in the industry nowadays,where spreadsheets have been used as,or integrated into,intelligent or expert systems in various application ***,it has been repeatedly reported that faults often exist in operational spreadsheets,which could severely compromise the quality of conclusions and decisions based on the *** a view to systematically examining this problem via survey of existing work,we have conducted a comprehensive literature review on the quality issues and related techniques of spreadsheets over a 35.5-year period(from January 1987 to June 2022)for target journals and a 10.5-year period(from January 2012 to June 2022)for target *** other findings,two major ones are:(a)Spreadsheet quality is best addressed throughout the whole spreadsheet life cycle,rather than just focusing on a few specific stages of the life cycle.(b)Relatively more studies focus on spreadsheet testing and debugging(related to fault detection and removal)when compared with spreadsheet specification,modeling,and design(related to development).As prevention is better than cure,more research should be performed on the early stages of the spreadsheet life *** by our comprehensive review,we have identified the major research gaps as well as highlighted key research directions for future work in the area.
暂无评论