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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,158 篇 会议
32 册 图书
10 篇 期刊文献

馆藏范围

1,200 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

879 篇 工学
- 650 篇 计算机科学与技术...
- 455 篇 软件工程
- 240 篇 控制科学与工程
- 159 篇 电气工程
- 118 篇 信息与通信工程
- 115 篇 机械工程
- 56 篇 动力工程及工程热...
- 46 篇 交通运输工程
- 46 篇 安全科学与工程
- 39 篇 生物工程
- 35 篇 电子科学与技术（可...
- 33 篇 生物医学工程（可授...
- 31 篇 仪器科学与技术
- 24 篇 网络空间安全
- 21 篇 光学工程
- 19 篇 力学（可授工学、理...
- 18 篇 化学工程与技术
281 篇 理学
- 162 篇 数学
- 50 篇 统计学（可授理学、...
- 49 篇 物理学
- 49 篇 生物学
- 49 篇 系统科学
- 33 篇 化学
174 篇 管理学
- 118 篇 管理科学与工程(可...
- 86 篇 图书情报与档案管...
- 55 篇 工商管理
31 篇 医学
- 30 篇 临床医学
- 25 篇 基础医学(可授医学...
20 篇 法学
- 15 篇 社会学
16 篇 经济学
- 16 篇 应用经济学
14 篇 教育学
6 篇 农学
1 篇 军事学

主题

49 篇 control systems
42 篇 computer science
27 篇 real-time system...
23 篇 access control
21 篇 monitoring
20 篇 hardware
20 篇 mathematical mod...
18 篇 process control
17 篇 computational mo...
16 篇 computer archite...
16 篇 sensors
15 篇 artificial intel...
14 篇 software enginee...
14 篇 smart cities
14 篇 servers
14 篇 software
13 篇 neural networks
13 篇 feature extracti...
13 篇 equations
13 篇 vehicles

机构

10 篇 univ politehn bu...
9 篇 computer science...
7 篇 univ politehn bu...
7 篇 college of compu...
6 篇 three gorges int...
6 篇 state key labora...
5 篇 faculty of autom...
4 篇 rudn univ people...
4 篇 department of co...
4 篇 school of comput...
4 篇 faculty of compu...
3 篇 division of elec...
3 篇 department of sy...
3 篇 department of el...
3 篇 delft univ techn...
3 篇 school of comput...
3 篇 china three gorg...
3 篇 department of au...
3 篇 peter great st p...
3 篇 chinese acad sci...

作者

5 篇 li xiaokun
4 篇 andrade rossana ...
4 篇 yuan ye
4 篇 nicolae tapus
4 篇 wang haoran
4 篇 wu hao
4 篇 y. dote
4 篇 guo xiwang
4 篇 sterca adrian
4 篇 qi liang
4 篇 lucia vacariu
4 篇 wang jiacun
4 篇 smits aletta
4 篇 detweiler chris
4 篇 bartels ester
3 篇 li weiling
3 篇 vescan andreea
3 篇 andrzej napieral...
3 篇 mariana mocanu
3 篇 octavian cret

语言

1,174 篇 英文
13 篇 其他
10 篇 中文
3 篇 俄文

检索条件"任意字段=19th International Conference on Control Systems and Computer Science, CSCS 2013"

共 1200 条记录，以下是831-840 订阅

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

详细简洁

排序：

Collaboration and Technology - 19th international conference, CRIWG 2013, Proceedings

引用

19th international conference on Collaboration and Technology, CRIWG 2013

ISBN: (纸本)9783642413469

the proceedings contain 22 papers. the topics discussed include: collaboration using social media: the case of podio in a voluntary organization;keep querying and tag on: collaborative folksonomy using model-based recommendation;understanding real-world events via multimedia summaries based on social indicators;how do researchers on collaboration technology collaborate with each other? a social network analysis;inferring hidden trust relationships in social networks for encouraging collaboration and cooperation among individuals;providing awareness, understanding and control of personalized stream filtering in a P2P social network;a theoretical model of user engagement in crowdsourcing;factors influencing the decision to crowdsource;data quality in an output-agreement game: a comparison between game-generated tags and professional descriptors;and work and learning across boundaries: artifacts, discourses, and processes in a university course.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Complexity analysis in presence of control operators and higher-order functions

Complexity analysis in presence of control operators and hig...

引用

19th international conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013

作者： Dal Lago, Ugo Pellitta, Giulio Università di Bologna INRIA Sophia Antipolis Italy

ISBN: (纸本)9783642452208

A polarized version of Girard, Scedrov and Scott's Bounded Linear Logic is introduced and its normalization properties studied. Following Laurent [25], the logic naturally gives rise to a type system for the λμ-calculus, whose derivations reveal bounds on the time complexity of the underlying term. this is the first example of a type system for the λμ-calculus guaranteeing time complexity bounds for typable programs. © Springer-Verlag 2013.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

IPv6 Peer Availability in BitTorrent Distributed Hash Table

IPv6 Peer Availability in BitTorrent Distributed Hash Table

引用

international conference on control systems and computer science (cscs)

作者： George Milescu Mircea Bardac Automatic Control and Computers Faculty University POLITEHNICA of Bucharest Romania

ISBN: (纸本)9781467361408

P2P protocols are responsible for a large amount of the Internet traffic. Given that in such systems each node functions both as a client and as a server, peer connectivity is an important element that influences the overall system performance. the introduction of IPv6 solves a part of the NAT traversal connectivity problems that IPv4 had, and allows a larger number of peers to be connectable from the Internet. Moreover, it introduces built-in IPsec capabilities, lowering the overhead security features bring on the network stack. this places P2P systems in an area that would most benefit from IPv6 deployment. Considering that P2P systems mostly rely of the resources provided by each user, the information collected by measuring such systems offers a real image on the hardware and Internet connection available to the home users. For many years BitTorrent has been the P2P protocol with the largest contribution to the P2P traffic in the Internet. this paper analyses one of the peer discovery methods available in BitTorrent, DHT, and compares the number of IPv4 and IPv6 node addresses that are available in the DHT system. the paper results are based on an experiment that measured the largest public swarms available on the file-sharing community called the Pirate Bay.

关键词： Peer-to-peer computing Protocols Internet Routing Magnetic separation Games Communities

来源：评论

学校读者我要写书评

暂无评论

Efficient Algorithms for Fast Data Transfers Using Long and Large Pipes in WAN Networks

Efficient Algorithms for Fast Data Transfers Using Long and ...

引用

international conference on control systems and computer science (cscs)

作者： Dan Schrager Florin Radulescu Faculty of Automatic Control and Computer Science University Politehnica of Bucharest Romania

ISBN: (纸本)9781467361408

the pipe programming paradigm is an important Unix innovation which lets processes filter data to obtain a desired output. Extending computation in an Internet distributed environment has led us to design so called long and large pipes which achieve high speed transfer rates between remotely interconnected processes. Our method combines, in a full-fledged client/server application, the use of classical pipes, as a mean of serializing data locally, with multiple parallel TCP connections which yield high bandwidth throughput. the application, called bbftpPRO, brings together the old fashioned techniques of file striping with the new data streaming algorithms at high transfer rates. It includes capabilities for easy traversal of networks protected by firewalls or NAT machines, split-TCP like path support, and last but not least, support for new transmission procedures at variable rate, adapted for multipath implementation at application level. Experimental results have proven the superiority of the proposed data transfer system. Both simple file transfers and arbitrary data streaming were done effectively, efficiently, in parallel, over wide area networks, between pairs of distributed processes connected via extended fast pipes. Our piped approach proved to be portable across heterogeneous systems and most suitable for data intensive computing applications requiring geographically distributed data.

关键词： Bandwidth Data transfer Wide area networks Writing Synchronization Arrays Servers

来源：评论

学校读者我要写书评

暂无评论

Packing cubes into a cube is NP-hard in the strong sense

Packing cubes into a cube is NP-hard in the strong sense

引用

19th international Computing and Combinatorics conference, COCOON 2013

作者： Lu, Yiping Chen, Danny Z. Cha, Jianzhong School of Mechanical / Electronic and Control Engineering Beijing Jiaotong University Beijing 100044 China Department of Computer Science and Engineering University of Notre Dame Notre Dame IN 46556 United States

ISBN: (纸本)9783642387678

While the problem of packing two-dimensional squares into a square, in which a set of squares is packed into a big square, has been proved to be NP-complete, the computational complexity of the d-dimensional (d > 2) problems of packing hypercubes into a hypercube remains an open question [5,7]. In this paper, we show that the three-dimensional problem version of packing cubes into a cube is NP-hard in the strong sense. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Geometry

来源：评论

学校读者我要写书评

暂无评论

Semantic Approach for Modeling Profiles and Interactions Based on Digital Content

Semantic Approach for Modeling Profiles and Interactions Bas...

引用

international conference on control systems and computer science (cscs)

作者： Ana-Cristina Surdu Florin Pop Computer Science Department University Politehnica of Bucharest Romania

ISBN: (纸本)9781467361408

A new challenge for web developers nowadays is the personalization of the social web. this means extracting data about something from different sources of information. the goal is to obtain relevant information and to create meaningful relations among data, using ontology based knowledge representation. therefore, there is a need to talk about semantic web and certain projects that have the purpose to create communities of related entities. the solution proposed in this paper aims to generate a profile for a person, from a scientific point of view; it shows all the research a person has made, with who, and in what periods of time. It is based on a Semantic web project, the FOAF (Friend of a Friend) model. the profiles are made for a small community belonging to the computer science domain. the information scientific performance is extracted from different digital libraries, such as DBLP and ACM Digital Libraries. this project has a user-friendly graphical interface that allows a client, on the one hand, to insert a person's name and then to be shown the FOAF profile of the queried name, highlighting different attributes and collaborations of the person, and on the other hand, to give a list of people and to receive a list of articles they have in common. the information was extracted from the digital libraries mentioned above and we started from the premise that the data is accurate. the impact of our approach is sustained by the fact that in a small community, it is important to keep track of the research within it and the relations and collaborations between people.

关键词： Resource description framework Libraries Ontologies Communities Data mining

来源：评论

学校读者我要写书评

暂无评论

Functional Encryption from (Small) Hardware Tokens

Functional Encryption from (Small) Hardware Tokens

引用

19th international conference on theory and Application of Cryptology and Information Security (ASIACRYPT)

作者： Chung, Kai-Min Katz, Jonathan Zhou, Hong-Sheng Acad Sinica Taipei Taiwan Univ Maryland College Pk MD 20742 USA Virginia Commonwealth Univ Richmond VA 23284 USA

ISBN: (纸本)9783642420450;9783642420443

Functional encryption (FE) enables fine-grained access control of encrypted data while promising simplified key management. In the past few years substantial progress has been made on functional encryption and a weaker variant called predicate encryption. Unfortunately, fundamental impossibility results have been demonstrated for constructing FE schemes for general functions satisfying a simulation-based definition of security. We show how to use hardware tokens to overcome these impossibility results. In our envisioned scenario, an authority gives a hardware token and some cryptographic information to each authorized user;the user combines these to decrypt received ciphertexts. Our schemes rely on stateless tokens that are identical for all users. (Requiring a different token for each user trivializes the problem, and would be a barrier to practical deployment.) the tokens can implement relatively "lightweight" computation relative to the functions supported by the scheme. Our token-based approach can be extended to support hierarchal functional encryption, function privacy, and more.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

the Concept of Using Multi-protocol Nodes in Real-Time Distributed systems for Increasing Communication Reliability

引用

20th international conference on computer Networks (CN)

作者： Kwiecien, Andrzej Sidzina, Marcin Mackowski, Michal Silesian Tech Univ Inst Informat Gliwice Poland Univ Bielsko Biala Dept Mech Engn Fundamentals Bielsko Biala Poland

ISBN: (纸本)9783642388651

the paper presents the considerations on the method which enables to accelerate the exchange of data in distributed control system, using multi-protocol nodes. the method presented in this paper is related to hardware and software, and based on new original communication protocol, which is used by the node for supporting various communication protocols to simultaneous data exchange via different buses. this method will enable to increase not only network bandwidth, but also the security of data transmission.

关键词： distributed control system redundancy network node industrial networks distributed real-time systems industrial protocols medium access acceleration of data exchange

来源：评论

学校读者我要写书评

暂无评论

Logic for Programming, Artificial Intelligence, and Reasoning - 19th international conference, LPAR 2013, Proceedings

Logic for Programming, Artificial Intelligence, and Reasonin...

引用

19th international conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013

ISBN: (纸本)9783642452208

the proceedings contain 52 papers. the topics discussed include: an algorithm for enumerating maximal models of horn theories with an application to modal logics;may-happen-in-parallel analysis for priority-based scheduling;a semantic basis for proof queries and transformations;expressive path queries on graphs with data;dynamic and static symmetry breaking in answer set programming;resourceful reachability as HORN-LA;comparison of LTL to deterministic Rabin automata translators;towards rational closure for fuzzy logic: the case of propositional Gödel Logic;multi-objective discounted reward verification in graphs and MDPs;complexity analysis in presence of control operators and higher-order functions;Zenon Modulo: when Achilles outruns the tortoise using deduction modulo;long-distance resolution: proof generation and strategy extraction in search-based QBF solving;and a proof of strong normalisation of the typed atomic lambda-calculus.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multifrontal QR Factorization for Multicore Architectures over Runtime systems

Multifrontal QR Factorization for Multicore Architectures ov...

引用

19th international conference on Euro-Par

作者： Agullo, Emmanuel Buttari, Alfredo Guermouche, Abdou Lopez, Florent INRIA LaBRI Bordeaux France CNRS IRIT Toulouse France Univ Bordeaux LaBRI Bordeaux France Univ Toulouse 3 IRIT Toulouse France

ISBN: (纸本)9783642400476

To face the advent of multicore processors and the ever increasing complexity of hardware architectures, programming models based on DAG parallelism regained popularity in the high performance, scientific computing community. Modern runtime systems offer a programming interface that complies with this paradigm and powerful engines for scheduling the tasks into which the application is decomposed. these tools have already proved their effectiveness on a number of dense linear algebra applications. this paper evaluates the usability of runtime systems for complex applications, namely, sparse matrix multifrontal factorizations which constitute extremely irregular workloads, with tasks of different granularities and characteristics and with a variable memory consumption. Experimental results on real-life matrices show that it is possible to achieve the same efficiency as with an ad hoc scheduler which relies on the knowledge of the algorithm. A detailed analysis shows the performance behavior of the resulting code and possible ways of improving the effectiveness of runtime systems.

关键词： sparse matrices multifrontal method QR factorization runtime systems heterogeneous architectures

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共120页 << < 80 81 82 83 84 85 86 87 88 89 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：