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

8th Workshop on Workflows in Support of Large-Scale Science, WORKS 2013

作者： Gesing, Sandra Atkinson, Malcolm Klampanos, Iraklis Galea, Michelle Berthold, Michael R. Barbera, Roberto Scardaci, Diego Terstyanszky, Gabor Kiss, Tamas Kacsuk, Peter University of Notre Dame Ctr for Research Computing University of Edinburgh Informatics Forum 111 Information Technology Center Notre DameIN46556 United States University of Edinburgh Informatics Forum EdinburghEH8 9AB United Kingdom Universität Konstanz FB Informatik and Informationswissenschaft Box 712 Konstanz78457 Germany Italian National Institute of Nuclear Physics Catania95123 Italy University of Westminster 115 New Cavendish Street LondonW1W 6UW United Kingdom Laboratory of Parallel and Distributed Systems MTA SZTAKI Kende Street 13-17 Budapest1111 Hungary

ISBN: (纸本)9781450325028

This paper identifies the high value to researchers in many disciplines of having web-based graphical editors for scientific workflows and draws attention to two technological transitions: good quality editors can now run in a browser and workflow enactment systems are emerging that manage multiple workflow languages and support multi-lingual workflows. We contend that this provides a unique opportunity to introduce multi-lingual graphical workflow editors which in turn would yield substantial benefits: workflow users would find it easier to share and combine methods encoded in multiple workflow languages, the common framework would stimulate conceptual convergence and increased workflow component sharing, and the many workflow communities could share a substantial part of the effort of delivering good quality graphical workflow editors in browsers. The paper examines whether such a common framework is feasible and presents an initial design for a web-based editor, tested with a preliminary prototype. It is not a fait accompli but rather an urgent rallying cry to explore collaboratively a generic web-based framework before investing in many divergent individual implementations.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Dfier: A Directed Vulnerability Verifier for Ethereum Smart Contracts

SSRN

引用

SSRN 2023年

作者： Wang, Zeli Dai, Weiqi Li, Ming Choo, Kim-Kwang Raymond Zou, Deqing Chongqing Key Laboratory of Computational Intelligence Key Laboratory of Big Data Intelligent Computing Key Laboratory of Cyberspace Big Data Intelligent Security Ministry of Education College of Computer Science and Technology Chongqing University of Posts and Telecommunications Chongqing40065 China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Hubei Engineering Research Center on Big Data Security Hubei Key Laboratory of Distributed System Security Hubei Engineering Research Center on Big Data Security School of Cyber Science and Engineering Huazhong University of Science and Technology Wuhan430074 China Department of Information Systems and Cyber Security University of Texas at San Antonio San Antonio United States

Existing smart contract vulnerability identification approaches mainly focus on complete program detection. Consequently, lots of known potentially vulnerable locations need manual verification, which is energy-exhaustive and error-prone. Fuzzing is an effective way to detect vulnerabilities. However, current fuzzers cannot effectively probe these suspicious targets because they overlook two key factors: exploring all paths toward the targets and providing high-quality directed seed inputs. This paper presents a Directed vulnerability veriFier (DFier), elaborating effective transaction sequences with directed inputs for the fuzzer, to focus on analyzing target paths and automatically detect whether the given locations are vulnerable. Specifically, DFier fuses the effectiveness of static analysis and the efficiency of fuzzing. The static analysis helps locate target paths and generate directed inputs for the fuzzer under three heuristic strategies. The first prefers inputs with the larger possibility of triggering potential vulnerabilities based on target features. The second guides the value mutation to satisfy the path constraints. The third adequately leverages execution information to help find exploits faster. Extensive experiments demonstrate that DFier is effective in verifying contract security, compared with three existing contract fuzzers (i.e., contractFuzzer, sFuzz, and conFuzzius). And the performance losses are in an acceptable range. © 2023, The Authors. All rights reserved.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Efficient Training Approaches for Performance Anomaly Detection Models in Edge computing Environments

引用

ACM Transactions on Autonomous and Adaptive systems 1000年

作者： Duneesha Fernando Maria Rodriguez Patricia Arroba Leila Ismail Rajkumar Buyya Quantum Cloud Computing and Distributed Systems (qCLOUDS) Laboratory School of Computing and Information Systems The University of Melbourne Australia CCS–Center for Computational Simulation Universidad Politécnica de Madrid Spain Intelligent Distributed Computing and Systems Research (INDUCE) Lab Department of Computer Science and Software Engineering United Arab Emirates University United Arab Emirates

Microservice architectures are increasingly used to modularize IoT applications and deploy them in distributed and heterogeneous edge computing environments. Over time, these microservice-based IoT applications are susceptible to performance anomalies caused by resource hogging (e.g., CPU or memory), resource contention, etc., which can negatively impact their Quality of Service and violate their Service Level Agreements. Existing research on performance anomaly detection for edge computing environments focuses on model training approaches that either achieve high accuracy at the expense of a time-consuming and resource-intensive training process or prioritize training efficiency at the cost of lower accuracy. To address this gap, while considering the resource constraints and the large number of devices in modern edge platforms, we propose two clustering-based model training approaches: (1) intra-cluster parameter transfer learning-based model training (ICPTL) and (2) cluster-level model training (CM). These approaches aim to find a trade-off between the training efficiency of anomaly detection models and their accuracy. We compared the models trained under ICPTL and CM to models trained for specific devices (most accurate, least efficient) and a single general model trained for all devices (least accurate, most efficient). Our findings show that ICPTL’s model accuracy is comparable to that of the model per device approach while requiring only 40% of the training time. In addition, CM further improves training efficiency by requiring 23% less training time and reducing the number of trained models by approximately 66% compared to ICPTL, yet achieving a higher accuracy than a single general model.

关键词： Edge computing Microservices IoT Performance anomaly detection Machine learning Deep learning

来源：评论

学校读者我要写书评

暂无评论

Transformative effects of ChatGPT on modern education: Emerging Era of AI Chatbots

引用

Internet of Things and Cyber-Physical systems 2024年第1期4卷 19-23页

作者： Gill, Sukhpal Singh Xu, Minxian Patros, Panos Wu, Huaming Kaur, Rupinder Kaur, Kamalpreet Fuller, Stephanie Singh, Manmeet Arora, Priyansh Parlikad, Ajith Kumar Stankovski, Vlado Abraham, Ajith Ghosh, Soumya K. Lutfiyya, Hanan Kanhere, Salil S. Bahsoon, Rami Rana, Omer Dustdar, Schahram Sakellariou, Rizos Uhlig, Steve Buyya, Rajkumar School of Electronic Engineering and Computer Science Queen Mary University of London London United Kingdom Shenzhen Institute of Advanced Technology Chinese Academy of Sciences Shenzhen China Raygun Performance Monitoring Wellington New Zealand Center for Applied Mathematics Tianjin University Tianjin China Department of Science Kings Education London United Kingdom Cymax Group Technologies BC Canada QM Academy Queen Mary University of London London United Kingdom Jackson School of Geosciences University of Texas at Austin AustinTX United States Centre for Climate Change Research Indian Institute of Tropical Meteorology Pune India Microsoft Hyderabad India Institute for Manufacturing Department of Engineering University of Cambridge Cambridge United Kingdom Faculty of Computer and Information Science University of Ljubljana Ljubljana Slovenia Machine Intelligence Research Labs AuburnWA United States Faculty of Computing and Data Science FLAME University Maharashtra Pune India Department of Computer Science and Engineering Indian Institute of Technology Kharagpur India Department of Computer Science University of Western Ontario London Canada Sydney Australia School of Computer Science University of Birmingham United Kingdom School of Computer Science and Informatics Cardiff University Cardiff United Kingdom Distributed Systems Group Vienna University of Technology Vienna Austria Department of Computer Science University of Manchester Oxford Road Manchester United Kingdom Laboratory School of Computing and Information Systems The University of Melbourne Australia

ChatGPT, an AI-based chatbot, offers coherent and useful replies based on analysis of large volumes of data. In this article, leading academics, scientists, distinguish researchers and engineers discuss the transformative effects of ChatGPT on modern education. This research discusses ChatGPT capabilities and its use in the education sector, identifies potential concerns and challenges. Our preliminary evaluation shows that ChatGPT perform differently in different subject areas including finance, coding, maths, and general public queries. While ChatGPT has the ability to help educators by creating instructional content, offering suggestions and acting as an online educator to learners by answering questions, transforming education through smartphones and IoT gadgets, and promoting group work, there are clear drawbacks in its use, such as the possibility of producing inaccurate or false data and circumventing duplicate content (plagiarism) detectors where originality is essential. The often reported "hallucinations" within GenerativeAI in general, and also relevant for ChatGPT, can render its use of limited benefit where accuracy is essential. What ChatGPT lacks is a stochastic measure to help provide sincere and sensitive communication with its users. Academic regulations and evaluation practices used in educational institutions need to be updated, should ChatGPT be used as a tool in education. To address the transformative effects of ChatGPT on the learning environment, educating teachers and students alike about its capabilities and limitations will be crucial. © 2023 The Authors

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

arXiv

引用

arXiv 2024年

作者： Ren, Yingying Li, Qiuli Guo, Yangyang Pedrycz, Witold Xing, Lining Liu, Anfeng Song, Yanjie School of Computer Electronics and Information Guangxi University Nanning China Guangxi Key Laboratory of Multimedia Communications and Network Technology China Key Laboratory of Parallel Distributed and Intelligent Computing Guangxi University China School of Systems Science Beijing Jiaotong University Beijing China Department of Electrical and Computer Engineering University of Alberta Edmonton Canada Systems Research Institute Polish Academy of Sciences Poland Faculty of Engineering and Natural Sciences Department of Computer Engineering Sariyer Istanbul Turkey School of Electronic Engineering Xidian University Xian China School of Electronic Engineering Central South University Changsha China National Engineering Research Center of Maritime Navigation System Dalian Maritime University Dalian China

With the rapid development of the satellite industry, the information transmission network based on communication satellites has gradually become a major and important part of the future satellite ground integration network. However, the low transmission efficiency of the satellite data relay back mission has become a problem that is currently constraining the construction of the system and needs to be solved urgently. Effectively planning the task of satellite ground networking by reasonably scheduling resources is crucial for the efficient transmission of task data. In this paper, we hope to provide a task execution scheme that maximizes the profit of the networking task for satellite ground network planning considering feeding mode (SGNPFM). To solve the SGNPFM problem, a mixed-integer planning model with the objective of maximizing the gain of the link-building task is constructed, which considers various constraints of the satellite in the feed-switching mode. Based on the problem characteristics, we propose a distance similarity-based genetic optimization algorithm (DSGA), which considers the state characteristics between the tasks and introduces a weighted Euclidean distance method to determine the similarity between the tasks. To obtain more high-quality solutions, different similarity evaluation methods are designed to assist the algorithm in intelligently screening individuals. The DSGAalso uses an adaptive crossover strategy based on similarity mechanism, which guides the algorithm to achieve efficient population search. In addition, a task scheduling algorithm considering the feed-switching mode is designed for decoding the algorithm to generate a highquality scheme. The results of simulation experiments show that the DSGA can effectively solve the SGNPFM problem. Compared to other algorithms, the proposed algorithm not only obtains higher quality planning schemes but also has faster algorithm convergence speed. The proposed algorithm improves data trans

关键词： Profitability

来源：评论

学校读者我要写书评

暂无评论

Large margin multi-modal multi-task feature extraction for image classification

arXiv

引用

arXiv 2019年

作者： Luo, Yong Wen, Yonggang Tao, Dacheng Gui, Jie Xu, Chao School of Electronics Engineering and Computer Science Peking University Beijing China Division of Networks and Distributed Systems School of Computer Engineering Nanyang Technological University Singapore Centre for Quantum Computation & Intelligent Systems Faculty of Engineering & Information Technology University of Technology Sydney Sydney Australia Centre for Quantum Computation & Intelligent Systems Faculty of Engineering and Information Technology University of Technology Sydney 81 Broadway Street UltimoNSW2007 Australia Hefei Institute of Intelligent Machines Chinese Academy of Sciences Hefei230031 China Center for Research on Intelligent Perception and Computing National Laboratory of Pattern Recognition Institute of Automation Chinese Academy of Sciences Beijing100190 China

The features used in many image analysis-based applications are frequently of very high dimension. Feature extraction offers several advantages in high-dimensional cases, and many recent studies have used multi-task feature extraction approaches, which often outperform single-task feature extraction approaches. However, most of these methods are limited in that they only consider data represented by a single type of feature, even though features usually represent images from multiple modalities. We therefore propose a novel large margin multi-modal multi-task feature extraction (LM3FE) framework for handling multi-modal features for image classification. In particular, LM3FE simultaneously learns the feature extraction matrix for each modality and the modality combination coefficients. In this way, LM3FE not only handles correlated and noisy features, but also utilizes the complementarity of different modalities to further help reduce feature redundancy in each modality. The large margin principle employed also helps to extract strongly predictive features so that they are more suitable for prediction (e.g., classification). An alternating algorithm is developed for problem optimization and each sub-problem can be efficiently solved. Experiments on two challenging real-world image datasets demonstrate the effectiveness and superiority of the proposed method. Copyright © 2019, The Authors. All rights reserved.

关键词： Feature extraction

来源：评论

学校读者我要写书评

暂无评论

A standard cell global routing algorithm with net selection for over-the-cell routing

引用

ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE 1995年第12期78卷 102-115页

作者： Koide, T Suzuki, T Wakabayashi, S Yoshida, N Member Faculty of Engineering Hiroshima University Higashi-Hiroshima Japan 724 Associate Member Shin'ichi:Wakabayashi received his B.E. degree in Electrical Engineering and his M.E. and Ph.D. degrees in Systems Engineering from Hiroshima University in 1979 1981 and 1984 respectively. He was a Researcher at Tokyo Research Laboratory IBM Japan Ltd. in 1984-1988. Since 1988 he has been an Associate Professor on the Faculty of Engineering Hiroshima University. His research interests include VLSI CAD combinatorial optimization parallel and distributed algorithms and theory of computing. Dr. Wakabayashi is a member of the Institute of Electrical and Electronics Engineers the Association for Computing Machinery the Institute of Electronics Information and Communication Engineers and the Information Processing Society of Japan. Members

In the detailed routing for VLSI standard cell layout design, the over-the-cell channel routing, which utilizes the over-the-cell legion as the routing region, has been proposed. In this design method, after determining the net assignment to each channel in the global routing step, the track assignment both in channel and on over-the-cell regions is performed by an over-the-cell channel router. However, conventional global routing algorithms do not assume over-the-cell channel routing but conventional channel routing, Therefore, the minimization of channel density does not always successfully lead to the minimization of the final channel height. This paper presents a new global Touting method for standard cell layouts to determine global routes for each net in both channel and over-the-cell regions simultaneously. The standard cell layout design system GLORIA based on the proposed algorithm is developed, and the experimental results compared with the conventional global routing method that performs the over-the-cell channel routing after global-routing with TimberWolf-SC4.2c are reported. Experimental results showed that the proposed routing algorithm can route about 18.4 percent fewer number of tracks than the conventional routing method, and the effectiveness of the proposed method is shown. The experimental results of applying the proposed method to the three-layer routing layout model also are presented.

关键词： standard cell layout design CAD global routing over-the-cell routing

来源：评论

学校读者我要写书评

暂无评论

Intrusion Detection systems using Data Mining Techniques: A comparative study

Intrusion Detection Systems using Data Mining Techniques: A ...

引用

Information systems and Advanced Technologies (ICISAT), International Conference on

作者： Mohamed Haddadi Abdelhamid Khiat Nacera Bahnes Faculté des sciences économiques commerciales et des sciences de gestion Université M’hamed Bougara de Boumerdes Avenue de l’indépendence Boumerdes Algérie Networks and Distributed Systems Division Research Center on Scientific and Technical Information Algeria Industrial Computing and Networks Laboratory (RIIR) University of Oran 1 Ahmed Ben Bella PO Box 1524 El M’naouar Oran Algeria Faculty of Exact Sciences and Computer Science University of Abdelhamid Ibn Badis Mostaganem Algeria

ISBN: (纸本)9781665478250

Data mining tools are widely used in computer networks. The well-known and mostly used tools to secure computers and network systems are WEKA and TANAGRA. The purpose of this study is to compare these two tools in terms of detection accuracy and computation time. This comparison was conducted using a well-known NSL-KDD dataset. Experiments show that TANAGRA achieves better results than WEKA in detection accuracy. But, TANAGRA is competitive with WEKA in terms of computation time.

关键词： Training Java Codes Computer hacking Intrusion detection Computer networks Data mining

来源：评论

学校读者我要写书评

暂无评论

Journal of Information Science and Engineering: Editorial notice

引用

Journal of Information Science and Engineering 2005年第5期21卷 i-ii页

作者： Lee, Der-Tsai Amato, Nancy M. Chang, Shih-Fu Chen, Homer H. Chen, Tsuhan Hsu, Tsan-Sheng Hwang, Jenq-Neng Kuo, Sy-Yen Kuo, Tei-Wei Li, Chung-Sheng Tokuyama, Takeshi Wing, Jeannette Wu, Tzong-Chen Yen, John Computer Science at Texas A and M University United States Parasol Laboratory United States IEEE Transactions on Parallel and Distributed Systems Computing Research Association's Committee on the Status of Women in Computing Research CRA-W's Distributed Mentor Program United States Department of Electrical Engineering Columbia University United States Lab. United States College of Electrical Engineering and Computer Science National Taiwan University Taiwan IEEE Transactions on Circuits and Systems for Video Technology IEEE Department of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA United States ACM ACM SIGACT IEEE Computer Society IICM Austria Research and Development of the Department Multimedia Signal Processing Technical Committee IEEE Signal Processing Society United States IEEE Transactions on Circuits and systems for Video Technology College of Electrical Engineering and Computer Science National Taiwan Ocean University Keelung Taiwan Department of Electrical Engineering National Taiwan University Taiwan Department of Computer Science and Information Engineering National Taiwan University Taipei Taiwan IEEE Technical Committee on Real-Time Systems Computer Science Division IBM T.J. Watson Research Center United States IBM Research Division Graduate School of Information Sciences Tohoku University Japan ACM IPSJ Mathematical Society of Japan Japan Department of Computer Science Computer Science Department Carnegie Mellon University United States National Academies of Science's Computer Science and Telecommunications Board United States Microsoft's Trustworthy Academic Advisory Board Intel Research Pittsburgh's Advisory Board United States Dartmouth's Institute for Security Technology Studies Advisory Committee Canada Sloan Research Fellowships Program Committee United States ACM Taiwan China Information Sciences and Technology Pennsylvania State University United States Laboratory for Intelligent Agents Penn State's School of Info

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

Correction to: Type 2 Diabetes with Artificial Intelligence Machine Learning: Methods and Evaluation

引用

Archives of Computational Methods in Engineering 2021年第7期28卷 5039-5039页

作者： Ismail, Leila Materwala, Huned Tayefi, Maryam Ngo, Phuong Karduck, Achim P. Intelligent Distributed Computing and Systems Research Laboratory Department of Computer Science and Software Engineering College of Information Technology United Arab Emirates University Al Ain Abu Dhabi United Arab Emirates National Water and Energy Center United Arab Emirates University Al Ain Abu Dhabi United Arab Emirates Norwegian Centre for E-Health Research Tromsø Norway Faculty of Informatics Furtwangen University Furtwangen Germany

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：