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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

109 篇 会议
25 篇 期刊文献
5 册 图书

馆藏范围

139 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

87 篇 工学
- 71 篇 计算机科学与技术...
- 59 篇 软件工程
- 17 篇 信息与通信工程
- 9 篇 控制科学与工程
- 8 篇 生物工程
- 7 篇 生物医学工程（可授...
- 4 篇 机械工程
- 4 篇 光学工程
- 4 篇 建筑学
- 3 篇 材料科学与工程（可...
- 3 篇 化学工程与技术
- 2 篇 仪器科学与技术
- 2 篇 动力工程及工程热...
- 2 篇 电气工程
- 2 篇 电子科学与技术（可...
54 篇 理学
- 33 篇 数学
- 10 篇 物理学
- 10 篇 生物学
- 6 篇 系统科学
- 5 篇 统计学（可授理学、...
- 3 篇 化学
31 篇 管理学
- 17 篇 图书情报与档案管...
- 15 篇 管理科学与工程(可...
- 9 篇 工商管理
7 篇 法学
- 7 篇 社会学
6 篇 医学
- 6 篇 基础医学(可授医学...
- 6 篇 临床医学
- 4 篇 公共卫生与预防医...
- 3 篇 药学(可授医学、理...
5 篇 教育学
- 5 篇 教育学
2 篇 文学
2 篇 农学
1 篇 经济学

主题

6 篇 artificial intel...
5 篇 data mining
4 篇 software enginee...
4 篇 optimization
4 篇 multi agent syst...
3 篇 computer science
3 篇 super-resolution
3 篇 compressed sensi...
3 篇 computer archite...
3 篇 semantics
3 篇 software
2 篇 learning systems
2 篇 information syst...
2 篇 cesium
2 篇 compressed
2 篇 application soft...
2 篇 modeling languag...
2 篇 real time system...
2 篇 data mining and ...
2 篇 interference

机构

3 篇 dept. of compute...
3 篇 school of foreig...
3 篇 dept. of linguis...
3 篇 dept. of compute...
3 篇 dept. of languag...
3 篇 dept. mathematic...
2 篇 dept. of languag...
2 篇 dept. of signal ...
2 篇 dept. of compute...
2 篇 tissue engineeri...
2 篇 dept. signal the...
2 篇 programming and ...
2 篇 biomedical engin...
2 篇 national technic...
2 篇 department of co...
2 篇 department of fo...
2 篇 dept. of electri...
2 篇 dept. of enginee...
2 篇 kharkiv national...
2 篇 dept. of speech ...

作者

7 篇 griol david
6 篇 fritzson peter
5 篇 callejas zoraida
4 篇 leonard barolli
4 篇 fatos xhafa
3 篇 pablo padilla
3 篇 hu hai
3 篇 xhafa fatos
3 篇 rafael molina
3 篇 schötz susanne
3 篇 wael saafin
3 篇 rasras mohammad
3 篇 miguel vega
3 篇 marin iuliana
3 篇 lópez-cózar ramó...
3 篇 aggelos k. katsa...
3 篇 wang rui
2 篇 astigarraga aitz...
2 篇 troels andreasen
2 篇 radu serban

语言

136 篇 英文
2 篇 其他
1 篇 日文

检索条件"机构=Dept. of Computer Science and Programming Languages"

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

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

详细简洁

排序：

Non-clausal deductive techniques for computing prime implicants and prime implicates 4th

引用

4th International Conference on Logic programming and Automated Reasoning, LPAR 1993

作者： Ramesh, Anavai Murray, Neil V. Inst. for Programming and Logics Dept. of Computer Science State Univ. of N.Y. at Albany AlbanyNY12222 United States

ISBN: (纸本)9783540569442

Several methods to compute the prime implicants and the prime implicates of a negation normal form (NNF) formula are developed and implemented. An algorithm PI is introduced that is an extension to negation normal form of an algorithm given by Jackson and Pais. The PI algorithm alone is sufficient in a computational sense. However, it can be combined with path dissolution, and it is shown empirically that this is often an advantage. None of these variations rely on conjunctive normal form or on disjunctive normal form. A class of formulas is described for which reliance on CNF or on DNF results in an exponential increase in the time required to compute prime implicants/implicates. The possibility of avoiding this problem with efficient structure preserving clause form translations is examined briefly and appears unfavorable. © Springer-Verlag Berlin Heidelberg 1993.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

Properties, Types and Meaning 1

引用

丛书名： Studies in Linguistics and Philosophy

1000年

作者： Gennaro Chierchia Barbara H. Partee Raymond Turner

ISBN: (数字)9789400927230

ISBN: (纸本)9781556080692;9781556080708

This collection of papers stems originally from a conference on Property Theory, Type Theory and Semantics held in Amherst on March 13-16 1986. The conference brought together logicians, philosophers, com puter scientists and linguists who had been working on these issues (of ten in isolation from one another). Our intent was to boost debate and exchange of ideas on these fundamental issues at a time of rapid change in semantics and cognitive science. The papers published in this work have evolved substantially since their original presentation at the conference. Given their scope, we thought it convenient to divide the work into two volumes. The first deals primarily with logical and philosophical foundations, the second with more empirical semantic issues. While there is a common set of issues tying the two volumes together, they are both self-contained and can be read independently of one another. Two of the papers in the present collection (van Benthem in volume 1 and Chierchia in volume II) were not actually read at the conference. They are nevertheless included here for their direct relevance to the topics of the volumes. Regrettably, some of the papers that were presented (Feferman, Klein, and Plotkin) could not be included in the present work due to timing problems. We nevertheless thank the authors for their contribu tion in terms of ideas and participation in the debate.

关键词： Semantics Logic Computational Linguistics

来源：评论

学校读者我要写书评

暂无评论

Towards an architecture for managing big semantic data in real-time

Towards an architecture for managing big semantic data in re...

引用

7th European Conference on Software Architecture, ECSA 2013

作者： Cuesta, Carlos E. Martínez-Prieto, Miguel A. Fernández, Javier D. VorTIC3 Research Group Dept. of Comp. Languages and Systems II Rey Juan Carlos University Madrid Spain DataWeb Research Dept. of Computer Science University of Valladolid Segovia Spain DataWeb Research Dept. of Computer Science University of Valladolid Valladolid Spain Dept. of Computer Science University of Chile Santiago Chile

ISBN: (纸本)9783642390302

Big Data Management has become a critical task in many application systems, which usually rely on heavyweight batch processes to process large amounts of data. However, batch architectures are not an adequate choice for the design of real-time systems, where expected response times are several orders of magnitude underneath. This paper outlines the foundations for defining an architecture able to deal with such an scenario, fulfilling the specific needs of real-time systems which expose big RDF datasets. Our proposal (Solid) is a tiered architecture which separates the complexities of Big Data management from their real-time data generation and consumption. Big semantic data are stored and indexed in a compressed way following the Rdf/Hdt proposal;while at the same time, real-time requirements are addressed using NoSQL technology. Both are efficient layers, but their approaches are quite different and their combination is not easy. Two additional layers are required to achieve an overall high performance, satisfying real-time needs, and able to work even in a mobile context. © 2013 Springer-Verlag.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

POS-tag based poetry generation with WordNet 14

POS-tag based poetry generation with WordNet

引用

14th European Workshop on Natural Language Generation, ENLG 2013

作者： Agirrezabal, Manex Arrieta, Bertol Astigarraga, Aitzol Hulden, Mans IXA NLP Group Dept. of Computer Science Donostia20018 Spain University of Helsinki Department of Modern Languages Helsinki Finland

ISBN: (纸本)9781937284565

In this paper we present the preliminary work of a Basque poetry generation system. Basically, we have extracted the POS-tag sequences from some verse corpora and calculated the probability of each sequence. For the generation process we have defined 3 different experiments: Based on a strophe from the corpora, we (a) replace each word with other according to its POS-tag and suffixes, (b) replace each noun and adjective with another equally inflected word and (c) replace only nouns with semantically related ones (inflected). Finally we evaluate those strategies using a Turing Test-like evaluation. © 2013 Association for Computational Linguistics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A study of acoustic correlates of speaker age

A study of acoustic correlates of speaker age

引用

Lecture Notes in computer science

作者： Schötz, Susanne Müller, Christian Dept. of Phonetics Centre for Languages and Literature Lund University Sweden International Computer Science Institute Berkeley CA United States

ISBN: (纸本)9783540741213

Speaker age is a speaker characteristic which is always present in speech. Previous studies have found numerous acoustic features which correlate with speaker age. However, few attempts have been made to establish their relative importance. This study automatically extracted 161 acoustic features from six words produced by 527 speakers of both genders, and used normalised means to directly compare the features. Segment duration and sound pressure level (SPL) range were identified as the most important acoustic correlates of speaker age. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Acoustics

来源：评论

学校读者我要写书评

暂无评论

Syntactic characterization of the two-dimensional grid graphs

Syntactic characterization of the two-dimensional grid graph...

引用

作者： Arita, Tomokazu Tsuchida, Kensei Yaku, Takeo Dept. of Languages and Information Studies Obirin University Machida-shi 194-0294 Japan Dept. of Information and Computer Sciences Toyo University Kawagoe-shi 850-3535 Japan Dept. of Computer Science and System Analysis Nihon University Tokyo 156-0045 Japan Department of Languages and Information Studies Obirin University Japan Department of Information and Computer Sciences Department of Computer Science and System Analysis Nihon University Japan IEEE Computer Society ACM

Vigna and Ghezzi showed that the language of grid graphs could not be constructed by their context-free graph grammars [1]. In this paper, we construct a context-sensitive graph grammar for the two-dimensional grid gr... 详细信息

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

A robust approach to the cell switch-off problem in 5G ultradense networks

A robust approach to the cell switch-off problem in 5G ultra...

引用

2019 International Conference on High Performance Computing and Simulation, HPCS 2019

作者： Luna, Francisco Zapata-Cano, Pablo H. Valenzuela-Valdes, Juan F. Padilla, Pablo Universidad de Málaga Dept. of Languages and Computer Science Málaga Spain Dept. Signal Theory Telematics and Communications Universidad de Granada Granada Spain

ISBN: (纸本)9781728144849

Ultra-dense networks (UDNs) are recognized as one of the key enabling technologies of the fifth generation (5G) networks, as they allow for an efficient spatial reuse of the spectrum, which is required to meet the traffic demands foreseen for the next coming years. However, the power consumption of UDNs, with potentially hundreds of small base stations (SBSs) within each macrocell, is a major concern for the cellular operators, and has to be properly addressed prior to the actual deployment of these 5G networks. Among the different existing approaches to address this issue, a widely accepted strategy lies in the selective deactivation of SBSs, but without compromising the QoS provided to the User Equipments (UEs). This is known as the Cell Switch-Off (CSO) problem. The typical formulation of this problem is based on estimations of the traffic demand of the User Equipments (UEs) within the network. But these estimations could not be met. This work approaches these uncertain scenarios by extending the CSO problem with additional objectives that account for the robustness of the solutions to disturbances in these traffic estimates. To do so, a computationally demanding Monte-Carlo sampling is used to evaluate each solution. To manage such an increasingly large computing cost, a parallel version of the NSGA-II algorithm that is able to run on a computing platform composed of more than 500 cores has been used. It is able to compute in roughly 2 hours, an accumulated execution time of more than 42 days, which is within the expected timeframe of operators to make changes in the network configuration. © 2019 IEEE.

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

Double inspection for run-time loop parallelization

Double inspection for run-time loop parallelization

引用

24th International Workshop on languages and Compilers for Parallel Computing, LCPC 2011

作者： Philippsen, Michael Tillmann, Nikolai Brinkers, Daniel Computer Science Dept. Programming Systems Group University of Erlangen-Nuremberg Erlangen Germany Microsoft Research One Microsoft Way Redmond WA United States

ISBN: (纸本)9783642360350

The Inspector/Executor is well-known for parallelizing loops with irregular access patterns that cannot be analyzed statically. The downsides of existing inspectors are that it is hard to amortize their high run-time overheads by actually executing the loop in parallel, that they can only be applied to loops with dependencies that do not change during their execution and that they are often specifically designed for array codes and are in general not applicable in object oriented just-in-time compilation. In this paper we present an inspector that inspects a loop twice to detect if it is fully parallelizable. It works for arbitrary memory access patterns, is conservative as it notices if changing data dependencies would cause errors in a potential parallel execution, and most importantly, as it is designed for current multicore architectures it is fast - despite of its double inspection effort: it pays off at its first use. On benchmarks we can amortize the inspection overhead and outperform the sequential version from 2 or 3 cores onward. © 2013 Springer-Verlag.

关键词： Inspection

来源：评论

学校读者我要写书评

暂无评论

A method for compiling and executing expressive assertions

A method for compiling and executing expressive assertions

引用

4th International Conference on Integrated Formal Methods, IFM 2004

作者： Galán Morillo, F.J. Cañete Valdeón, J.M. Dept. of Languages and Computer Systems Faculty of Computer Science of Seville Av. Reina Mercedes s/n Sevilla41012 Spain

ISBN: (纸本)9783540247562

programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing formal specifications is essential in order to test automatically a program with respect to its assertions. However, formal specifications may describe recursive models which are difficult to identify so current assertion checkers limit, in a considerable way, the expressivity of the assertion language. In this paper, we are interested in showing how transformational synthesis can help to execute "expressive" assertions of the form ∀x(r(x) ⇔ QyR(x, y)) where x is a set of variables to be instantiated at execution time, Q is an existential or universal quantifier and R a quantifier free formula in the language of a particular first-order theory A we call assertion context. The class of assertion contexts is interesting because it presents a balance between expressiveness for writing assertions and existence of effective methods for executing them by means of synthesized (definite) logic programs. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Implementing a mobile campus using MLE moodle

Implementing a mobile campus using MLE moodle

引用

5th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2010

作者： Xhafa, Fatos Caballe, Santi Rustarazo, Isaac Barolli, Leonard Dept. of Languages and Informatics Systems Technical University of Catalonia Spain Dept. of Computer Science Multimedia and Telecommunication Open University of Catalonia Spain Dept. of Information and Communication Engineering Fukuoka Institute of Technology Japan

ISBN: (纸本)9780769542379

Mobile learning is considered the next step of online learning by incorporating mobility as a key requirement. Indeed, the current wide spread of mobile devices and wireless technologies brings an enormous potential to e-learning, in terms of ubiquity, pervasiveness, personalization, flexibility, and so on. For this reason, Mobile Learning is attracting significant research efforts covering a fairly variety of learning settings, from schools and universities to workplaces and cities. This research has evidenced that mobile technology can offer new opportunities for learners to learn inside and beyond the traditional instructor-oriented educational paradigm. However, mobile technologies are still in its infancy and many challenges arise. In this paper we analyze, from both learning and technological perspectives, the development of learning applications using mobile devices. To this end, proxy and proxy less architectures are considered as way to extend traditional virtual campuses with mobile clients. The objective is twofold: to access learning materials and to support learning activities. A prototype of a Virtual Campus is developed using MLE-Moodle -the Mobile Learning module of Moodle. The proposed Virtual Campus enables mobile clients to perform online learning activities and is a step towards achieving the 'anytime, anywhere' paradigm. © 2010 IEEE.

关键词： E-learning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：