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

IEEE Symposium on Visual Languages and Human Centric computing (VL/HCC)

作者： Xiaofan Chen John Hosking John Grundy Department of Computer Science University of Auckland Auckland New Zealand College of Engineering & Computer Science Australian National University Canberra Australia Centre for Computing & Engineering Software Systems Swinburne University of Technology Melbourne Australia

It is well recognized that visualizing traceability links between software artifacts helps developers to recover, browse, and maintain these inter-relationships effectively and efficiently. However, it is a major challenge for researchers to efficiently visualize traceability links for big software systems because of scalability and visual clutter issues. In this paper we present a new approach that combines treemap and hierarchical tree visualization techniques to provide a global structure of traces and a detailed overview of each trace. These both reduce visual clutter while still being highly scalable and interactive. Our usability study shows that our approach can support comprehension, browsing, and maintenance of traceability links.

关键词： Visualization Color Clutter Data visualization software systems Layout

来源：评论

学校读者我要写书评

暂无评论

Long term bank failure prediction using Fuzzy Refinement-based Transductive Transfer learning

Long term bank failure prediction using Fuzzy Refinement-bas...

引用

IEEE International Conference on Fuzzy systems (FUZZ-IEEE)

作者： Vahid Behbood Jie Lu Guangquan Zhang Decision Systems & E-Service Intelligence Research Laboratory Centre of Qua ntum Computing and Intelligent System School of Software Faculty of Engineering and Information Technology University of Technology-Sydney Broadway NSW Australia

Machine learning algorithms, which have been considered as robust methods in different computational fields, assume that the training and test data are drawn from the same distribution. This assumption may be violated in many real world applications like bank failure prediction because training and test data may come from different time periods or domains. An efficient novel algorithm known as Fuzzy Refinement (FR) is proposed in this paper to solve this problem and improve the performance. The algorithm utilizes the fuzzy system and similarity concept to modify the instances' labels in target domain which was initially predicted by shift-unaware Fuzzy Neural Network (FNN) proposed by [1]. The experiments are performed using bank failure financial data of United States to evaluate the algorithm performance. The results address a significant improvement in the predictive accuracy of FNN due to applying the proposed algorithm.

关键词： Prediction algorithms Fuzzy neural networks Pragmatics Training Inference algorithms Accuracy Machine learning algorithms

来源：评论

学校读者我要写书评

暂无评论

No-go theorem for one-way quantum computing on naturally occurring two-level systems

引用

Physical Review A 2011年第5期83卷 050301(R)-050301(R)页

作者： Jianxin Chen Xie Chen Runyao Duan Zhengfeng Ji Bei Zeng Department of Computer Science and Technology Tsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing China Department of Physics Massachusetts Institute of Technology Cambridge Massachusetts USA Centre for Quantum Computation and Intelligent Systems (QCIS) Faculty of Engineering and Information Technology University of Technology Sydney New South Wales Australia Perimeter Institute for Theoretical Physics Waterloo Ontario Canada State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Institute for Quantum Computing and Department of Combinatorics and Optimization University of Waterloo Waterloo Ontario Canada

The ground states of some many-body quantum systems can serve as resource states for the one-way quantum computing model, achieving the full power of quantum computation. Such resource states are found, for example, in spin-52 and spin-32 systems. It is, of course, desirable to have a natural resource state in a spin-12, that is, qubit system. Here, we give a negative answer to this question for frustration-free systems with two-body interactions. In fact, it is shown to be impossible for any genuinely entangled qubit state to be a nondegenerate ground state of any two-body frustration-free Hamiltonian. What is more, we also prove that every spin-12 frustration-free Hamiltonian with two-body interaction always has a ground state that is a product of single- or two-qubit states. In other words, there cannot be any interesting entanglement features in the ground state of such a qubit Hamiltonian.

关键词： QUANTUM computers QUANTUM theory HAMILTONIAN operator HAMILTONIAN systems PHYSICS

来源：评论

学校读者我要写书评

暂无评论

A worldwide survey of base process activities towards software engineering process excellence 98

A worldwide survey of base process activities towards softwa...

引用

Proceedings of the 20th international conference on software engineering

作者： Yingxu Wang Graham King Alex Dorling Dilip Patel Ian Court Geoff Staples Margaret Ross School of Computing Information Systems and Mathematics South Bank University London 103 Borough Road London SE1 0AA UK Research Centre for Systems Engineering Southampton Institute Southampton SO14 0YN UK Centre for Software Engineering IVF Sweden

来源：评论

学校读者我要写书评

暂无评论

Evaluation of security training and awareness programs: Review of current practices and guidelines

arXiv

引用

arXiv 2021年

作者： Jayatilaka, Asangi Beu, Nathan Baetu, Irina Zahedi, Mansooreh Ali Babar, M. Hartley, Laura Lewinsmith, Winston CREST – the Centre for Research on Engineering Software Technologies School of Computer Science The University of Adelaide Australia School of Psychology University of Adelaide Australia School of Computing and Information Systems The University of Melbourne Australia Melbourne Australia

Evaluating the effectiveness of security awareness and training programs is critical for minimizing organizations’ human security risk. Based on a literature review and industry interviews, we discuss current practices and devise guidelines for measuring the effectiveness of security training and awareness initiatives used by organizations. © 2021, CC BY.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Goal-Modeling Privacy-by-Design Patterns for Supporting GDPR Compliance

Goal-Modeling Privacy-by-Design Patterns for Supporting GDPR...

引用

18th International Conference on software Technologies, ICSOFT 2023

作者： Al-Obeidallah, Mohammed Ghazi Piras, Luca Iloanugo, Onyinye Mouratidis, Haralambos Alkubaisy, Duaa Dellagiacoma, Daniele Department of Software Engineering Al Ain University Abu Dhabi United Arab Emirates School of Computing Middlesex University London United Kingdom School of Computing Robert Gordon University Aberdeen United Kingdom Institute for Analytics and Data Science University of Essex Colchester United Kingdom College of Applied Studies and Community Service Imam Abdulrahman Bin Faisal University Dammam Saudi Arabia Centre for Secure Intelligent and Usable Systems University of Brighton Brighton United Kingdom

ISBN: (纸本)9789897586651

The introduction of the European General Data Protection Regulation (GDPR) has imposed obligations on organisations collecting data in the EU. This has been beneficial to citizens due to rights reinforcement achieved as data subjects. However, obligations heavily affected organisations, and their privacy requirements analysts, having issues with interpreting and implementing GDPR principles. This paper proposes visual GDPR Patterns supporting analysts through Privacy-by- Design (PbD) and GDPR compliance analysis. In order to achieve that, we extended a requirements modeling tool, SecTro, which is used to assist analysts in creating visual requirements models. Specifically, we extended SecTro with novel visual GDPR patterns representing GDPR principles. We evaluated the patterns in a healthcare case study. The evaluation results suggest that the GDPR patterns can help analysts in PbD modeling analysis, by representing GDPR principles and considering relevant ready-to-use alternatives, towards achieving GDPR compliance. © 2023 by SCITEPRESS-Science and Technology Publications, Lda.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Flexible Keyphrase Extraction Technique for Academic Literature

引用

Procedia Computer Science 2018年 135卷 553-563页

作者： Gollam Rabby Saiful Azad “ Mufti Mahmud Kamal Z. Zamli Mohammed Mostafizur Rahman Faculty of Computer Systems & Software Engineering University Malaysia Pahang Gambang Kuantan Malaysia IBM Centre of Excellence Gambang Kuantan Malaysia Department of Computing and Technology Nottingham Trent University Nottingham United Kingdom Department of Mathematics American International University - Bangladesh (AIUB) Dhaka Bangladesh

A keyphrase extraction technique endeavors to extract quality keyphrases from a given document, which provide a high-level summary of that document. Except statistical keyphrase extraction approaches, all other approaches are either domain-dependent or require a sufficient amount of training data, which are rare at present. Therefore, in this paper, a new tree-based automatic keyphrase extraction technique is proposed, which is domain-independent and employs nominal statistical knowledge; but no train data are required. The proposed technique extracts a quality keyphrase through forming a tree from a candidate keyphrase; and later, it is expanded or shrunk or remained in the same state depending on other similar candidate keyphrases. At the end, keyphrases are extracted from the resultant trees based on a value, µ (which is the Maturity Index (MI) of a node in the tree), which enables flexibility in this process. A small µ value would yield many and/or lengthy keyphrases (greedy approach); whereas, a large µ value would yield lower and/or abbreviated keyphrases (conservative approach). Thereby, a user can extract his/her desired-level of keyphrases through tuning µ value. The effectiveness of the proposed technique is evaluated on an actual corpus, and compared with Rapid Automatic Keyphrase Extraction (RAKE) technique.

关键词： Candidate keyphrase keyphrase automatic keyphrase extraction technique tree data structure

来源：评论

学校读者我要写书评

暂无评论

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings

arXiv

引用

arXiv 2024年

作者： Schön, Oliver Zhong, Zhengang Soudjani, Sadegh The School of Computing Newcastle University Newcastle upon TyneNE4 5TG United Kingdom The Sargent Centre for Process Systems Engineering Imperial College London London United Kingdom The Max Planck Institute for Software Systems Kaiserslautern Germany

Algorithmic verification of realistic systems to satisfy safety and other temporal requirements has suffered from poor scalability of the employed formal approaches. To design systems with rigorous guarantees, many approaches still rely on exact models of the underlying systems. Since this assumption can rarely be met in practice, models have to be inferred from measurement data or are bypassed completely. Whilst former usually requires the model structure to be known a-priori and immense amounts of data to be available, latter gives rise to a plethora of restrictive mathematical assumptions about the unknown dynamics. In a pursuit of developing scalable formal verification algorithms without shifting the problem to unrealistic assumptions, we employ the concept of barrier certificates, which can guarantee safety of the system, and learn the certificate directly from a compact set of system trajectories. We use conditional mean embeddings to embed data from the system into a reproducing kernel Hilbert space (RKHS) and construct an RKHS ambiguity set that can be inflated to robustify the result w.r.t. a set of plausible transition kernels. We show how to solve the resulting program efficiently using sum-of-squares optimization and a Gaussian process envelope. Our approach lifts the need for restrictive assumptions on the system dynamics and uncertainty, and suggests an improvement in the sample complexity of verifying the safety of a system on a tested case study compared to a state-of-the-art approach. © 2024, CC BY-NC-ND.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Search-based techniques for optimizing software project resource allocation

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2004年 3103卷 1425-1426页

作者： Antoniol, G. Di Penta, M. Harman, M. RCOST - Research Centre on Software Technology University of Sannio Department of Engineering Palazzo ex Poste Via Traiano 82100 Benevento Italy Department of Information Systems and Computing Brunel University Uxbridge Middlesex UB8 3PH United Kingdom

来源：评论

学校读者我要写书评

暂无评论

Challenges and open questions in soft consensus models

Challenges and open questions in soft consensus models

引用

Conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： F.J. Cabrerizo F. Chiclana M.R. Ureña E. Herrera-Viedma Department of Computer Systems and Software Engineering UNED University Madrid Spain Centre for Computational Intelligence School of Computing De Montfort University Leicester UK Department of Computer Sciences and Artificial Intelligence University of Granada Granada Spain

In group decision making problems, given the importance of obtaining an accepted solution by the whole group, the consensus has attained a great attention and it is virtually a major goal of these problems. Consensus, as traditionally meant to be a full and unanimous agreement, is often not reachable in practice. A more realistic approach is to use softer consensus measures, which assess the consensus degree in a more flexible way, and therefore reflect the large spectrum of possible partial agreements, guiding the consensus process until widespread agreement is achieved among experts. In particular, the interpretation of the consensus based on the concept of fuzzy majority has been used in the most of the consensus models proposed in the literature, as it is more human-consistent and suitable for reflecting human perceptions of the meaning of consensus. However, there are still some open questions to be addressed. In this paper, we are going to highlight some issues in order to focus researcher's attention on new problems that arise when using consensus models based on soft consensus measures in real-world applications.

关键词： Decision making Adaptation models Computational modeling Context Process control Visualization Educational institutions

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：