教学课程资源库 更多>>

关键词： 高校思政教育   计算机专业   课程思政   实践教学  

摘要： 如何改善高校德育工作,让学生把“德”立起,树立正确的人生观,是当下高校思政教育体系需要思考和落实的工作。抓住专业教育领域这一思政育人的重要阵地,探索专业+思政教学育人方式方法,改革高校思政教育教学模式。

关键词： Computer Science   general   Software Engineering/Programming and Operating Systems   Operating Systems   Software Engineering   Artificial Intelligence  

摘要： A method for controlling and restoring data integrity in multidimensional storage systems is developed. The proposed constructs for controlling and restoring the integrity of multi-dimensional data arrays are based on the aggregation of cryptographic methods and error correction codes. Based on the cryptocode structures, we demonstrate a specific feature of the complexation of these approaches, namely, an increased probability of information integrity under conditions of damaging effects induced by a malefactor and environment in multi-dimensional data storage systems. For the developed method, we estimate the probability of detection and correction of errors that occur in multi-dimensional data arrays and violate their integrity.

摘要： Renewing an appreciation of the Bible as a guide to human self-understanding is particularly important in an era when humans are on the verge of destroying the planet and each other. Part 1 of this article examined the first 11 chapters of the book of Genesis to glean insights from stories of Hebrew prehistory that offer insights about the human compulsion to seek security by dominating others and nature. Part 2 proceeds with the stories about historical and quasi-historical figures in the Bible, again seeking insight to help us manage our contemporary self-inflicted problems and gain clarity about a way forward that can lead to healing, restoration, and the regeneration of life.

关键词： Artificial Intelligence   Software Engineering/Programming and Operating Systems  

摘要： We report on the technology transfer project "Do it yourself, but not alone: Companion-Technology for Home Improvement" that was carried out by Ulm University in cooperation with Robert Bosch GmbH. We developed a prototypical assistance system that assists a Do It Yourself (DIY) handyman in carrying out DIY projects. The assistant, based on various AI and dialog management capabilities, generates a sequence of detailed instructions that users may just follow or adapt according to their individual preferences. It features explanation capabilities as well as pro-active support based on communication with the user as well as with the involved tools. We report on the project's main achievements, including the findings of various empirical studies conducted in various development stages of the prototype.

关键词： Computer Science   general   Software Engineering/Programming and Operating Systems   Operating Systems   Software Engineering   Artificial Intelligence  

摘要： A memory model defines the semantics of concurrent programs operating on a shared memory. The most well-known and intuitive memory model, sequential consistency, is too strong for modern languages as it forbids many outcomes observable on modern hardware as a result of compiler and CPU optimizations. This gave rise to so-called weak or relaxed memory models. In recent years dozens of (weak) memory models for programming languages were proposed making different compromises with respect to programmability and the optimization potential. The goal of this paper is to survey and classify these models as well as to provide practical recommendations for language and compiler designers regarding a choice of a memory model. To achieve this goal we picked over 2000 research items from Google Scholar with keywords "Relaxed Memory Models," "Weak Memory Models," and "Weak Memory Consistency." Then, we narrowed down this list to 40 papers having as a contribution a programming language memory model. We divide these models to six main classes and analyze their properties and limitations. We conclude with a discussion on how a choice of a memory model is affected by desired features of a language and suggest several possible directions for future researh in the field of weak memory models.

关键词： Computer science   Bibliometrics   Term life cycles   MACD   Logistic model   Gompertz model  

摘要： Scientific topics vary in popularity over time. In this paper, we model the life cycles of 200 trending topics by fitting the Logistic and Gompertz models to their frequency over time in published abstracts. Unlike other work, the topics we use are algorithmically extracted from large datasets of abstracts covering computer science, particle physics, cancer research, and mental health. We find that the Gompertz model produces lower median error, leading us to conclude that it is the more appropriate model. Since the Gompertz model is asymmetric, with a steep rise followed a long tail, this implies that scientific topics follow a similar trajectory. We also explore the case of double-peaking curves and find that in some cases, topics will peak multiple times as interest resurges. Finally, when looking at the different scientific disciplines, we find that the lifespan of topics is longer in some disciplines (e.g. cancer research and mental health) than it is others, which may indicate differences in research process and culture between these disciplines.

关键词： Privacy   Computer science education   Computer science education   Computer security   Artificial intelligence   Convergence  

摘要： We summarize integrating cybersecurity and artificial intelligence (AI) research in cybersecurity education and implementing a module in an existing noncybersecurity undergraduate engineering course. This initiative will drive the broader community to focus on the convergence of cybersecurity and AI education.

关键词： ESL   Word list   Computer science   Academic vocabulary   Language education  

摘要： This article presents the Computer Science Academic Vocabulary List (CSAVL), a pedagogical tool intended for use by English-for-specific-purpose educators and material developers. A 3.5-millionword corpus of academic computer science texts was developed in order to produce the CSAVL. The CSAVL draws from the improved methodologies used in the creation of recent lemma-based word lists such as the Academic Vocabulary List (AVL) (Gardner & Davies, 2014) and the Medical Academic Vocabulary List (MAVL) (Lei & Liu, 2016), which take into account the disciplinespecific meanings of academic vocabulary. The CSAVL provides specific information for each entry, including part of speech and CS-specific meanings in order to provide users with clues as to how each item is used within the context of academic CS. Based on the analyses performed in this study, the CSAVL was found to be a more efficient tool for reaching an minimal level of academic CS reading comprehension than the Academic Word List (AWL) (Coxhead, 2000), or the combination of the AWL with the Computer Science Word List (CSWL) (Minshall, 2013).

关键词： Signal processing algorithms   Adaptation models   Gallium nitride   Computer science   Machine learning algorithms   Numerical models   Convergence   Online learning   recursive identification   separable nonlinear models (SNLMs)   variable projection (VP)  

摘要： In this article, we study the recursive algorithms for a class of separable nonlinear models (SNLMs) in which the parameters can be partitioned into a linear part and a nonlinear part. Such models are very common in machine learning, system identification, and signal processing. Utilizing the special structure of the SNLMs, we propose a recursive variable projection (RVP) algorithm, in which at each recursion, the linear parameters of the model are eliminated, and the nonlinear parameters are updated by the recursive Levenberg-Marquart algorithm. Then, based on the updated nonlinear parameters, the linear parameters are updated by the recursive least-squares algorithm. According to a convergence analysis of the RVP algorithm, the parameter estimation error is mean-square bounded. Numerical examples confirm the satisfactory performance of the proposed algorithm.