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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

80 篇 会议
9 册 图书
1 篇 期刊文献

馆藏范围

89 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

52 篇 工学
- 47 篇 计算机科学与技术...
- 22 篇 软件工程
- 6 篇 信息与通信工程
- 4 篇 电气工程
- 3 篇 控制科学与工程
- 3 篇 化学工程与技术
- 3 篇 安全科学与工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 城乡规划学
- 1 篇 网络空间安全
25 篇 理学
- 16 篇 数学
- 8 篇 物理学
- 3 篇 化学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 生物学
11 篇 管理学
- 7 篇 图书情报与档案管...
- 4 篇 工商管理
- 3 篇 管理科学与工程(可...
- 1 篇 公共管理
7 篇 法学
- 7 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 文学
- 1 篇 新闻传播学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 护理学（可授医学、...

主题

4 篇 computer communi...
4 篇 discrete mathema...
4 篇 graph theory
4 篇 artificial intel...
3 篇 theory of comput...
3 篇 software enginee...
3 篇 software enginee...
3 篇 reliability theo...
3 篇 database managem...
3 篇 computers
3 篇 algorithm analys...
2 篇 data storage rep...
2 篇 approximation al...
2 篇 quantum theory
2 篇 information stor...
1 篇 surveys
1 篇 position automat...
1 篇 public policy
1 篇 group theory
1 篇 计算理论

机构

2 篇 department of co...
2 篇 department of in...
1 篇 department for l...
1 篇 national institu...
1 篇 department of so...
1 篇 institute of inf...
1 篇 faculty of infor...
1 篇 boise state univ...
1 篇 school of applie...
1 篇 certicon shareho...
1 篇 institute of inf...
1 篇 cril-cnrs univer...
1 篇 school of naval ...
1 篇 us ctr dis contr...
1 篇 auburn universit...
1 篇 faculty of medic...
1 篇 cornell universi...
1 篇 uppsala universi...
1 篇 dept. of digital...
1 篇 school of inform...

作者

3 篇 šimko marián
2 篇 kutrib martin
2 篇 leszek pacholski
2 篇 löwe jan-thomas
1 篇 ronquillo charle...
1 篇 ferreira p.
1 篇 afsarmanesh hami...
1 篇 beňňušková ľubic...
1 篇 maynard sean b.
1 篇 wielemaker jan
1 篇 cunha luis filip...
1 篇 lynce inês
1 篇 geusebroek jan-m...
1 篇 demange marc
1 篇 frans c. a. groe...
1 篇 coconea l.
1 篇 peter ružička (e...
1 篇 anna vasilaki
1 篇 albertas caplins...
1 篇 th. paschos vang...

语言

89 篇 英文
1 篇 中文

检索条件"任意字段=26th Conference on Current Trends in Theory and Practice of Informatics"

共 90 条记录，以下是31-40 订阅

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

详细简洁

排序：

Consolidation of the human error assessment and reduction technique 26th

Consolidation of the human error assessment and reduction te...

引用

26th conference on European Safety and Reliability (ESREL)

作者： Williams, J. C. Bell, J. L. JerryWilliams Human Factors Ltd Hale Barns England Hlth & Safety Lab Harpur Hill Buxton England

ISBN: (纸本)9781315374987;9781138029972

From time to time, the Human Reliability Assessment (HRA) Community has expressed concern about the age of the data that underpin HRA methods. this paper outlines what the last 30 years'Human Factors literature has added to the data that underpin the Human Error Assessment and ReductionTechnique. 32 of the 38 Error Producing Conditions (EPC) have been found to be consistent with the original concepts and multipliers, some slight revision of factors and distributions is justified, and 2 new EPCs have been incorporated. Most of the GenericTaskTypes (GTT) look to bewell-supported, but the Human Error Probability distributionswould benefit from further scrutiny and research application. Our work has highlighted that there are some important gaps in the HRA Community's current knowledge, such as those to do with quantifying EPCs involving Unfamiliarity, Conflict of Objectives, High Emotional Stress, Lack of Exercise and GTTs involving high and low reliability tasks.

关键词： Reliability theory

来源：评论

学校读者我要写书评

暂无评论

Towards resilience operationalization in urban transport system: the RESOLUTE project approach 26th

Towards resilience operationalization in urban transport sys...

引用

26th Annual International conference on European Safety and Reliability (ESREL)

作者： Bellini, E. Nesi, P. Coconea, L. Gaitanidou, E. Ferreira, P. Simoes, A. Candelieri, A. Univ Florence Dept Informat Engn DISIT Lab Florence Italy SWARCO Mizar Turin Italy Hellas Hellen Inst Transport Ctr Res & Technol Thessaloniki Greece COFAC Univ Lusofona Humanidades & Tecnol Lisbon Portugal Consorzio Milano Ric Milan Italy

ISBN: (纸本)9781315374987;9781138029972

Increasing resilience to critical events is a topic of highest political concern in the EU. Regarding the case of transport systems, operations have developed a prominent safety and business critical nature, in view of which current practices have shown evidence of important limitations in terms of resilience management. Enhancing resilience in transport systems is considered imperative for two main reasons: such systems provide critical support to every socio-economic activity and are currently themselves one of the most important economic sectors and secondly, the paths that convey people, goods and information, are the same through which risks are propagated. © 2017 Taylor & Francis Group, London.

关键词： Reliability theory

来源：评论

学校读者我要写书评

暂无评论

current trends and new perspectives for first-order model-checking 26

Current trends and new perspectives for first-order model-ch...

引用

26th Annual EACSL conference on Computer Science Logic, CSL 2017

作者： Kreutzer, Stephan Department for Logic and Semantics Technical University Berlin Berlin Germany

ISBN: (纸本)9783959770453

the model-checking problem for a logic L is the problem of decidig for a given formula ' 2 L and structure A whether the formula is true in the structure, i.e. whether A |= '. Model-checking for logics such as First-Order Logic (FO) or Monadic Second-Order Logic (MSO) has been studied intensively in the literature, especially in the context of algorithmic meta-theorems within the framework of parameterized complexity. However, in the past the focus of this line of research was model-checking on classes of sparse graphs, e.g. planar graphs, graph classes excluding a minor or classes which are nowhere dense. By now, the complexity of first-order model-checking on sparse classes of graphs is completely understood. Hence, current research now focusses mainly on classes of dense graphs. In this talk we will briefly review the known results on sparse classes of graphs and explain the complete classification of classes of sparse graphs on which first-order model-checking is tractable. In the second part we will then focus on recent and ongoing research analysing the complexity of first-order model-checking on classes of dense graphs. © Stephan Kreutzer.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Safety and security-is there a need for an integrated approach? 26th

Safety and security-is there a need for an integrated approa...

引用

26th conference on European Safety and Reliability (ESREL)

作者： Jore, S. H. Univ Stavanger Stavanger Norway

ISBN: (纸本)9781315374987;9781138029972

this paper aims to discuss the need for an integrated approach between safety and security from an organizational theoretical perspective, and to examine whether the current status of safety and security research allows for an integrated approach. Protection from terrorism or other intentional crimes is often denoted security, while safety often implies protection from unintentional acts. Most definitions of security focus only on the intentional aspect of the threat. Consequently, we propose a new definition of security that incorporates elements associated with organizational security today. Security can be defined as the ability to prepare for, adapt to, withstand, and recover from dangers and crises caused by people's deliberate, intentional, and malicious acts, such as terrorism, sabotage, organized crime, and hacking. Security risk management includes assessing and reducing the likelihood and consequences of possible attacks with various types of risk-reducing measures;for example, establishing critical infrastructure protection and building organizational and societal resilience. We also propose that the demarcation between safety and security should be on the malicious intent of the threat, and not only on the intentional aspect, since human intention also plays a part in safety accidents. the paper concludes that, although the characteristics of safety and security risks are inherently different, the methodologies used in organizational risk management will often be similar. However, the current state of organizational security research suggests there is still an extensive lack of knowledge concerning how security risk management is performed and understood from an organizational perspective. Accordingly, in view of the current state of affairs, cross-fertilization between safety and security seems a more promising trajectory than an integrated approach.

关键词： Reliability theory

来源：评论

学校读者我要写书评

暂无评论

Risk assessment of marine accidents in the Aegean Sea 26th

Risk assessment of marine accidents in the Aegean Sea

引用

26th European Safety and Reliability conference, ESREL 2016

作者： Koromila, I. Nivolianitou, Z. Giannakopoulos, T. School of Naval Architecture and Marine Engineering National Technical University of Athens Athens Greece Institute of Nuclear and Radiological Sciences and Technology Energy and Safety National Centre for Scientific Research DEMOKRITOS Aghia Paraskevi Greece Institute of Informatics and Telecommunications National Centre for Scientific Research DEMOKRITOS Aghia Paraskevi Greece

ISBN: (纸本)9781138029972

the purpose of this paper is to present a stochastic model able to predict the probability of ship collisions and groundings taking place in the Aegean Sea. the present work has been motivated by the significant rise in the traffic density of potentially hazardous vessels through the Aegean Sea waters that, in the case of an accident, may have high environmental and ecological impact. It is a demanding need to measure the probability of ship accidents across the Aegean Sea by developing an appropriate risk model and, eventually, highlight the regions of increased criticality, owing both to vessel hazardousness and to the sensitivity of the local environment. the methodology used to combine the various risk influencing parameters is the Fuzzy Logic approach. the latter allows, among others, the inclusion in the model of more qualitative parameters together with the opinion elicitation of related experts making more realistic the frequency estimation of an unwanted accident. By all means, accidents affecting negatively the marine environment should be prevented and, should they occur, their consequences must be mitigated in the most efficient way. In the present study, only collision and grounding events are considered, as they have the most serious consequences. the fuzzy model takes into account several static data relative to the vessel in question, namely: a) its size, b) type, c) age and d) flag providing an a priori risk potential of it. the validation of the model is done though data obtained from the historical accident database of the appropriate Centre in the Greek Ministry of Mercantile Marine. Finally, the developed Fuzzy Logic model is compared with the Bayesian model developed previously by the same authors (Koromila et al., 2014) so as to check the capacity of one vs the other. © 2017 Taylor & Francis Group, London.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

current trends in Nursing informatics: Results of an International Survey 13

Current Trends in Nursing Informatics: Results of an Interna...

引用

13th International conference on Nursing informatics

作者： Peltonen, Laura-Maria Alhuwail, Dari Ali, Samira Badger, Martha K. Eler, Gabrielle Jacklin Georgsson, Mattias Islam, Tasneem Jeon, Eunjoo Jung, Hyunggu Kuo, Chiu-Hsiang Lewis, Adrienne Pruinelli, Lisiane Ronquillo, Charlene Sarmiento, Raymond Francis Sommer, Janine Tayaben, Jude L. Topaz, Maxim Univ Turku SF-20500 Turku Finland Univ Maryland College Pk MD USA Carlow Univ Pittsburgh PA USA Univ Wisconsin Milwaukee WI 53201 USA Inst Fed Parana Curitiba Parana Brazil Blekinge Inst Technol Karlskrona Sweden Deakin Univ Geelong Vic 3217 Australia Seoul Natl Univ Seoul 151 South Korea Univ Washington Seattle WA 98195 USA Tzu Chi Univ Sci & Technol Hualien Taiwan Univ Minnesota Minneapolis MN 55455 USA Univ British Columbia Vancouver BC V5Z 1M9 Canada US Ctr Dis Control & Prevent Atlanta GA USA Hosp Italiano Buenos Aires Buenos Aires DF Argentina Benguet State Univ La Trinidad Philippines Harvard Med Sch Boston MA USA Brigham & Womens Hosp Boston MA 02115 USA

ISBN: (纸本)9781614996583;9781614996576

Nursing informatics (NI) can help provide effective and safe healthcare. this study aimed to describe current research trends in NI. In the summer 2015, the IMIA-NI Students Working Group created and distributed an online international survey of the current NI trends. A total of 402 responses were submitted from 44 countries. We identified a top five NI research areas: standardized terminologies, mobile health, clinical decision support, patient safety and big data research. NI research funding was considered to be difficult to acquire by the respondents. Overall, current NI research on education, clinical practice, administration and theory is still scarce, with theory being the least common. Further research is needed to explain the impact of these trends and the needs from clinical practice.

关键词： nursing informatics research trends research priorities international survey

来源：评论

学校读者我要写书评

暂无评论

Information security policy: A management practice perspective 26

Information security policy: A management practice perspecti...

引用

26th Australasian conference on Information Systems, ACIS 2015

作者： Alshaikh, Moneer Maynard, Sean B. Ahmad, Atif Chang, Shanton Department of Computing and Information Systems Melbourne School of Engineering University of Melbourne VIC Australia

ISBN: (纸本)9780646953373

Considerable research effort has been devoted to the study of Policy in the domain of Information Security Management (ISM). However, our review of ISM literature identified four key deficiencies that reduce the utility of the guidance to organisations implementing policy management practices. this paper provides a comprehensive overview of the management practices of information security policy and develops a practice-based model. the model provides comprehensive guidance to practitioners on the activities security managers must undertake for security policy development and allows practitioners to benchmark their current practice with the models suggested best practice. the model contributes to theory by mapping existing information security policy research in terms of the defined management practices. © 2015 Alshaikh, Maynard, Ahmad and Chang.

关键词： Public policy

来源：评论

学校读者我要写书评

暂无评论

Leibniz International Proceedings in informatics, LIPIcs

Leibniz International Proceedings in Informatics, LIPIcs

引用

26th International conference on Concurrency theory, CONCUR 2015

ISBN: (纸本)9783939897910

the proceedings contain 35 papers. the topics discussed include: automatic application deployment in the cloud: from practice to theory and back;notions of conformance testing for cyber-physical systems: overview and roadmap;behavioural equivalences for cooperating transactions;applications of automata and concurrency theory in networks;distributed local strategies in broadcast networks;a framework for transactional consistency models with atomic visibility;safety of parametrized asynchronous shared-memory systems is almost always decidable;on the succinctness of idioms for concurrent programming;reactive synthesis without regret;synthesis of bounded choice-free Petri nets;polynomial time decidability of weighted synchronization under partial observability;SOS specifications of probabilistic systems by uniformly continuous operators;and dynamic Bayesian networks as formal abstractions of structured stochastic processes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automatic application deployment in the cloud: From practice to theory and back 26

Automatic application deployment in the cloud: From practice...

引用

26th International conference on Concurrency theory, CONCUR 2015

作者： Di Cosmo, Roberto Lienhardt, Michael Mauro, Jacopo Zacchiroli, Stefano Zavattaro, Gianluigi Zwolakowski, Jakub University of Bologna INRIA Italy Université Paris Diderot Sorbonne Paris Cité PPS UMR 7126 CNRS ParisF-75205 France

ISBN: (纸本)9783939897910

the problem of deploying a complex software application has been formally investigated in previous work by means of the abstract component model named Aeolus. As the problem turned out to be undecidable, simplified versions of the model were investigated in which decidability was restored by introducing limitations on the ways components are described. In this paper, we take an opposite approach, and investigate the possibility to address a relaxed version of the deployment problem without limiting the expressiveness of the component model. We identify three problems to be solved in sequence: (i) the verification of the existence of a final configuration in which all the constraints imposed by the single components are satisfied, (ii) the generation of a concrete configuration satisfying such constraints, and (iii) the synthesis of a plan to reach such a configuration possibly going through intermediary configurations that violate the non-functional constraints. © Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, and Jakub Zwolakowski;licensed under Creative Commons License CC-BY.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

Utilitarian and Egalitarian Solutions for Multi-objective Constraint Optimization

Utilitarian and Egalitarian Solutions for Multi-objective Co...

引用

International conference on Tools for Artificial Intelligence (ICTAI)

作者： Nicolas Schwind Tenda Okimoto Sébastien Konieczny Maxime Wack Katsumi Inoue Transdisciplinary Research Integration Center National Institute of Informatics Tokyo Japan Faculty of Maritime Sciences Kobe University Kobe Japan CRIL-CNRS Université d 'Artois Lens France Grenoble INP:ESISAR Valence France National Institute of Informatics Tokyo Japan

We address the problem of multi-objective constraint optimization problems (MO-COPs). Solving a MO-COP traditionally consists in computing the set of all Pareto optimal solutions, which is an exponentially large set in the general case. So this causes two main problems: first is the time complexity concern, second is a lack of decisiveness. In this paper, we formalize the notion of a MO-COP operator which associates every MO-COP with a subset of Pareto optimal solutions satisfying some desirable additional properties. then, we present two specific classes of MO-COP operators that give preference to some subsets of Pareto optimal solutions. these operators correspond to two classical doctrines in Decision theory: utilitarianism and egalitarianism. they compute solutions much more efficiently than standard operators computing all Pareto optimal solutions. In practice, they return a very few number of solutions even for problems involving a high number of objectives.

关键词： Vectors Pareto optimization Standards Electronic mail Syntactics Constraint optimization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共9页 << < 1 2 3 4 5 6 7 8 9 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：