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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

21 篇 期刊文献
11 篇 会议

馆藏范围

32 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

30 篇 工学
- 23 篇 计算机科学与技术...
- 12 篇 软件工程
- 7 篇 电气工程
- 5 篇 控制科学与工程
- 3 篇 信息与通信工程
- 1 篇 电子科学与技术（可...
- 1 篇 化学工程与技术
- 1 篇 生物医学工程（可授...
6 篇 管理学
- 4 篇 管理科学与工程(可...
- 1 篇 工商管理
- 1 篇 公共管理
- 1 篇 图书情报与档案管...
4 篇 理学
- 3 篇 数学
- 1 篇 系统科学
3 篇 医学
- 2 篇 基础医学(可授医学...
- 1 篇 临床医学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学

主题

32 篇 distributed proc...
3 篇 verification
3 篇 concurrent progr...
2 篇 transparency
2 篇 processes
2 篇 filter processes
2 篇 process communic...
2 篇 process executio...
2 篇 nondeterminism
2 篇 blockchain
2 篇 distributed netw...
2 篇 monitors
2 篇 cooperative filt...
2 篇 location-awarene...
2 篇 dynamic evolutio...
1 篇 communicatio
1 篇 internet of thin...
1 篇 carrier synchron...
1 篇 innovation syste...
1 篇 protocol convers...

机构

2 篇 indian inst tech...
1 篇 ericsson utveckl...
1 篇 vanderbilt univ ...
1 篇 nn burdenko natl...
1 篇 lomonosov moscow...
1 篇 department of in...
1 篇 tech univ dresde...
1 篇 univ politehn bu...
1 篇 bodo univ coll f...
1 篇 so methodist uni...
1 篇 computer centre ...
1 篇 tech univ darmst...
1 篇 univ manchester ...
1 篇 univ nacl colomb...
1 篇 univ hamburg dep...
1 篇 invitro moscow
1 篇 univ regensburg ...
1 篇 univ regensburg ...
1 篇 biba bremen inst...
1 篇 univ texas austi...

作者

2 篇 schoenig stefan
2 篇 poss leo
2 篇 joshi rk
1 篇 thoben kd
1 篇 hansen per brinc...
1 篇 chaussalet thier...
1 篇 husemann martin
1 篇 maseide per
1 篇 assmann uwe
1 篇 kromker m
1 篇 duan xuemin
1 篇 verschure paul f...
1 篇 dugas martin
1 篇 fegeler christia...
1 篇 smolka sa
1 篇 sharma nk
1 篇 herrmann stefan
1 篇 gruhn v
1 篇 cinar ali
1 篇 wettstein reto

语言

32 篇 英文

检索条件"主题词=distributed processes"

共 32 条记录，以下是21-30 订阅

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

详细简洁

排序：

Incorporating Spatial Context into Remaining-Time Predictive Process Monitoring 21

Incorporating Spatial Context into Remaining-Time Predictive...

引用

36th Annual ACM Symposium on Applied Computing (SAC)

作者： Ogunbiyi, Niyi Basukoski, Artie Chaussalet, Thierry Univ Westminster Sch Comp Sci & Engn London W1W 6UW England

ISBN: (纸本)9781450381048

Predictive business process monitoring aims to accurately predict a variable of interest (e.g. remaining time) or the future state of the process instance (e.g. outcome or next step). It is an important topic both from a research and practitioner perspective. For example, existing research suggests that even when problems occur with service provision, providing accurate estimates around process completion time is positively correlated with increasing customer satisfaction. The quest for models with higher predictive power has led to the development of a variety of novel techniques. However, though the location of events is a crucial explanatory variable in many business processes, as yet there have been no studies which have incorporated spatial context into the predictive process monitoring framework. This paper seeks to address this problem by introducing the concept of a spatial event log which records location details at a trace or event level. The predictive utility of spatial contextual features is evaluated vis-a-vis other contextual features. An approach is proposed to predict the remaining time of an in-flight process instance by calculating the buffer distances between the location of events in a spatial event log to capture spatial proximity and connectedness. These distances are subsequently utilised to construct a regression model which is then used to predict the remaining time for events in the test dataset. The proposed approach is benchmarked against existing approaches using five real-life event logs and demonstrates that spatial features improve the predictive power of business process monitoring models.

关键词： Operational business process management Process monitoring Remaining time predictive modelling Spatial context distributed processes

来源：评论

学校读者我要写书评

暂无评论

A Generic Approach Towards Location-Aware Business Process Execution 24th

A Generic Approach Towards Location-Aware Business Process E...

引用

24th International Working Conference on Business Process Modeling, Development, and Support (BPMDS) / 28th International Working Conference on Exploring Modeling Methods for Systems Analysis and Development (EMMSAD)

作者： Poss, Leo Schoenig, Stefan Univ Regensburg Regensburg Germany

ISBN: (纸本)9783031342400;9783031342417

Locally distributed processes include several process participants working on tasks at different locations, e.g., craftspeople working on construction sites. Compared to classical IT environments, new challenges emerge due to the spatial context of a process. Real-time location data from Internet of Things (IoT) devices consumed through BPM technology can help businesses to implement more efficient and effective processes. Those advantages, however, have only been touched by small parts of existing research, while the architecture and implementation of executable location-aware processes area only ever been vaguely considered. Therefore, we introduce and present a non-exhaustive list of concepts for the use of location data for BPM as well as a location-aware approach for process execution and present a multi-layer system architecture based on standard BPM technology.

关键词： Process execution Location-awareness distributed processes

来源：评论

学校读者我要写书评

暂无评论

FORMAL VERIFICATION OF DATA TYPE REFINEMENT - THEORY AND PRACTICE

FORMAL VERIFICATION OF DATA TYPE REFINEMENT - THEORY AND PRA...

引用

REX ( RESEARCH AND EDUCATION IN CONCURRENT SYSTEMS ) WORKSHOP ON STEPWISE REFINEMENT OF distributed SYSTEMS : MODELS, FORMALISMS, CORRECTNESS

作者： NIPKOW, T University of Cambridge Computer Laboratory Pembroke Street Cambridge CB2 3QG United Kingdom

ISBN: (纸本)3540525599

This paper develops two theories of data abstraction and refinement: one for applicative types, as they are found in functional programming languages, and one for state-based types found in imperative languages. The former are modelled by algebraic structures, the latter by automata. The automaton-theoretic model covers not just data types but distributed systems in general. Within each theory two examples of data refinement are presented and formally verified with the theorem prover Isabelle. The examples are an abstract specification and two implementations of a memory system, and a mutual exclusion algorithm. © Springer-Verlag Berlin Heidelberg 1990.

关键词： Abstract Data Types Data Types distributed processes Implementation Refinement Theorem Proving Verification

来源：评论

学校读者我要写书评

暂无评论

SNMP Converter and the Forward Data Collection as Management Method in Dynamic distributed Networks 5th

SNMP Converter and the Forward Data Collection as Management...

引用

5th Workshop on Engineering Applications (WEA)

作者： Tamayo, Mauricio Zarate, Henry Ortiz Trivino, Jorge Univ Nacl Colombia Fac Engn Av Carrera 30 45-03 Bogota 111321 Colombia

ISBN: (纸本)9783030003531;9783030003524

A method of network management based on the protocol conversion SNMP to others, like serial or UDP, to manage small devices in a wireless sensor network is shown, whose reference framework combines the hierarchical network management with the dynamic, distributed and heterogeneous characteristics of an Ad Hoc network and how the SNMP protocol accomplish its habitual devices management functions, and at the same time, some of its messages are used to build a forward data collector that expands and contracts dynamically the storage capacity of the SNMP tables of the agent, adapting to the amount of devices in the network.

关键词： Network management SNMP Protocol conversion Finite-state converter Ad hoc distributed processes Forward data collection

来源：评论

学校读者我要写书评

暂无评论

Self-healing for distributed Workflows in the Internet of Things

Self-healing for Distributed Workflows in the Internet of Th...

引用

IEEE International Conference on Software Architecture (ICSA)

作者： Seiger, Ronny Herrmann, Stefan Assmann, Uwe Tech Univ Dresden Software Technol Grp D-01062 Dresden Germany

ISBN: (纸本)9781509047932

distributed process execution is a scalable solution for implementing workflows that deal with many devices in the Internet of Things (IoT). In hierarchical network structures the execution of activities and subprocesses can be moved closer to the computing edge onto specialized devices while still preserving data security. However mobility, resource constraints and varying connectivity of devices lead to new sources of errors that jeopardize process execution. In this work we show the application of the MAPE-K feedback loop as a framework for self-healing for distributed processes. Additional context data is incorporated into the execution to analyze the state of process resources, detect errors and find compensations. Experiments show an increased success rate of process executions in a smart home use case involving service robots. The framework proves to increase resilience of Business Process Management systems while being extensible and applicable in the field of IoT.

关键词： Cyper-physical Workflows distributed processes Internet of Things

来源：评论

学校读者我要写书评

暂无评论

DASP: distributed and Autonomic Scientific Publisher Proposal for Editorial Process Management on Permissioned Blockchain 3

DASP: Distributed and Autonomic Scientific Publisher Proposa...

引用

3rd Conference on Blockchain Research and Applications for Innovative Networks and Services (BRAINS)

作者： Evaristo Correa, Elder Bruno Nascimento, Vagner de B. Abelem, Antonio J. G. Fed Univ Para UFPA GERCOM PPGCC Belem Para Brazil

ISBN: (纸本)9781665439244

This paper presents an open-source distributed Autonomic Scientific Publisher, which works on a permissioned blockchain network, automatically organized through a smart contract that organizes the whole business logic of the tool, allowing the auditing of the whole process, ensuring the copyrights for the students involved in the publication of each article, besides reducing the implementation costs and the complexity of the editorial mechanisms. The proof of concept was developed as an editorial management tool with the basic processes of submission, review, and evaluation.

关键词： Blockchain network permissioned data sharing academic process management distributed processes disintermediation in management

来源：评论

学校读者我要写书评

暂无评论

Blockchain as a Process Control Tool for Healthcare

Blockchain as a Process Control Tool for Healthcare

引用

17th International Conference on Informatics, Management, and Technology in Healthcare (ICIMTH)

作者： Shifrin, Michael Khavtorin, Anton Stepurin, Vadim Zingerman, Boris NN Burdenko Natl Med Res Ctr Neurosurg Moscow Russia Borlas Grp Moscow Russia Vertex Ltd Moscow Russia Invitro Moscow Russia

ISBN: (纸本)9781614999874;9781614999867

The blockchain is one of the most popular information technologies and, at the same time, it was discredited by stories about crashes of multiple cryptocurrency projects. Even though this technology has recently found application in many areas not related to cryptocurrencies, mainly for security purposes, the attitude towards it remains wary. Herein we shall try to demonstrate that blockchain is something going far beyond cryptocurrency and security issues, and may become one of the fundamental information technologies in future healthcare.

关键词： Healthcare blockchain smart contracts distributed processes

来源：评论

学校读者我要写书评

暂无评论

Secure Multi-Party Computation Based distributed Feasibility Queries - A HiGHmed Use Case 67

Secure Multi-Party Computation Based Distributed Feasibility...

引用

Joint Conference of the 67th Annual Meeting of the German Association of Medical Informatics, Biometry, and Epidemiologyand the 14th Annual Meeting of the Technology, Methods, and Infrastructure for Networked Medical Research (GMDS/TMF)

作者： Wettstein, Reto Kussel, Tobias Hund, Hauke Fegeler, Christian Dugas, Martin Hamacher, Kay Heidelberg Univ Hosp Inst Med Informat Neuenheimer Feld 130-3 D-69120 Heidelberg Germany Tech Univ Darmstadt Computat Biol & Simulat Darmstadt Germany Heilbronn Univ Appl Sci GECKO Inst Heilbronn Germany

ISBN: (纸本)9781643683034;9781643683027

The integration of routine medical care data into research endeavors promises great value. However, access to this extra-domain data is constrained by numerous technical and legal requirements. The German Medical Informatics Initiative (MII) - initiated by the Federal Ministry of Research and Education (BMBF) - is making progress in setting up Medical Data Integration Centers to consolidate data stored in clinical primary information systems. Unfortunately, for many research questions cross-organizational data sources are required, as one organization's data is insufficient, especially in rare disease research. A first step, for research projects exploring possible multi-centric study designs, is to perform a feasibility query, i.e., a cohort size calculation transcending organizational boundaries. Existing solutions for this problem, like the previously introduced feasibility process for the MII's HiGHmed consortium, perform well for most use cases. However, there exist use cases where neither centralized data repositories, nor Trusted Third Parties are acceptable for data aggregation. Based on open standards, such as BPMN 2.0 and HL7 FHIR R4, as well as the cryptographic techniques of secure Multi-Party Computation, we introduce a fully automated, decentral feasibility query process without any central component or Trusted Third Party. The open source implementation of the proposed solution is intended as a plugin process to the HiGHmed Data Sharing Framework. The process's concept and underlying algorithms can also be used independently.

关键词： Feasibility queries distributed processes privacy secure multi-party computation medical informatics BPMN FHIR

来源：评论

学校读者我要写书评

暂无评论

A Novel distributed Joint Time-Frequency Domain Carrier Synchronization Algorithm

A Novel Distributed Joint Time-Frequency Domain Carrier Sync...

引用

7th IEEE International Conference on Wireless Communications and Signal Processing (WCSP)

作者： Sun, Jinhua Duan, Xuemin Yu, Zhongyang Xidian Univ State Key Lab Integrated Serv Networks Xian Peoples R China

ISBN: (纸本)9781467376877

Consideringboth inefficiency of the pilot usage and high complexity of current carrier synchronization algorithms for burst-mode systems, a novel distributed joint time-frequency domain (DJTFD) carrier synchronization algorithm is proposed. The frequency-domain estimation has a large residual offset with limited pilot overhead. So we need the distributed time-domain estimation to guarantee both large estimation range and high accuracy. First, coarse frequency estimation is performed based on the frequency domain rotation periodogram averaging (RPA) algorithm. Then the time-domain cross correlation algorithm is utilized to obtain fine frequency estimation. Simulation results show that the proposed algorithm has both higher accuracy and lower complexity compared with the existing carrier estimation algorithms and the distributed processes can improve efficiency of pilot utilization.

关键词： carrier synchronization joint time-frequency domain distributed processes pilot-aided

来源：评论

学校读者我要写书评

暂无评论

The neuronal substrate underlying order and interval representations in sequential tasks: A biologically based robot study

The neuronal substrate underlying order and interval represe...

引用

2010 6th IEEE World Congress on Computational Intelligence, WCCI 2010 - 2010 International Joint Conference on Neural Networks, IJCNN 2010

作者： Marcos, Encarni Duff, Armin Sánchez-Fibla, Martí Verschure, Paul F. M. J. Department of Information and Communication Technologies Universitat Pompeu Fabra Roc Boronat 138 08018 Barcelona Spain SPECS Group University Pompeu Fabra Roc Boronat 138 08018 Barcelona Spain Instituci Catalana de Recerca I Estudis Avanats Passeig Llus Companys 23 E-018010 Barcelona Spain

ISBN: (纸本)9781424469178

Sequence learning tasks depend on the ability to acquire and control the order of actions and their proper timing. Several studies have shown that in sequence learning different areas of the brain are involved when recalling the order of actions and their proper interval. One hypothesis proposes that two separate areas of the brain interact with each other, one computes order while the other would compute the interval. A second hypothesis proposes that one area computes both, order and interval. To better understand how this computation of order and interval might be realized by the brain, we developed a robot based architecture and investigated the behavioral and architectural implications of these two hypothesis: one or two neuronal areas computing order and interval. Using a sequence learning foraging task we show that performance is enhanced in case of distributed processes. However, we show that as a drawback, explicit interval information can not be reconstructed. © 2010 IEEE.

关键词： biologically based robot study brain brain distributed processes distributed processing intelligent robots interval information interval representations learning (artificial intelligence) neuronal areas computing order neuronal substrate underlying order neurophysiology robot based architecture sequence learning tasks sequential tasks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共4页 << < 1 2 3 4 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：