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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

1,610 篇 会议
5 篇 期刊文献
4 册 图书

馆藏范围

1,619 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,145 篇 工学
- 1,029 篇 计算机科学与技术...
- 617 篇 软件工程
- 175 篇 电气工程
- 161 篇 信息与通信工程
- 127 篇 控制科学与工程
- 42 篇 机械工程
- 38 篇 土木工程
- 33 篇 电子科学与技术（可...
- 30 篇 建筑学
- 29 篇 生物工程
- 24 篇 动力工程及工程热...
- 20 篇 石油与天然气工程
- 20 篇 安全科学与工程
- 15 篇 交通运输工程
- 14 篇 仪器科学与技术
- 14 篇 化学工程与技术
- 13 篇 生物医学工程（可授...
217 篇 理学
- 115 篇 数学
- 46 篇 系统科学
- 37 篇 生物学
- 31 篇 统计学（可授理学、...
- 23 篇 物理学
- 16 篇 化学
199 篇 管理学
- 110 篇 图书情报与档案管...
- 107 篇 管理科学与工程(可...
- 69 篇 工商管理
35 篇 法学
- 24 篇 社会学
- 12 篇 法学
20 篇 经济学
- 20 篇 应用经济学
19 篇 医学
- 16 篇 基础医学(可授医学...
12 篇 教育学
4 篇 军事学
3 篇 农学
1 篇 文学

主题

36 篇 distributed comp...
33 篇 distributed syst...
27 篇 middleware
27 篇 distributed comp...
19 篇 computer systems...
18 篇 quality of servi...
18 篇 semantics
16 篇 distributed data...
15 篇 fault tolerance
14 篇 event processing
14 篇 blockchain
14 篇 cloud computing
14 篇 web services
13 篇 real time system...
13 篇 information mana...
13 篇 wireless sensor ...
13 篇 machine learning
13 篇 ontology
12 篇 internet of thin...
12 篇 computer science

机构

7 篇 college of compu...
7 篇 fzi research cen...
6 篇 institute of dis...
5 篇 fzi research cen...
5 篇 university of os...
5 篇 university of st...
5 篇 humboldt-univers...
4 篇 carnegie mellon ...
4 篇 ulm univ inst di...
3 篇 inria
3 篇 univ magdeburg c...
3 篇 univ toronto on
3 篇 institute of par...
3 篇 osaka univ osaka
3 篇 pacific northwes...
3 篇 delft university...
3 篇 department of ci...
3 篇 grid computing a...
3 篇 college of compu...
3 篇 eth zurich

作者

16 篇 rothermel kurt
12 篇 koldehofe boris
11 篇 jacobsen hans-ar...
10 篇 dustdar schahram
8 篇 ramachandran uma...
7 篇 kargl frank
7 篇 tariq muhammad a...
7 篇 jerzak zbigniew
6 篇 erb benjamin
6 篇 zhou yongluan
5 篇 ottenwälder beat...
5 篇 stojanovic nenad
5 篇 nenad stojanovic
5 篇 fetzer christof
5 篇 buyya rajkumar
4 篇 meissner dominik
4 篇 ziekow holger
4 篇 margara alessand...
4 篇 kosch harald
4 篇 chen tianzhou

语言

1,600 篇 英文
16 篇 其他
2 篇 俄文
1 篇 中文

检索条件"任意字段=Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems"

共 1619 条记录，以下是231-240 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

X international conference on High-Performance Computing systems and Technologies in Scientific Research, Automation of Control and Production, HPCST 2020

X International Conference on High-Performance Computing Sys...

引用

10th international conference on High-Performance Computing systems and Technologies in Scientific Research, Automation of Control and Production, HPCST 2020

the proceedings contain 32 papers. the topics discussed include: VLSI architecture with a configurable data processing path based on serial distributed arithmetic;improving the performance of processing special computing tasks using an asynchronous actor model;diagnostics of aluminum alloys with friction stir welded joints based on multivariate analysis of acoustic emission signals;use of trainable wavelet transform with adaptive threshold filtering for noise reduction of speech signals;analysis of the statistical characteristics of the discrete breater in CuPt7 crystal by the method of molecular dynamics by GPU-calculations;optimization method for non-cooperative iris recognition task using Daugman integro-differential operator;computer-aided simulation of WC-10Co-4Cr cermet coatings formation and predictive detection of optimal spraying regimes;and analysis of city transport network based on geoinformation systems in transport zones of industrial city.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Managing the Security-Energy Tradeoff in distributed Cyber-physical systems 19

Managing the Security-Energy Tradeoff in Distributed Cyber-p...

引用

10th acm/IEEE international conference on Cyber-Physical systems (ICCPS)

作者： Anh-Duy Vu Medhat, Ramy Bonakdarpour, Borzoo McMaster Univ Hamilton ON Canada Univ Waterloo Waterloo ON Canada Iowa State Univ Ames IA USA Google Waterloo Kitchener ON Canada

ISBN: (纸本)9781450362856

In this paper, we propose a technique that attempts to control energy consumption in distributed cyber-physical systems (CPS) in order to improve the level of security of the system. this is in contrast to most existing methods, where the system is set to use a certain level of authentication at design time, such as basic authentication, certificate-based authentication, or no authentication at all. To this end, we propose a notion of authenticatable task graph, which encodes standard task dependencies and allows for authentication tasks to be intermittently inserted into the computation task graph. the optimization objective here is to maximize the number of authentication tasks as well as peer-authentication, while remaining in the system energy bounds. We propose three offline optimization techniques and one online algorithm, where the system can dynamically manage the tradeoff between energy consumption and the level of security in the presence of uncertainties imposed by the physical environment. Our optimization algorithms are validated by a rich set of simulations as well as a real-world case study on a group of unmanned aerial vehicles (UAVs) that are assigned area search tasks and are required to perform peer-authentication within their battery limits.

关键词： Cyber-physical systems security energy consumption optimization

来源：评论

学校读者我要写书评

暂无评论

Pushdown Automata Versioning Framework for Web-based Developmental Surveillance systems 10

Pushdown Automata Versioning Framework for Web-Based Develop...

引用

10th IEEE international conference on Control System, Computing and Engineering, ICCSCE 2020

作者： Ch'Ng, Yan Huan Osman, Mohd Azam Jong, Hui Ying Universiti Sains Malaysia School of Computer Sciences Gelugor Penang Malaysia Universiti Sains Malaysia School of Humanities Gelugor Penang Malaysia

ISBN: (纸本)9781728172439

the development of existing software system, including web-based developmental surveillance programs, adopt linear software versioning systems wherein all files associated to a particular software version is pre-packed together and distributed to clients. In this paper, the two inconveniences incurred by linear software versioning onto web-based software development have been highlighted in terms of the software system update and rollback infrastructure. the use of a new Pushdown Automata (PDA) based versioning framework has been proposed to resolve these issues, by reducing update file storage requirements on the master server, and by simplifying the update files fetching process and version update/rollback installation process. based on the proposed PDA-based versioning framework, a description is provided on how branched software versioning systems can be implemented to facilitate the development of a light-weight central repository server which allows access to different online language screening tools for all respective needs. © 2020 IEEE.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Anomaly detection in traffic surveillance videos with GAN-based future frame prediction 20

Anomaly detection in traffic surveillance videos with GAN-ba...

引用

10th acm international conference on Multimedia Retrieval, ICMR 2020

作者： Nguyen, Khac-Tuan Dinh, Dat-thanh Do, Minh N. Tran, Minh-Triet University of Science Vietnam National University Ho Chi Minh City Viet Nam University of Illinois at Urbana-Champaign Urbana-Champaign United States

ISBN: (纸本)9781450370875

It is essential to develop efficient methods to detect abnormal events, such as car-crashes or stalled vehicles, from surveillance cameras to provide in-time help. this motivates us to propose a novel method to detect traffic accidents in traffic videos. To tackle the problem where anomalies only occupy a small amount of data, we propose a semi-supervised method using Generative Adversarial Network trained on regular sequences to predict future frames. Our key idea is to model the ordinary world with a generative model, then compare a predicted frame with the real next frame to determine if an abnormal event occurs. We also propose a new idea of encoding motion descriptors and scaled intensity loss function to optimize GAN for fast-moving objects. Experiments on the Traffic Anomaly Detection dataset of AI City Challenge 2019 show that our method achieves the top 3 results with F1 score 0.9412 and RMSE 4.8088, and S3 score 0.9261. Our method can be applied to different related applications of anomaly and outlier detection in videos. © 2020 acm.

关键词： Anomaly detection

来源：评论

学校读者我要写书评

暂无评论

Static Termination Analysis for event-driven distributed Algorithms 19

Static Termination Analysis for Event-driven Distributed Alg...

引用

13th acm international conference on distributed and event-based systems (DEBS)

作者： Wiemuth, Felix Amthor, Peter Kuehnhauser, Winfried E. Tech Univ Ilmenau Ilmenau Germany

ISBN: (纸本)9781450367943

Termination is an important non-functional property of distributed algorithms. In an event-driven setting, the interesting aspect of termination is the possibility of control flow loops through communication, which this paper aims to investigate. In practice, it is often difficult to spot the possible communication behaviour of an algorithm at a glance. With a static analysis, the design process can be supported by visualizing possible flow of messages and give hints on possible sources of non-termination. We propose a termination analysis for distributed algorithms formulated in an event-driven specification language. the idea is to construct a message flow graph describing the possible communication between components (input-action pairs). We show that acyclicity of that graph implies termination. While many interesting algorithms indeed contain cycles, we also suggest ways of detecting cycles which cannot lead to non-termination. As a practical evaluation, we describe a concrete programming language together with a tool for automated termination analysis.

关键词： distributed algorithms event-driven algorithm specification programming languages message flow static analysis termination

来源：评论

学校读者我要写书评

暂无评论

10th Annual international conference on Biologically Inspired Cognitive Architectures, BICA 2019

10th Annual International Conference on Biologically Inspire...

引用

10th Annual international conference on Biologically Inspired Cognitive Architectures, BICA 2019

ISBN: (纸本)9783030257187

the proceedings contain 79 papers. the special focus in this conference is on Biologically Inspired Cognitive Architectures. the topics include: Practical User and Entity Behavior Analytics Methods for Fraud Detection systems in Online Banking: A Survey;significance of Emotional Context While Performing Semantic Tasks;the Semantic Complex event Processing based on Metagraph Approach;deceptive Actions and Robot Collision Avoidance;a Cognitive Architecture for a Transportation Robotic System;reconfigurable Locomotion of Hexapod Robot based on Inverse Kinematics;development of Text Data Processing Pipeline for Scientific systems;environment of Modeling Methods for Indicating Objects based on Displaced Concepts;increasing of Semantic Sustainability in the Interaction of Information Processes;story-Centric View on the Mind;computational Model for Granulating of Objects in the Semantic Network to Enhance the Sustainability of Niche Concepts;metascience and Metacognition;dynamic Parameters of the Diffusion in Human Brain White Matter During Cognitive Tasks;Preliminary Results and Analysis Independent Core Observer Model (ICOM) Cognitive Architecture in a Mediated Artificial Super Intelligence (mASI) System;independent Core Observer Model Research Program Assumption Codex;human Brain Computer/Machine Interface System Feasibility Study for Independent Core Observer Model based Artificial General Intelligence Collective Intelligence systems;preliminary Mediated Artificial Superintelligence Study, Experimental Framework, and Definitions for an Independent Core Observer Model Cognitive Architecture-based System;development of an Optimal Production Plan Using Fuzzy Logic Tools;internet Users Authentication via Artificial Intelligence;biologically Inspired Algorithm for Increasing the Number of Artificial Neurons;analysis of the Possibility of the Neural Network Implementation of the Viola-Jones Algorithm;semantics Beyond Language.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Intrusion Detection Using Extremely Limited Data based on SDN 10

Intrusion Detection Using Extremely Limited Data Based on SD...

引用

10th IEEE international conference on Intelligent systems, IS 2020

作者： Banton, Matthew Shone, Nathan Hurst, William Shi, Qi Liverpool John Moores University Department of Computer Science Liverpool United Kingdom

ISBN: (纸本)9781728154565

In Western Europe, the number of Internet connected devices is expected to increase from the 2.3 billion devices in 2017, to 4 billion in 2022. Dealing with this growth is an increasing problem for administrators attempting to ensure that Quality of Service levels are maintained. Software Defined Networking (SDN) has been proposed as one of the solutions to some of the problems caused by this increasing volume of data, such as the time it takes to manually reconfigure switches in response to changing network conditions. SDN moves the distributed networking paradigm to a centralised solution, which is easier to manage, but comes with other issues for security focused administrators. SDN can lead to a reduction in the amount of information available for Intrusion Detection systems (IDSs). this is because IDSs still rely on direct packet sampling techniques, which can provide more information than the aggregated view of networks SDN flow tables provide. As deep learning and other artificial intelligence techniques look likely to become more commonplace in IDSs, this reduction in information becomes an increasing problem. Many of these methods require large training sets with many features. In this paper, we propose a method to correct this imbalance through the creation of a novel framework, which will allow upwards of 90% precision on the state of the art UNSW-NB15 dataset while only using a small fraction of the features available, matching those available within a SDN environment. © 2020 IEEE.

关键词： Intrusion detection

来源：评论

学校读者我要写书评

暂无评论

Correctness and consistency of event-based systems 19

Correctness and consistency of event-based systems

引用

13th acm international conference on distributed and event-based systems, DEBS 2019

作者： Etzion, Opher Information System Dept. Yezreel Valley College Israel

ISBN: (纸本)9781450367943

event-based systems encounter challenges of correctness and consistency. Correctness means that the execution results match the intention of the designer. Consistency means that different data elements that co-exist within a certain system creates an internal consistency with respect to the system's requirements. In this tutorial, we cover the different aspects of correctness and consistency. We discuss issues of correctness with respect of the temporal properties of the system, such as order of events, and boundaries of time windows. We further discuss the different aspects of fine-tuning required in event-based system, where different semantic interpretations are possible, such as: repeating events, or consumption. the consistency discussion relates to two classic issues in the data management world: data dependencies and integrity constraint enforcement. Since event-based systems typically consist of loosely coupled component architecture in distributed environment, the challenge is compliance with data dependencies and assertions about consistency. Finally, yet importantly, we discuss the validation of event-based systems by using static and dynamic analysis. © 2019 Author.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

On the need for distributed complex event processing with multiple sinks 19

On the need for distributed complex event processing with mu...

引用

13th acm international conference on distributed and event-based systems, DEBS 2019

作者： Akili, Samira Humboldt University of Berlin Germany

ISBN: (纸本)9781450367943

distributed complex event processing evaluates CEP-queries over data produced by geographically distributed sources. To cope with bandwith restrictions, it is common to employ in-network processing where the operators of a query are placed at network nodes, especially those that act as data sources. While existing operator placement algorithms handle distributed sources, query results are gathered at one designated node - the sink. We argue that such single-sink solutions are not applicable for non-hierarchical systems, in which multiple nodes need to be informed about query results. Also, in compositional applications, where the result of one query is the input to another query, having a single sink enforces centralisation. Using a real-world application scenario, we illustrate the need for a novel DCEP approach with a multi-sink operator placement. Furthermore, we elaborate on the requirements to be incorporated by a DCEP approach targeting highly decentralized systems. © 2019 Author.

关键词： Hierarchical systems

来源：评论

学校读者我要写书评

暂无评论

Identifying Security Challenges in Renewable Energy systems: A Wind Turbine Case Study 19

Identifying Security Challenges in Renewable Energy Systems:...

引用

10th acm international conference on Future Energy systems (e-Energy)

作者： Jindal, Anish Marnerides, Angelos K. Scott, Andrew Hutchison, David Univ Lancaster Sch Comp & Commun Lancaster England

ISBN: (纸本)9781450366717

distributed renewable energy systems (DRESs) and their interconnection network, typically using Internet-based protocols, are susceptible to a wide range of cyber-security and resilience challenges. these challenges have been shown to cause problems for the overall grid optimization process. In order to detect such events, we argue that an adequate correlation between network and energy generation data is required. therefore, in this study, we provide a work-in-progress insight related to the profiling of real network data and energy generation measurements gathered by a local wind-turbine at Lancaster University. We argue that such an analysis is very important to profile various attack vectors in the modern energy networks that consider DRESs and take necessary actions to prevent any data breaches in the future.

关键词： Cyber-attack detection data analysis distributed renewable energy sources smart grid wind power

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共162页 << < 20 21 22 23 24 25 26 27 28 29 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：