教学课程资源库 更多>>

关键词： Biometrics  

摘要： Imposter syndrome is a psychological phenomenon that affects individuals who doubt their skills and abilities, despite possessing the necessary competencies. This can lead to a lack of confidence and poor performance. While research has explored the impacts of imposter syndrome on students and professionals in various fields, there is limited knowledge on how it affects code comprehension in software engineering. In this exploratory study, we investigate the prevalence of imposter syndrome among final-year undergraduate computer science students and its effects on their code comprehension cognition using an eye tracker and heart rate monitor. Key findings demonstrate that students identifying as male exhibit lower imposter syndrome levels when analyzing code, and higher imposter syndrome is associated with increased time reviewing a code snippet and a lower likelihood of solving it correctly. This study provides initial data on this topic and establishes a foundation for further research to support student academic success and improve developer productivity and mental well-being. © 2024, CC BY.

关键词： Philosophical aspects  

摘要： Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert's consistency program. Similar efforts continue, but have been expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming *** Codes 03-01 Copyright © 2024, The Authors. All rights reserved.

摘要： Computer scientist Avi Wigderson is known for clarifying the role of randomness in algorithms, and for studying their complexity.

摘要： Preface: International Conference on Engineering and Computer Science (ICECS), AIP Conference Proceedings, Volume 3109, Issue 1, 9 April 2024, 010001, http

关键词： Cryptography  

摘要： The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns computers that simulate physical universes, which means that to formally investigate it we need to couple computer science theory with physics. Here I couple those fields with the physical Church-Turing thesis. I then exploit that coupling to investigate of some of the computer science theory aspects of the simulation hypothesis. In particular, I use Kleene’s second recursion theorem to prove that it is mathematically possible for us to be a simulation that is being run on a computer — by us. In such a self-simulation, there would be two identical instances of us;the question of which of those is "really us" is meaningless. I also show how Rice’s theorem provides some interesting impossibility results concerning simulation and self-simulation;briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation;and briefly investigate the graphical structure of universes simulating universes simulating universes . . ., among other issues. I end by describing some of the possible avenues for future research. © 2024, CC BY-NC-ND.

关键词： Organizational culture   Innovation   Denison organizational cultural model   DOCS  

摘要： PurposeThis research aimed to conceptualize organizations as open and purposeful systems to study how organizational culture (OC) influences firms' Innovative Performance (IP). The authors proposed goal setting and internal integration/external adaptation paradox as central to explaining OC's mediating and suppressing effects on ***/methodology/approachThe authors collected data from 372 Costa Rican organizations and analyzed them with structural equations. This research used the Denison Model instead of the usual typology-based *** mission had a direct and high impact on IP. The mediated effect via adaptability was also elevated, as well as the suppressor effect through consistency. There was no effect on IP of involvement. According to these results, the Open and Rational Systems Framework emerge as the main theoretical explanatory ***/valueDisaggregating the OC through a performance-oriented dimensional model makes it possible to study the dynamics between the elements that compound it and facilitate integrating these findings with other research streams.

关键词： Education computing  

摘要： Recent advances in AI, machine learning, and NLP have led to the development of a new generation of Large Language Models (LLMs) that are trained on massive amounts of data and often have trillions of parameters. Commercial applications (e.g., ChatGPT) have made this technology available to the general public, thus making it possible to use LLMs to produce high-quality texts for academic and professional purposes. Schools and universities are aware of the increasing use of AI-generated content by students and they have been researching the impact of this new technology and its potential misuse. Educational programs in Computer Science (CS) and related fields are particularly affected because LLMs are also capable of generating programming code in various programming languages. To help understand the potential impact of publicly available LLMs in CS education, we introduce CSEPrompts4, a framework with hundreds of programming exercise prompts and multiple-choice questions retrieved from introductory CS and programming courses. We also provide experimental results on CSEPrompts to evaluate the performance of several LLMs with respect to generating Python code and answering basic computer science and programming questions. © 2024, CC BY-NC-ND.

关键词： High-grade glioma   Long-term survival   Cognition   Quality of life   Caregivers  

摘要： Background The health-related quality of life (HRQoL) and cognition are important indicators for the quality of survival in patients with high-grade glioma (HGG). However, data on long-term survivors and their caregivers are scarce. We aim to investigate the interaction between cognition and HRQoL in long-term survivors, their caregivers' evaluations, and the effect on caregiver strain and *** 21 long-term HGG (8 WHO grade III and 13 WHO grade IV) survivors (survival >= 5 years) and 15 caregivers were included. Cognition (verbal memory, attention, executive functioning, and language), HRQoL, anxiety and depression, caregiver strain, and caregiver burden were assessed with standardized measures. Questionnaires were completed by patients and/or their *** Mean survival was 12 years (grade III) and 8 years (grade IV). Cognition was significantly impaired with a large individual variety. Patients' general HRQoL was not impaired but all functioning scales were deviant. Patient-proxy agreement was found in most HRQoL subscales. Three patients (14%) showed indications of anxiety or depression. One-third of the caregivers reported a high caregiver strain or a high burden. Test scores for attention, executive functioning, language, and/or verbal memory were correlated with perceived global health status, cognitive functioning, and/or communication deficits. Caregiver burden was not related to cognitive *** In long-term HGG survivors maintained HRQoL seems possible even when cognition is impaired in a large variety at the individual level. A tailored approach is therefore recommended to investigate the cognitive impairments and HRQoL in patients and the need for patient and caregiver support.

摘要： Universal Design is the principle for designing products to be usable by all people. In this paper, we discuss how universal design can be incorporated into the traditional computer science classroom by intentionally considering how classroom exercises, assignments, discussions, and designing of code can make for an inclusive learning environment. We describe Universal Design for Learning and give examples of effective practices including course design, classroom environment, equitable participation, lecture structure, assignments, and in-class exercises.

关键词： Big data   Computer science and technology   Data storage   Data processing   Data visualization  

摘要： This article discusses the current status and development strategies of computer science and technology in the context of big ***,it explains the relationship between big data and computer science and technology,focusing on analyzing the current application status of computer science and technology in big data,including data storage,data processing,and data ***,it proposes development strategies for big data *** science and technology play a vital role in big data processing by providing strong technical support.