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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

983 篇 会议
37 篇 期刊文献
25 册 图书

馆藏范围

1,043 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

704 篇 工学
- 585 篇 计算机科学与技术...
- 368 篇 软件工程
- 146 篇 电气工程
- 56 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
188 篇 理学
- 155 篇 数学
- 18 篇 系统科学
- 17 篇 物理学
- 12 篇 统计学（可授理学、...
- 10 篇 生物学
69 篇 管理学
- 53 篇 管理科学与工程(可...
- 22 篇 工商管理
- 19 篇 图书情报与档案管...
16 篇 教育学
- 16 篇 教育学
11 篇 文学
- 11 篇 新闻传播学
9 篇 法学
- 8 篇 社会学
6 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 农学
- 4 篇 作物学
3 篇 经济学
- 3 篇 应用经济学
1 篇 军事学

主题

96 篇 logic gates
77 篇 programming
63 篇 logic programmin...
40 篇 fuzzy logic
35 篇 application soft...
30 篇 probabilistic lo...
29 篇 linear programmi...
27 篇 programming prof...
27 篇 computer archite...
26 篇 computer science
26 篇 dynamic programm...
23 篇 software enginee...
23 篇 protocols
21 篇 uncertainty
20 篇 object oriented ...
20 篇 java
20 篇 semantics
18 篇 computer circuit...
18 篇 costs
17 篇 software systems

机构

4 篇 univ potsdam pot...
4 篇 vienna univ tech...
4 篇 imdea software i...
4 篇 institute for lo...
3 篇 tu wien austria
3 篇 graduate school ...
3 篇 univ calabria de...
3 篇 carnegie mellon ...
3 篇 univ freiburg fr...
3 篇 univ british col...
3 篇 imperial coll lo...
3 篇 department of in...
2 篇 univ tecn federi...
2 篇 ist austria klos...
2 篇 univ savoie savo...
2 篇 tel aviv univers...
2 篇 zhongguancun lab...
2 篇 univ ferrara dip...
2 篇 south china univ...
2 篇 univ neuchatel i...

作者

8 篇 alviano mario
6 篇 lamma evelina
5 篇 schaub torsten
4 篇 riguzzi fabrizio
3 篇 lin yu
3 篇 vardi moshe y.
3 篇 gebser martin
3 篇 bellodi elena
3 篇 costa vitor sant...
3 篇 shinji sakamoto
3 篇 lakemeyer gerhar...
3 篇 ikeda markus
3 篇 zhou neng-fa
3 篇 xu hongxiang
3 篇 sabuncu orkunt
3 篇 leonard barolli
3 篇 schockaert steve...
3 篇 pichler andreas
3 篇 wang bin
3 篇 de givry simon

语言

1,013 篇 英文
25 篇 其他
8 篇 中文
1 篇 法文

检索条件"任意字段=30th International Conference on Logic Programming"

共 1045 条记录，以下是631-640 订阅

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

详细简洁

排序：

Subgraph Pattern Matching over Uncertain Graphs with Identity Linkage Uncertainty

Subgraph Pattern Matching over Uncertain Graphs with Identit...

引用

IEEE 30th international conference on Data Engineering (ICDE)

作者： Moustafa, Walaa Eldin Kimmig, Angelika Deshpande, Amol Getoor, Lise Univ Maryland Dept Comp Sci College Pk MD 20742 USA Katholieke Univ Leuven Dept Comp Sci Louvain Belgium

ISBN: (纸本)9781479934805

there is a growing need for methods that can represent and query uncertain graphs. these uncertain graphs are often the result of an information extraction and integration system that attempts to extract an entity graph or a knowledge graph from multiple unstructured sources [25], [7]. Such an integration typically leads to identity uncertainty, as different data sources may use different references to the same underlying real-world entities. Integration usually also introduces additional uncertainty on node attributes and edge existence. In this paper, we propose the notion of a probabilistic entity graph (PEG), a formal model that uniformly and systematically addresses these three types of uncertainty. A PEG is a probabilistic graph model that defines a distribution over possible graphs at the entity level. We introduce a general framework for constructing a PEG given uncertain data at the reference level and develop efficient algorithms to answer subgraph pattern matching queries in this setting. Our algorithms are based on two novel ideas: context-aware path indexing and reduction by join-candidates, which drastically reduce the query search space. A comprehensive experimental evaluation shows that our approach outperforms baseline implementations by orders of magnitude.

关键词： Equations Markov random fields Pattern matching Probabilistic logic Probability distribution Random variables Uncertainty

来源：评论

学校读者我要写书评

暂无评论

SLICE: Reviving Regions-Based Pruning for Reverse k Nearest Neighbors Queries

SLICE: Reviving Regions-Based Pruning for Reverse k Nearest ...

引用

IEEE 30th international conference on Data Engineering (ICDE)

作者： Yang, Shiyu Cheema, Muhammad Aamir Lin, Xuemin Zhang, Ying Univ New S Wales Sch Comp Sci & Engn Sydney NSW 2052 Australia Monash Univ Clayton Sch Informat Technol Clayton Vic 3800 Australia E China Normal Univ Shanghai Key Lab Trustworthy Comp Shanghai Peoples R China

ISBN: (纸本)9781479934805

Given a set of facilities and a set of users, a reverse k nearest neighbors (RkNN) query q returns every user for which the query facility is one of the k-closest facilities. Due to its importance, RkNN query has received significant research attention in the past few years. Almost all of the existing techniques adopt a pruning-and-verification framework. Regions-based pruning and half-space pruning are the two most notable pruning strategies. the half-space based approach prunes a larger area and is generally believed to be superior. Influenced by this perception, almost all existing RkNN algorithms utilize and improve the half-space pruning strategy. We observe the weaknesses and strengths of both strategies and discover that the regions-based pruning has certain strengths that have not been exploited in the past. Motivated by this, we present a new RkNN algorithm called SLICE that utilizes the strength of regions-based pruning and overcomes its limitations. Our extensive experimental study on synthetic and real data sets demonstrate that SLICE is significantly more efficient than the existing algorithms. We also provide a detailed theoretical analysis to analyze various aspects of our algorithm such as I/O cost, the unpruned area, and the cost of its verification phase etc. the experimental study validates our theoretical analysis.

关键词： Algorithm design and analysis Australia Computational complexity Context Educational institutions Extraterrestrial measurements Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Successful batch processing of heavy Oil Sludge at Oman (2011 to 2014) 30

Successful batch processing of heavy Oil Sludge at Oman (201...

引用

30th Abu Dhabi international Petroleum Exhibition and conference: Challenges and Opportunities for the Next 30 Years, ADIPEC 2014

作者： Nahmad, D.G. Al Ghafri, F. Rasheed, R. Sajid, S. RAY International Group Oman Eco-Logic Env. Eng. Oman RAY International Group Oman

ISBN: (纸本)9781634398053

Sludge is an intrinsic by-product of the Oil & Gas Industry, it is considered a hazardous waste and there are few technologies within the industry to process it under an environmentally sound protocol. Sludge to Oil Technology (STO) is a proprietary process utilized to break emulsions of hydrocarbons/water/solids. the process is based on a series of chemical reactions involving surfactants that interact with other reagents in releasing heat and neutralize the non-covalent forces that form the bonds between the substrate and the wetting agent. Final separation is achieved by using specific gravity differential between the different components of the de-emulsified mixture. the byproducts of the reactions are inorganic salts, water and carbon dioxide. Two different centrifuges are used to achieve a fast and accurate separation. the byproducts of the reactions are inorganic salts, water and carbon dioxide. this technology has been successfully implemented at the operator site by the contractor under a pilot project. Over the term of the contract, more than 100,000 bbl of raw sludge had been treated meeting the following KPI's: Oil © 2014 Society of Petroleum Engineers.

关键词： Crude oil

来源：评论

学校读者我要写书评

暂无评论

ACM international conference Proceeding Series

ACM International Conference Proceeding Series

引用

30th Annual Computer Security Applications conference, ACSAC 2014

the proceedings contain 48 papers. the topics discussed include: hot-hardening: getting more out of your security settings;challenges and implications of verifiable builds for security-critical open-source software;cloud radar: near real-time detection of security failures in dynamic virtualized infrastructures;android security framework: extensible multi-layered access control on android;towards a salable resource-driven approach for detecting repackaged android applications;a taste of tweets: reverse engineering twitter spammers;new models of cache architectures characterizing information leakage from cache side channels;interrupt-oriented bugdoor programming: a minimalist approach to bugdooring embedded systems firmware;uncovering network tarpits with degreaser;and network dialog minimization and network dialog diffing: two novel primitives for network security applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

through the eye of the PLC: Semantic security monitoring for industrial processes 14

Through the eye of the PLC: Semantic security monitoring for...

引用

30th Annual Computer Security Applications conference, ACSAC 2014

作者： Had iosmanović, Dina Sommer, Robin Zambon, Emmanuele Hartel, Pieter H. Delft University of Technology Netherlands ICSI/LBNL BerkeleyCA United States University of Twente Security Matters B.V. Netherlands University of Twente Netherlands

ISBN: (纸本)9781450330053

Off-the-shelf intrusion detection systems prove an ill fit for protecting industrial control systems, as they do not take their process semantics into account. Specifically, current systems fail to detect recent process control attacks that manifest as unauthorized changes to the configuration of a plant s programmable logic controllers (PLCs). In this work we present a detector that continuously tracks updates to corresponding process variables to then derive variablespecific prediction models as the basis for assessing future activity. Taking a specification-agnostic approach, we passively monitor plant activity by extracting variable updates from the devices network communication. We evaluate the capabilities of our detection approach with traffic recorded at two operational water treatment plants serving a total of about one million people in two urban areas. We show that the proposed approach can detect direct attacks on process control, and we further explore its potential to identify more sophisticated indirect attacks on field device measurements as well.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Interrupt-oriented bugdoor programming: A minimalist approach to bugdooring embedded systems firmware 14

Interrupt-oriented bugdoor programming: A minimalist approac...

引用

30th Annual Computer Security Applications conference, ACSAC 2014

作者： Tan, Samuel Junjie Bratus, Sergey Goodspeed, Travis Google Inc. United States Dartmouth College United States Straw Hat United States

ISBN: (纸本)9781450330053

We demonstrate a simple set of interrupt-related vulnerability primitives that, despite being apparently innocuous, give attackers full control of a microcontroller platform. We then present a novel, minimalist approach to constructing deniable bugdoors for microcontroller firmware, and contrast this approach with the current focus of exploitation research on demonstrations of maximum computational power that malicious computation can achieve. Since the introduction of Return-oriented programming, an ever-increasing number of targets have been demonstrated to unintentionally yield Turing-complete computation environments to attackers controlling the target s various input channels, under ever more restrictive sets of limitations. Yet although modern OS defensive measures indeed require complex computations to bypass, this focus on maximum expressiveness of exploit programming models leads researchers to overlook other research directions for platforms that lack strong defensive measure but occur in mission-critical systems, namely, microcontrollers. In these systems, common exploiter goals such as sensitive code and data exfiltration or arbitrary code execution do not typically require complex computation;instead, a minimal computation is preferred and a simple set of vulnerability primitives typically suffices. We discuss examples of vulnerabilities and the new kinds of tools needed to avoid them in future firmware. Copyright 2014 ACM.

关键词： Firmware

来源：评论

学校读者我要写书评

暂无评论

Proceedings of SPIE - the international Society for Optical Engineering

Proceedings of SPIE - The International Society for Optical ...

引用

30th European Mask and Lithography conference, EMLC 2014

ISBN: (纸本)9781628412857

the proceedings contain 24 papers. the topics discussed include: new LEEPL technology;high-throughput parallel SPM for metrology, defect and mask inspection;multi-stencil character projection e-beam lithography - a fast and flexible way for high quality optical metamaterials;replicating micro-optical structures using soft embossing technique;14-nm photomask simulation sensitivity;aerial image simulation for partial coherent system with programming development in MATLAB;photomask CD and LER characterization using Mueller matrix spectroscopic ellipsometry;determination of line profiles on photomasks using DUV, EUV and X-ray scattering;overlay leaves litho: impact of non-litho processes on overlay and compensation;and lithography with Infrared illumination alignment for advanced BiCMOS backside processing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization

Bounded Model Checking of Multi-threaded C Programs via Lazy...

引用

26th international conference on Computer Aided Verification (CAV) Held as Part of the Vienna Summer of logic (VSL)

作者： Inverso, Omar Tomasco, Ermenegildo Fischer, Bernd La Torre, Salvatore Parlato, Gennaro Univ Southampton Elect & Comp Sci Southampton Hants England Stellenbosch Univ Div Comp Sci Stellenbosch South Africa Univ Salerno Salerno Italy

ISBN: (纸本)9783319088679;9783319088662

Bounded model checking (BMC) has successfully been used for many practical program verification problems, but concurrency still poses a challenge. Here we describe a new approach to BMC of sequentially consistent C programs using POSIX threads. Our approach first translates a multi-threaded C program into a nondeterministic sequential C program that preserves reachability for all round-robin schedules with a given bound on the number of rounds. It then re-uses existing high-performance BMC tools as backends for the sequential verification problem. Our translation is carefully designed to introduce very small memory overheads and very few sources of nondeterminism, so that it produces tight SAT/SMT formulae, and is thus very effective in practice: our prototype won the concurrency category of SV-COMP14. It solved all verification tasks successfully and was 30x faster than the best tool with native concurrency handling.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

Managing uncertainty in spatial and spatio-temporal data

Managing uncertainty in spatial and spatio-temporal data

引用

international conference on Data Engineering

作者： Reynold Cheng Tobias Emrich Hans-Peter Kriegel Nikos Mamoulis Matthias Renz Goce Trajcevski Andreas Züfle Department of Computer Science University of Hong Kong Integrated Media Systems Center University of Southern California Los Angeles CA USA Institute for Informatics Ludwig-Maximilians-Universität München Department of EECS Northwestern University Evanston IL USA

ISBN: (纸本)9781479925568

Location-related data has a tremendous impact in many applications of high societal relevance and its growing volume from heterogeneous sources is one true example of a Big Data [1]. An inherent property of any spatio-temporal dataset is uncertainty due to various sources of imprecision. this tutorial provides a comprehensive overview of the different challenges involved in managing uncertain spatial and spatio-temporal data and presents state-of-the-art techniques for addressing them.

关键词： Probabilistic logic Spatial databases Tutorials Uncertainty Data models Semantics

来源：评论

学校读者我要写书评

暂无评论

User-driven refinement of imprecise queries

User-driven refinement of imprecise queries

引用

international conference on Data Engineering

作者： Bahar Qarabaqi Mirek Riedewald College of Computer and Information Science Northeastern University Boston USA

ISBN: (纸本)9781479925568

We propose techniques for exploratory search in large databases. the goal is to provide new functionality that aids users in homing in on the right query conditions to find what they are looking for. Query refinement proceeds interactively by repeatedly consulting the user to manage query conditions. this process is characterized by three key challenges: (1) dealing with incomplete and imprecise user input, (2) keeping user effort low, and (3) guaranteeing interactive system response time. We address the first two challenges with a probability-based framework that guides the user to the most important query conditions. To recover from input errors, we introduce the notion of sensitivity and propose efficient algorithms for identifying the most sensitive user input, i.e., those inputs that had the greatest influence on the query results. For the third challenge, we develop techniques that can deliver estimates of the required probabilities within a given hard realtime limit and are able to adapt automatically as the interactive query refinement proceeds.

关键词： Birds Sensitivity Databases Image color analysis Probability distribution Uncertainty Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 60 61 62 63 64 65 66 67 68 69 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：