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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是301-310 订阅

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

详细简洁

排序：

A River Flood Monitoring Technique based on Image Splitting Algorithms 10

A River Flood Monitoring Technique based on Image Splitting ...

引用

10th IEEE international conference on Intelligent Data Acquisition and Advanced Computing systems - Technology and Applications (IDAACS)

作者： Avanzato, Roberta Beritelli, Francesco Cavallaro, Angelo Cuccia, Massimiliano Lombardo, Tiziana Univ Catania Dept Elect Elect & Comp Engn Catania Italy AC2 Srl Adv Consulting Via Cassone 23 I-95019 Zafferana Etnea CT Italy

ISBN: (纸本)9781728140698

the development of innovative solutions to reduce hydrogeological risk is one of the most important research topics of recent years. the paper proposes a technique for river flood detection based on image processing for sub-blocks. the tests carried out with the proposed method have shown that the system is able to estimate the flooding event with good precision and with very short timeframes. the research activity was carried out within the CORA (COntrollo del Rischio Ambientale, Environmental Risk Control) project financed by the Calabria Region (Italy)(1).

关键词： Image processing flood monitoring and prevention natural disaster video surveilliance

来源：评论

学校读者我要写书评

暂无评论

Hierachical Model of Behavior On-line Testing for distributed Information systems 10

Hierachical Model of Behavior On-line Testing for Distribute...

引用

10th IEEE international conference on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications, IDAACS 2019

作者： Martynyuk, Oleksandr Drozd, Oleksandr Tamim, Ahmesh Van thuong, Bui Sachenko, Anatoliy Mykhailova, Halyna Dombrovskyi, Mykhaylo Odessa National Polytechnic University Odessa65044 Ukraine Raiffeisen Bank Aval Ternopil Ukraine Ternopil National Economic University Ternopil46020 Ukraine

ISBN: (纸本)9781728140681

the paper presents a three-level decomposition model of behavioral on-line testing for distributed information systems of the application level. the model is based on the representation of distributed information systems by a three-tier composition of Petri nets, the identification of reference positions/transitions, recognition of behavioral reference fragments, hierarchical inheritance of the recognized behavior. In Petri nets space-time check models are distinguished, which allow the decomposition of the behavior of a distributed system. the following tasks are solved - definition of distributed information systems analytical models - hierarchical extended Petri nets with structural spatial and temporal decomposition of processes and construction of multi-level analytical models of behavioral online testing of distributed information systems - a multi-level fixed extended behavior of the hierarchical extended Petri nets with additional recognition and encapsulation operations, relations of preordering and inheritance, that are defined on it. Behavioral online testing assumes the preceding definition of recognition of reference positions/transitions, reference fragments and their structures and is applicable for model of project verification and verification of implementations for real distributed information systems. © 2019 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

CIKM 2018 - proceedings of the CIKM 2018 Workshops, co-located with 27th acm international conference on Information and Knowledge Management, CIKM 2018

CIKM 2018 - Proceedings of the CIKM 2018 Workshops, co-locat...

引用

Short Paper of the 10th international conference on Indoor Positioning and Indoor Navigation - Work-in-Progress Papers, IPIN-WiP 2019

the proceedings contain 50 papers. the topic discussed include: user profile ontology to support personalization for e-coaching systems;random projection to preserve patient privacy;a relation extraction approach for clinical decision support;using metadata for locating genomic datasets on a global scale;graph analytical re-ranking for entity search;exploring summary-expanded entity embeddings for entity retrieval;and query embedding learning for context-based social search.

关键词： Embeddings

来源：评论

学校读者我要写书评

暂无评论

Demo abstract: A CPS toolchain for learning-based systems 10

Demo abstract: A CPS toolchain for learning-based systems

引用

10th acm/IEEE international conference on Cyber-Physical systems, ICCPS 2019, part of the 2019 CPS-IoT Week

作者： Hartsell, Charles Dubey, Abhishek Mahadevan, Nagabhushan Bapty, theodore Ramakrishna, Shreyas Karsai, Gabor Institute for Software Integrated Sys. Vanderbilt University United States

ISBN: (纸本)9781450362856

Cyber-Physical systems (CPS) are expected to perform tasks with ever-increasing levels of autonomy, often in highly uncertain environments. Traditional design techniques based on domain knowledge and analytical models are often unable to cope with epistemic uncertainties present in these systems. this challenge, combined with recent advances in machine learning, has led to the emergence of Learning-Enabled Components (LECs) in CPS. However, very little tool support is available for design automation of these systems. In this demonstration, we introduce an integrated toolchain for the development of CPS with LECs with support for architectural modeling, data collection, system software deployment, and LEC training, evaluation, and verification. Additionally, the toolchain supports the modeling and analysis of safety cases – a critical part of the engineering process for mission and safety critical systems. © 2019 Copyright held by the owner/author(s).

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

Profile-based Detection of Layered Bottlenecks 19

Profile-based Detection of Layered Bottlenecks

引用

10th acm/SPEC international conference on Performance Engineering (ICPE)

作者： Inagaki, Tatsushi Ueda, Yohei Nakaike, Takuya Ohara, Moriyoshi IBM Res Tokyo Japan

ISBN: (纸本)9781450362399

Detection of software bottlenecks which hinder utilizing hardware resources is a classic but complex problem due to the layered structures of the software bottlenecks. However, model-based approaches require a performance model given, which is impractical to maintain under today's agile development environment, and profile-based approaches do not handle the layered structures of the software bottlenecks. this paper proposes a novel approach of taking the best of both worlds which extracts a performance model from execution profiles of the target application to detect the layered bottlenecks. We collect a wake-up profile of threads, which samples an event that one thread wakes up another thread, and build a thread dependency graph to detect the layered bottlenecks. We implement our approach of profile-based detection of layered bottlenecks in the Go programming language. We demonstrate that our method can detect software bottlenecks limiting scalability and throughput of state-of-the-art middleware such as a web application server and a permissioned blockchain network, with small amount of the runtime overhead for profile collection.

关键词： layered bottlenecks wake-up profile thread dependency graph

来源：评论

学校读者我要写书评

暂无评论

Performance Prediction of Explicit ODE Methods on Multi-Core Cluster systems 19

Performance Prediction of Explicit ODE Methods on Multi-Core...

引用

10th acm/SPEC international conference on Performance Engineering (ICPE)

作者： Scherg, Markus Seiferth, Johannes Korch, Matthias Rauber, thomas Univ Bayreuth Dept Comp Sci D-95440 Bayreuth Germany

ISBN: (纸本)9781450362399

When migrating a scientific application to a new HPC system, the program code usually has to be re-tuned to achieve the best possible performance. Auto-tuning techniques are a promising approach to support the portability of performance. Often, a large pool of possible implementation variants exists from which the most efficient variant needs to be selected. Ideally, auto-tuning approaches should be capable of undertaking this task in an efficient manner for a new HPC system and new characteristics of the input data by applying suitable analytic models and program transformations. In this article, we discuss a performance prediction methodology for multi-core cluster applications, which can assist this selection process by significantly reducing the selection effort compared to in-depth runtime tests. the methodology proposed is an extension of an analytical performance prediction model for shared-memory applications introduced in our previous work. Our methodology is based on the execution-cache-memory (ECM) performance model and estimations of intra-node and inter-node communication costs, which we apply to numerical solution methods for ordinary differential equations (ODEs). In particular, we investigate whether it is possible to obtain accurate performance predictions for hybrid MPI/OpenMP implementation variants in order to support the variant selection. We demonstrate that our approach is able to reliably select a set of efficient variants for a given configuration (ODE system, solver and hardware platform) and, thus, to narrow down the search space for possible later empirical tuning.

关键词： performance prediction variant selection auto-tuning ODE ECM model MPI distributed-memory

来源：评论

学校读者我要写书评

暂无评论

distributed event-triggered bipartite consensus for multi-agent systems associated with signed graphs 10

Distributed event-triggered bipartite consensus for multi-ag...

引用

10th international conference on Intelligent Control and Information Processing (ICICIP)

作者： Yang, Sifan Wen, Jiayan Luo, Wenguang Zhu, Zonghong Xie, Guangming Tao, Jin Guangxi Univ Sci & Technol Sch Elect & Informat Engn Liuzhou 545006 Peoples R China Peking Univ Coll Engn Beijing 100871 Peoples R China Aalto Univ Dept Elect Engn & Automat Espoo 02150 Finland

ISBN: (纸本)9781728100159

In order to reduce the unnecessary consumption of limited resources e.g., network bandwidth, communication cost, and energy of agents, a bipartite consensus problem of first-order multi-agent systems under linear asynchronous decentralized event-triggered control is investigated. According to properties of the connected signed graphs, the bipartite consensus control of a first-order multi-agent systems with the coexistence of cooperative and competitive interactions is designed, so that the multi-agent systems can reach an agreement with an identical magnitude but opposite sign. Due to the drawbacks of unnecessary consumption of communication cost in traditional sampling methods, we consider the event-triggered control bipartite consensus protocol, where both the control protocol and the event-triggered condition are based on local information and sampled states of neighboring agents. Specifically, cutting off continuous communication between agents will reduce energy consumption and communication utilization. the simulation results are given to illustrate the efficiency of the proposed control protocol.

关键词： multi-agent systems signed graph bipartite consensus event-triggered control

来源：评论

学校读者我要写书评

暂无评论

Demo Abstract: MATLAB/Simulink Benchmark suite for ROS-based self-driving system 10

Demo Abstract: MATLAB/Simulink Benchmark suite for ROS-based...

引用

10th acm/IEEE international conference on Cyber-Physical systems, ICCPS 2019, part of the 2019 CPS-IoT Week

作者： Tokunaga, Shota Ota, Noriyuki Miura, Keita Azumi, Takuya Graduate School of Engineering Science Osaka University Japan Yoshiharu Tange NEXTY Electronics Corporation Japan Graduate School of Science and Engineering Saitama University Japan

ISBN: (纸本)9781450362856

this paper proposes a MATLAB/Simulink benchmark suite for an open-source self-driving system based on Robot Operating System (ROS). In recent years, self-driving systems have been developed around the world. One approach to the development of self-driving systems is the utilization of ROS which is an open-source middle-ware framework used in the development of robot applications. On the other hand, the popular approach in the automotive industry is the utilization of MATLAB/Simulink which is software for modeling, simulating, and analyzing. MATLAB/Simulink provides an interface between ROS and MATLAB/Simulink that enables to create functionalities of ROS-based robots in MATLAB/Simulink. However, it is not been fully utilized in the development of self-driving systems yet because there are not enough samples for self-driving, and it is difficult for developers to adopt co-development. therefore, we provide a MATLAB/Simulink benchmark suite for a ROS-based self-driving system called Autoware. Autoware is popular open-source software that provides a complete set of self-driving modules. the provided benchmark contains MATLAB/Simulink samples available in Autoware. they help to design ROS-based self-driving systems using MATLAB/Simulink. © 2019 Copyright held by the owner/author(s).

关键词： Robot Operating System

来源：评论

学校读者我要写书评

暂无评论

Mobile Computing, Applications, and Services - 10th EAI international conference, MobiCASE 2019 - proceedings

Mobile Computing, Applications, and Services - 10th EAI Inte...

引用

10th EAI international conference on Mobile Computing, Applications, and Services, MobiCASE 2019

ISBN: (纸本)9783030284688

the proceedings contain 17 papers. the topics discussed include: a location and intention oriented recommendation method for accuracy enhancement over big data;a pricing incentive mechanism for mobile crowd sensing in edge computing;load-aware computation offloading with privacy preservation for 5G networks in edge computing;mobile app for text-to-image synthesis;noise sensing calibration under different phone context;the feasibility of repurposing recycled cell phones as sensors in a smart campus shuttle monitoring system;transformer based memory network for sentiment analysis of Chinese Weibo texts;an active defense model in edge computing based on network topology mimetic correlation;comparison of user trajectories with the Needleman-Wunsch algorithm;distributed learning automata based data dissemination in networked robotic systems;fast map-matching based on hidden Markov model;progress in interpretability research of convolutional neural networks;and self-similarity analysis and application of network traffic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

WIP abstract: Interactive explanation for planning-based systems 10

WIP abstract: Interactive explanation for planning-based sys...

引用

10th acm/IEEE international conference on Cyber-Physical systems, ICCPS 2019, part of the 2019 CPS-IoT Week

作者： Zhao, Ellin Sukkerd, Roykrong Dept. of Electrical Engineering and Computer Sciences University of California Berkeley BerkeleyCA United States Institute for Software Research Carnegie Mellon University PittsburghPA United States

ISBN: (纸本)9781450362856

As Cyber-Physical systems (CPSs) become more autonomous, it becomes harder for humans who interact with the CPSs to understand the behavior of the systems. Particularly for CPSs that must perform tasks while optimizing for multiple quality objectives and acting under uncertainty, it can be difficult for humans to understand the system behavior generated by an automated planner. this work-in-progress presents an approach at clarifying system behavior through interactive explanation by allowing end-users to ask Why and Why-Not questions about specific behaviors of the system, and providing answers in the form of contrastive explanation. © 2019 Copyright held by the owner/author(s).

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共162页 << < 27 28 29 30 31 32 33 34 35 36 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：