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

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

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

CEUR Workshop Proceedings 2017年 1826卷

作者： Kopp, Oliver Lenhard, Jörg Pautasso, Cesare University of Stuttgart Institute for Parallel and Distributed Systems Universitätsstraße 38 StuttgartDE70569 Germany Karlstad University Department of Mathematics and Computer Science Universitetsgatan 2 KarlstadSE65188 Sweden USI Faculty of Informatics Architecture Design and Web Information Systems Engineering Research Group Via Buffi 13 LuganoCH6900 Switzerland

来源：评论

学校读者我要写书评

暂无评论

Cost model and copyright management for 3D digital contents using multilevel complex objects

引用

systems and computers in Japan 2000年第12期31卷 73-82页

作者： Kidawara, Yutaka Sugiyama, Yuichi Tanaka, Katsumi Telecom. Adv. Organization of Japan Kobe 650-0046 Japan Div. of Media and Computer Sciences Grad. Sch. of Science and Technology Kobe University Kobe 657-0013 Japan Dept. of Comp. and Syst. Engineering Grad. Sch. of Science and Technology Kobe University Kobe 657-0013 Japan Instrumentation Department School of Engineering Kobe University Kobe Steel Ltd. Telecom. Adv. Organization of Japan Dept. of Comp. and Syst. Engineering Grad. Sch. of Sci. and Engineering Kobe University Information Processing Council Syst. Contr. and Info. Association Eng. and Information Department Kyoto University Education Department Kobe University Engineering School Engineering Department Div. of Media and Computer Sciences Grad. Sch. of Science and Technology Database Systems Research Group Information Processing Council Next Generation Digit. Image C. Res. Distributed Devmt.-type D. Min. of Educ.'s Focal Topic Research Kobe Multimedia Internet Cooperative Information Processing Council Artif. Intelligence Association IEEE Computer Society

The authors discuss multimedia data communications using the Internet from the standpoint of providing services, and propose a cost model based on multilevel complex objects for the purpose of responding to the various needs of users. The proposed cost model creates multiple levels of the service which provide each element of the complex object, and then introduces the concept of `service ranges' that can dynamically vary the service which can be received within the scope of the price paid. Conventional multimedia data can only provide one service. However, the authors' service can be selected dynamically from within a range based on the price paid by the user. In order to evaluate these methods, the authors created a framework which can be applied to 3DCG content using VRML by using Java and OODBMS. In addition, rights such as copyrights that are frequently a part of 3DCG content must be protected. The proposed multilevel complex object can confirm a user's rights by using a built-in user authentication function. Thus, copyright management features that provide services within a service range available to valid users and block out illegal users can be realized.

关键词： Multimedia systems

来源：评论

学校读者我要写书评

暂无评论

Preface

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 2468卷

作者： Plaice, John Kropf, Peter Schulthess, Peter Slonim, Jacob University of New South Wales School of Computer Science and Engineering SydneyNSW Australia University of Montreal Department of Computer Science and Operations Research C.P. 6128 succ. Centre-Ville MontrealQC Canada University of Ulm Distributed Systems Laboratory James Frank Ring 0-27 Ulm Germany Dalhousie University 6050 University Avenue HalifaxNS Canada

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

International Journal of Metadata, Semantics and Ontologies 2014年第2期9卷 81-82页

作者： Malki, Mimoun Flory, Andreá Evolutionary Engineering and Distributed Information Systems Laboratory-EEDIS Computer Science Department Djillali Liabes University of Sidi Bel Abbes B.P. 89 22000 Sidi Algeria Laboratoire d'InfoRmatique en Image et Systeámes d'information Computer Science Department Institut National des Sciences Appliqueáes de Lyon 20 Avenue Albert Einstein 69621 Villeurbanne cedex France

来源：评论

学校读者我要写书评

暂无评论

Authors’ Response to Peer Reviews of “Emergence of the First Strains of SARS-CoV-2 Lineage B.1.1.7 in Romania: Genomic Analysis”

引用

JMIRx Med 2021年第3期2卷

作者： Andrei Lobiuc Mihai Dimian Olga Sturdza Roxana Filip Mihai Covasa Department of Human Health and Development College of Physical Exercise and Sport Stefan cel Mare University of Suceava Suceava Romania Department of Computers Electronics and Automation College of Electrical Engineering and Computer Science Stefan cel Mare University of Suceava Suceava Romania Integrated Center for Research Development and Innovation in Advanced Materials Nanotechnologies and Distributed Systems for Fabrication and Control Stefan cel Mare University of Suceava Suceava Romania Suceava County Emergency Hospital Suceava Romania

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

PARALLEL AND distributed TLM COMPUTATION WITH SIGNAL-PROCESSING FOR ELECTROMAGNETIC-FIELD MODELING

引用

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1995年第3-4期8卷 169-185页

作者： SO, PPM ESWARAPPA, C HOEFER, WJR NSERC/MPR Teltech Research Chair in RF Engineering Department of Electrical and Computer Engineering University of Victoria Victoria British Columbia V8W 3P6 Canada Poman So received his B.Sc. degree in computer science and physics from the University of Toronto Toronto Onatario Canada in 1985. He obtained his B.A. Sc. and M.A.Sc. degrees in electrical engineering (summa cum laude) from the University of Ottawa Ottawa Ontario Canada in 1987 and 1989 respectively. Mr So was a research engineer in the University of Ottawa from January 1989 to October 1991 his research interests included CAD techniques of microwave circuits and numerical methods for electromagnetic wave modelling. He specialized in the development of electromagnetic engineering CAD software and successfully implemented a number of electromagnetic wave simulators based on the two-dimensional and three-dimensional transmission-line matrix methods. From August 1990 to February 1991 he accompanied Professor W. J. R. Hoefer to Rome Italy and Sophia Antiopolas France. During that time he implemented a parallel version of the 3D-TLM simulator for the CM-2 Connection Machine using C-Star and X Windows Library. He is a research engineer and a Ph.D. student at the University of Victoria Victoria British Columbia Canada. He ported the 2D- and 3D-TLM simulators to DECmpp 1200 massively parallel computer using MPL C and C++. He also combined OSA90/hope a commercially available microwave CAD program with a 2D-TLM simulation module for geometry optimization using the Datapipe technique of OSA90/hope. Recently he has developed a distributed client-server computing technique for the TLM method this technique could accelerate the TLM simulation by more than an order of magnitude. Channabasappa Eswarappa received the M.Tech. degree in electrical engineering from the Indian Institute of Technology Kanpur India in 1983 and Ph. D. degree from the University of Ottawa Canada in 1990. He worked as an Assistant Executive Engineer and later as

This paper describes the implementation of transmission-line matrix (TLM) method algorithms on a massively parallel computer (DECmpp 12000), the technique of distributed computing in the UNIX environment, and the combination of TLM analysis with Prony's method as well as with autoregressive moving average (ARMA) digital signal processing for electromagnetic field modelling. By combining these advanced computation techniques, typical electromagnetic field modelling of microwave structures by TLM analysis can be accelerated by a few orders of magnitude.

关键词： Mathematical models

来源：评论

学校读者我要写书评

暂无评论

Foundational Competencies and Responsibilities of a Research Software Engineer

arXiv

引用

arXiv 2023年

作者： Goth, Florian Alves, Renato Braun, Matthias Castro, Leyla Jael Chourdakis, Gerasimos Christ, Simon Cohen, Jeremy Druskat, Stephan Erxleben, Fredo Grad, Jean-Noël Hagdorn, Magnus Hodges, Toby Juckeland, Guido Kempf, Dominic Lamprecht, Anna-Lena Linxweiler, Jan Löffler, Frank Martone, Michele Schwarzmeier, Moritz Seibold, Heidi Thiele, Jan Philipp Waldow, Harald von Wittke, Samantha Institute for Theoretical Physics and Astrophysics University of Würzburg Germany European Molecular Biology Laboratory Heidelberg Germany Cluster of Excellence IntCDC University of Stuttgart Germany ZB MED Information Centre for Life Sciences Cologne Germany School of Computation Information and Technology Technical University of Munich Garching Germany Institute for Parallel and Distributed Systems University of Stuttgart Stuttgart Germany Leibniz University Hannover Department of Cell Biology and Biophysics Computational Biology Germany Imperial College London London United Kingdom Institute for Software Technology Berlin Germany Humboldt-Universität zu Berlin Department of Computer Science Berlin Germany Helmholtz-Zentrum Dresden-Rossendorf Germany Institute for Computational Physics University of Stuttgart Germany Geschäftsbereich IT Charité Universitätsmedizin Berlin Germany The Carpentries United States Heidelberg University Scientific Software Center Germany Institute of Computer Science University of Potsdam Germany Technische Universität Braunschweig Germany Michael Stifel Center Jena Friedrich Schiller University Jena Germany Leibniz Supercomputing Centre Garching Germany Mathematical Modeling and Analysis TU Darmstadt Germany IGDORE Munich Germany Weierstrass Institute Berlin Germany Leibniz University Hannover Institute of Applied Mathematics Scientific Computing Hannover Germany Johann Heinrich von Thünen Institute Centre for Information Management Germany

The term Research Software Engineer, or RSE, emerged a little over 10 years ago as a way to represent individuals working in the research community but focusing on software development. The term has been widely adopted and there are a number of high-level definitions of what an RSE is. However, the roles of RSEs vary depending on the institutional context they work in. At one end of the spectrum, RSE roles may look similar to a traditional research role. At the other extreme, they resemble that of a software engineer in industry. Most RSE roles inhabit the space between these two extremes. Therefore, providing a straightforward, comprehensive definition of what an RSE does and what experience, skills and competencies are required to become one is challenging. In this community paper we define the broad notion of what an RSE is, explore the different types of work they undertake, and define a list of foundational competencies as well as values that outline the general profile of an RSE. Further research and training can build upon this foundation of skills and focus on various aspects in greater detail. We expect that graduates and practitioners will have a larger and more diverse set of skills than outlined here. On this basis, we elaborate on the progression of these skills along different dimensions. We look at specific types of RSE roles, propose recommendations for organisations, and give examples of future specialisations. An appendix details how existing curricula fit into this framework. © 2023, CC BY.

关键词： computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Emergence of the First Strains of SARS-CoV-2 Lineage B.1.1.7 in Romania: Genomic Analysis

引用

JMIRx med 2021年第3期2卷 e28049页

作者： Andrei Lobiuc Mihai Dimian Olga Sturdza Roxana Filip Mihai Covasa Department of Human Health and Development College of Physical Exercise and Sport Stefan cel Mare University of Suceava Suceava Romania. Department of Computers Electronics and Automation College of Electrical Engineering and Computer Science Stefan cel Mare University of Suceava Suceava Romania. Integrated Center for Research Development and Innovation in Advanced Materials Nanotechnologies and Distributed Systems for Fabrication and Control Stefan cel Mare University of Suceava Suceava Romania. Suceava County Emergency Hospital Suceava Romania.

BACKGROUND:The United Kingdom reported the emergence of a new and highly transmissible SARS-CoV-2 variant (B.1.1.7) that rapidly spread to other countries. The impact of this new mutation-which occurs in the S protein-on infectivity, virulence, and current vaccine effectiveness is still under evaluation. OBJECTIVE:The aim of this study is to sequence SARS-CoV-2 samples of cases in Romania to detect the B.1.1.7 variant and compare these samples with sequences submitted to GISAID. METHODS:SARS-CoV-2 samples were sequenced and amino acid substitution analysis was performed using the CoV-GLUE platform. RESULTS:We have identified the first cases of the B.1.1.7 variant in samples collected from Romanian patients, of which one was traced to the region of the United Kingdom where the new variant was originally sequenced. Mutations in nonstructural protein 3 (Nsp3; N844S and D455N) and ORF3a (L15F) were also detected, indicating common ancestry with UK strains as well as remote connections with strains from Nagasaki, Japan. CONCLUSIONS:These results indicate, for the first time, the presence and characteristics of the new variant B.1.1.7 in Romania and underscore the need for increased genomic sequencing in patients with confirmed COVID-19.

关键词： COVID-19 Romania case study epidemiology genetics genome impact infectious disease lineage mutation sequencing spread strain transmission variant virology virus

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：