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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,394 篇 会议
133 篇 期刊文献
76 册 图书

馆藏范围

3,601 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

2,401 篇 工学
- 1,896 篇 计算机科学与技术...
- 1,152 篇 软件工程
- 420 篇 电气工程
- 272 篇 控制科学与工程
- 199 篇 信息与通信工程
- 128 篇 机械工程
- 74 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 61 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 45 篇 化学工程与技术
- 43 篇 动力工程及工程热...
- 38 篇 土木工程
- 37 篇 仪器科学与技术
- 34 篇 冶金工程
675 篇 理学
- 482 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 74 篇 生物学
- 53 篇 化学
402 篇 管理学
- 337 篇 管理科学与工程(可...
- 148 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
71 篇 医学
- 46 篇 临床医学
- 35 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
118 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
87 篇 genetic programm...
82 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
65 篇 parallel program...
56 篇 software enginee...
54 篇 costs
49 篇 mathematical mod...
48 篇 computer program...
46 篇 heuristic algori...
42 篇 artificial intel...
41 篇 computer science

机构

9 篇 univ london impe...
7 篇 inesc tec porto
6 篇 feup porto
6 篇 russian acad sci...
5 篇 c mast ubi covil...
4 篇 univ leicester l...
4 篇 vienna univ tech...
4 篇 institute of fun...
4 篇 chinese acad sci...
4 篇 university of am...
4 篇 univ nottingham ...
4 篇 beijing universi...
3 篇 weizmann inst sc...
3 篇 univ nottingham ...
3 篇 delft center for...
3 篇 international is...
3 篇 international bu...
3 篇 department of co...
3 篇 school of comput...
3 篇 univ cyprus dept...

作者

8 篇 catalao joao p. ...
7 篇 musirin ismail
5 篇 weiss gera
5 篇 marron assaf
4 篇 hirschfeld rober...
4 篇 ghani n
4 篇 katz guy
4 篇 saraswat vijay
4 篇 xiong rui
4 篇 funabiki nobuo
4 篇 fitiwi desta z.
4 篇 shi yong
4 篇 boercsoek josef
4 篇 jagadeesan radha
4 篇 gupta vineet
4 篇 michael n. young
4 篇 pesant gilles
4 篇 harel david
3 篇 muggleton stephe...
3 篇 faisal a. aldo

语言

3,496 篇 英文
79 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=7th International Conference on Functional Programming"

共 3603 条记录，以下是1401-1410 订阅

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

详细简洁

排序：

Proceedings of the 7th Cairo international Biomedical Engineering conference, CIBEC 2014

Proceedings of the 7th Cairo International Biomedical Engine...

引用

7th Cairo international Biomedical Engineering conference, CIBEC 2014

ISBN: (纸本)9781479944125

the proceedings contain 44 papers. the topics discussed include: fuzzy C-means with a local membership KL-distance for medical image segmentation;a novel approach for remote diagnosis and troubleshooting for lab instruments;development of a high resolution human brain finite element model for restructuring traumatic brain injury;unilateral facial nerve paralysis induced changes in DMN functional connectivity;a tMRI study;offline large scale Fourier volume rendering on low-end hardware;stiffness analyses of modified Niagara prosthetic feet using finite element modeling;the influence of ventilation on chest compression force and depth during neonatal cardiopulmonary resuscitation;MATLAB-based Fourier volume rendering framework;estimation of Eulerian strain from tagged MRI using optical flow;a slab to reduce back-reflected clutter for the whole ultra-wideband range;and vitamin d receptor gene polymorphisms in rheumatoid arthritis patients associating osteoporosis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Application Modeling for Scalable Simulation of Massively Parallel Systems 17

Application Modeling for Scalable Simulation of Massively Pa...

引用

2015 IEEE 17th international conference on High Performance Computing and Communications (HPCC)

作者： Anger, Eric Yalamanchili, Sudhakar Dechev, Damian Hendry, Gilbert Wilke, Jeremiah Georgia Inst Technol Atlanta GA 30332 USA Univ Cent Florida Orlando FL USA Sandia Natl Labs Livermore CA USA

ISBN: (纸本)9781479989379

Macro-scale simulation has been advanced as one tool for application-architecture co-design to express operation of exascale systems. these simulations approximate the behavior of system components, trading off accuracy for increased evaluation speed. Application skeletons serve as the vehicle for these simulations, but they require accurately capturing the execution behavior of computation. the complexity of application codes, the heterogeneity of the platforms, and the increasing importance of simulating multiple performance metrics (e. g., execution time, energy) require new modeling techniques. We propose flexible statistical models to increase the fidelity of application simulation at scale. We present performance model validation for several exascale mini-applications that leverage a variety of parallel programming frameworks targeting heterogeneous architectures for both time and energy performance metrics. When paired with these statistical models, application skeletons were simulated on average 12.5 times faster than the original application incurring only 6.08% error, which is 12.5% faster and 33.7% more accurate than baseline models.

关键词： parallel architectures parallel programming power aware computing principal component analysis application-architecture codesign energy performance metrics exascale systems flexible statistical model heterogeneous architectures massively parallel systems parallel programming frameworks performance metrics performance model scalable simulation modeling statistical model time performance metrics Analytical models Computational modeling Data models Hardware Load modeling Predictive models Skeleton Performance metrics statistical models (nuclear) power aware computing Parallel programming Skeletons data models Load modeling Parallel architectures parallel system ANALYSIS MODELS Computational modeling Prediction models bone structure Computer hardware simulating

来源：评论

学校读者我要写书评

暂无评论

Optimization for Communication Energy Efficiency of Air-based Information Network while Satisfying Timing Constraints 17

Optimization for Communication Energy Efficiency of Air-base...

引用

2015 IEEE 17th international conference on High Performance Computing and Communications (HPCC)

作者： Liu, Xiao Qiu, Meikang Wang, Xiaodong Liu, Weiran Zhang, Jun Beihang Univ Sch Elect & Informat Engn Beijing Peoples R China Pace Univ Dept Comp Sci New York NY 10038 USA Columbia Univ Dept Elect Engn New York NY 10027 USA

ISBN: (纸本)9781479989379

In air-based information network of the Space-Air-Ground Integrated Network, it is critical to select an efficient communication link for each communication. However, some communication may not have fixed rules. In this article, we build a model of the air-based information network, and use the dynamic programming to select the most efficient communication link by minimizing the energy consumption in the communication model. In the communication model, energy consumption is associated with the distance between aircrafts and the relative velocity of the aircrafts. the experiments show that the presented algorithms can effectively reduce the total cost while satisfying timing constraints with guaranteed confidence probabilities. For example, there has been an achievement that an average reduction of 9.9% per 20 time units in the 100-subnetwork model satisfying timing constraints based on the presented algorithm.

关键词： air-based information network energy efficiency optimization dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Realistic Task Parallelization of the H.264 Decoding Algorithm for Multiprocessors 17

Realistic Task Parallelization of the H.264 Decoding Algorit...

引用

2015 IEEE 17th international conference on High Performance Computing and Communications (HPCC)

作者： Lin, Xiaohao Liu, Weichen Xiao, Chunming Dai, Jie Luo, Xianlu Zhang, Dan Liu, Duo Wu, Kaijie Zhuge, Qingfeng Sha, Edwin H. M. Chongqing Univ Coll Comp Sci Chongqing Peoples R China

ISBN: (纸本)9781479989379

there is a phenomenon that hardware technology has developed ahead of software technology in recent years. Companies lack of software techniques that can fully utilize the modern multi-core computing resources, mainly due to the difficulty of investigating the inherent parallelism inside a software. this problem exists in products ranging from energy-sensitive smartphones to performance-eager data centers. In this paper, we present a case study on the parallelization of the complex industry standard H.264 HDTV decoder application in multi-core systems. An optimal schedule of the tasks is obtained and implemented by a carefully-defined software parallelization framework (SPF). the parallel software framework is proposed together with a set of rules to direct parallel software programming (PSPR). A pre-processing phase based on the rules is applied to the source code to make the SPF applicable. the task-level parallel version of the H.264 decoder is implemented and tested extensively on a workstation running Linux. Significant performance improvement is observed for a set of benchmarks composed of 720p videos. the SPF and the PSPR will together serve as a reference for future parallel software implementations and direct the development of automated tools.

关键词： Decoding Industries Parallel processing Parallel programming Software Software algorithms Videos

来源：评论

学校读者我要写书评

暂无评论

Towards constructive abduction - Solving abductive problems with constraint programming 7

Towards constructive abduction - Solving abductive problems ...

引用

7th international Joint conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2015

作者： Ligęza, Antoni AGH - University of Science and Technology al. Mickiewicza 30 Krakow30-059 Poland

ISBN: (纸本)9789897581588

Abduction can be considered as a principal way of reasoning for problem solving. Abductive inference consists in generation of hypotheses which explain - or logically imply - the phenomenon under investigation in view of accessible background knowledge and are consistent with all other observations. Looking for such hypotheses is typically performed with a spectrum of trial-and-error or search methods and tools. In case of purely logical statements the hypotheses take the form of a set of facts, both positive and negative ones. For example, in case of model based diagnostic reasoning, such diagnostic hypotheses can be generated by consistency based reasoning with minimal search effort. In more complex cases, where values of certain variables are to be found, pure backtracking search becomes inefficient. In this paper we attempt to put forward such abductive inference into a formal framework of Constraint programming in order to enable the use of constraint propagation techniques. the main idea behind this approach is to make abduction more constructive. the discussion is illustrated with a diagnostic example of a multiplier-adder system. Copyright © 2015 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

关键词： Indium compounds

来源：评论

学校读者我要写书评

暂无评论

Ab-initio based analytical evaluation of entropy in magnetocaloric materials with first order phase transitions

<i>Ab</i>-<i>initio</i> based analytical evaluation of entro...

引用

20th international conference on Magnetism

作者： Piazzi, Marco Zemen, Jan Basso, Vittorio Ist Nazl Ric Metrol Str Cacce 91 I-10135 Turin Italy Imperial Coll London Blackett Lab Dept Phys London SW7 2AZ England

We combine spin polarised density functional theory and thermodynamic mean field theory to describe the phase transitions of antiperovskite manganese nitrides. We find that the inclusion of the localized spin contribution to the entropy, evaluated through mean field theory, lowers the transition temperatures. Furthermore, we show that the electronic entropy leads to first order phase transitions in agreement with experiments whereas the localized spin contribution adds second order character to the transition. We compare our predictions to available experimental data to assess the validity of the assumptions underpinning our multilevel modelling.

关键词： magnetocaloric effect first order magnetic transitions Density functional theory Mn-based antiperovskites electronic entropy

来源：评论

学校读者我要写书评

暂无评论

DC programming and DCA for Dictionary Learning 7th

DC Programming and DCA for Dictionary Learning

引用

7th international conference on Computational Collective Intelligence (ICCCI)

作者： Xuan thanh Vo Hoai An Le thi Tao Pham Dinh thi Bich thuy Nguyen Univ Lorraine Lab Theoret & Appl Comp Sci EA 3097 F-57045 Metz France Natl Inst Appl Sci Rouen Math Lab F-76801 St Etienne France

ISBN: (纸本)9783319240695;9783319240688

Sparse representations of signals based on learned dictionaries have drawn considerable interest in recent years. However, the design of dictionaries adapting well to a set of training signals is still a challenging problem. For this task, we propose a novel algorithm based on DC (Difference of Convex functions) programming and DCA (DC Algorithm). the efficiency of proposed algorithm will be demonstrated in image denoising application.

关键词： Dictionary learning Sparse representation DC programming DCA

来源：评论

学校读者我要写书评

暂无评论

Five years of IndiaHCI: A Scientometric Analysis 15

Five years of IndiaHCI: A Scientometric Analysis

引用

7th international conference on Human Computer Interaction, IndiaHCI 2015

作者： Gupta, Aakar University of Toronto Canada

ISBN: (纸本)9781450332187

Scientometric analyses of conferences both in and outside HCI have provided valuable insights into the conferences and their advancement. After five consecutive years of IndiaHCI, there is a need to reflect upon its various aspects in a formal data-driven approach. We analyze the demographics, citations and content of the IndiaHCI proceedings from 2010 to 2014 to draw statistics and interpret results to comment upon the growth, spread, collaboration and themes of the conference and their impact. the results highlight the trends, the points of encouragement and the areas of improvement for the conference. © 2015 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Chinese spelling check system based on n-gram model 8

Chinese spelling check system based on n-gram model

引用

8th SIGHAN Workshop on Chinese Language Processing, SIGHAN 2015

作者： Xie, Weijian Huang, Peijie Zhang, Xinrui Hong, Kaiduo Huang, Qiang Chen, Bingzhou Huang, Lei College of Mathematics and Informatics South China Agricultural University Guangzhou510642 China

ISBN: (纸本)9781941643570

this paper presents our system in the Chinese spelling check (CSC) task of SIGHAN-8 Bake-Off. Given a sentence, our systems are designed to detect and correct the spelling error. As we know, CSC is still a hot topic today and it is an open problem yet. N-gram language modeling (LM) is widely used in CSC, since its simplicity and power. We present a model based on joint bi-gram and trigram LM and Chinese word segmentation. Besides, we apply dynamic programming to increase efficiency and employ smoothing technique to address the sparseness of the n-gram in training data. the evaluation results show the utility of our CSC system. © 2015 Proceedings of the 8th SIGHAN Workshop on Chinese Language Processing, SIGHAN 2015 - co-located with 53rd Annual Meeting of the Association for Computational Linguistics and the 7th international Joint conference on Natural Language Processing, ACL IJCNLP 2015. All rights reserved.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Energy-Efficient Secrecy Precoding for General MIMOME Wiretap Channels

Energy-Efficient Secrecy Precoding for General MIMOME Wireta...

引用

7th IEEE international conference on Wireless Communications and Signal Processing (WCSP)

作者： Fang, Bing Qian, Zuping Zhong, Wei Shao, Wei PLA Univ Sci & Technol Coll Commun Engn Nanjing Jiangsu Peoples R China

ISBN: (纸本)9781467376877

In this paper, we study the energy-efficient secrecy precoding problem for a general multiple-input multiple-output multiple-eavesdropper (MIMOME) wiretap channel. the system model considered here consists of a common transmitter, a legitimate receiver, and multiple eavesdroppers, all mounted with multiple antennas. In order to improve the energy efficiency (EE) performance of the proposed system, an artificial noise (AN)-aided precoding scheme is adopted. Because the formulated EE maximization problem is of huge nonconvex complexity, we solve it by employing a two-tier optimization structure. Although the outer-tier optimization problem is quite simple and can be efficiently solved by the famous golden section searching method, the inner-tier optimization problem turns out to be nonconvex and cannot be easily solved. To solve it, we relax it to a secrecy rate maximization (SRM) problem, which naturally constitutes a difference convex (DC)-type programming problem and can be iteratively solved by employing a successive convex approximation (SCA) method. Numerical simulations are further provided to demonstrate the proposed algorithms. Results show that our algorithms can converge fast to a near-optimal solution.

关键词： MIMOME wiretap channel physical layer security energy efficiency DC-programming convex optimization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 137 138 139 140 141 142 143 144 145 146 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：