搜索页_Incompleteness

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(8)	SpringerLink电子期刊(841)	GSW全文库(38)
Wiley电子期刊(12)	ProQuest学位论文(90)	Elsevier电子期刊(675)
Springer电子图书(7)	NATURE电子期刊(43)	ACS电子期刊(40)

在“SpringerLink电子期刊”中，命中：841条，耗时：小于0.01 秒

在所有数据库中总计命中：1,754条

1. A Data Classification Method for Inconsistency and Incompleteness Detection in Access Control Policy Sets

作者： Riaz Ahmed Shaikh ; Kamel Adi ; Luigi Logrippo

关键词：Policy validation ; Data classification ; Access control ; Inconsistency ; Incompleteness ; Redundancy

刊名：International Journal of Information Security

出版年：2017

2. Maximal incompleteness as obfuscation potency

作者： Roberto Giacobazzi ; Isabella Mastroeni ; Mila Dalla Preda

关键词：Abstract interpretation ; Static program analysis ; Program semantics ; Program transformation ; Lattice theory ; Closure operators ; Code obfuscation

刊名：Formal Aspects of Computing

出版年：2017

3. Is Mathematics Problem Solving or Theorem Proving?

作者： Carlo Cellucci

关键词：Problem solving ; Theorem proving ; Analytic method ; Axiomatic method ; David Hilbert ; Incompleteness theorems

刊名：Foundations of Science

出版年：2017

4. How Does Environmental Corporate Social Responsibility Matter in a Dysfunctional Institutional Environment? Evidence from China

作者： Zelong Wei ; Hao Shen ; Kevin Zheng Zhou ; Julie Juan Li

关键词：Environmental corporate social responsibility ; Signaling theory ; Institutional theory ; Legitimacy ; Legal incompleteness ; Legal inefficiency

刊名：Journal of Business Ethics

出版年：2017

5. On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames

作者： Wesley H. Holliday

关键词：Medvedev frames ; Modal logic ; Definability ; Nominal tense logic ; Difference modality ; Complement modality ; Axiomatizability ; Kripke frame incompleteness

刊名：Studia Logica

出版年：2017

6. Three-way fuzzy concept lattice representation using neutrosophic set

作者： Prem Kumar Singh

关键词：Formal concept analysis ; Fuzzy concept lattice ; Formal fuzzy concept ; Three ; way concept lattice ; Neutrosophic set

刊名：International Journal of Machine Learning and Cybernetics

出版年：2017

7. Peripheral nerve ultrasound scoring systems: benchmarking and comparative analysis

作者： Alexander Grimm ; Tim W. Rattay ; Natalie Winter ; Hubertus Axer

关键词：Nerve ultrasound ; Polyneuropathy ; Ultrasound pattern sum score ; Demyelinating neuropathies ; Electrophysiology ; Scoring systems ; Pattern analysis

刊名：Journal of Neurology

出版年：2017

8. MaramaAIC: tool support for consistency management and validation of requirements

作者： Massila Kamalrudin ; John Hosking ; John Grundy

关键词：Consistency management ; Requirements validation ; Essential use cases ; Essential user interface

刊名：Automated Software Engineering

出版年：2017

9. Multiple attribute decision-making method based on some normal neutrosophic Bonferroni mean operators

作者： Peide Liu ; Honggang Li

关键词：Multiple attribute decision making ; Normal neutrosophic numbers ; Normal neutrosophic Bonferroni mean aggregation operator

刊名：Neural Computing and Applications

出版年：2017

10. The axial zone of avoidance in the globular cluster system and the distance to the galactic center

作者： I. I. Nikiforov ; E. V. Agladze

关键词：globular cluster system ; spatial distribution ; structure ; solar Galactocentric distance ; Galaxy (Milky Way)

刊名：Astronomy Letters

出版年：2017

按检索点细分(841)

题名(122)

关键词(104)

文摘(752)

按出版年细分(841)

2017年(13)

2016年(56)

2015年(67)

2014年(62)

2013年(56)

2012年(51)

2011年(19)

2010年(35)

2009年(32)

2008年(59)

2007年(88)

2006年(68)

2005年(68)

2004年(21)

2003年(25)

2002年(27)

2001年(20)

2000年(19)

2000年及以前(55)