Search

With the exponential growth in the volume and complexity of data generated at high-energy physics and nuclear physics research facilities, there is an imperative demand for innovative strategies to process this data in real or near-real-time. Given the surge in the requirement for high-performance computing, it becomes pivotal to reassess the adaptability of current data processing architectures in integrating new technologies and managing streaming data. This paper introduces the ERSAP framework, a modern solution that synergizes flow-based programming with the reactive actor model, paving the way for distributed, reactive, and high performance in data stream processing applications. Additionally, we unveil a novel algorithm focused on time-based clustering and event identification in data streams. The efficacy of this approach is further exemplified through the data-stream processing outcomes obtained from the recent beam tests of the EIC prototype calorimeter at DESY. [ABSTRACT FROM AUTHOR]

In today's world, the increasing demand to use numerical analysis routines for tunnel designs, augmented with ample computing power, has motivated the need for highly optimal and sustainable methods of carrying out parametric analysis with minimal human efforts. This paper discusses an approach and development of a digital tool to automate the process of the design and analysis of tunnel problems. A digital tool called 'ParaRanger' has been developed using the modern programming language Python, and its rich library of third-party packages. The opportunity in this tool is running multiple analyses for a range of input values, using a single base model, without the need of conventionally creating multiple models from scratch and organising its results. The user initially develops a base (soil-structure interaction) model in a nominated commercial software, to create multiple model files automatically using ParaRanger. The tool develops a range of input parameter values, by a user-defined minimum, maximum and an interval. Available parameters for modification include the material properties for the soil, rock and structural elements, or geometry parameters such as rock bolt length and spacing. These models are automated analysed in the commercial software in a batch process, as stipulated by the tool. Finally, the tool organises any nominated results in a template that a designer would like to view for comparison and make further decisions. The tool is a significant advancement in parametric analyses as it helps to run several sensitivity models with limited human intervention, allowing earlier realisation of solutions in a project; hence maximising its benefit. The tool's ability to organise the results in a user-defined format makes it ideal for informing the direction of subsequent numerical analysis. ParaRanger also greatly reduces the time consumption and eventually the cost needed to run parametric analyses. [ABSTRACT FROM AUTHOR]

Continuous assessments are commonly used to determine students' level of understanding to implement measures to address any shortcomings. Assessment practices of programming courses at distance universities have always had numerous drawbacks due to large student bodies and time constraints. The large student body, in most instances, creates questions related to the validity and authenticity of the assessments. Time constraints in grading large numbers of assessments create questions related to the validity and authenticity of the feedback on assessments. The assumption is that the more assessments required for programming courses in a distance learning environment, the more chances there are for cheating and the less time there is to provide feedback for learning. This paper will investigate and report on assessment practices that were adopted in a first-year programming course to ensure valid authentic continuous assessment. Experiences shared in this paper offer programming instructors and the e-learning community, in general, an opportunity to make decisions on the extent to which they can use the continuous assessment strategies employed in their own settings. [ABSTRACT FROM AUTHOR]

At the present time "chaotic nonlinear dynamical systems" is the most popular branch of the mathematical modeling. Many of real life phenomena are nonlinear. In the present paper we investigate the simulations of fractal figures by computer programming. Fractals are strictly dependence with the nonlinear phenomena. There was scientific view that every real phenomenon is regular or stable at the time of Isaac Newton. Later Poincare [2] observed many of the real phenomena are not regular i.e. they are "chaotic". At first time fractal figures observed on the computer by Benoit Mandelbrot with several programmers of at the company IBM in 1980. Later appears the set of Mandelbrot [4] which is fractal, the most important tool of the sets of Julia [1] and strictly depends on the irregular phenomenon. In this paper we learn the developing computer program to obtain fractal figures which applicable to many areas of natural phenomena. [ABSTRACT FROM AUTHOR]

Neutronic parameter calculation of the reactor core is one of the bases for calculating the safety of a nuclear reactor operation. Neutronic calculations using reliable computer codes are needed to provide valid and accurate results. This paper aims to compare the neutronic calculation results of the two Monte Carlo computer codes, namely KENO-VI and MCNP6. The TRIGA 2000 research reactor becomes the object of study in this paper. The calculated neutronic parameters include excess reactivity, shutdown margin, and control rod worths. The calculation results show that the difference in reactivity values calculated by KENO-VI and MCNP6 increases when the number of control rods entering the core increases. The maximum reactivity difference was found to be 0.443 %dk/k for the shutdown margin parameter. The difference in cross-section library data is a factor causing the difference in the calculation results of the two computer codes. The calculation results also show that the KENO results tend to be lower than the MCNP results. Finally, it can be concluded that the differences between the KENO results and the MCNP results observed in this paper are aligned with the literature data. The difference between KENO-VI and MCNP6 calculation results become an important thing when the analyzed shutdown margin value is close to the commonly used shutdown margin limit value, which is −0.5 %dk/k. [ABSTRACT FROM AUTHOR]

In this paper, we aim to provide a comparative study of various chatbots that is created till date. Agent or chatbot technology is a text-based interaction system, often referred to as conversational dialogue. It is being used to combat these issues by mental health experts. A chatbot is a computer programme that uses Natural Language Processing to mimic human-to-human communication over the Internet. A chatbot can forecast users' moods in addition to understanding their emotions. Various works have been thoroughly studied and from there we have performed the comparison of the chatbot. We have compared and analyzed the papers based of various performance metrics and got a detailed analysis of the technology used and accuracy achieved. [ABSTRACT FROM AUTHOR]

The authors of this scientific paper would like to highlight some didactic-applied contributions regarding the design and the programming of an MB-UGV-1 robotic technological tracked product intended for engineering missions. The following aspects are highlighted: the presentation of the main organological elements from the mechanical structure of the tracked mini-robot, aspects regarding the command and programming elements of the technological product, the advantages and the disadvantages it has. The originality of this paper consists in the following elements: the manner of assembling the organological elements on the mechanical structure of the product, the writing of a program specific to and necessary for the mobility of each degree of freedom associated with the mechanism generating trajectories, the possibility of implementing the mini-robot in didactical applications. [ABSTRACT FROM AUTHOR]

This paper explores Morabaraba, a strategy-based African indigenous game, to develop problem-solving skills in computer programming students enrolled in higher education institutions in South Africa. This paper will not test any hypothesis or analyse any data collected, but rather explore the Morabaraba game play required to successfully solve programming problems. Morabaraba is a traditional South African game that has been passed down through generations of Africans which requires strategic and analytical thinking to win the game. The result of the research identifies the critical thinking skills and abstract thoughts required for successful problem solving and correlates these to the skills that Morabaraba develops. [ABSTRACT FROM AUTHOR]

The English language is but one of many languages globally in use, yet it seems to dominate the world of automation in its application to computer programming. Our research considers a programming environment in which the written word is not relevant; instead of text, we consider the use of physical objects to represent simple computer programs. This paper presents a reality in which artefacts, based on culturally significant objects, are chosen and arranged by the layperson in order to control the behaviour of light bulbs in a domestic environment. This work incorporates aspects of Gestalt theory and visual perception theory. We give an overview of prior work and conclude with an example. [ABSTRACT FROM AUTHOR]

The English language is but one of many languages globally in use, yet it seems to dominate the world of automation in its application to computer programming. Our research considers a programming environment in which the written word is not relevant; instead of text, we consider the use of physical objects to represent simple computer programs. This paper presents a reality in which artefacts, based on culturally significant objects, are chosen and arranged by the layperson in order to control the behaviour of light bulbs in a domestic environment. This work incorporates aspects of Gestalt theory and visual perception theory. We give an overview of prior work and conclude with an example. [ABSTRACT FROM AUTHOR]

FastCaloSim is a parameterized simulation of the particle energy response and of the energy distribution in the ATLAS calorimeter. It is a relatively small and self-contained package with massive inherent parallelism and captures the essence of GPU offloading via important operations like data transfer, memory initialization, floating point operations, and reduction. It was identified by the High Energy Physics Center for Computational Excellence project as a good testbed for evaluating the performance and ease of portability of programming models. In this paper, we will discuss the results of our evaluation of the porting process to Kokkos, SYCL, Alpaka, OpenMP and std::par (nvc++), and compare performance on NVIDIA, AMD and Intel GPUs, as well as multicore CPUs. [ABSTRACT FROM AUTHOR]

Government regulation shapes many aspects of the design of a product. This paper addresses the effect of the complexity of a regulation on product architecture through the structure of the regulation itself. The structure of a regulation derives from dependencies among requirements and parameters in the regulation that are ipso facto design elements. Since design elements such as requirements and parameters have no formal definition in regulation, it is difficult to identify them accurately and consistently. We apply two approaches to defining and coding requirements and parameters in the context of washing machine regulation. The two coding approaches generate networks of design elements that are analyzed to measure the complexity of the regulation and by extension the product. We find significant differences in the complexity of the regulation when coded in different ways and note deficiencies and strengths of each approach. These findings will support future research to measure the impact of regulatory complexity on product architecture. [ABSTRACT FROM AUTHOR]

This paper describes the design and development of an appropriate data science curriculum accessible to non-computing majors with little or no programming background. This project took a two-prong approach to address such a curriculum: (1) a Web-based Data Science Learning Platform was developed to offer such students hands-on practice with processing and analyzing data without needing to write code, and (2) a Data Science Curricular Module for teaching data science concepts in both an existing Computer Science Principles course and a follow-on Data Science Principles course. The paper also discusses initial experiences with deploying the curricular module at Rochester Institute Technology. [ABSTRACT FROM AUTHOR]

This work-in-progress paper describes engineering students' experiences in an NSF-funded project that partnered undergraduate engineering students with pre-service teachers to plan and deliver robotics lessons to fifth graders at a local school. This project aims to address an apparent gap between what is taught in academia and industry's expectations of engineers to integrate perspectives from outside their field to solve modern societal problems requiring a multidisciplinary approach. Working in small teams over Zoom, participating engineering, education, and fifth grade students designed, built, and coded bio-inspired COVID companion robots. The goal for the engineering students was to build new interprofessional skills, while reinforcing technical skills. The collaborative activities included: (1) training with Hummingbird BitTM hardware (e.g. sensors, servo motors) and coding platform, (2) preparing robotics lessons for fifth graders that explained the engineering design process (EDP), and (3) guiding the fifth graders in the design of their robots. Additionally, each undergraduate engineering student designed a robot following the theme developed with their preservice teacher and fifth grade partners. The intervention took place in Spring 2021 amidst the COVID-19 pandemic, necessitating the investigators to make critical decisions to address challenges of implementing the intervention in an online setting. This paper describes those decisions as it investigates how the cross-disciplinary, mixed-aged collaboration with preservice teachers and fifth graders impacted undergraduate engineering students' learning and investment during the design process of their robots. Preliminary results of a regression analysis revealed a relationship between the engineering students' robot rankings and post-scores on the design process knowledge survey (r = 0.92). Consistencies and a few anomalies in this pattern were explained using qualitative reflections which were analyzed to determine students' level of investment in the project, overall perceptions, and the extent to which they focused on the fifth graders' ideas in their designs. In general, robot quality was linked to both undergraduate engineering students' level of investment and whether they focused on the fifth graders' ideas in their designs. Engineering students' overall perceptions of the project were generally positive, appreciating the role of cross-disciplinary and mixed-aged collaborations in their learning to brainstorm innovative solutions and interact effectively with professionals outside of engineering as they embark on tackling societal problems in the real world. [ABSTRACT FROM AUTHOR]

This Research paper discusses the opportunities that utilizing a computer program can present in analyzing large amounts of qualitative data collected through a survey tool. When working with longitudinal qualitative data, there are many challenges that researchers face. The coding scheme may evolve over time requiring re-coding of early data. There may be long periods of time between data analysis. Typically, multiple researchers will participate in the coding, but this may introduce bias or inconsistencies. Ideally the same researchers would be analyzing the data, but often there is some turnover in the team, particularly when students assist with the coding. Computer programs can enable automated or semi-automated coding helping to reduce errors and inconsistencies in the coded data. In this study, a modeling survey was developed to assess student awareness of model types and administered in four first-year engineering courses across the three universities over the span of three years. The data collected from this survey consists of over 4,000 students' open-ended responses to three questions about types of models in science, technology, engineering, and mathematics (STEM) fields. A coding scheme was developed to identify and categorize model types in student responses. Over two years, two undergraduate researchers analyzed a total of 1,829 students' survey responses after ensuring intercoder reliability was greater than 80% for each model category. However, with much data remaining to be coded, the research team developed a MATLAB program to automatically implement the coding scheme and identify the types of models students discussed in their responses. MATLAB coded results were compared to human-coded results (n = 1,829) to assess reliability; results matched between 81%-99% for the different model categories. Furthermore, the reliability of the MATLAB coded results are within the range of the interrater reliability measured between the 2 undergraduate researchers (86-100% for the five model categories). With good reliability of the program, all 4,358 survey responses were coded; results showing the number and types of models identified by students are presented in the paper. [ABSTRACT FROM AUTHOR]

Cyclic code is one of the important type of linear codes. This type of codes has interesting algebraic sturctures and important applications. One of the generalization of cyclic codes is quasi cyclic codes which also could be generalized further to be Generalized Quasi-Cyclic (GQC) code. The latter codes use arbitrary permutation instead of cyclic shift as in cyclic codes. The GQC code has been an interesting topic to study until now and has an important application in Post-Quantum Cryptography. For instance, it has been used as keys in McEliece cryptosystem. In this paper, we give a construction of q-ary GQC code using Gray Map from GQC code over the ring B1. The main result in this paper is if we have a GQC code over B1, then the image of such code under certain Gray map is a q-ary GQC code. Also, some examples of optimal codes produced by computer search based on the main result. [ABSTRACT FROM AUTHOR]

Sorting algorithm is an old classic practice. Beginners in programming practice it to test their understanding of programming concepts. This paper presents a new sorting algorithm, which the author coins as Array Sorting Algorithm (ASA). It works only if the elements to be sorted are positive integers. Most database systems use positive integer numbers as primary keys. Other important data fields, such as IDs, bank accounts, and aviation tickets use positive integers. none Comparisonbased Sorting. The real challenge when dealing with ASA is the repeated elements to be sorted, which the present study tackles using a two-dimensional array. The second column is used as a counter, in order to show the repetition of each element. The complexity of the founded sorting algorithms was bubble sort, selection sort, and insertion sort algorithms. Their complexity is O(n * log n). ASA's complexity varies between O(n), best-case, and O(2*n), worst case. This depends on whether or not the value of the elements is repeated. Another advantage of ASA is its simplicity in understanding and implementation. The none Comparison-based Sorting algorithms prevail the lower bound of O(n*log n) of the comparison-based sorting algorithms because they do not use comparison sort.. [ABSTRACT FROM AUTHOR]

Collaborative robots ("cobots") have attracted growing attention in academia and industry over the last years. Due to in-built safety features and easy programming, they allow for close human-cobot collaboration and support e.g. flexible manufacturing. However, the lack of a common understanding what a cobot is along with its traditional focus on arm-based cobots complicates further research and industry adoption. Thus, this paper analyses the variety of definitions in literature incl. standards and practice examples to derive a consistent and holistic definition and taxonomy of what a collaborative robot is. Aside from contributing a structured overview of various forms of human-robot collaboration, this builds an important foundation for future research as it systematically differentiates different cobot types. Companies and other organisations will benefit by a better understanding of what type of cobot they need and how to ensure safe collaboration. [ABSTRACT FROM AUTHOR]

User Experience is becoming an increasing centre of interest both in the academic and industrial worlds. Design agencies are no strangers to this phenomenon and are willing to shift from product-oriented design toward user experience design. However, their design process is often loose which may explain a lack of final UX quality or proof of quality, and does not allow to diagnose misuses and improvement opportunities due to a lack of UX formulation and traceability. We propose in this paper to retrospectively represent a design project and its specified, designed and validated UX, in the perspective to conduct a posterior collective diagnosis of UX design in a design agency. The proposed representation model is used to analyse one design project. Results show that only a few UX traces are found in the presented project, and that many dimensions are not considered (like perceptions or affects). Finally, we discuss the next steps of this tool's deployment to create a shared mental model of the design process among the design players. [ABSTRACT FROM AUTHOR]

The engineering of high-quality software requirements generally relies on properties and assumptions about the environment in which the software-to-be has to operate. Such properties and assumptions, referred to as environment conditions in this paper, are highly subject to change over time or from one software variant to another. As a consequence, the requirements engineered for a specific set of environment conditions may no longer be adequate, complete and consistent for another set. The paper addresses this problem through a tool-supported requirements adaptation technique. A goal-oriented requirements modelling framework is considered to make requirements' refinements and dependencies on environment conditions explicit. When environment conditions change, an adapted goal model is computed that is correct with respect to the new environment conditions. The space of possible adaptations is not fixed a priori; the required changes are expected to meet one or more environment-independent goal(s) to be satisfied in any version of the system. The adapted goal model is generated using a new counterexample-guided learning procedure that ensures the correctness of the updated goal model, and prefers more local adaptations and more similar goal models. [ABSTRACT FROM AUTHOR]

GA-based regression test prioritization have ordered test cases by computing fitness value based on the number of affected faults in the coverage information, but most of the researchers use the same severity of faults even if a fault was executed by the previous test case. There have been very little evaluations of the GA-based regression test prioritization, even though there are several studies on GA-based regression test prioritization of object-oriented program (OOP). Most of the evaluations of the previous studies do not consider fault detection efficiency in terms of mutation scores and execution efficiency in terms of execution effort but consider only Average Percentage of the rate of Fault Detection (APFD) metric. The objective of this paper is to integrate the idea of GA with object-oriented programs to aid automated regression test case prioritization of the selected test cases, by proposing a regression test case prioritization strategy for selected test cases of object-oriented programs based on genetic algorithm for efficient OOP regression test case prioritization. This paper proposed an automatic test case prioritization strategy, called HoceDanMafara, and its tool support for Object-Oriented programs. Moreover, a comprehensive empirical study of ten object-oriented programs by the use of mutation analysis was conducted to compare HoceDanMafara and one existing software regression tests prioritization together with non-prioritize and random strategies for regression testing of OOP in term of efficiency of fault detection. The evidence of the efficiency of the proposed strategy are shown in the results of the experiment and statistical tests (p<0.05). The study indicated that the resulting evolutionary tests prioritization produces 27.75% in terms of test effort efficiency compare with randPrior that produces 20.93%, nonPrior produces 14.35% and pSherry produces 20.89%. Therefore, the proposed strategy could be commendable of use as an efficient OOP automatic tests prioritization strategy. [ABSTRACT FROM AUTHOR]

The quality evaluation of software, e.g., defect measurement, gains significance with higher use of software applications. Metric measurements are considered as the primary indicator of imperfection prediction and software maintenance in various empirical studies of software products. However, there is no agreement on which metrics are compelling quality indicators for novel development approaches such as Aspect Oriented Programming (AOP). AOP intends to enhance programming quality, by providing new and novel constructs for the development of systems, for example, point cuts, advice and inter-type relationships. Hence, it is not evident if quality pointers for AOP can be derived from direct expansions of traditional OO measurements. Then again, investigations of AOP do regularly depend on established coupling measurements. Notwithstanding the late reception of AOP in empirical studies, coupling measurements have been adopted as useful markers of flaw inclination in this context. In this paper we will investigate the state of the art metrics for measurement of Aspect Oriented systems development. [ABSTRACT FROM AUTHOR]

In January 2020, an S-STEM grant (Grant #1930497) was awarded to East Carolina University (Greenville, NC) in partnership with three local community colleges. The community college partners were selected to participate in this program based upon their geographic proximity to the university and their offering an Associate's in Engineering degree program. The purpose of this program was to support low-income students through scholarships and programming designed to help the community college students feel welcomed and part of the engineering program at the university before they transfer to the university. The project intended to recruit 80 total scholars in two cohorts of 40. Each cohort was to be comprised of 20 university students and 20 community college students. In-person recruiting events were planned in the service areas of each of the community colleges and in a 10-county region surrounding the university. The original plan for programming was to offer special events and speakers on each campus throughout the academic year so that all of the scholars could meet each other and learn more about the engineering profession. When events were held on the university campus, the goal was to showcase the laboratories and programs available once students complete their associate's degree and transfer and for them to begin developing relationships with the engineering faculty at the university. When events were held on the community college campuses, the goal was for the university students to learn more about the engineering programs at each of the community colleges and to develop relationships with the community college students. The global pandemic required significant pivoting from the original plan for activities and recruitment of students. This paper outlines the recruitment and retention of S-STEM scholars at the three partnering community colleges. In particular, this paper will discuss the three very different approaches each community college took to offering classes and activities on campus during the Covid-19 pandemic and how that impacted course offerings and program implementation. This works in progress paper outlines the activities done to this point in the project and the plans for future years. [ABSTRACT FROM AUTHOR]

This research paper describes our analysis of how student exam scores in a large introductory programming course evaluate student learning in the context of other assessment mechanisms. Data from Academic Years 2018-2019 and 2020-2021 were used to compare the pre-pandemic individual assessment scheme with the revised scheme implemented in response to the shift to remote instruction. Our analysis focused on two key questions: 1) How well are individual assessments enabling students to demonstrate their learning? and 2) how equitable are the assessments with respect to grade outcomes for students with historically marginalized identities? Specifically, our aim was to reduce the onerous workload of exam preparation for the instructional team, while assessing student knowledge in a pedagogically effective and equitable way. Based on the results of this development and analysis, we implemented a four-assessment structure for Fall 2021. Preliminary analysis of these assessments indicate that the new assessments are more equitable and enable earlier identification of students who may be struggling with the course material. Additionally, the new assessment infrastructure requires significantly less instructor time to maintain and implement from term to term. In this paper, we will describe our motivation for this study, the analysis of past exam and course data, our thought process for the new assessments, and a preliminary analysis of the effectiveness and equity of the new assessments. We hope that others find our experiences and analysis useful when informing their own assessment decision making. [ABSTRACT FROM AUTHOR]

This paper describes the visual interface of a configurable and extensible system to support generic work with shape grammars. Shape grammars allow the implementation of computational mechanisms to analyze and synthesize designs of visual languages and have been used to represent the knowledge behind the creative work of architects, designers and artists. This kind of grammars is inherently visual. The system described, a kind of universal machine for shape grammars, allows users to build their own shape grammars and experiment with them. It has been the focus of our past work, it mixes technological and artistic aspects and it has a specific computational architecture which includes a symbolic and a visual interface. The latter one is the subject of this paper. [ABSTRACT FROM AUTHOR]

We present tools for high-performance analysis written in pure Julia, a just-in-time (JIT) compiled dynamic programming language with a high-level syntax and performance. The packages we present center around UnROOT.jl, a pure Julia ROOT file I/O package that is optimized for speed, lazy reading, flexibility and thread safety. We discuss what affects performance in Julia, the challenges, and their solutions during the development of UnROOT.jl. We highlight type stability as a challenge and discuss its implication whenever any "compilation" happens (incl. Numba, Jax, C++) as well as Julia's specific ones. We demonstrate the performance and "easy to use" claim by comparing UnROOT.jl against popular alternatives (RDataFrame, Uproot, etc.) in medium-size realistic benchmarks, comparing both performance and code complexity. Finally, we also showcase real ATLAS analysis workflows both locally and on an HPC system, highlighting the composability of UnROOT.jl with multithread/process and out-of-core distributed computing libraries. [ABSTRACT FROM AUTHOR]

The Mini Labyrinth experiment is a simple neutron and gamma shielding experiment developed at Slovak University of Technology (STU), inspired by the ALARM-CF-AIR-LAB-001 ICSBEP benchmark. Compared to the original Labyrinth, which was made from concrete blocks and had dimension of several meters, the STU Mini Labyrinth is approximately ten times smaller and consists of NEUTRONSTOP shielding blocks. So far, several versions and modifications of the Mini Labyrinth have been investigated, currently the V2-25-L version is used for code evaluation. This version uses a PuBe neutron source loaded in the entrance of the Mini Labyrinth, a plastic tank filled with light water moderator and the NuDET plastic scintillation neutron detector, which can be placed around the experimental workplace. This detector has a significant role in the experiment since it is a calibration apparatus and provides real time data on the rates of ambient dose equivalents of neutron radiation. On the other hand, as it is a certified commercial product, the response function of this detector is unknow, which makes a significant challenge of verifying the measured data with computer codes. This paper presents a result of a series of measurements with the NuDET detector performed at STU and discusses the options, how to verify the experimental results by the SCALE6 system in the most effective way. [ABSTRACT FROM AUTHOR]

Computer-Assisted Audit Tools and Techniques' use among auditors has been a research topic on information systems' acceptance or adoption. Since the late 70, guidelines and suggestions on Computer-Assisted Audit Tools' use, relating it to auditors' efficacy and efficiency, have been published by professionals, academics and authoritative bodies. In this paper, the main objective is to define statutory auditors' profiles on Computer-Assisted Audit Tools' use. Those profiles emerge from frequent use of CAATs and on the tasks that are being done with CAATs. Indications on further use are presented and discussed. To achieve the objective, an online survey was developed and 110 complete answers were considered. Beyond profiles definition, this paper defines groups of CAATs. This research contributes to enlighten a possible gap between auditors' needs, available training programmes and software houses' releases: despite tools' potential, auditors keep using spreadsheet to execute most of the work. With more focused training, based on, e.g. applied statistics, Data mining and Benford's Law to fraud detection, this scenario can change in the next years. [ABSTRACT FROM AUTHOR]

Data is the integration of various AI (AI) algorithms for important features, the online details are scattered everywhere and controlled separately who do not believe in each other, and the use of information in complex Cyberspace. Too fast and hard to authorize or verify. Because of this, it is very difficult to enable data sharing on cyberspace of big data important, and as a matter-of-fact powerful AI. In this paper, we propose Secretary Network, I construction that will keep data safe, computer programming, and sharing within the Internet environment, aimed at a real cyber safe real estate data and thus improve AI with multiple data sources, with to combine three key elements: Block proprietary data sharing guarantee, which allows for reliable data sharing within a large area to make real big data; Creating a reliable cyberspace, based on AI a secure computer platform is used for mass production smart safety rules. A reliable way to exchange the purchase price Security, they provide the way participants can see economic rewards when releasing their data or service, which encourages the sharing of information and thus achieves better AI performance. Moreover, we talk standard usage of Sec Net and its another possible method, as well as analysis its effectiveness from the aspect of network security and economic revenue. [ABSTRACT FROM AUTHOR]

Purpose - The aim of this paper is to examine the key factors, which influence residents' participation in sustainable development of rural tourism destinations in Serbia, and which are related to the resident's support and their attachment to the place of residence. Authors also examined the potential positive impact of local community attachment and resident's support on the benefits for residents, which are realized from tourism development as well as the sustainable aspect of the rural tourism destinations in Serbia. Methodology - The research sample includes residents of rural Serbia, who filled out an online questionnaire which was defined based on the previously conducted research by Than et al. (2020). The key variables are community attachment, resident support, and perceived benefits (socioeconomic and cultural), socio-economic, cultural, and environmental sustainability. The PLS-PM analysis was performed for data analysis in the R programming language 4.2.5. Findings - The results show that the residents' perceived benefits positively affect the sustainability of rural tourist destinations in Serbia. Although this research started from the assumption that community attachment and resident's support are positively affecting the perceived benefits of rural households and sustainable development of Serbia as a tourist destination, the obtained research results did not confirm this. Contribution - This study enables a more complete understanding of the relevance of the inclusion of residents in the rural destination's sustainable development, but also can be used as an important source of information for defining and implementing future policies and strategies of rural development. [ABSTRACT FROM AUTHOR]

Advanced programming skills are required for computing courses on merging topics, and students often struggle to develop these skills to solve complex problems. To address this challenge, faculty members provide additional lectures, practice sessions, and educational technology tools. This paper discusses the challenges faced by computer science students in developing advanced programming skills and explores the use of AI chatbots, specifically ChatGPT, as a support tool for learning. We study the engagement and effectiveness of ChatGPT in helping students learn advanced programming skills using two engagement learning frameworks (CIE and MELT) for evaluation. The study involves designing a computing lab exercise (design and code questions) for students to complete using ChatGPT and collecting data through surveys. The findings provide initial evidence that ChatGPT can be an effective tool for supporting student learning in advanced programming courses. [ABSTRACT FROM AUTHOR]

To learn and teach programming is very difficult, often leads to poor results, and causes many students to drop out or turn away from the subject. Cognitive load theory can help to understand the challenges students face, improve programming education, and select an appropriate language for instruction. In this paper, we take a theoretical look at programming education and, in particular, language characteristics that reduce students' cognitive load and thus enable rapid learning and frustration-free productivity. We introduce the REXX language and some of its favorable characteristics that make it possible to teach novices programming within a single semester. In this limited time, students are empowered to program Microsoft products (Windows, Office), address the command line, grasp the basics of objectoriented programming, use Java classes, and create portable graphical user interfaces (GUIs) with JavaFX. [ABSTRACT FROM AUTHOR]

Program verification is one of the most important methods to ensuring the correctness of concurrent programs. However, due to the path explosion problem, concurrent program verification is usually time consuming, which hinders its scalability to industrial programs. Parallel processing is a mainstream technique to deal with those problems which require mass computing. Hence, designing parallel algorithms to improve the performance of concurrent program verification is highly desired. This paper focuses on parallelization of the abstraction refinement technique, one of the most efficient techniques for concurrent program verification. We present a parallel refinement framework which employs multiple engines to refine the abstraction in parallel. Different from existing work which parallelizes the search process, our method achieves the effect of parallelization by refinement constraint and learnt clause sharing, so that the number of required iterations can be significantly reduced. We have implemented this framework on the scheduling constraint based abstraction refinement method, one of the best methods for concurrent program verification. Experiments on SV-COMP 2018 show the encouraging results of our method. For those complex programs requiring a large number of iterations, our method can obtain a linear reduction of the iteration number and significantly improve the verification performance. [ABSTRACT FROM AUTHOR]

This paper describes a novel approach to synthesize molecular reactions to compute a radial basis function (RBF) support vector machine (SVM) kernel. The approach is based on fractional coding where a variable is represented by two molecules. The synergy between fractional coding in molecular computing and stochastic logic implementations in electronic computing is key to translating known stochastic logic circuits to molecular computing. Although inspired by prior stochastic logic implementation of the RBF-SVM kernel, the proposed molecular reactions require non-obvious modifications. This paper introduces a new explicit bipolar-to-unipolar molecular converter for intermediate format conversion. Two designs are presented; one is based on the explicit and the other is based on implicit conversion from prior stochastic logic. When 5 support vectors are used, it is shown that the DNA RBF-SVM realized using the explicit format conversion has orders of magnitude less regression error than that based on implicit conversion. [ABSTRACT FROM AUTHOR]

Contemporary education promotes the usage of digital games to support learning programming. Such games are not designed for entertainment, but specifically for educational purposes. Students start from a very early age to interact with computers through games and consequently, react positively on the educational digital games. When used for education, digital games have the potential to motivate students towards active participation and interaction. In addition, educational digital games make complex and abstract topics like programming more friendly. Games that support learning programming enable students to learn programming concepts using visual interfaces and interesting environments. In these games, younger students are usually expected to move the main character around the given path and perform a series of tasks (e.g. collect objects, skip the obstacles). Instead in a textual editor, students are coding through drag and drop interactions, and create programs that include basic programming concepts like sequence, variables, loops, and conditions. Furthermore, digital games are a good for visualizing the execution of algorithms that are often hard to understand. To make the game more interesting, the main character is often presented as an animated robot, animal or a cartoon character familiar to the students. The paper explores the possibilities of using existing digital games in learning basic programming skills, highlighting which programming concepts the game supports and for which it is recommended and appropriate to be used. This is the first step in the design of an educational game that is intended to develop within the “Coding4Girls” and "Digital games” projects. Future activities and plans for both projects are presented in the paper. [ABSTRACT FROM AUTHOR]

The aim of this paper is to identify emerging design principles when developing, piloting and implementing gamerelated Design Thinking activities for primary and lower secondary classrooms. The analyses are based on data from the large-scale intervention project GBL21 (Game-Based Learning in the 21st Century), which explores and measures how 1600 students working with game-related design activities in the subjects Danish, mathematics and science are able to develop design competencies such as being able to construct and communicate design solutions. In the paper, we focus on qualitative data from a pilot study on how two teachers adopt and enact one teaching unit in mathematics in grade 7. The challenge for the students is to design and construct a tangram game using the visual block-programming language Scratch with a set of agreed constraints (e.g. constructing pieces of a particular form). In our analysis, we identify design principles that support the enactment of the unit as exemplified by the two teachers. For our purpose, their teaching is interesting because they use quite different strategies when adopting the unit. One finding is that the material objects and close attention to dialogue are vital when coupling Design Thinking, game-like activities with subject matter (e.g. mathematics). [ABSTRACT FROM AUTHOR]

The low throughput rates for computer programming courses worldwide, especially at the first-year level, have been researched for many years. This has led to research being published on different methods in terms of teaching and/or pedagogy, e-learning, as well as testing and assessments, which can be used for such programming courses. However, implementing these suggested methods in an Open and Distance e-Learning (ODeL) environment poses challenges. The relevance to the themes of this conference and value-added contribution to academic debate of this paper, as well as potential impact on galvanising Open and Distance e-Learning research, will lie in discussing the combination of testing and assessment methods implemented via the Learning Management Systems (LMSs) in a first-year programming course to promote Self-Directed Learning (SDL), in an attempt to improve the throughput rate. The research will further show that the testing and assessments utilised reliably measured the essential theoretical, practical and communicational skills of first-year programming students. Apart from those mentioned otherwise, sub-themes related to researching technology-supported trends in ODeL and stimulating capacity for ODeL research through digital literacy were also considered. In terms of the appropriateness of the research/study method, research paradigm and educational research methodologies used in the ODeL environment, the research was quantitative in nature, and an approach focussing on data analysis was followed. The results in this paper will show what impact the implementation of online teaching, e-learning and these testing and assessment methods had on students’ self-directed learning. Experiences and outcomes shared in this paper offer opportunities towards supporting and motivating e-learning teachers and the e-learning community, in general, as well as an opportunity to make decisions on the extent to which they can use the teaching, e-learning and testing and assessment strategies employed in this research in their own settings at their Higher Education Institutions (HEIs). This paper finally represents an effort towards capacity development and capacity-building with regard to mentoring a young and emergent scholar. [ABSTRACT FROM AUTHOR]

This paper is a report on The 10th IEEE/ACM International Workshop on Automation of Software Test (AST 2015) at the 37th International Conference on Software Engineering (ICSE 2015). It sets a special theme on testing oracles. Keynote speeches and charette discussions are organized around this special theme. 16 full research papers and 2 keynotes will be presented in the two-day workshop. The report will give the background of the workshop and the selection of the special theme, and report on the organization of the workshop. The provisional program will be presented with a list of the sessions and papers to be presented at the workshop. [ABSTRACT FROM AUTHOR]

Massive Open Online Courses (MOOCs) is a new online possibility of education with the help of reading materials, video lectures and tests. Online coding exercises are essential in computer programming courses. For students, it is important to receive rapid feedback on their coding submissions and there is an automatic grader that is responsible for evaluating source-code submissions. This paper presents a technique based on the Java unit testing framework that allows automatic grading of code chunks and the concepts and further techniques for grading Java code submissions. The paper also presents the system architecture, components, and security considerations of our grading system. Further possibilities of the grading system, are also discussed, like coding style recognition and encourage using coding standards. [ABSTRACT FROM AUTHOR]

Geoportals has become more significant and more common communication platform, used between institutions, companies and clients. The most important feature of mapping portals is sharing of spatial data to a wide audience quickly and easily. However, despite of all benefits accrued through their use, the popularity of geoportals is still too small. Probably the reason for that is the conviction of the high cost of implementation, or the lack of knowledge about the possibilities of presenting spatial data in this form. Free and open source (FOS) software is developing rapidly, particularly for the construction of mapping portals. It can provide a feature-complete alternative to a proprietary software in most system designs. FOS software is adaptable to user's needs, without restrictions and fees, but customization can be difficult to achieve for users (lack of programming knowledge) or it can cost a lot (salary for a programmer). Therefore, the aim of this paper is to analyze the FOS software for the construction of geoportals and check whether the programming knowledge is necessary to build a functional geoportal. The author focuses on three applications: deegree3, geoserver, and MapGuide Open Source Platform. Each of them was tested and described in terms of ease of installation, commissioning and configuration of the individual components of the system. Availability and clarity of the user's manual and tutorials were checked. In the first part of the paper the aim, theory and detailed assumptions about the study are presented. Further the typical architecture of geoportals is described. The next section presents selected applications in terms of their practical use to create geoportals. The final part of the paper presents the conclusions of the researches carried out. [ABSTRACT FROM AUTHOR]

Programming performance in computer science disciplines has often been attributed to students' commitment to understanding the subject matter and their aptitude for logic and mathematics. Until now various technologies, such as optimization methods, have been researched by scientists and engineers. However, few studies focused on the influence of psychological factors on programming performance. Specifically, a research question that how personality factors impact the machine time of source code written by programmers needs to be solved. In this paper, we conducted a descriptive, nonexperimental empirical study: utilizing personality factors based on Myers Briggs Type Indicator (MBTI) model to explore whether a personality impacts students' programming performance measured by machine time. Naturally, programmers who prefer to focus on the tasks at hand outperform programmers who put more focus on personal concerns. This hypothesis was verified by statistical analysis in our experiment. In this experiment, 324 students were recruited in Matlab programming course in the Fall semester, 2017 at Auburn University, USA. A personality survey hosted online at surveymonkey.com was administered to participants, while 7 assignments were used to test students' programming performance. Further, we also explored the relationship between programming performance and personality with the Pearson correlation method. Using statistical results from this empirical experiment, this paper discussed and made conclusions about the relationship between computer science students' performance on programming tasks and their personality, specifically Thinking and Feeling types. Based on experimental results, we also presented pedagogical guidelines for computer science instructors in their pursuits of educating the next generation of programmers. [ABSTRACT FROM AUTHOR]

Traditional teaching methods for teaching computer programming suffer from keeping students engaged and motivated to learn how to code. On the other hand, video games have a very high successful rate of keeping players motivated and engaged for hours without loss of focus to solve a set of tasks without feeling fatigued or frustrated. In this regard, in this research we analyse the effectiveness of gamified learning methods compared to traditional learning methods for teaching computer programming by conducting a study where students are taught computer programming using both teaching methods. The results from our user study are presented in this paper. [ABSTRACT FROM AUTHOR]

Avoiding security vulnerabilities is very important for embedded systems. Dynamic Information Flow Tracking (DIFT) is a powerful technique to analyze SW with respect to security policies in order to protect the system against a broad range of security related exploits. However, existing DIFT approaches either do not exist for Virtual Prototypes (VPs) or fail to model complex hardware/software interactions. In this paper, we present a novel approach that enables early and accurate DIFT of binaries targeting embedded systems with custom peripherals. Leveraging the SystemC framework, our DIFT engine tracks accurate data flow information alongside the program execution to detect violations of security policies at run-time. We demonstrate the effectiveness and applicability of our approach by extensive experiments. [ABSTRACT FROM AUTHOR]

Transient execution attacks, such as Spectre and Meltdown, create a new and serious attack surface in modern processors. In spite of all countermeasures taken during recent years, the cycles of alarm and patch are ongoing and call for a better formal understanding of the threat and possible preventions. This paper introduces a formal definition of security with respect to transient execution attacks, formulated as a HW property. We present a formal method for security verification by HW property checking based on extending Unique Program Execution Checking (UPEC) to out-of-order processors. UPEC can be used to systematically detect all vulnerabilities to transient execution attacks, including vulnerabilities unknown so far. The feasibility of our approach is demonstrated at the example of the BOOM processor, which is a design with more than 650,000 state bits. In BOOM our approach detects a new, so far unknown vulnerability, called Spectre-STC, indicating that also single-threaded processors can be vulnerable to contention-based Spectre attacks. [ABSTRACT FROM AUTHOR]

Most current real-time parallel applications can be modeled as a directed acyclic graph (DAG) task. Existing worst-case response time (WCRT) bounds (e.g., Graham's bound) derived for DAGs may be very pessimistic. No one precisely knows the gap between the WCRT bound and the actual WCRT. In this paper, we aim to derive the exact WCRT of a DAG task under the list scheduling upon multi-core platforms. We encode the WCRT analysis problem into a satisfaction modular theoretical (SMT) formulation based on insights into the list scheduling algorithm, and prove that our SMT program can solve the WCRT precisely, providing an accurate baseline to measure the tightness of the existing WCRT bounds. Experiments show that our method significantly improves the tightness of the WCRT bound, and is practically quite efficient, e.g., it can analyze DAGs with more than 40 vertices in a few seconds. [ABSTRACT FROM AUTHOR]

Fanouts are an essential element for signal cloning to achieve logic sharing, but can be a very limited resource in certain emerging technologies, such as quantum circuits, superconducting electronic circuits, photonic integrated circuits, and biological circuits. Although fanout synthesis has been intensively studied for high performance circuit synthesis, prior methods often treat fanout as a soft constraint for critical path optimization or target on specific high-fanout nets such as clock and reset signals. They are not particularly suited for circuit synthesis of these emerging technologies. By treating fanouts as first class citizens, the problem of fanout-bounded logic synthesis was posed as a challenge in the 2019 IWLS Programming Contest. In this paper, we present our winning method, which achieved the overall best quality in the competition, based on fanout load redistribution among existing or expanded equivalent signals. [ABSTRACT FROM AUTHOR]

As machine codes evolved from programming into autocodes and assemblers and then to high-level languages, programmers' productivity rose dramatically. Modern programming languages focus on high productivity and an ergonomic interface. Yet, there are no successful programming languages that would have an intuitive interface and an ergonomic syntax. This paper presents a cognitive ergonomic approach to the syntax design of programming languages, which helps improve computer programming in terms of such criteria as language simplicity and clarity of constructs. The goal hereof is to design the structure of a novel programming language on the basis of the cognitive ergonomic approach. The result is an ergonomically structured syntax for a programming language that has all the features of state-of-the-art high-level languages. Programmers and experts in programming language interface ergonomics and human-computer interaction may find the results interesting. [ABSTRACT FROM AUTHOR]

Numerical computation packages are widely used both in teaching and research. These packages consist of license (proprietary) and open source software (non-proprietary). One of the reasons to use the package is a complexity of mathematics function (i.e., linear problems). Also, number of variables in a linear or non-linear function has been increased. The aim of this paper was to reflect on key aspects related to the method, didactics and creative praxis in the teaching of linear equations in higher education. If implemented, it could be contribute to a better learning in mathematics area (i.e., solving simultaneous linear equations) that essential for future engineers. The focus of this study was to introduce an additional numerical computation package of Scilab as an alternative low-cost computing programming. In this paper, Scilab software was proposed some activities that related to the mathematical models. In this experiment, four numerical methods such as Gaussian Elimination, Gauss-Jordan, Inverse Matrix, and Lower-Upper Decomposition (LU) have been implemented. The results of this study showed that a routine or procedure in numerical methods have been created and explored by using Scilab procedures. Then, the routine of numerical method that could be as a teaching material course has exploited. [ABSTRACT FROM AUTHOR]

The flipped classroom format is becoming increasingly accepted among many engineering schools. By offering traditional lecture material online or outside of the scheduled class time, students are able to spend their interaction time with the instructor on hands-on homework and application activities. Like many undergraduate engineering programs, at the Schulich School of Engineering all first year students are required to take the introductory computer programming course. With course enrollment around 800 students, and the relatively wide variety of students with different programming backgrounds, it would be challenging to provide the students with an in-depth learning experience by relying only on a traditional lecture hall format. A flipped classroom provides students with the opportunity to explore the implementation of theoretical programming concepts previously learned online. After a significant redesign, this course has been run in a flipped classroom format since summer of 2015. Weekly video lecture content is provided through an online learning management system, and students are held accountable through embedded quizzes. Students collaborate on interactive studio exercises both inside and outside of class time, culminating in a final creative design project. Data regarding student performance, assessment, and perceptions has been collected over several semesters and will be analyzed and presented in the final paper. Both quantitative and qualitative measures will be included in a mixed methods study. Student performance in consecutive courses will also be discussed in comparison to previous non-flipped cohorts. This paper will outline the design and implementation over two years for this large-scale flipped introductory programming course, and will provide recommendations to other educators based on experience and lessons learned. [ABSTRACT FROM AUTHOR]