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

arXiv 2020年

作者： Alhaji, Basel Rausch, Andreas Prilla, Michael Simulation science center Clausthal-Göttingen TU Clausthal Germany Institute for software and system engineering TU Clausthal Germany Department of informatics TU Clausthal Germany

The recent revolution of intelligent systems made it possible for robots and autonomous systems to work alongside humans, collaborating with them and supporting them in many domains. It is undeniable that this interaction can have huge benefits for humans if it is designed properly. However, collaboration with humans requires a high level of cognition and social capabilities in order to gain humans’ acceptance. In all-human teams, mutual trust is the engine for successful collaboration. This applies to human-robot collaboration as well. Trust in this interaction controls over- and under-reliance. It can also mitigate some risk. Therefore, an appropriate trust level is essential for this new form of teamwork. Most research in this area has looked at trust of humans in machines, neglecting the mutuality of trust among collaboration partners. In this paper, we propose a trust model that incorporates this mutuality captures trust levels of both the human and the robot in real-time, so that robot can base actions on this, allowing for smoother, more natural interactions. This increases the human’s autonomy since the human does not need to monitor the robot’s behavior all the time. Copyright © 2020, The Authors. All rights reserved.

关键词： Human robot interaction

来源：评论

学校读者我要写书评

暂无评论

Prompting Disentangled Embeddings for Knowledge Graph Completion with Pre-trained Language Model

arXiv

引用

arXiv 2023年

作者： Geng, Yuxia Chen, Jiaoyan Zeng, Yuhang Chen, Zhuo Zhang, Wen Pan, Jeff Z. Wang, Yuxiang Xu, Xiaoliang Powerchina Huadong Engineering Corporation Limited Hangzhou311112 China School of Computer Science Hangzhou Dianzi University Hangzhou310018 China Department of Computer Science The University of Manchester ManchesterM13 9PL United Kingdom HDU-ITMO Joint Institute Hangzhou Dianzi University Hangzhou310018 China College of Computer Science and Technology Zhejiang University Hangzhou310028 China School of Software Technology Zhejiang University Ningbo315048 China School of Informatics The University of Edinburgh EdinburghEH8 9AB United Kingdom

Both graph structures and textual information play a critical role in Knowledge Graph Completion (KGC). With the success of Pre-trained Language Models (PLMs) such as BERT, they have been applied for text encoding for KGC. However, the current methods mostly prefer to fine-tune PLMs, leading to huge training costs and limited scalability to larger PLMs. In contrast, we propose to utilize prompts and perform KGC on a frozen PLM with only the prompts trained. Accordingly, we propose a new KGC method named PDKGC with two prompts — a hard task prompt which is to adapt the KGC task to the PLM pre-training task of token prediction, and a disentangled structure prompt which learns disentangled graph representation so as to enable the PLM to combine more relevant structure knowledge with the text information. With the two prompts, PDKGC builds a textual predictor and a structural predictor, respectively, and their combination leads to more comprehensive entity prediction. Solid evaluation on three widely used KGC datasets has shown that PDKGC often outperforms the baselines including the state-of-the-art, and its components are all effective. Our codes and data are available at https://***/genggengcss/PDKGC. © 2023, CC BY.

关键词： Knowledge graph

来源：评论

学校读者我要写书评

暂无评论

Synthesized dataset for search-based test data generation methods focused on MC/DC criterion

Synthesized dataset for search-based test data generation me...

引用

IEEE International Conference on software Quality, Reliability and Security Companion (QRS-C)

作者： Ján Čegiň Karol Rástočný Mária Bieliková Institute of Informatics Information Systems and Software Engineering Slovak University of Technology in Bratislava Bratislava Slovakia Slovak Research Center for Artificial Intelligence slovak.AI Bratislava Slovakia

ISBN: (数字)9781728189154

ISBN: (纸本)9781728189161

Unit testing focused on the Modified Condition/Decision Coverage (MC/DC) criterion is essential in development of safety-critical systems as recommended by international standards. Designing unit tests for such specific software is time-consuming task which can be partially automated by test data generation methods. Special attention is given to search-based methods which are often used for problems where traditional methods like symbolic execution fall short. However, no publicly available dataset for evaluation of such methods taking into account specifics of the MC/DC criterion, which is esential for safety-critical systems. In this paper we present an analysis of software of safety-critical systems and we postulate to find a fitting open source project which could serve as a synthesized dataset for future evaluations of search-based test data generation methods for the MC/DC criterion.

关键词： software quality Search problems software reliability Security Task analysis Standards Testing

来源：评论

学校读者我要写书评

暂无评论

Towards a Reference Architecture for Leveraging Model Repositories for Digital Twins

Towards a Reference Architecture for Leveraging Model Reposi...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Daniel Lehner Sabine Wolny Alexandra Mazak-Huemer Manuel Wimmer Christian Doppler Labratory for Model-Integrated Smart Production (CDL-MINT) Institute for Business Informatics - Software Engineering Johannes Kepler University Linz Linz Austria Institute for Subsurface Engineering Digital Transformation in Tunnelling Montanuniversität Leoben Leoben Austria

ISBN: (数字)9781728189567

ISBN: (纸本)9781728189574

In the area of Cyber-Physical Systems (CPS), the degree of complexity continuously increases mainly due to new key-enabling technologies supporting those systems. One way to deal with this increasing complexity is to create a digital representation of such systems, a so-called Digital Twin (DT), which virtually acts in parallel ideally across the entire life-cycle of a CPS. For this purpose, the DT uses simulated or real-time data to mimic operations, control, and may modify the CPS's behaviour at runtime. However, building such DTs from scratch is not trivial, mainly due to the integration needed to deal with heterogeneous systems residing in different technological spaces. In order to tackle this challenge, Model-Driven engineering (MDE) allows to logically model a CPS with its physical components. Usually, in MDE such "logical models" are created at design time which keep them detached from the deployed system during runtime. Instead of building bilateral solutions between each runtime environment and every engineering tool, a dedicated integration layer is needed which can deal with both, design and runtime aspects. Therefore, we present a reference architecture that allows on the one side to query data from model repositories to enrich the running system with design-time knowledge, and on the other side, to be able to reasoning about system states at runtime in design-time models. We introduce a model repository query and management engine as mediator and show its feasibility by a demonstration case.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Study on Cybersecurity Challenges in E-learning and Database Management System

A Study on Cybersecurity Challenges in E-learning and Databa...

引用

International Symposium on Digital Forensic and Security (ISDFS)

作者： Habib Ibrahim Songül Karabatak Abdullahi Abba Abdullahi Department of Software Engineering Firat University Elazig Turkey Department of Informatics Firat University Elazig Turkey Institute of Information Technology University of Science &Technology Wudil Kano State Nigeria

ISBN: (数字)9781728169392

ISBN: (纸本)9781728169408

Education is gradually moving from traditional classroom-based setting to online-based. E-learning has become the topic of discussion as far as cybersecurity is concerned. E-learning as a mode of acquiring knowledge and skills through electronic means, cannot be achieved without internet technology. In other words, it depends largely on the internet technology for the sharing of ideas and information. However, the network environment is a home for hackers and the internet fraudless. As the reach of the internet expands to cover ever broader aspects of our education and social welfare, cybersecurity is the major concern when dealing with privacy, authentication, and confidentiality of user's information stored in a database server. Most often hackers release attacks designed to steal confidential data and an organization's database servers are the targets of these attacks because they are the core of any organization, storage bank. Hence, it is very important to put strong security measures in place to protect the data and information of the end-user against any malicious attack. This paper, therefore, aimed to discuss cybersecurity issues related to the e-learning management system, the significance of the e-Learning, and the Database Management System. Again the paper discusses top security issues in databases and how to lessen them.

关键词：

来源：评论

学校读者我要写书评

暂无评论

New compound cemtirestat as a potential drug with multitarget properties: from diabetes to major depressive disorder?

引用

Neuroscience Applied 2023年 2卷

作者： A. Ballóová M. Lepáček P. Boďo M. Mach M. Šoltésová Prnová Centre of Experimental Medicine- Slovak Academy of Sciences Institute of Experimental Pharmacology and Toxicology Bratislava Slovak Republic Jessenius Faculty of Medicine in Martin- Comenius University Department of Pharmacology Bratislava Slovak Republic Faculty of Natural Sciences- Comenius University Department of Biochemistry Bratislava Slovak Republic Faculty of Informatics and Information Technologies- Slovak University of Technology Institute of informatics- Information Systems and Software Engineering Bratislava Slovak Republic

来源：评论

学校读者我要写书评

暂无评论

The neuroprotective action of novel multitarget drug cemtirestat, a link with neuroinflammation and oxidative stress in peripheral neuropathy

引用

Neuroscience Applied 2023年 2卷

作者： M. Lepáček P. Boďo A. Ballóová M. Šoltésová Prnová Centre of experimental medicine- Slovak Academy of Sciences Institute of Experimental Pharmacology and Toxicology Bratislava Slovak Republic Faculty of Natural Sciences- Comenius University Department of Biochemistry Bratislava Slovak Republic Jessenius Faculty of Medicine- Slovak Academy of Sciences Department of Pharmacology Bratislava Slovak Republic Faculty of Informatics and Information Technologies- Slovak University of Technology Institute of Informatics- Information Systems and Software Engineering Bratislava Slovak Republic

来源：评论

学校读者我要写书评

暂无评论

Green IoT using UAVs in B5G networks: A review of applications and strategies

arXiv

引用

arXiv 2021年

作者： Alsamhi, Saeed H. Afghah, Fatemeh Sahal, Radhya Hawbani, Ammar Al-Qaness, A.A. Lee, B. Guizani, Mohsen Software Research Institute Athlone Institute of Technology Athlone Ireland IBB University Ibb Yemen School of Informatics Computing and Cyber Systems Northern Arizona University United States Hudaidah University Hudaida Yemen School of Computer Science and Technology University of Science and Technology of China Hefei China State Key Laboratory for Information Engineering in Surveying Mapping and Remote Sensing Wuhan University China Department of Computer Science and Engineering Qatar University Qatar

Recently, Unmanned Aerial Vehicles (UAVs) present a promising advanced technology that can enhance people life quality and smartness of cities dramatically and increase overall economic efficiency. UAVs have attained a significant interest in supporting many applications such as surveillance, agriculture, communication, transportation, pollution monitoring, disaster management, public safety, healthcare, and environmental preservation. Industry 4.0 applications are conceived of intelligent things that can automatically and collaboratively improve beyond 5G (B5G). Therefore, the Internet of Things (IoT) is required to ensure collaboration between the vast multitude of things efficiently anywhere in real-world applications that are monitored in real-time. However, many IoT devices consume a significant amount of energy when transmitting the collected data from surrounding environments. Due to a drone's capability to fly closer to IoT, UAV technology plays a vital role in greening IoT by transmitting collected data to achieve a sustainable, reliable, eco-friendly Industry 4.0. This survey presents an overview of the techniques and strategies proposed recently to achieve green IoT using UAVs infrastructure for a reliable and sustainable smart world. This survey is different from other attempts in terms of concept, focus, and discussion. Finally, various use cases, challenges, and opportunities regarding green IoT using UAVs are presented. © 2021, CC BY.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

Sorbitol accumulation in ZDF rat’s brain as new link between diabetes and Alzheimer’s disease?

引用

Neuroscience Applied 2023年 2卷

作者： P. Bodo M. Lepacek A. Balloova M. Soltesova Prnova Centre of Experimental Medicine- Slovak Academy of Sciences Institute of Experimental Pharmacology and Toxicology Bratislava Slovak Republic Faculty of Natural Sciences- Comenius University Department of Biochemistry Bratislava Slovak Republic Jessenius Faculty of Medicine in Martin- Comenius University Department of Pharmacology Bratislava Slovak Republic Faculty of Informatics and Information Technologies- Slovak Technical University Institute of Informatics- Information Systems and Software Engineering Bratislava Slovak Republic

来源：评论

学校读者我要写书评

暂无评论

An Extension of the QUAMOCO Quality Model to Specify and Evaluate Feature-Dependent Non-Functional Requirements

An Extension of the QUAMOCO Quality Model to Specify and Eva...

引用

Euromicro Conference on software engineering and Advanced Applications (SEAA)

作者： Philipp Haindl Reinhold Plösch Christian Körner Institute of Business Informatics - Software Engineering Johannes Kepler University Linz Austria Institute of Business Informatics - Software Engineering Johannes Kepler University Linz Siemens AG Corporate Technology

ISBN: (纸本)9781728134222

Features in a software system usually must satisfy different quality expectations originating from the various stakeholders of a software system, ranging from direct users to the software manufacturer. As an example, the design quality of the source code will likely be more important if the associated feature is frequently used by customers or if it has strategic value for the software manufacturer. In order to effectively approach these qualitative subtleties, we need a means to specify non-functional requirements on the level of individual software features. Fine-grained specification of non-functional requirements on feature level respects their individual relevance for a feature and facilitates deriving suitable constraints for them. Particularly in DevOps-driven software projects with operational data the fulfillment of non-functional requirements for individual features can then continuously be evaluated. This guides software engineers in meeting these quality expectations on a much finer level than if treated uniformly across the software system. In this paper we present an extension of the QUAMOCO meta quality model for specifying and evaluating non-functional requirements on feature level. While the existing meta model focused on static quality measures, the extension of the meta model now also captures dynamic measures which accumulate during feature execution. An exploratory case study based on the results from an interview study shows the completeness of the approach for specifying and evaluating feature-dependent non-functional requirements.

关键词： software measurement Stakeholders software systems Object oriented modeling software quality software engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：