检索结果-内蒙古大学图书馆

Improving students’programming quality with the continuous inspection process:a social coding perspective

Frontiers of Computer Science 2020年第5期14卷 43-60页

作者： Yao Lu Xinjun Mao Tao Wang Gang Yin Zude Li College of Computer National University of Defense TechnologyChangsha410073China Key Laboratory of Software Engineering for Complex Systems Changsha410073China School of Information Science and Engineering Central South UniversityChangsha410012China

College students majoring in computer science and software engineering need to master skills for high-quality ***,rich research has shown that both the teaching and learning of high-quality programming are challenging and deficient in most college education ***,the continuous inspection paradigm has been widely used by developers on social coding sites(e.g.,GitHub)as an important method to ensure the internal quality of massive code *** paper presents a case where continuous inspection is introduced into the classroom setting to improve students’programming *** the study,we first designed a specific continuous inspection process for students’collaborative projects and built an execution environment for the *** then conducted a controlled experiment with 48 students from the same course during two school years to evaluate how the process affects their programming *** results show that continuous inspection can help students in identifying their bad coding habits,mastering a set of good coding rules and significantly reducing the density of code quality issues introduced in the ***,we describe the lessons learned during the study and propose ideas to replicate and improve the process and its execution platform.

关键词： continuous inspection programming quality SonarQube

来源：评论

学校读者我要写书评

暂无评论

State-of-the-art AI-based Learning Approaches for Deepfake Generation and Detection, Analyzing Opportunities, Threading through Pros, Cons, and Future Prospects

arXiv

引用

arXiv 2025年

作者： Goyal, Harshika Wajid, Mohammad Saif Wajid, Mohd Anas Khanday, Akib Mohi Ud Din Neshat, Mehdi Gandomi, Amir Indian Institute of Technology Kharagpur India Department of Computer Science and Intelligent Systems Tecnológico de Monterrey Monterrey Mexico Institute for the Future of Education TEC de Monterrey Monterrey Mexico Department of Computer Science and Software Engineering United Arab Emirates University Al Ain Abu Dhabi United Arab Emirates Department of Computer Science Samarkand International University of Technology Samarkand Uzbekistan Faculty of Engineering and Information Technology University of Technology Sydney Ultimo SydneyNSW2007 Australia Obuda University Budapest1034 Hungary School of Computer and Mathematical Sciences University of Adelaide Adelaide5005 Australia

The rapid expansion and advancement of deepfake technology, which is specifically designed to create incredibly lifelike facial imagery and video content, has ignited a remarkable level of interest and curiosity across a multitude of fields, including but not limited to the realms of the entertainment industry, forensic analysis, cybersecurity and the innovative creation of digital characters. By harnessing the latest breakthroughs in deep learning methodologies, especially through the implementation of techniques such as Generative Adversarial Networks, Variational Autoencoders, Few-Shot Learning Strategies, and Transformer Neural Networks, the outcomes achieved in the generation of deepfakes have been nothing short of astounding and transformative. Furthermore, the recent advancements in diffusion models have served to invigorate and catalyze ongoing research efforts in this fascinating domain. At the same time, the ongoing evolution of detection technologies is being developed to counteract the potential for misuse associated with deepfakes, effectively addressing critical concerns that range from political manipulation to the dissemination of fake news and the ever-growing issue of cyberbullying. This comprehensive review paper meticulously investigates the most recent developments in both deepfake generation and detection, including around 400 publications, providing an in-depth analysis of the cutting-edge innovations that are shaping this rapidly evolving landscape. Starting with a thorough examination of systematic literature review methodologies, we embark on a journey that delves into the complex technical intricacies inherent in the various techniques used for deepfake generation, comprehensively addressing the challenges faced, potential solutions available, and the nuanced details surrounding manipulation formulations. Besides, task definitions are standardized to ensure clarity, while datasets and metrics are diligently introduced, paving the way for a

关键词： Generative adversarial networks

来源：评论

学校读者我要写书评

暂无评论

The extended schematic protection model

引用

Journal of Computer Security 1992年第3-4期1卷 335-383页

作者： Ammann, Paul E. Sandhu, Ravi S. Center for Secure Information Systems Department of Information and Software Systems Engineering George Mason University Fairfax VA 22030 United States

Access control models provide a formalism and framework for specifying control over access to information and other resources in multi-user computer systems. Useful access control models must balance expressive power with the decidability and complexity of safety analysis (i.e. the determination of whether or not a given subject can ever acquire access to a given object). The access matrix model as formalized by Harrison, Ruzzo, and Ullman (HRU) has very broad expressive power. Unfortunately, HRU also has extremely weak safety properties. Safety is undecidable for most policies of practical interest, even in the monotonie version of HRU {which only allows revocation which is itself reversible). Remarkably, an alternate formulation of monotonie HRU yields strong safety properties. This alternate formulation is called the Extended Schematic Protection Model (ESPM). ESPM is derived from the Schematic Protection Model (SPM) by extending the creation operation to allow multiple parents for a child, as opposed to the conventional create operation of SPM which has a single parent for a child. Despite its equivalence to monotonie HRU, ESPM retains tractable safety analysis for a large class of protection schemes that are of practical interest. In this paper we first show that ESPM is formally equivalent in expressive power to monotonie HRU. Then we give a complete analysis of the safety properties of ESPM for acyclic can-create relations with attenuating loops (i.e., can-create relations which are acyclic except for certain cycles of length one). © 1992, IOS Publishing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Time-intervals-related pattern selection for continuous event prediction

引用

Pattern Recognition 2025年 168卷

作者： Nevo Itzhak Szymon Jaroszewicz Robert Moskovitch Software and Information Systems Engineering Ben-Gurion University of the Negev Beer Sheva Israel Institute of Computer Science Polish Academy of Sciences Warsaw Poland Faculty of Mathematics and Information Science Warsaw University of Technology Warsaw Poland

Symbolic time intervals (STIs) are used in different domains to represent real-life events with varying durations, like traffic light timing or medical treatments. Multivariate temporal data may include STIs and event-driven or manual measurements, such as traffic accidents or blood tests. This study proposes temporal abstraction to uniformly represent such heterogeneous multivariate temporal data (time point values, instantaneous events, or time intervals) using STIs and to develop a model to continuously predict events of interest. We introduce the use of multiple TIRPs that end with an event of interest for continuous prediction while using multiple TIRP instance completion predictors simultaneously. Since often there are dozens of discovered patterns, in this paper, we introduce novel discriminative pattern-selection metrics, such as the differences in the frequencies or duration between the entities ( e.g. , patients) having or not having the event of interest. The proposed methods achieved an average improvement of 5% AUROC over LSTM-FCN, the best-performing baseline, out of the evaluated baseline models (RawXGB, Resnet, LSTM-FCN, and ROCKET) that were applied to the raw medical and non-medical datasets. The proposed continuous event prediction method has the potential for broad real-world and real-time applicability in diverse domains with heterogeneous multivariate temporal data, such as early panic attack prediction using wearable devices or early complication prediction in intensive care unit patients.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Eliminating polyinstantiation securely

引用

Computers and Security 1992年第6期11卷 547-562页

作者： Sandhu, Ravi S. Jajodia, Sushil Center for Secure Information Systems Department of Information and Software Systems Engineering George Mason University Fairfax VA 22030 United States

Polyinstantiation has generated a great deal of controversy lately. Some have argued that polyinstantiation and integrity are fundamentally incompatible, and have proposed alternatives to polyinstantiation. Others have argued about the correct definition of polyinstantiation and its operational semantics. In this paper we provide a fresh analysis of the basic problem that we are trying to solve;that is, how can an honest database keep secrets? Our analysis leads us to the concept of restricted polyinstantiation wherein we show how to solve this problem without compromising on any of the following requirements: secrecy, integrity, availability-of-service, element-level labeling and high assurance. This is the first solution to meet all these requirements simultaneously. © 1992.

关键词： Database management systems Multilevel security Polyinstantiation

来源：评论

学校读者我要写书评

暂无评论

Lattice-based enforcement of Chinese Walls

引用

Computers and Security 1992年第8期11卷 753-763页

作者： Sandhu, Ravi S. Center for Secure Information Systems Department of Information and Software Systems Engineering George Mason University Fairfax VA 22030 United States

The Chinese Wall policy was identified and so named by Brewer and Nash. This policy arises in the financial segment of the commercial sector, which provides consulting services to other companies. Consultants naturally have to deal with confidential company information for their clients. The objective of the Chinese Wall policy is to prevent information flows which cause conflict of interest for individual consultants. Brewer and Nash develop a mathematical model of the Chinese Wall policy, on the basis of which they claim that this policy "cannot be correctly represented by a Bell-LaPadula model." In this paper we demonstrate that the Brewer-Nash model is too restrictive to be employed in a practical system. This is due to their treatment of users and subjects as synonymous concepts, with the consequence that they do not distinguish security policy as applied to human users versus security policy as applied to computer subjects. By maintaining a careful distinction between users, principals and subjects, we show that the Chinese Wall policy is just another lattice-based information policy which can be easily represented within the Bell-LaPadula framework. © 1992.

关键词： Bell-LaPadula model Chinese Wall policy Lattice model

来源：评论

学校读者我要写书评

暂无评论

French language interface for Xml databases 1

French language interface for Xml databases

引用

1st International Conference of Computer Science and Renewable Energies, ICCSRE 2018

作者： Bais, Hanane Machkour, Mustapha Team of Engineering of Information Systems Information Systems and Vision Laboratory Faculty of Sciences Ibn Zohr University Agadir Morocco

ISBN: (纸本)9789897584312

To extract information from a database, it is necessary to formulate queries in terms of the language used by the database, such as Structured Query Language (SQL). However, non-expert users who are not computer skills are unable to write such requests. To address this problem, several solutions are proposed. One of these solutions is to use the natural language that represents the ordinary means of obtaining information. Yet, without any help, computers cannot understand this language. This is why it is very important to develop an intelligent interface capable of translating users queries from natural language to queries in database query language. In this paper, we present a generic French language interface for the XML database. In this paper, we present a generic French language interface for the XML database. The proposed interface translates French language query potentially after reformulation, into an XPath expression that can be evaluated against an XML database. The advantage of this system is that it functions independently of the database domain and automatically improve its knowledge base through experience. Copyright © 2020 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved

关键词： Context free grammars

来源：评论

学校读者我要写书评

暂无评论

A cost-effective approach using generative AI and gamification to enhance biomedical treatment and real-time biosensor monitoring

引用

Scientific Reports 2025年第1期15卷 1-16页

作者： Khan, Abdullah Ayub Laghari, Asif Ali Alsafyani, Majed Baqasah, Abdullah M. Kryvinska, Natalia Almadhor, Ahmad Alroobaea, Roobaea Gregus, Michal Department of Computer Science Bahria University Karachi Campus Karachi 75260 Pakistan Software Collage Shenyang Normal University Shenyang China Department of Computer Science College of Computers and Information Technology Taif University P. O. Box 11099 Taif 21944 Saudi Arabia Department of Information Technology College of Computers and Information Technology Taif University Taif 21974 Saudi Arabia Department of Information Management and Business Systems Faculty of Management Comenius University Bratislava Odbojárov 10 Bratislava 25 82005 Slovakia Department of Computer Engineering and Networks College of Computer and Information Sciences Jouf University Sakaka 72388 Saudi Arabia

Biosensors are crucial to the diagnosis process since they are designed to detect a specific biological analyte by changing from a biological entity into electrical signals that can be processed for further inspection and analysis. The method provides stability while evaluating cancer cell imaging and real-time angiogenesis monitoring, together with a robust, accurate, and successful identification. Nevertheless, there are several advantages to using nanomaterials in biological therapies like cancer therapy. In support of this strategy, gamification creates a new framework for therapeutic training that provides patients and first aid responders with immunological, photothermal, photodynamic, and chemo-like therapy. Multimedia systems, gamification, and generative artificial intelligence enable us to set up virtual training sessions. In these sessions, game-based training is being developed to help with skin cancer early detection and treatment. The study offers a new, cost-effective solution called GAI, which combines gamification and general awareness training in a virtual environment, to give employees and patients a hierarchy of first aid instruction. The goal of GAI is to evaluate a patient’s performance at each stage. Nonetheless, the following is how the scaling conditions are defined: learners can be divided into three categories: passive, moderate, and active. Through the use of simulations, we argue that the proposed work’s outcome is unique in that it provides learners with therapeutic training that is reliable, effective, efficient, and deliverable. The examination shows good changes in training feasibility, up to 22%, with chemo-like therapy being offered as learning opportunities. © The Author(s) 2025.

关键词： Biomedical treatment Biosensors Cancer diagnosis Gamification Generative artificial intelligence (GenAI) Machine learning (ML)

来源：评论

学校读者我要写书评

暂无评论

information Leakage Problem in High-Capacity Quantum Secure Communication with Authentication Using Einstein-Podolsky-Rosen Pairs

引用

Chinese Physics Letters 2016年第7期33卷 14-15页

作者：刘志昊陈汉武刘文杰 School of Computer Science and Engineering Southeast University Key Laboratory of Computer Network and Information Integration(Ministry of Education) Southeast University Centre for Quantum Computation and Intelligent Systems Faculty of Engineering and Information TechnologyUniversity of Technology Sydney School of Computer and Software Nanjing University of Information Science & Technology

The information leakage problem often exists in bidirectional quantum secure direct communication or quantum dialogue. In this work, we find that this problem also exists in the one-way quantum secure communication protocol [Chin. Phys. Lett. 32 （2015） 050301]. Specifically, the first bit of every four-bit message block is leaked out without awareness. A way to improve the information leakage problem is given.

关键词： in or of is that with

来源：评论

学校读者我要写书评

暂无评论

Systematic Review of Machine Learning-Based Open-Source software Maintenance Effort Estimation

引用

Recent Advances in Computer Science and Communications 2023年第3期16卷 27-51页

作者： Miloudi, Chaymae Cheikhi, Laila Abran, Alain Software Project Management Team ENSIAS Mohammed V. University in Rabat Rabat Morocco Department of Software Engineering & Information Technology École de Technologie Supérieure Montréal Canada

Background: software maintenance is known as a laborious activity in the software lifecycle and is often considered more expensive than other activities. Open-Source software (OSS) has gained considerable acceptance in the industry recently, and the Maintenance Effort Estimation (MEE) of such software has emerged as an important research topic. In this context, researchers have conducted a number of open-source software maintenance effort estimation (O-MEE) studies based on statistical as well as machine learning techniques for better estimation. Objective: The objective of this study is to perform a systematic literature review (SLR) to analyze and summarize the empirical evidence of O-MEE ML techniques in current research through a set of five Research Questions (RQs) related to several criteria (e.g. data pre-processing tasks, data mining tasks, tuning parameter methods, accuracy criteria and statistical tests, as well as ML techniques reported in the literature that outperformed). Methods: We performed a systematic literature review of 36 primary empirical studies published from 2000 to June 2020, selected based on an automated search of six digital databases. Results: The findings show that Bayesian networks, decision tree, support vector machines and instance-based reasoning were the ML techniques most used;few studies opted for ensemble or hybrid techniques. Researchers have paid less attention to O-MEE data pre-processing in terms of feature selection, methods that handle missing values and imbalanced datasets, and tuning parameters of ML techniques. Classification data mining is the task most addressed using different accuracy criteria such as Precision, Recall, and Accuracy, as well as Wilcoxon and Mann-Whitney statistical tests. Conclusion: This SLR identifies a number of gaps in the current research and suggests areas for further investigation. For instance, since OSS includes different data source formats, researchers should pay more attention to data p

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：