教学课程资源库 更多>>

关键词： Software engineering   Software   Software development management   Organizations   Costs   Software measurement   Production facilities   Computer science   Standards organizations   Reviews   Data collection   evaluation & improvement   measurement   software empirics   software quality  

摘要： We were delighted to have the paper "A Methodology for Collecting Valid Software Engineering Data", by Victor Basili and David Weiss (1984) considered one of the most influential papers of IEEE Transaction of Software Engineering's first decade. The paper discusses data or information on software quality and what were the most effective software development techniques. It was published in November, 1984. It was written at a time when software development was just becoming widespread practice, but it was not common to use data or information on software quality in order to learn what were the most effective software development techniques under different conditions. To try to alleviate this problem, we suggested that when people (or organizations) developed software, they should try to measure the effectiveness of their development techniques. In particular, since software is typically long-living, change data should be collected so that methods and processes could be managed.

关键词： Drugs   Diseases   Electronic mail   Databases   Computer science   Bioinformatics   Textiles   Drug repositioning   bilinear attention network   graph convolutional network   layer attention mechanism  

摘要： Drug repositioning has emerged as a promising strategy for identifying new therapeutic applications for existing drugs. In this study, we present DRGBCN, a novel computational method that integrates heterogeneous information through a deep bilinear attention network to infer potential drugs for specific diseases. DRGBCN involves constructing a comprehensive drug-disease network by incorporating multiple similarity networks for drugs and diseases. Firstly, we introduce a layer attention mechanism to effectively learn the embeddings of graph convolutional layers from these networks. Subsequently, a bilinear attention network is constructed to capture pairwise local interactions between drugs and diseases. This combined approach enhances the accuracy and reliability of predictions. Finally, a multi-layer perceptron module is employed to evaluate potential drugs. Through extensive experiments on three publicly available datasets, DRGBCN demonstrates better performance over baseline methods in 10-fold cross-validation, achieving an average area under the receiver operating characteristic curve (AUROC) of 0.9399. Furthermore, case studies on bladder cancer and acute lymphoblastic leukemia confirm the practical application of DRGBCN in real-world drug repositioning scenarios. Importantly, our experimental results from the drug-disease network analysis reveal the successful clustering of similar drugs within the same community, providing valuable insights into drug-disease interactions. In conclusion, DRGBCN holds significant promise for uncovering new therapeutic applications of existing drugs, thereby contributing to the advancement of precision medicine.

关键词： Semantics   Visualization   Quality assessment   Circuits and systems   Accuracy   Transformers   Training   Sports   Computer science   Spatiotemporal phenomena   Action quality assessment (AQA)   self-supervised learning   temporal parsing   multimodal learning  

摘要： Action Quality Assessment (AQA) is a challenging task involving analyzing fine-grained technical subactions, aligning high-level visual-semantic representations, and exploring internal temporal structures that capture the overall meaning of given action sequences. To address these challenges, we propose a Visual-semantic Alignment Temporal Parsing Network (VATP-Net) to understand the high-level visual semantics of subaction sequences and internal temporal structures without explicit supervision for action quality assessment. The proposed approach designs a self-supervised temporal parsing module to generate subaction sequences from the given video by aligning the visual and semantic action features. It captures high-level semantics and the internal temporal dynamics of subaction sequences. Furthermore, a multimodal interaction module is proposed to capture the interaction between different modalities of action features, enabling a comprehensive assessment of fine-grained and scene-invariant action details. The proposed module captures the intricate relationships and encourages interactions between different modalities within an action sequence, enhancing the overall understanding of action assessment. We exhaustively evaluate our proposed approach on the MTL-AQA, Rhythmic Gymnastics (RG), FineFS, and Fis-V datasets. Extensive experimental results demonstrate the effectiveness and feasibility of our proposed approach, which outperforms state-of-the-art methods by a significant margin.

关键词： Intelligence   High Performance   Research Group   Research And Development   Science And Technology   South Korea   Information Technology   Digital Technologies   Entrepreneurial   System Design   Impact Of Factors   Electronic Devices   Peer Reviewed Journals   Ministry Of Education   Institute Of Technology   Electronic System   Computer Science   Internet Of Things  

摘要： I am happy and honored to have been reappointed as Editor in Chief (EiC) for the IEEE Transactions on VLSI Systems (TVLSI) for another two-year term. As I continue my efforts to improve the quality of the journal, I am grateful for the renewed trust placed in me by the three IEEE sponsoring societies (CASS, SSCS and CS) and by the VLSI community at large. Contrary to a feared slowdown due to increased difficulties with scaling, the field of Very Large Scale Integration (VLSI) has actually grown at an increasingly fast rate as it provides the hardware backbone for the insatiable AI applications which are taking over the world. The H100/200 GPUs, which are essential for AI training, are the largest “conventional” integrated circuits (IC) with 80 billion transistors, while the wafer-scale WSE2/3, which can provide significant improvements in AI inference, are absolute behemoths with 4 trillion transistors! Mr. Moore can be proud there in heaven for what our industry is able to deliver!

关键词： Stem-identity development   Social and emotional learning   Learning sciences   Pedagogy   Computational thinking   Educational equity  

摘要： Through qualitative inquiry of a 9th-grade computer science (CS) classroom, this paper examines how teachers' pedagogical approaches can help prioritize the social and emotional dimensions of student learning to foster STEM identity and development. Findings from an ethnographic study of the delivery of the Exploring Computer Science curriculum in a high school setting of majority of students of color, and low-income youth identify five high-leverage instructional strategies. These strategies include 1) teacher mindsets towards specific subject areas like computer science;2) creating conditions for affirming students culturally;3) intentionally prioritizing student autonomy for social and emotional development;4) co-constructing knowledge to increase student engagement;and 5) helping students create their own STEM identity by exposing them to STEM professionals of similar racial and cultural characteristics as students. Collectively, these practices offer critical windows into how educators can act as intermediaries in helping students see themselves in the CS field and STEM/CS career pathways. Findings from this study can inform strategies for teacher education and policy efforts seeking to close learning gaps for historically marginalized groups and to improve racial and gender diversity in opportunities for growing STEM fields.

关键词： Structural rings   Computer science   Filters   Algebra   Lattices   Graph theory   Cognition   Pattern recognition   Probes   BE-algebras   crossing cubic structures   crossing cubic subalgebras   weak crossing cubic subalgebras   crossing cubic filters  

摘要： Recently, interval-valued fuzziness and negative structures have gained popularity among researchers and have been widely used in algebraic structures such as semigroups, rings, and lattices. The crossing cubic structure (C C) is an expansion of a bipolar fuzziness structure and a parallel circuit between interval-valued fuzziness and negative structures. The main objective of this study is to apply the idea of C Cs to BE-algebras. In the present research, we modify and extend the notions of fuzziness algebraic substructures, namely subalgebras, weak subalgebras and filters of BE-algebras to introduce the notions of crossing cubic subalgebras (C CSs), weak crossing cubic subalgebras ( WCCSs), and crossing cubic filters (CCFs) in BE-algebras, and we probe several characteristics of these notions. Furthermore, the relationship between C CS s, WCCSs, and CCFs in BE-algebras is established. After that, the conditions under which CCs can be CCS and C CF, and the condition under which WCCS can be C CS are discovered. At last, some characterizations of C CFin BE-algebras are presented.

关键词： Software engineering   Reviews   Software   Oral communication   Ecosystems   Organizations   Computer science   Buildings   Testing   Switches   Journal publication   Conference presentation   Publication for the software engineering community  

摘要： The first journal-first paper presentations in software engineering were held at ICSE in 2015. A decade later journal-first publication in top software engineering journals has become a widely-used means to disseminate research results and has created a steady flow of scientific content to top conferences in the field. We recall the original goals of the journal-first initiative and chart its course over the past 10 years. We conclude with thoughts about how to develop a more consistent journal-oriented publication model for the field of software engineering.

关键词： Formal methods   ACM CS2023   computer-science education  

摘要： Formal Methods (FMs) radically improve the quality of the code artefacts they help to produce. They are simple, probably accessible to first-year undergraduate students and certainly to second-year students and beyond. Nevertheless, in many cases, they are not part of a general recommendation for course curricula, i.e., they are not taught - and yet they are valuable. One reason for this is that teaching "Formal Methods" is often confused with teaching logic and theory. This article advocates what we call FM thinking: the application of ideas from Formal Methods applied in informal, lightweight, practical and accessible ways. We will argue here that FM thinking should be part of the recommended curriculum for every Computer Science student, for even students who train only in that "thinking" will become much better programmers. However, there will be others who, exposed to those ideas, will be ideally positioned to go further into the more theoretical background: why the techniques work, how they can be automated, and how new ones can be developed. Those students would follow subsequently a specialised, more theoretical stream, including topics such as semantics, logics, verification and proof-automation techniques.

关键词： Roads   Planning   Optimization   Costs   Heuristic algorithms   Business   Vehicle dynamics   Complexity theory   Computer science   Computational efficiency   Routing planning   time-dependent road network   dynamic route optimization   fastest path query  

摘要： In the domain of route planning, the critical concern for travel efficiency has shifted towards optimizing travel time over distance due to the rise in congestion and the dynamic nature of modern road networks. Addressing this shift, we introduce Dynamic Route Optimization with Multi-Category Constraints (DROMC) for Point-of-Interest (POI) visits, which seeks to find the most time-efficient path that satisfies a user-defined list of requirements, considering both the spatial and temporal dimensions. This paper proposes a novel approach that leverages a path enumeration algorithm, which iteratively validates the k-fastest paths until all user queries are satisfied, ensuring adherence to time constraints and POI availability. To enhance the algorithm's efficiency, we employ several key methodologies. First, we adapt the kSP algorithm to account for POI-focused path enumeration. We also introduce a Shared Prefix Tree (SPFT) with binary encoding, which significantly improves the storage and retrieval of path information. Moreover, we integrate a grid-based heuristic for quicker computation and implement strategic pruning methods to circumvent redundant calculations and manage POI business hours effectively. Our extensive experiments on real-world networks demonstrate the algorithm's superiority in finding more efficient paths in shorter time frames compared to existing methods.