教学课程资源库 更多>>

关键词： Editors Desk   Computer Science   Digital Networks   Articles In Issue   Evolutionary Computation   Editor In Chief   Bell Labs   Ubiquitous Computing   Number Of Colleagues   IT Professionals   Turing Test  

摘要： I had anticipated opening my first full edition of “From the Editor’s Desk” with a personal message—an introduction to me for you, the reader. However, in preparation for writing this, I went back over every previous editor in chief’s first introduction and noted that nearly all put the issue first, leaving themselves till the end. Suitably chastened, I shall follow suit.

关键词： Business   Petri nets   Computational modeling   Behavioral sciences   Process control   Computer science   Organizations   Process mining   hierarchical business processes   multi-instance sub-processes   service processes  

摘要： Process discovery aims to extract descriptive process models from event logs. To date, various process discovery algorithms have been proposed for different application settings. However, most of them meet challenges in handling event logs produced from hierarchical multi-instance business processes, in which multiple sub-process instances are invoked by the execution of a parent process. To address the problem, a novel approach is presented to support the discovery of hierarchical multi-instance process models. Specifically, taking event logs with multi-instance information as input, the detailed implementation of our method can be generally divided into four steps: nesting relation detection, hierarchical event log construction, sub-process case identification, and hierarchical multi-instance model discovery. We have implemented our approach properly as plugins in the openly accessible ProM toolkit, and compared its performance against the state-of-the-art process discovery approaches over six publicly available event logs. Based on the experimental result, it is demonstrated that the proposed approach can effectively discover hierarchical multi-instance process models with better quality.

关键词： Computer Science   Intelligent Technology   Landscape Architecture Design   Modelling Analysis   Teaching Link   Virtual Reality Technology  

摘要： Landscape garden design is an important design foundation course for undergraduate students of landscape architecture in China, but the current classroom teaching has the problem of limited spatial dimension of the course. This paper proposes a virtual scene model construction method through the computer software with the creation of the need to display the scene. This virtual reality technology has immersive, interactive, and risque characteristics. This paper focuses on the key points of virtual reality technology, discusses the specific implementation method of virtual reality technology in the "landscape garden design" course, and introduces the interactive control principle. The results of the research show that virtual reality technology to assist teaching can cultivate students' spatial thinking and enhance students' spatial simulation experience, greatly reducing the cost of traditional teaching.

关键词： Optimization   Itemsets   Data mining   Memory management   Computer science   Set theory   Program processors   Association rule mining   SDFP-growth algorithm   dimensionality reduction   optimization   FP-tree pruning  

摘要： An essential element of association rules is the strong confidence values that depend onthe support value threshold, which determines the optimum number of datasets. The existing method fordetermining the support value threshold is carried out manually by trial and error;the user determinesa support value such as 10%, 30%, or 60% according to their instincts. If the support value thresholdis inappropriate, it produces useless frequent patterns, overburdens computer resources, and wastes *** formula for predicting the maximum count of frequent patterns was 2n- 1, wherenis the number ofdistinct items in the dataset. This paper proposes a new SDFP-growth algorithm that does not require manualdetermination of the support threshold value. The SDFP-growth algorithm will perform dimensionalityreduction on the original dataset that will generate level 1 and level 2 smaller datasets, thus automaticallyproducing a dataset with an optimum amount of data with a minimum support value threshold. The proposedformula for predicting the maximum number of frequent patterns will become2(|A|)- 1, which is|A|willalways be smaller thann. Experiments were performed on five various datasets, which reduced the numberof data dimensions by more than 3% on the Level 1 dataset and more than 69% on the Level 2 datasetby maintaining the confidence value of the strong rules. In the execution time evaluated, we found anoptimization of more than 2% on the level 1 dataset and more than 94% on the level 2 dataset.

关键词： Security   Protocols   Authentication   Edge computing   Automobiles   Computer science   5G mobile communication   Vehicular ad hoc networks   Oblivious transfer   authentication and privacy-preserving protocol   TA dependency   5G-enabled vehicular fog computing   VANET   RID   AID  

摘要： The fast development of vehicle technology and the appearance of 5G networks have brought new opportunities as well as challenges for vehicular fog computing. On the one hand, these advances would bring a safer, more efficient, and comfortable car onto our roads;but on the other, they open up huge security and privacy vulnerabilities. Current solutions typically offer inadequate security coverage, rendering vehicular networks susceptible to diverse attacks. We present a first holistic solution that combines entity authentication with privacy preservation in 5G-enabled vehicular fog computing. A novel feature obfuscation involves the vehicle request messages at an early stage and employs advanced cryptographic methods, rendering any potential attacks much more challenging while preventing even a Trusted Authority (TA) from inferring their underlying purpose. This scheme not only maximizes request communication, reduces interaction and computational overhead but also lessens the dependency on TA thus making it more scalable as well as resilient. Theoretical and simulation results show the merits of this protocol in reducing verification latency, and packet loss rate along with computation overheads as well as communication overhead. Experimental results demonstrate the effectiveness of our proposed protocol against existing approaches to provide privacy and security for vehicular communications. The work thus adds to the body of knowledge taking vehicular communication in 5G capable networks a step forward enhancing secured and efficient operation ensuring more secure roads that deliver their contextual alerts setting new standards for safety levels within any existing vehicular network as well.

ISBN: (纸本)9781512826326;1512826324

摘要： Chronicles the history of emancipation through thecradle-to-grave experiences of a remarkable generation of blacknortherners The Rising Generation chronicles th...

关键词： Computer Science   Logic in Computer Science  

摘要： In the context of the stream calculus, we present an Implicit Function Theorem (IFT) for polynomial systems, and discuss its relations with the classical IFT from calculus. In particular, we demonstrate the advantages of the stream IFT from a computational point of view, and provide a few example applications where its use turns out to be valuable.

摘要： Popular science is a well-used term - can we popularise computer science? That's the plan⋯ welcome to a new section of ITNOW. © 2024 BCS, The Chartered Institute for IT.

关键词： Large language models   computing education   code generation   code explanation   programming error messages explanation   Large language models   computing education   code generation   code explanation   programming error messages explanation  

摘要： In recent years, large language models (LLMs) have been employed significantly in different domains of computing education. Nevertheless, these models have been focused on essential adherence to their integration as coding assistants in computing education. However, attention has been switched to thoroughly examining and analyzing LLM behavior, particularly in computing education for programming tasks such as code generation, code explanation, and programming error message explanation. Therefore, it becomes imperative to understand their behavior to examine potential pitfalls. This article addresses this gap systematically and details how different LLM-based coding chatbots, such as ChatGPT, Codex, Copilot, and others, react to various coding inputs within computing education. To achieve this objective, we collected and analyzed articles from 2021 to 2024, and 72 studies were thoroughly examined. These objectives include investigating the existing limitations and challenges associated with utilizing these systems for coding tasks, assessing their responses to prompts containing coding syntax, examining the impact of their output on student learning, and evaluating their performance as debugging tools. The findings of this review highlight that it is premature to incorporate these systems into computing education due to their limitations that may limit their effectiveness as comprehensive coding assistants for computer science students. These limitations include issues with handling prompts containing code snippets, potential negative impacts on student learning, limited debugging capabilities, and other ineffectiveness. The finding also reports multiple research directions that can be considered in future research related to LLMs in computing education.

关键词： 科幻电影   脑机接口   技术伦理   超人类主义   后人类主义  

摘要： 无论是理论视域的介入还是实践层面的考察，有关主体身份的伦理观照是始终伴随的必然命题。面对“人之为人目的”的伦理主体隐忧，脑机接口技术的出场则导向为一种“人之主体是否渐次剥离”的伦理警惕。尽管脑机接口技术现实性的应用伴随着“超人类主义”向“后人类主义”过渡的人类增强或医疗目的的功能性特质，然而其对主体身份伦理问题的探赜却停留在当下性的问询之中。与此同时，科幻电影则以富有未来性关怀的想象力建构了超越性、整体性、前瞻性的伦理困境场。尤其是通过科幻未来影像故事的假定性生成将脑机接口技术对人之主体身份的影响渐次呈现，进一步彰显了脑机互联如何生发人类异化的悲戚可能。同时，在脑机接口和人性弥散与消退的哲学思考中，阐释了人之知情同意权被捆绑后的技术宰治身体与数字永生生命等主体身份的伦理困厄。