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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,396 篇 会议
132 篇 期刊文献
76 册 图书

馆藏范围

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

日期分布

学科分类号

2,403 篇 工学
- 1,901 篇 计算机科学与技术...
- 1,151 篇 软件工程
- 419 篇 电气工程
- 270 篇 控制科学与工程
- 199 篇 信息与通信工程
- 128 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 交通运输工程
- 55 篇 材料科学与工程（可...
- 51 篇 生物工程
- 45 篇 化学工程与技术
- 41 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
674 篇 理学
- 485 篇 数学
- 104 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 74 篇 生物学
- 50 篇 化学
404 篇 管理学
- 339 篇 管理科学与工程(可...
- 149 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 102 篇 教育学
71 篇 医学
- 46 篇 临床医学
- 36 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
185 篇 dynamic programm...
142 篇 computer program...
119 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
87 篇 genetic programm...
83 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
64 篇 parallel program...
56 篇 software enginee...
54 篇 costs
51 篇 mathematical mod...
48 篇 computer program...
47 篇 heuristic algori...
42 篇 quadratic progra...
42 篇 artificial intel...

机构

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,431 篇 英文
144 篇 其他
28 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3604 条记录，以下是2331-2340 订阅

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

详细简洁

排序：

Mapping a sequence diagram to the related code: Cognitive levels expressed by developers

Mapping a sequence diagram to the related code: Cognitive le...

引用

IEEE international conference on Industrial Informatics (INDIN)

作者： David A. McMeekin Brian R. von Konsky Elizabeth Chang David J.A. Cooper Digital Ecosystems and Business Intelligence Institute Curtin University of Technology Perth WA Australia

this paper reports on a study in which developers' cognitive levels were categorised and measured while they mapped a sequence diagram to the related code based on a usage based reading scenario. Results indicate that applying the usage-based reading technique to map a sequence diagram to the underlying code, facilitates a developer to operate at the knowledge and comprehension levels of Bloom's cognitive taxonomy, but does not facilitate sustaining it at the analysis level. the results of this study highlight the need for improved tools and methodologies that aid developers understanding of the system, particularly for those commencing a new project.

关键词： Inspection Taxonomy Cognition Software systems Ecosystems Australia Testing Usability programming Software maintenance

来源：评论

学校读者我要写书评

暂无评论

Impact of carbon on the diffusion of donor atoms in germanium

Impact of carbon on the diffusion of donor atoms in germaniu...

引用

7th international conference on Diffusion in Materials

作者： Bracht, H. Brotzmann, S. Chroneos, A. Inst Mat Phys Wilhelm Klemm Str 10 D-48149 Munster Germany Imperial Coll London Dept Mat London SW7 2BP England

ISBN: (纸本)3908451728

We report experiments on the diffusion of n-type dopants in isotopically controlled Ge multilayer structures doped with carbon. the diffusion profiles reveal a strong aggregation of the dopants within the carbon-doped layers and a retarded penetration depth compared to dopant diffusion in high purity natural Ge. Dopant aggregation and diffusion retardation is strongest for Sb and similar for P and As. Successful modeling of the simultaneous self- and dopant diffusion is performed on the basis of the vacancy mechanism and additional reactions that take into account the formation of carbon-vacancy-dopant and dopant-vacancy complexes. the stability of these complexes is confirmed by density functional theory calculations. the overall consistency between experimental and theoretical results supports the stabilization of donor-vacancy complexes in Ge by the presence of carbon and the dopant deactivation via the formation of dopant-vacancy complexes. these results help to develop concepts to suppress the enhanced diffusion of n-type dopants and the donor deactivation in Ge. Both issues hamper the formation of ultra shallow donor profiles with high active dopant concentrations that are required for the fabrication of Ge-based n-type metal oxide semiconductor field effect transistors.

关键词： germanium phosphorus arsenic antimony carbon vacancy mechanism defect reactions dopant vacancy complexes atomistic calculations

来源：评论

学校读者我要写书评

暂无评论

A reputation pattern for service oriented computing

A reputation pattern for service oriented computing

引用

international conference on Information, Communications and Signal Processing

作者： Pan Li Meng Xiangxu Shen Zhiqi Yu Han Department of Computer Science and Technology Shandong University Jinan China School of Electrical & Electronic Engineering Nanyang Technological University Singapore School of Computer Engineering Nanyang Technological University Singapore

ISBN: (纸本)9781424446568

Trust problems exist in open distributed service oriented computing environments. A lot of research work has been done on the theories and applications of trust and reputation management in service oriented environment. However, the design expertise on trust is not well documented yet. In this paper we propose to use trust patterns for documenting solutions for trust problems. the main benefit of using trust patterns is that it decouples the application domain expertise from the trust expertise. We also present a reputation service pattern as a solution to the trust problem in service provision which is one of the significant problems in service oriented computing environments.

关键词： Distributed computing Web services Simple object access protocol Environmental management Open systems Computer science Application software Quality of service Computer architecture Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Engine maintenance policy optimization with succinct value function representation

Engine maintenance policy optimization with succinct value f...

引用

Asian Control conference

作者： Qing-Shan Jia Center of Intelligent and Networked Systems (CFINS) TNLIST Department of Automation Tsinghua University Beijing China

ISBN: (纸本)9781424454402

Due to the large economic and environmental impact and pervasive application, engine maintenance policy optimization has attracted the research interest in the past several decades. Markov decision process (MDP) provides a general framework for this problem, but the large state space makes it difficult to apply the traditional value iteration and policy iteration in practice. How to approximate the value function is an important issue in approximate dynamic programming but lack of systematic approach so far. For an engine maintenance problem with n safety-critical components, each of which has l-day lifetime, we develop a succinct representation of the value function, which reduces the required memory space from l n to nl n-1 . Specifically, for the two-component case we develop an approximate value function which further reduces the time complexity for the calculation of the value function from O(l) to O(1). Numerical results demonstrate that the approximate value iteration usually obtains the optimal policy.

关键词： Engines Costs State-space methods Dynamic programming Educational institutions Environmental economics Marine vehicles Assembly international collaboration Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

Applying a hybrid model of neural network and decision tree classifier for predicting university admission

Applying a hybrid model of neural network and decision tree ...

引用

international conference on Information, Communications and Signal Processing

作者： Simon Fong Yain-Whar Si Robert P. Biuk-Aghai University of Macau Macao China

ISBN: (纸本)9781424446568

Predicting university admission is a complex decision making process that is more than merely relying on test scores. It is known by researchers that students' backgrounds and other factors correlate to the performance of their tertiary education. this paper proposes a hybrid model of neural network and decision tree classifier that predicts the likelihood of which university a student may enter, by analysing his academic merits, background and the university admission criteria from that of historical records. Our prototype system was tested with live data from sources of Macau secondary school students. In addition to the high prediction accuracy rate, flexibility is an advantage as the system can predict suitable universities that match the students' profiles and the suitable channels through which the students are advised to enter. Our model can be generalized with other attributes and perform faster when compared to using a neural network alone.

关键词： Predictive models Neural networks Decision trees Classification tree analysis Educational institutions Humans Decision making Linear programming Knowledge acquisition Computer networks

来源：评论

学校读者我要写书评

暂无评论

A fast mode decision algorithm of adaptive inter-layer prediction in scalable video coding

A fast mode decision algorithm of adaptive inter-layer predi...

引用

international conference on Information, Communications and Signal Processing

作者： Yang Dawei Baochun Hou Zhao Chunhui College of Information and Communication Harbin Engineering of Technology Harbin China School of Electronic Communication and electrical Engineering University of Herfordshire Hatfield UK

ISBN: (纸本)9781424446568

A fast mode decision algorithm is proposed to solve the computation complexity for enhancement hierarchical-B pictures with adaptive inter-layer prediction in H.264/AVC scalable extension, scalable video coding. this method exploits the evaluated modes of the co-located reference macroblocks, which include the best and other abandoned modes, to compose a new candidate group for the current macroblock in adaptive inter-layer prediction of motion estimation according to their RD cost values. the candidate modes can be reduced by adjusting the size of the group in order to decrease the calculation. Experimental results show that the proposed algorithm reduces 35.49% on average with very limited decrease of encoding efficiency in terms of PSNR and bit rate.

关键词： Video coding Encoding Static VAr compensators Rate-distortion Automatic voltage control Motion estimation Quadratic programming Costs Lagrangian functions IEC standards

来源：评论

学校读者我要写书评

暂无评论

Performance estimation for task graphs combining sequential path profiling and control dependence regions 09

Performance estimation for task graphs combining sequential ...

引用

ACM and IEEE international conference on Formal Methods and Models for Co-Design (MEMOCODE)

作者： Fabrizio Ferrandi Marco Lattuada Christian Pilato Antonino Tumeo Dipartimento di Elettronica e Informazione Politecnico di Milano Milan Italy

ISBN: (纸本)9781424448067

the speed-up estimation of parallelized code is crucial to efficiently compare different parallelization techniques or task graph transformations. Unfortunately, most of the time, during the parallelization of a specification, the information that can be extracted by profiling the corresponding sequential code (e.g. the most executed paths) are not properly taken into account. In particular, correlating sequential path profiling with the corresponding parallelized code can help in the identification of code hot spots, opening new possibilities for automatic parallelization. For this reason, starting from a well-known profiling technique, the Efficient Path Profiling, we propose a methodology that estimates the speed-up of a parallelized specification, just using the corresponding hierarchical task graph representation and the information coming from the dynamic profiling of the initial sequential specification. Experimental results show that the proposed solution outperforms existing approaches.

关键词： Performance analysis Multiprocessing systems Data mining Feedback Optimization methods Embedded system programming profession Program processors Instruments Sampling methods

来源：评论

学校读者我要写书评

暂无评论

Database optimization for novelty detection

Database optimization for novelty detection

引用

international conference on Information, Communications and Signal Processing

作者： Ong Chun Lin Agus T. Kwee Flora S. Tsai School of Electrical & Electronic Engineering Nanyang Technological University Singapore Singapore

ISBN: (纸本)9781424446568

Research in the area of optimizing databases in any Database Management System (DBMS) has been evolving constantly. Today, programming languages are being integrated into database systems to help professional programmers develop software quickly to meet deadlines. therefore, the design of a database must cater to both the needs of customers and the efficiency of database processes. In this paper, a database application, novelty detection, is used to detect new documents for readers who do not want redundant documents to be read again. this application needs a database to store history and current documents. the objective of this research is to optimize the database tables for up to 10 million records. the experiments are done on both sentence level and document level. In both levels, the investigation of data optimization and the use of proper indexing are conducted. In MYSQL, the MYSQL B-Tree index is used to speed up data selection. In addition, the use of EXPLAIN enables us to properly index the correct data column and to avoid redundant indexing. Optimizing data types are also investigated to ensure no extra work is done by MYSQL in selecting data. A technique known as batching is also introduced to speed up results insertion after novelty detection has been done. Overall, the combined optimization improved the speed by up to 90%. therefore, we have successfully optimized the database for novelty detection, and the techniques have been integrated into a real-time novelty detection application.

关键词： Database systems Indexing Computer languages Application software Monitoring Open source software Data engineering programming profession History Blogs

来源：评论

学校读者我要写书评

暂无评论

A study of Inventory-Routing problem for the distribution system of a distribution center

A study of Inventory-Routing problem for the distribution sy...

引用

IEEE international conference on Industrial Informatics (INDIN)

作者： Gia-Shie Liu Chung-Yung Wang Zhi-Yong Chen Department of Information Management Lunghwa University of Science and Technology Taiwan Department of Logistics Management University of National Defense Taiwan Graduate Institute of Logistics Management University of National Defense Taiwan

Most literatures of Inventory-Routing problems find the solutions by simulation, but few solve the real case problem of logistics companies. this research will apply some specific real logistics company's operating data to study the Inventory-Routing problem. this study first develops a mathematical model for this Inventory-Routing problem, next applies Savings method, 2-opt heuristic method and 1-1 lambda -interchange method to obtain the initial feasible solution, finally implements insert_move Tabu search method and swap_move Tabu search method to find the optimal solution. the numerical examples are illustrated to acquire the optimal total inventory routing cost, the optimal delivery routes, the related economic order quantities, the optimal service levels, the reorder points for the retail stores delivered in these proposed routes. the results show this model can be successfully applied in Inventory-Routing problem in a very efficient way. Finally, the performance of this proposed hybrid heuristic approach is compared with Savings method, Heuristic approach, and the current routing planning implemented by this specific logistics company. Accordingly, the outcome of this study is very promising in many aspects and should be helpful to this logistics company for its future planning of the distribution system.

关键词： Logistics Routing Search methods Mathematical model Technology management NP-hard problem Mathematical programming Vehicles Information management Simulated annealing

来源：评论

学校读者我要写书评

暂无评论

7th international Workshop on Reduction Strategies in Rewriting and programming, WRS 2007, as part of the 4th Federated conference on Rewriting, Deduction, and programming, RDP 2007

7th International Workshop on Reduction Strategies in Rewrit...

引用

7th international Workshop on Reduction Strategies in Rewriting and programming, WRS 2007, as part of the 4th Federated conference on Rewriting, Deduction, and programming, RDP 2007

the proceedings contain 14 papers. the special focus in this conference is on Rewriting, Deduction, and programming. the topics include: Innermost termination of rewrite systems by labeling;decidability of innermost termination and context-sensitive termination for semi-constructor term rewriting systems;termination of lazy rewriting revisited;undecidable properties on length-two string rewriting systems;rules and strategies in java;regular strategies as proof tactics for CIRC;formalizing constructions of abstract machines for functional languages in Coq;on term-graph rewrite strategies;towards a sharing strategy for the graph rewriting calculus;complete laziness;stack-based strategic control;computational soundness of a call by name calculus of recursivelyscoped records;minimality in a linear calculus with iteration;token-passing nets for functional languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 230 231 232 233 234 235 236 237 238 239 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：