教学课程资源库 更多>>

关键词： authentication   computer science   divine action   evidence   identity   reformed theology   religious belief   trust  

摘要： A vital axiom of Reformed theology is that God is who God claims to be, and that he acts to "self-authenticate" his identity to humans through the internal witness of the Holy Spirit. But how ought theologians to represent and make sense of the multiform nature of divine self-authentication (DSA)? And can their models account for the various kinds of evidence God utilizes in acts of DSA, or explain why doubt and deception about divine identity persists despite it? Operating at the intersection of theology and computer science, this study examines how modern authentication technologies can deepen theological reflection upon the nature, evidence, and efficacy of DSA. It proposes that computer authentication "trust systems": (1) offer a valuable schematic for representing the variegated structural patterns inherent in DSA;(2) shed critical light on the forms and functions of evidence used in DSA;and (3) provide strategies and practical measures for offsetting the continuing risk of deception about human and divine identity.

关键词： Speech recognition   Autonomous vehicles   Satellites   Emotion recognition   Next generation networking   Computer science   Communication networks   Speech emotion recognition   autonomous vehicles   artificial intelligence   5G-enabled SAGIN   ITS  

摘要： Speech emotion recognition (SER) is becoming the main human-computer interaction logic for autonomous vehicles in the next generation of intelligent transportation systems (ITSs). It can improve not only the safety of autonomous vehicles but also the personalized in-vehicle experience. However, current vehicle-mounted SER systems still suffer from two major shortcomings. One is the insufficient service capacity of the vehicle communication network, which is unable to meet the SER needs of autonomous vehicles in next-generation ITSs in terms of the data transmission rate, power consumption, and latency. Second, the accuracy of SER is poor, and it cannot provide sufficient interactivity and personalization between users and vehicles. To address these issues, we propose an SER-enhanced traffic efficiency solution for autonomous vehicles in a 5G-enabled space-air-ground integrated network (SAGIN)-based ITS. First, we convert the vehicle speech information data into spectrograms and input them into an AlexNet network model to obtain the high-level features of the vehicle speech acoustic model. At the same time, we convert the vehicle speech information data into text information and input it into the Bidirectional Encoder Representations from Transformers (BERT) model to obtain the high-level features of the corresponding text model. Finally, these two sets of high-level features are cascaded together to obtain fused features, which are sent to a softmax classifier for emotion matching and classification. Experiments show that the proposed solution can improve not only the SAGIN's service capabilities, resulting in a large capacity, high bandwidth, ultralow latency, and high reliability, but also the accuracy of vehicle SER as well as the performance, practicality, and user experience of the ITS.

关键词： computer science   lesson planning   universal design for learning   CSIP plus  

摘要： States increasingly are adopting computer science standards to help students develop coding and computational thinking skills. In an effort to support teachers in introducing computer science content to their students with high-incidence disabilities, a new model, computer science integration planning plus universal design for learning (CSIP+) offers ways to integrate computational thinking and coding into content area instruction. This column presents an example of how a teacher might implement the CSIP+ model when designing instruction accessible to all learners. Guiding questions to support teachers at each phase of the planning cycle are provided.

关键词： Distributed computer systems  

摘要： With the advent of distributed computing, the need for frameworks that facilitate its programming and management has also appeared. These tools have typically been used to support the research on application areas that require them. This poses good initial conditions for translational computer science (TCS), although this does not always occur. This article describes our experience with the PyCOMPSs project, a programming model for distributed computing. While it is a research instrument for our team, it has also been applied in multiple real use cases under the umbrella of European Funded projects, or as part of internal projects between various departments at the Barcelona Supercomputing Center. This article illustrates how the authors have engaged in TCS as an underlying research methodology, collecting experiences from three European projects.

关键词： Computational thinking   Digital technologies   Teaching methods   Computer Science Teacher Education course   Roadmap  

摘要： The adoption of computational thinking in the classroom has been growing in the last years. Its use needs to be supported by the correct digital technologies and teaching methods, and for this, is required, capable teachers. This work aims to understand how computational thinking is addressed by Computer Science Teacher Education courses in Brazil, and which digital technologies and teaching methods are used to foster it. A survey was conducted, and a roadmap was built. Main obtained results are: Common and accessible technologies, used in everyday life, can help promote computational thinking;Researchers and teachers can explore the list of technologies surveyed and categorized to promote computational thinking;Teachers can analyze the teaching methods used and understand how these methods are applied in the teaching process;The teachers and researchers can use and explore the best technologies identified in the paper, to foster each computational thinking characteristic. Moreover, it is essential to enhance the knowledge about computational thinking, to apply the correct digital technologies and teaching methods in its promotion.

摘要： No abstract available.

关键词： faculty engagement   students' engagement   higher education   Saudi Arabia   computer science  

摘要： Research on faculty engagement in computer science and e-learning environments is limited. Students in computer science majors and courses often cite the lack of engagement of their faculty as a reason for their decision to switch majors, drop out or perform poorly. With the shift to e-learning associated with the current global pandemic, reports of faculty engagement across countries and higher education systems converged to indicate a reduced level of interactivity. Using a cross-sectional sample of 39 lecturers and professors from a southern public university in Saudi Arabia, this manuscript documents empirically the low levels of computer science faculty engagement during the 2020 spring semester (March-May). The study found support for the hypotheses linking higher levels of empathetic instruction, an exhibition of exemplary performance traits, utilization of community building strategies and use of storytelling and students' engagement. The study also found that many faculties need immediate and significant training on making their online instruction more interactive and exciting. Theoretically, the evidence presented confirms the importance of faculty engagement as the main predictor of desirable students' outcomes across e-learning, as well as computer science learning environments.

关键词： education   graduate   undergraduate   computer science   coding   programming   data science  

摘要： Neuroscience education is at an impasse-we need to teach students coding, but many institutions do not have the resources to do so. Here, I outline three major barriers, as well as solutions, to bringing programming education into our undergraduate and graduate programs.