This paper explores the concept of Riesz spaces and their application in computer probabilistic programming languages. Riesz spaces, derived from functional analysis theory, are algebraic structures used to handle mat...
详细信息
ISBN:
(纸本)9798400718267
This paper explores the concept of Riesz spaces and their application in computer probabilistic programming languages. Riesz spaces, derived from functional analysis theory, are algebraic structures used to handle mathematical spaces such as Hilbert Spaces and Sobolev Spaces. The study investigates the relationship between Riesz spaces and probabilistic programming languages, focusing on their shared mathematical structures and the utilization of category theory. The research demonstrates how Riesz spaces, with their algebraic structures and lattice orders, are well-suited for representing and processing complex mathematical structures in probabilistic programming languages. The findings highlight the importance of Riesz modules, which are Riesz spaces on the left R-module, in constructing semantic models and facilitating mathematical proofs and logical reasoning in probabilistic programming languages. Additionally, the paper examines the properties of push-out in the category of Riesz modules and establishes its existence and uniqueness. Overall, this study sheds light on the role of Riesz spaces in addressing complex mathematical problems within functional programming languages.
This paper addresses an optimal, cooperative output regulation problem for multi-agent systems with distributed denial of service attacks and unknown system dynamics. Unlike existing studies, the proposed solution is ...
详细信息
This paper addresses an optimal, cooperative output regulation problem for multi-agent systems with distributed denial of service attacks and unknown system dynamics. Unlike existing studies, the proposed solution is essentially a learning-based control strategy such that one can obtain a distributed control policy with internal models through online data and analyze the resilience of closed-loop systems, both without the precise knowledge of system dynamics in the state-space model. The efficiency of the proposed methodology is validated using computer simulations.
Quantum key distribution(QKD)is a technology that can resist the threat of quantum computers to existing conventional cryptographic ***,due to the stringent requirements of the quantum key generation environment,the g...
详细信息
Quantum key distribution(QKD)is a technology that can resist the threat of quantum computers to existing conventional cryptographic ***,due to the stringent requirements of the quantum key generation environment,the generated quantum keys are considered valuable,and the slow key generation rate conflicts with the high-speed data transmission in traditional optical *** this paper,for the QKD network with a trusted relay,which is mainly based on point-to-point quantum keys and has complex changes in network resources,we aim to allocate resources reasonably for data packet ***,we formulate a linear programming constraint model for the key resource allocation(KRA)problem based on the time-slot ***,we propose a new scheduling scheme based on the graded key security requirements(GKSR)and a new micro-log key storage algorithm for effective storage and management of key ***,we propose a key resource consumption(KRC)routing optimization algorithm to properly allocate time slots,routes,and key *** results show that the proposed scheme significantly improves the key distribution success rate and key resource utilization rate,among others.
The increasing availability of online documentation is radically changing the way developers and computerscience students learn various topics, and programming in particular. Nowadays, a plethora of online learning r...
详细信息
ISBN:
(纸本)9781728110004
The increasing availability of online documentation is radically changing the way developers and computerscience students learn various topics, and programming in particular. Nowadays, a plethora of online learning resources are available, ranging from online University courses and official programming manuals/documentation to video tutorials, screencasts, and discussions available on Question & Answer forums. With the aim of aiding researchers to better understand the usage, advantages, and limitations of this large amount of resources, this paper empirically investigates the learning preferences and needs of computerscience students and professional developers related to the use of online resources for learning. We conducted a survey with 205 participants, having different degrees of formal instruction and professional experience in programming. The survey investigated the participants' learning preferences, information seeking behavior, preferred online resources, and learning needs. The study results reveal a preference for combined visual and auditory learning while indicating written tutorials and official documentation as two of the most popular resources currently used by developers and students. The study also indicates that, although online resources are considered valuable, there is a need for better support for searching and browsing this kind of resources.
Research on mental model representations developed by programmers during parallel program comprehension is important for informing and advancing teaching methods including model based learning and visualizations. Howe...
详细信息
ISBN:
(纸本)9798400701399
Research on mental model representations developed by programmers during parallel program comprehension is important for informing and advancing teaching methods including model based learning and visualizations. However, there is a significant lack of empirical research on mental models formed during the comprehension of parallel programs. We present an empirical method for externalizing and mapping mental models of learners and its novel application to a programming context. Participants externalize their mental models by drawing diagrams to depict the execution of a parallel program during a code tracing task. The code tracing task is performed prior to and during instruction on parallel programming in C using OpenMP. The progression of the mental models is analyzed using a rubric to determine how they developed and changed as participants learned. This poster presents our work in progress and preliminary results.
Evolutionary machine learning has drawn much attentions on solving data-driven learning problem in the past decades, where classification is a major branch of data-driven learning problem. To improve the quality of ob...
详细信息
Evolutionary machine learning has drawn much attentions on solving data-driven learning problem in the past decades, where classification is a major branch of data-driven learning problem. To improve the quality of obtained classifier, ensemble is a simple yet powerful strategy. However, gathering classifiers for ensemble requires multiple runs of learning process which bring additional cost at evaluation on the data. This study proposes an innovative framework for ensemble learning through evolutionary multitasking, i.e., the evolutionary multitasking for ensemble learning (EMTEL). There are four main features in the EMTEL. First, the EMTEL formulates a classification problem as a dynamic multitask optimization problem. Second, the EMTEL utilizes evolutionary multitasking to resolve the dynamic multitask optimization problem for better convergence through the synergy of common properties hidden in the tasks. Third, the EMTEL incorporates evolutionary instance selection for saving the cost at evaluation. Finally, the EMTEL formulates the ensemble learning problem as a numerical optimization problem and proposes an online ensemble aggregation approach to simultaneously select appropriate ensemble candidates from learning history and optimize ensemble weights for aggregating predictions. A case study is investigated by integrating two state-of-the-art methods for evolutionary multitasking and evolutionary instance selection respectively, i.e., the symbiosis in biocoenosis optimization and cooperative evolutionary learning and instance selection. For online ensemble aggregation, this study adopts the well-known covariance matrix adaptation evolution strategy. Experiments validate the effectiveness of the EMTEL over conventional and advanced evolutionary machine learning algorithms, including genetic programming, self-learning gene expression programming, and multi-dimensional genetic programming. Experimental results show that the proposed framework ameliorates state-o
This Research to Practice Full Paper presents our experience of positive outcomes with increased motivation and retention in teaching an introductory computerscience course with Python programming. Without reinventin...
详细信息
ISBN:
(数字)9781728189611
ISBN:
(纸本)9781728189628
This Research to Practice Full Paper presents our experience of positive outcomes with increased motivation and retention in teaching an introductory computerscience course with Python programming. Without reinventing the wheel, we infused few well established pedagogies by integrating and evaluating Computational Thinking (CT) skills in a meaningful way. We integrated CT with existing curriculum alongside programming and teaching general problem-solving techniques with a flowchart-based programming environment and without using specific programming concepts or languages at the beginning. Our aim here is not only to teach a programming language per se, but also to teach, at the beginning, the different ways of problem solving, logical reasoning, algorithm design, and programming constructs with minimal or no emphasis on syntax. A positive learning experience is successfully developed for our students by using appropriate pedagogies and strategies. To evaluate the impact of this infusion, a pre- and post-survey as well as a pre- and post-CT test were conducted on student cohort in different sections. The statistical analysis of the survey and test results show evidence of improvement in student's problem solving and coding skills as well as increase in motivation towards programming.
When trying to understand student success in computerscience, much of the attention has been focused on CS1, leaving followup courses such as CS2 less researched. Prior studies of CS2 have often taken a deductive app...
详细信息
ISBN:
(纸本)9798400701382
When trying to understand student success in computerscience, much of the attention has been focused on CS1, leaving followup courses such as CS2 less researched. Prior studies of CS2 have often taken a deductive approach by focusing on predetermined variables such as CS1 grades, the impact of different paths from CS1 to CS2, gender and race. Although this has resulted in a better insight into these variables, we wonder if there might be another way of viewing which variables affect the students' success in the course. We have therefore chosen an inductive approach to better understand what these variables might be and how they interplay. This was done by analysing 16 semi-structured interviews with students enrolled in CS2 who have another speciality than computerscience. The interviews focused mainly on the students' methods for succeeding in the course, experiences of the course and programming background. Through a thematic analysis of the interviews, we found the following five main success variables for CS2: programming competence, computer literacy, opportunity to receive help, ability to help oneself and teaching. These variables can in several cases be related to the ones previously addressed, however, they can also offer a different perspective on student success in the course.
Previous research on programming education has mainly focused on formal learning environments and the programming communities of children and professionals, leaving the daily practices and learning needs of adult novi...
详细信息
ISBN:
(纸本)9798400701382
Previous research on programming education has mainly focused on formal learning environments and the programming communities of children and professionals, leaving the daily practices and learning needs of adult novices who learn to program informally online under-explored. This study aims to address this gap by providing a background that contextualizes the challenges and practices of adult novices learning informally online, with a particular emphasis on self-regulation. A scoping review methodology was employed to explore existing literature on this topic. Of 510 papers returned in the search, only 8 papers met the inclusion criteria for the review. The findings indicate a lack of research on how to support self-regulation in online informal programming learning settings. Additionally, it revealed that adult novices may face challenges such as loneliness, frustration, and uncertainty when learning informally online. It also highlights the potential importance of peer support, metacognitive skills, and self-efficacy in fostering learning in this population. The study presents a novel focus on the role of self-regulation in the context of informal online programming learning and differs from previous literature that largely focuses on formal learning settings. The findings have the potential to inform the field of computing education by shedding light on this population and their specific learning needs.
Message Passing Interface (MPI) is the predominant and most extensively utilized programming model in the High Performance Computing (HPC) area. The standard only provides bindings for the low-level programming langua...
详细信息
ISBN:
(纸本)9783031637483;9783031637490
Message Passing Interface (MPI) is the predominant and most extensively utilized programming model in the High Performance Computing (HPC) area. The standard only provides bindings for the low-level programming languages C, C++, and Fortran. While efforts are being made to offer MPI bindings for other programming languages, the support provided may be limited, potentially resulting in functionality gaps, performance overhead, and compatibility problems. To deal with those issues, we introduce MPI4All, a novel tool aimed at simplifying the process of creating efficient MPI bindings for any programming language. MPI4All is not dependent on the MPI implementation, and adding support for new languages does not require significant effort. The current version of MPI4All includes binding generators for Java and Go programming languages. We demonstrate their good performance with respect to other state-of-the-art approaches.
暂无评论