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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Identification of Stable Links in MANETs

Identification of Stable Links in MANETs

引用

international conference on Distributed Computing Systems Workshop

作者： Alicia Triviño-Cabrera Jorge García-de-la-Nava Eduardo Casilari Universidad de Málaga Málaga Spain Dpto. Tecnología ElectrónicaUniversidad de MálagaMálaga (Spain) Dpto. Tecnología Electrónica Universidad de Málaga Málaga Spain

Mobile Ad Hoc Networks (MANET) are characterized by a highly dynamic topology as a consequence of the frequent and unpredictable changes in the link states. Routing protocols must cope with this eventuality so when routes in use break, they should discover alternative paths to keep the on-going communications active. the procedures to discover new routes commonly provoke a significant amount of control packets which may induce losses and delay to the data packets. therefore, the network performance could benefit from the techniques that avoid these route discovery procedures. In this sense, a practical strategy is the use of the links that are expected to endure longer. Basing on an analytical model, this paper presents a technique to identify the most stable links. the evaluation in an autonomous MANET connected to the Internet shows the goodness of the proposed criterion.

关键词： Ad hoc networks logic gates Mobile computing Internet Histograms Routing protocols Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Multi-Dimensional Conflict Graph Based Computing for Optimal Capacity in MR-MC Wireless Networks

Multi-Dimensional Conflict Graph Based Computing for Optimal...

引用

IEEE international conference on Distributed Computing Systems

作者： Hongkun Li Yu Cheng Chi Zhou Pengjun Wan Dept. Electrical & Computer Engineering Illinois Institute of Technology Dept. computer science Illinois Institute of Technology

ISBN: (纸本)9781424472611;9780769540597

Optimal capacity analysis in multi-radio multichannel wireless networks by nature incurs the formulation of a mixed integer programming, which is NP-hard in general. the current state of the art mainly resorts to heuristic algorithms to obtain an approximate solution. In this paper, we propose a novel concept of multi-dimensional conflict graph (MDCG). Based on MDCG, the capacity optimization issue can be accurately modeled as a linear programming (LP) multi-commodity flow (MCF) problem, augmented with maximal independent set (MIS) constraints. the MDCG-based solution will provide not only the maximum throughput or utility, but also the optimal configurations on routing, channel assignment, and scheduling. Moreover, the MDCG-based optimal capacity planning can exploit dynamic channel swapping, which is difficult to achieve for those existing heuristic algorithms. A particular challenge associated with the MDCG-based capacity analysis is to search exponentially many possible MISs. We theoretically show that in fact only a small set of critical MISs, termed as critical MIS set, will be scheduled in the optimal resource allocation. We then develop a polynomial computing method, based on a novel scheduling index ordering (SIO) concept, to search the critical MIS set. Extensive numerical results are presented to demonstrate the efficiency of the MDCG-based resource allocation compared to well-known heuristic algorithm presented in [1], and the efficiency of SIO-based MIS computing compared to the widely adopted random algorithm for searching MISs.

关键词： Resource utilization Heuristic algorithms Management Information Systems Wireless networks Capacity planning Integer programming Nondeterministic polynomial-time hard Conflict (Psychology) Optimal state of the art Line graph Network routing Arts

来源：评论

学校读者我要写书评

暂无评论

REnvDB, a RESTful Database for Pervasive Environmental Wireless Sensor Networks

REnvDB, a RESTful Database for Pervasive Environmental Wirel...

引用

international conference on Distributed Computing Systems Workshop

作者： Filippo De Stefani Paolo Gamba Emanuele Goldoni Alberto Savioli Davide Silvestri Flavio Toffalini Dept. of Electronics University of Pavia Pavia Italy

Every application of a Wireless Sensor Network (WSN) requires the data collected from sensor nodes to be reachable from the outside, in order to allow its processing and to obtain information from the monitored phenomena. Environmental protection and agriculture are examples of areas most likely to benefit from the deployment of WSNs. Devices equipped with temperature, humidity and light sensors could play a role in preserving the environment by providing early alerts and useful status information in real-time. Since such networks usually provide a huge amount of raw data, an easy way to organize, store and retrieve useful information is also needed. In this work we present REnvDB (RESTful Environmental DataBase), a novel database for Wireless Sensor Networks specifically designed for pervasive monitoring applications. the data model of the database is flexible enough to fulfill the requirements of most of the typical environmental monitoring systems. We also provided the database a RESTful interface, which can be used to expose the data collected by heterogeneous WSNs using the standard protocols of the World Wide Web. thanks to its modular design and the use of metadata, the behavior of our RESTful interface can also be easily extended or modified according to the requirements and constraints of a specific context. Finally, the entire system has been implemented and tested in a real environment as part of a bigger project for the monitoring of an intensive agricultural field.

关键词： Wireless sensor networks Databases Monitoring logic gates Temperature sensors XML Temperature measurement

来源：评论

学校读者我要写书评

暂无评论

A Cross-Layer Scheme for Access Point Selection in Wireless Mesh Networks

A Cross-Layer Scheme for Access Point Selection in Wireless ...

引用

international conference on Wireless Communications, Networking and Mobile Computing (WiCom)

作者： Pin Lv Yingwen Chen Wei Xiao Ming Xu Dept. of Network Eng. Nat. Univ. of Defense Technol. Changsha China

In wireless mesh networks (WMNs), a station (STA) often has a group of candidate access points (APs) to be associated with. How to select the most appropriate AP has been an open problem. In IEEE 802.11 standards, the STA simply chooses the one with the strongest RSSI. Since this AP selection strategy can cause severe network load unbalance, many new methods have been proposed. However, these solutions mainly focus on the WLAN environment and are not applicable for WMNs. the unique wireless multi-hop backbone in WMN will introduce higher latency, which must be considered during the AP selection process. In this paper, we propose a cross-layer AP selection scheme based on the information of both link layer and routing layer aiming at reducing the network transmission delay. the problem is formulated as a nonlinear programming problem, and a heuristic search algorithm is given. Experiment results show that the cross-layer scheme can reduce the mean delay of the whole network by about 30% and can benefit real-time applications.

关键词： Delay IEEE 802.11 Standards logic gates Wireless communication Routing Wireless LAN Wireless mesh networks

来源：评论

学校读者我要写书评

暂无评论

Algebra for Infinite Forests with an Application to the Temporal logic EF 1

引用

30th international conference on Concurrency theory

作者： Bojanczyk, Mikolaj Idziaszek, Tomasz Univ Warsaw PL-00325 Warsaw Poland

ISBN: (数字)9783642040818

ISBN: (纸本)9783642040801

We define an extension of forest algebra for omega-forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To prove its usefulness, we use the framework to get an effective characterization of the omega-forest;languages that are definable in the temporal logic that uses the operator EF (exists finally).

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

A General Approach to the Verification of Cryptographic Protocols Using Answer Set programming

引用

10th international conference on logic programming and Nonmonotonic Reasoning

作者： Delgrande, James P. Grote, Torsten Hunter, Aaron Simon Fraser Univ Sch Comp Sci Burnaby BC V5A 1S6 Canada

ISBN: (纸本)9783642042379

We introduce a general approach to cryptographic protocol verification based oil answer set programming. In our approach, cryptographic protocols are represented as extended logic programs where the answer Sets correspond to traces of protocol runs. Using queries, we can find attacks on a protocol by finding the answer sets for the corresponding logic program. Our encoding is modular, with different modules representing the message passing environment, the protocol Structure and the intruder model. We can easily tailor each module to suit a specific application, while keeping the rest of the encoding constant. As such. our approach is more flexible and elaboration tolerant than related formalizations. the present system is intended as a first step towards the development of a compiler from protocol specifications to executable programs: such a compiler would make verification a completely automated process. this work is also part of a larger project in which we are exploring the advantages of explicit, declarative representations of protocol verification problems.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

A logic-Based Framework for Reasoning about Composite Data Structures 1

引用

30th international conference on Concurrency theory

作者： Bouajjani, Ahmed Dragoi, Cezara Enea, Constantin Sighireanu, Mihaela Univ Paris Diderot LIAFA CNRS F-75205 Paris 13 France

ISBN: (数字)9783642040818

ISBN: (纸本)9783642040801

We define a logic, called CSL, for the specification of complex data structures, and we show its use in program verification. Our framework allows to handle programs with dynamic linked structures and arrays carrying unbounded data, as well as the composition of these structures. the formulas in CSL allow a limited form of alternation between existential and universal quantifiers and they can express (1) constraints on reachability between positions in the heap following some pointer fields, (2) linear constraints on the lengths of the lists and the indexes of the arrays, and (3) constraints on the values of the data attached to these positions. For data constraints, the logic CSL is parameterized by a first-order logic over the considered data domain. We prove that the satisfiability problem of CSL is decidable whenever the underlying data logic is decidable and that CSL is closed under the computation of the strongest post-condition in the considered class of programs.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Information Socurity and Cryptology - 4th international conference, Inscrypt 2008, Revised Selected Papers

引用

4th international conference on Information Security and Cryptology, Inscrypt 2008

ISBN: (纸本)9783642014390

the proceedings contain 30 papers. the topics discussed include: the state of hash functions and the NIST SHA-3 competition;key evolution systems in untrusted update environments;secure and privacy-preserving information brokering;provably secure convertible nominative signature scheme;cryptanalysis of two ring signcryption schemes;efficient signcryption key encapsulation without random oracles;security analysis of multivariate polynomials for hashing;SPVT-II: an efficient security protocol verifier based on logic programming;batch ZK proof and verification of OR logic;constructing variable-length PRPs and SPRPs from fixed-length PRPs;impossible differential analysis of reduced round CLEFIA;chosen ciphertext secure certificateless threshold encryption in the standard model;further observations on certificateless public key encryption;and efficient hardware architecture of SHA-256 algorithm for trusted mobile computing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Leveraging digital business ecosystems for enterprise agility: the tri-logic development strategy of ***

Leveraging digital business ecosystems for enterprise agilit...

引用

30th international conference on Information Systems, ICIS 2009

作者： Tan, Barney Pan, Shan L Lu, Xianghua Huang, Lihua National University of Singapore 3 Science Drive 2 Singapore 117543 Singapore Fudan University Siyuan Faculty Building 670 Guoshun Rd Shanghai 200433 China

the existing discourse on IT-enabled enterprise agility views the internal organizational processes of IT capability development and organizational learning as the primary means of attaining agility, but has neglected the new dynamics of competition in the present networked economy. As Digital Business Ecosystems (DBEs) may be crucial to enterprise agility for organizations engaged in intense, inter-network competition, we apply the literature on business ecosystems to analyze the case of ***, a B2B portal that organizes one of the largest DBEs worldwide. In doing so, a process model of how a DBE may be developed and leveraged for enterprise agility is inductively derived that sheds light on the antecedents, nature and implications of DBE development in three distinct phases. With its findings, this study contributes to a networked perspective of IT-enabled enterprise agility, and provides practitioners with a comprehensive and empirically-supported framework for the development and subsequent leverage of a DBE.

关键词： Competition

来源：评论

学校读者我要写书评

暂无评论

Scaling of advanced floating body Z-RAM storage cells: A modeling approach

Scaling of advanced floating body Z-RAM storage cells: A mod...

引用

IFIP international conference on Very Large Scale Integration (VLSI-SoC)

作者： Viktor Sverdlov Siegfried Selberherr Institute for Microelectronics TU Wien Wien Austria

A modeling approach to study advanced floating body Z-RAM memory cells is developed. In particular, the scalability of the cells is investigated. First, a Z-RAM cell based on a 50nm gate length double-gate structure corresponding to state of the art technology is studied. A bi-stable behavior essential for Z-RAM operation is observed even in fully depleted structures. It is demonstrated that by adjusting the supply source-drain and gate voltages the programming window can be adjusted. the programming window is appropriately large in voltage as well as in current. We further extend our study to a Z-RAM cell based on an ultra-scaled double-gate MOSFET with 12.5nm gate length. We demonstrate that the cell preserves its functionality by providing a wide voltage operating window with large current differences. An appropriate operating window is still observed at approximately 25-30% reduced supply voltage, which is an additional benefit of scaling. the relation of the obtained supply voltage to the one anticipated in an ultimate MOSFET with quasi-ballistic transport is discussed.

关键词： logic gates MOSFET circuits Silicon Random access memory Transistors Impact ionization Electric potential

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 68 69 70 71 72 73 74 75 76 77 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：