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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Finding Resilient and Energy-Saving Control Strategies in Smart Homes 7

Finding Resilient and Energy-Saving Control Strategies in Sm...

引用

7th international conference on Ambient Systems, Networks and Technologies (ANT) / 6th international conference on Sustainable Energy Information Technology (SEIT)

作者： Marron, Stefano Gentile, Ugo Second Univ Napoli Dipartimento Matemat & Fis Naples Italy Univ Naples Federico II Dipartimento Ingn Elettr & Tecnol Informaz Naples Italy

Evolutionary computing has demonstrated its effectiveness in supporting the development of robust and intelligent systems: when used in combination with formal and quantitative models, it becomes a primary tool in critical systems. Among the modern critical infrastructures, smart energy grids are getting a growing interest from many communities (academic, industrial and political) fostering the development of a robust energy distribution infrastructure. Energy grids are also an example of critical cyber physical social systems since their equilibrium can be perturbed not only by cyber and physical attacks but also by economical and social crises as well as changes in the consumption profiles. the paper illustrates a practical framework supporting the run-time evolution of the control logic inside the Smart Meter: the centre of modern Smart Homes. By combining the modeling and analysis capabilities of Fluid Stochastic Petri Nets and the flexibility of Genetic programming, this approach can be used to adapt the control logic of the Smart Meters to the changes of the structure and functionalities of the Smart Home as well as of the operational environment. While the main objective of the evolution is to guarantee the energetic sustainability of the Smart Home, the fulfilment of the user's requirements about the energetic need of the home allows to preserve the identity of the Smart Meter during its evolution. (C) 2015 the Authors. Published by Elsevier B.V.

关键词： Genetic programming Computer-based Critical Infrastructures Smart Energy Grids Self-Adaptive Systems Fluid Stochastic Petri Nets

来源：评论

学校读者我要写书评

暂无评论

A General Formulation and Solution of Fuzzy Multi-objective Linear programming Problems

A General Formulation and Solution of Fuzzy Multi-objective ...

引用

7th IEEE international conference on Computational Intelligence and Computing Research (ICCIC)

作者： De, P. K. Chakraborty, A. K. Deb, Moumita Dept Math Silchar 788010 Assam India ISI Kolkata Cent SQC & OR Unit Kolkata 700108 India NIT Silchar Dept Math NIT Silchar 788010 Assam India

ISBN: (纸本)9781509006120

the purpose of this article is to explain how a fuzzy linear programming model can be transformed into a fuzzy multi-objective linear programming model and then solved. An algorithm is developed to present our approach and fuzzy optimal solution is obtained. To demonstrate the efficiency and feasibility of the proposed approach, one numerical example has been solved.

关键词： Multi-objective fuzzy linear programming Triangular fuzzy number Centroid method Signed distance

来源：评论

学校读者我要写书评

暂无评论

Configurable DSS for uncertainty management by fuzzy sets 7

Configurable DSS for uncertainty management by fuzzy sets

引用

7th international conference on Ambient Systems, Networks and Technologies (ANT) / 6th international conference on Sustainable Energy Information Technology (SEIT)

作者： Alemany, M. M. E. Boza, A. Ortiz, A. Fuertes-Miquel, Vicente S. Univ Politecn Valencia Ctr Invest & Ingn Prod CIGIP E-46022 Valencia Spain Univ Politecn Valencia Dept Ingn Hidraul & Medio Ambiente E-46022 Valencia Spain

In this paper, we propose a Configurable Model Based DSS capable of dealing with generic problems being modeled by Linear programming (LP) and by Fuzzy Sets (FS) in a deterministic and uncertain context, respectively. the DSS assumes the transformation of the original model with fuzzy coefficients into an equivalent crisp model where the fuzzy coefficients are represented as alpha-parametric values, which can vary in a predefined interval based on the alpha parameter. through the DSS, solutions obtained by solving the deterministic model and the equivalent crisp model for different alpha-values are compared based on the objectives and performance parameters defined by the Decision Maker (DM). Due to the uncertainty in data, expected performance of solutions can change under real situations. the DSS allows simulating future real situations by generating different projections of uncertain parameters. New performance of previously generated solutions can be tested under these hypothetical real situations by means a third model (Model for the Real Performance Assessment). Finally, the DM can choose the solution to be implemented taking into account the performance of solutions under planned and real uncertainty. (C) 2016 the Authors. Published by Elsevier B.V.

关键词： Decision Support System Linear programming Fuzzy Sets Uncertainty Configurable

来源：评论

学校读者我要写书评

暂无评论

High-performance data structures for de novo assembly of genomes: cache oblivious generic programming 16

High-performance data structures for <i>de novo</i> assembly...

引用

7th ACM international conference on Bioinformatics, Computational Biology, and Health Informatics (ACM-BCB)

作者： Milicchio, Franco Tradigo, Giuseppe Veltri, Pierangelo Prosperi, Mattia Roma Tre Univ Dept Engn Via Vasca Navale 79 I-00146 Rome Italy Univ Florida Dept Epidemiol 2004 Mowry Rd Gainesville FL 32610 USA Magna Graecia Univ Catanzaro Dept Surg & Med Sci Viale Europa Loc Germaneto I-88100 Catanzaro Italy

ISBN: (纸本)9781450342254

Reconstructing genomes of organisms from high-throughput sequencing experiments without a reference genome available (de novo assembly) is a challenging problem which has been approached in several ways in the past decade. Although numerous methods are available and many offer fair performance in reconstruction, there is a lack of generalized template libraries and interchangeable data structures/methods for serial, multithreaded and distributed processing. In this work we propose a novel set of cache oblivious generic data structures for serial, multithreaded and distributed processing of high-throughput sequencing data for the creation of de Bruijn or k-mer graphs towards their usage in de novo assembly and related HTS data analytics problems.

关键词： High-throughput sequencing bioinformatics genome assembly de novo assembly de Bruijn graph generic programming parallel programming cache oblivious

来源：评论

学校读者我要写书评

暂无评论

the Analysis of Chinese Buzzwords Translation under functional Equivalence theory

The Analysis of Chinese Buzzwords Translation under Function...

引用

2017 7th international conference on Education and Sports Education(ESE 2017)

作者： Suwen Chen Jilin Agricultural Science and Technology University

Buzzwords reflect the widespread concern and things in a country or a region during a certain *** is a mirror of social development,and a reflection of people's new ideas and *** the deepening of exchanges of the world,Chinese buzzwords have become an essential channel for the world to know *** buzzwords translation also plays a crucial role for the foreigners to get China's political and economic developments,changes in people's daily lives and *** paper aims to study and discuss the strategy of Chinese buzzwords translation from the perspective of functional *** points out that the semantic is the most important,followed by the *** form is likely to hide the culture of the source language and hinder the culture *** to Nida's theory,translators should accurately reproduced the culture connotations of the source language in the target language based on the functional equivalence,to make the Chinese buzzwords translation reflect the meaning and the connotation of the original better,spread China's social,economic and culture development ***,the people of all over the world could know China's development dynamic by means of Chinese buzzwords.

关键词： functional equivalence Chinese buzzwords Translation Culture

来源：评论

学校读者我要写书评

暂无评论

Automatic parallelization tool: Classification of program code for parallel computing 7

Automatic parallelization tool: Classification of program co...

引用

7th international Multi-conference on Complexity, Informatics and Cybernetics, IMCIC 2016 and 7th international conference on Society and Information Technologies, ICSIT 2016

作者： Basthikodi, Mustafa Ahmed, Waseem Dept. of CSE BIT Mangalore India Dept. of CSE HKBKCE Bangalore India

ISBN: (纸本)9781941763346

Performance growth of single-core processors has come to a halt in the past decade, but was re-enabled by the introduction of parallelism in processors. Multicore frameworks along with Graphical Processing Units empowered to enhance parallelism broadly. Couples of compilers are updated to developing challenges forsynchronization and threading issues. Appropriate program and algorithm classifications will have advantage to a great extent to the group of software engineers to get opportunities for effective parallelization. In present work we investigated current species for classification of algorithms, in that related work on classification is discussed along with the comparison of issues that challenges the classification. the set of algorithms are chosen which matches the structure with different issues and perform given task. We have tested these algorithms utilizing existing automatic species extraction toolsalong with Bones compiler. We have added functionalities to existing tool, providing a more detailed characterization. the contributions of our work include support for pointer arithmetic, conditional and incremental statements, user defined types, constants and mathematical functions. With this, we can retain significant data which is not captured by original speciesof algorithms. We executed new theories into the device, empowering automatic characterization of program code.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

A Constraint programming Based Energy Aware Resource Management Middleware for Clouds Processing MapReduce Jobs with Deadlines 7

A Constraint Programming Based Energy Aware Resource Managem...

引用

7th ACM/SPEC international conference on Performance Engineering (ICPE)

作者： Gregory, Adam Majumdar, Shikharesh Carleton Univ Dept Syst & Comp Engn Ottawa ON Canada

ISBN: (纸本)9781450341479

this paper concerns guarantees on system performance through Service Level Agreement (SLA) compliance and focuses on devising energy aware resource management techniques based on Dynamic Voltage and Frequency Scaling (DVFS) used by resource management middleware in clouds that handle MapReduce jobs. this research formulates the resource management problem as an optimization problem using Constraint programming (CP). Experimental results presented in the paper demonstrate the effectiveness of the technique.

关键词： Resource management on clouds MapReduce with deadlines Constraint programming Energy management Big data

来源：评论

学校读者我要写书评

暂无评论

Research Trends of Autonomous Control Network for Applying the Bio-Inspired Algorithm

Research Trends of Autonomous Control Network for Applying t...

引用

作者： Jungha Jin Ye-Won Oh Keecheon Kim Dept.of Computer Science & Engineering Konkuk University Dept.of IT Convergence Information Security Konkuk University

A variety of life forms that exist in the natural world, have been created evolving an efficient action rules for their own survival and the species of prosperity. And the attention from a variety of survival principle of these life forms, called Bio-Inspired Algorithm to be applied to create the algorithm so as to be able to be applied in an environment other than the natural world. Natural environment itself has been included in various uncertain change, by that effects of problems how to efficiently utilize the limited resources environment, these Bio-Inspired Algorithm, can provide a rapid adaptability to the conversion of the application environment, resources stably can provide scalability adaptability in constrained environment, can provide numerous advantages in terms of interoperability. When such a Bio-Inspired Algorithms try to apply in terms of the network, in the former case, indicates that it is possible to easily provide an autonomous network configuration, in the latter case, resources such as IoT environment it is possible to provide the interoperability of a constraint type of environment. thus, it is studied to connect to the network this Bio-Inspired Algorithm, recent field of networking research issues and act in complementary, can provide a synergistic effect. Bio-Inspired Algorithm techniques that can be used by applying congestion phenomena and Synchronization of nature in a network environment, has a variety of existing, autonomous control at SDN(Software Defined Networking) through a research to take advantage of this or incorporated into the configuration of the network, it is possible to develop in a direction to provide a more efficient interoperability of the same resource constrained environments with IoT environment. For the implementation of these Bio-Inspired autonomous control network environment, it summarizes which established OpenFlow environment and newly emerged technology P4:programming protocol-independent packet processor,

关键词： Bio-Inspired Algorithm Software Defined Networking OpenFlow P4: programming Protocol-Independent Packet Processors

来源：评论

学校读者我要写书评

暂无评论

Query-oriented Unsupervised Multi-document Summarization on Big Data 16

Query-oriented Unsupervised Multi-document Summarization on ...

引用

7th international conference on Computing, Communication and Networking Technologies (ICCCNT)

作者： Sunaina Kamath, Sowmya S. Natl Inst Technol Karnataka Dept Informat Technol Surathkal India

ISBN: (纸本)9781450341790

Real time document summarization is a critical need nowadays, owing to the large volume of information available for our reading, and our inability to deal with this entirely due to limitations of time and resources. Oftentimes, information is available in multiple sources, offering multiple contexts and viewpoints on a single topic of interest. Automated multi-document summarization (MDS) techniques aim to address this problem. However, current techniques for automated MDS suffer from low precision and accuracy with reference to a given subject matter, when compared to those summaries prepared by humans and takes large time to create the summary when the input given is too huge. In this paper, we propose a hybrid MDS technique combining feature based algorithms and dynamic programming for generating a summary from multiple documents based on user provided query. Further, in real-world scenarios, Web search serves up a large number of URLs to users, and the work of making sense of these with reference to a particular query is left to the user. In this context, an efficient parallelized MDS technique based on Hadoop is also presented, for serving a concise summary of multiple Webpage contents for a given user query in reduced time duration.

关键词： multi-document summarization natural language processing dynamic programming map-reduce

来源：评论

学校读者我要写书评

暂无评论

INSTICC international Joint conference on Computational Intelligence, IJCCI 2013 and 7th international Joint conference on Computational Intelligence, IJCCI 2015

INSTICC International Joint Conference on Computational Inte...

引用

7th international Joint conference on Computational Intelligence, IJCCI 2015

ISBN: (纸本)9783662535240

the proceedings contain 9 papers. the special focus in this conference is on Transactions on Computational Collective Intelligence. the topics include: Dynamic topologies for particle swarms;a study in the context of the evolutionary optimization in games and other uncertain environments;hybrid single node genetic programming for symbolic regression;a tool for genetic L-system programming in context of generative art;manifold learning approach toward constructing state representation for robot motion generation;divide and conquer ensemble method for time series forecasting and application areas of ephemeral computing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 121 122 123 124 125 126 127 128 129 130 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：