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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Dynamic Pricing Scheme: Towards Cloud Revenue Maximization

Dynamic Pricing Scheme: Towards Cloud Revenue Maximization

引用

IEEE international conference on Cloud Computing Technology and Science (CloudCom)

作者： Fadi Alzhouri Anjali Agarwal Department of Electrical and Computer Engineering Concordia University Montreal Canada

Cloud computing providers in the infrastructure as a service (IaaS) layer provide their utility computing and IT services as virtual machines to customers, who then pay for resources based on time usage. One of the most subtle challenges is pricing stagnant resources dynamically, which combines the static pricing strategy of active resources to maximize cloud computing profits. this paper investigates cloud dynamic pricing and proposes an efficient model that manages virtual machines in regards to revenue management, formulating the maximum expected reward under discrete finite horizon Markovian decisions, characterizing model properties under optimum controlling conditions, approximating optimal dynamic programming policy using a linear programming approach, developing a new algorithm based on this approximation, and finally presenting evaluation results. Our results provide fundamental insights into cloud computing revenue.

关键词： Cloud computing Pricing Computational modeling Virtual machining Heuristic algorithms Stochastic processes Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Multi-period Optimization Model for the ARE Power Sector 7th

Multi-period Optimization Model for the ARE Power Sector

引用

7th international conference on Applied Energy, ICAE 2015

作者： Betancourt-Torcat, Alberto Almansoori, Ali Department of Chemical Engineering Petroleum Institute P.O. Box 2533 Abu Dhabi United Arab Emirates

A multi-period power optimization model for the ARE's electricity sector is presented. the model aims to minimize the cumulative costs and CO2 emission of the ARE's power sector during the planning horizon. the optimization problem was formulated as a multi-period MILP model in the GAMS modelling system. Previous studies have analyzed the ARE power infrastructure using standard simulation software such as MARKAL and MESSAGE. the present work's novelty consists of determining the optimal evolution of the power generation infrastructure during different time periods under operational and environmental constraints. the optimization model was used to study the ARE's power system for the time periods comprised between the years 2015 and 2040. the simulation results show that the mathematical model is a valuable tool for planning the optimal evolution of the power plants' fleet in the country, reduce levelized electricity costs and emissions, meet energy targets, and evaluate new power technologies. © 2015 the Authors. Published by Elsevier Ltd.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Reducing "white elephant" ICT4D projects: A Community-Researcher Engagement 15

Reducing "white elephant" ICT4D projects: A Community-Resear...

引用

7th international conference on Communities and Technologies, C and T 2015

作者： Winschiers-theophilus, Heike Zaman, Tariq Yeo, Alvin Polytechnic of Namibia Storchstr.1 Windhoek Namibia Institute of Social Informatics and Technological Innovations Universiti Malaysia Sarawak 94300 Kota Samarahan Sarawak Malaysia

ISBN: (纸本)9781450334600

Participation is a key requirement to ensure that ICT4D and HCI4D projects succeed. Specifically, the relationship between the research and community is necebary for any ICT4D project;without this cooperation, the proverbial white elephant project will result. Existing literature provides much evidence on the need and importance of this participation. However, many researchers lack the skills and knowledge to be able to build, develop and maintain the relationship, as many interactions are based on abumptions. We investigate challenges and frustrations as exprebed by a community with whom we have established a long term collaboration. this provides further evidence on the need to guide and educate novice researchers working with the community. We have conducted a workshop to raise the awareneb among guest researchers. the workshop comprises a series of presentations, discubions and reflections. We have recorded guest researchers' responses within the workshop to evaluate further needs for researcher-community interaction preparations. A workshop is yet only one of the gatekeepers' obligations to protect the community. We equally promote continuous engagement with the community itself in the design of critical incidents based on established cultural protocols as well as preparing the community for the novice researchers to maximize research benefits to the community. We discub potential roles and responsibilities of all stakeholders, partner community, gatekeepers and guest researchers aiming to sustain a coherent research and development collaboration. Copyright © 2015 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

A High Level Framework to Develop and Run E-science Applications on Cloud Infrastructures

A High Level Framework to Develop and Run E-science Applicat...

引用

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

作者： Nabil Abdennadher Mohamed Ben Belgacem University of Geneva CUI Carouge Switzerland Western Switzerland University of Applied Sciences Geneva Switzerland

this paper presents a generic framework used todevelop and deploy high performance applications (HPC) oncloud infrastrcutures. We particularly target iterative e-scienceapplications where (i) convergence conditions and number of jobsare not known in advance, (ii) jobs are created on the fly and(iii) jobs could be persistent. We propose a framework which provides intuitive statementsenabling an easy writing of HPC e-science applications. Non-expert developers (scientific researchers) can use them toguarantee fast development and efficient deployment of their applications.

关键词： Connectors Convergence programming Skeleton Process control Computational modeling Complexity theory

来源：评论

学校读者我要写书评

暂无评论

An improved Single Node Genetic programming for symbolic regression

An improved Single Node Genetic Programming for symbolic reg...

引用

international Joint conference on Computational Intelligence (IJCCI)

作者： Jiří Kubalík Robert Babuška Czech Institute of Informatics Robotics and Cybernetics CTU in Prague Prague Czech Republic Delft Center for Systems and Control Delft University of Technology Delft The Netherlands

this paper presents a first step of our research on designing an effective and efficient GP-based method for solving the symbolic regression. We have proposed three extensions of the standard Single Node GP, namely (1) a selection strategy for choosing nodes to be mutated based on the depth of the nodes, (2) operators for placing a compact version of the best tree to the beginning and to the end of the population, and (3) a local search strategy with multiple mutations applied in each iteration. All the proposed modifications have been experimentally evaluated on three symbolic regression problems and compared with standard GP and SNGP. the achieved results are promising showing the potential of the proposed modifications to significantly improve the performance of the SNGP algorithm.

关键词： Sociology Statistics Standards Genetic programming Search problems Grammar

来源：评论

学校读者我要写书评

暂无评论

Task-D: a Task Based programming Framework for Distributed System

Task-D: a Task Based Programming Framework for Distributed S...

引用

IEEE international Symposium on Cyberspace Safety and Security

作者： Jiachen Xue Chong Chen Lin Ma Teng Su Chen Tian Wenqin Zheng Ziang Hu Huawei US R&D Center

ISBN: (纸本)9781479989386

We present Task-D, a task-based distributed programming framework. Traditionally, programming for distributed programs requires using either low-level MPI or high-level pattern based models such as Hadoop/Spark. Task based models are frequently and well used for multicore and heterogeneous environment rather than distributed. Our Task-D tries to bridge this gap by creating a higher-level abstraction than MPI, while providing more flexibility than Hadoop/Spark for task-based distributed programming. the Task-D framework alleviates programmers from considering the complexities involved in distributed programming. We provide a set of APIs that can be directly embedded into user code to enable the program to run in a distributed fashion across heterogeneous computing nodes. We also explore the design space and necessary features the runtime should support, including data communication among tasks, data sharing among programs, resource management, memory transfers, job scheduling, automatic workload balancing and fault tolerance, etc. A prototype system is realized as one implementation of Task-D. A distributed ALS algorithm is implemented using the Task-D APIs, and achieved significant performance gains compared to Spark based implementation. We conclude that task-based models can be well suitable to distributed programming. Our Task-D is not only able to improve the programmability for distributed environment, but also able to leverage the performance with effective runtime support.

关键词： Distributed software Distributed Systems Distribute Runtime message passing mannose phosphate isomerase remote procedure calls programmability heterogeneous environment data communication Multi-core processors Computer personnel based programming Frameworks

来源：评论

学校读者我要写书评

暂无评论

Analysis of Network User Virtual Identity Based on Hadoop

Analysis of Network User Virtual Identity Based on Hadoop

引用

international conference on Intelligent Human-Machine Systems and Cybernetics, IHMSC

作者： Gang He Wenlong Qiu Dechen Yu Xiaochun Wu Beijing Key Laboratory of Network System Architecture and Convergence Beijing University of Posts and Telecommunications Beijing China

ISBN: (纸本)9781479986477

With the development of the Internet and the explosive growth of business data, there are massive Network User Virtual Identities (NUVIs) on Internet when network user accessing different applications. Compared with previous methods, we will propose an algorithm to analyze which NUVIs belong to the same person. What's more, our approach is based on the cloud computing platform and the cluster system, including the Hadoop Distributed File System (HDFS) and the parallel processing software framework MapReduce.

关键词： Monitoring Cloud computing Computational modeling programming Parallel processing Merging

来源：评论

学校读者我要写书评

暂无评论

Two-Layered Predictive Control Strategy of Coagulant Dosing Systems

Two-Layered Predictive Control Strategy of Coagulant Dosing ...

引用

international conference on Intelligent Human-Machine Systems and Cybernetics, IHMSC

作者： Ning Rao An-Tai Han Hangzhou Polytechnique college Hangzhou China

ISBN: (纸本)9781479986477

According to the characteristics of large delay, large inertia and nonlinear of coagulant dosage, a two-layered predictive control strategy is proposed for the coagulant dosing systems. Model predictive controller (MPC) calculation is separated into steady-state and dynamic optimization, through the objective function to reflect economic performance. the proposed method only requires little information of the controlled plant, and its algorithm is simple, easy to implement. theoretical analysis and simulation results show that this method reduces operating costs and achieve maximum economic efficiency.

关键词： Steady-state Optimization Chlorine Standards Linear programming Predictive control Economics

来源：评论

学校读者我要写书评

暂无评论

Moment Semantics for Reversible Rule-Based Systems 7th

引用

7th international conference on Reversible Computation (RC)

作者： Danos, Vincent Heindel, Tobias Honorato-Zimmer, Ricardo Stucki, Sandro Ecole Normale Super Dept Informat F-75231 Paris France Univ Edinburgh Sch Informat Edinburgh Midlothian Scotland Ecole Polytech Fed Lausanne Programming Methods Lab CH-1015 Lausanne Switzerland

ISBN: (纸本)9783319208602;9783319208596

We develop a notion of stochastic rewriting over marked graphs - i.e. directed multigraphs with degree constraints. the approach is based on double-pushout (DPO) graph rewriting. Marked graphs are expressive enough to internalize the 'no-dangling-edge' condition inherent in DPO rewriting. Our main result is that the linear span of marked graph occurrence-counting functions - or motif functions - form an algebra which is closed under the infinitesimal generator of (the Markov chain associated with) any such rewriting system. this gives a general procedure to derive the moment semantics of any such rewriting system, as a countable (and recursively enumerable) system of differential equations indexed by motif functions. the differential system describes the time evolution of moments (of any order) of these motif functions under the rewriting system. We illustrate the semantics using the example of preferential attachment networks;a well-studied complex system, which meshes well with our notion of marked graph rewriting. We show how in this case our procedure obtains a finite description of all moments of degree counts for a fixed degree.

关键词： Stochastic processes Moment semantics Reversible Computing Graph rewriting Rule-based systems

来源：评论

学校读者我要写书评

暂无评论

An Attribute Weighted Fuzzy c-Means Algorithm for Incomplete Datasets Based on Statistical Imputation

An Attribute Weighted Fuzzy c-Means Algorithm for Incomplete...

引用

international conference on Intelligent Human-Machine Systems and Cybernetics, IHMSC

作者： Dan Li Chongquan Zhong School of Control Science and Engineering Dalian University of Technology Dalian China

ISBN: (纸本)9781479986477

the problem of missing data is frequently encountered in real world applications. In this paper, an attribute weighted fuzzy c-means algorithm for incomplete data sets is presented. the statistical representation proposed in our previous work is used here to impute the missing attribute values, and attribute weighting is involved to emphasize the contribution of important attributes. Experimental results indicate that the proposed approach has good clustering performance.

关键词： Clustering algorithms Partitioning algorithms Prototypes Iris Linear programming Euclidean distance Convergence

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 145 146 147 148 149 150 151 152 153 154 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：