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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Development of Concurrent Object-Oriented Logic programming Platform for the Intelligent Monitoring of Anomalous Human Activities 7th

Development of Concurrent Object-Oriented Logic Programming ...

引用

5th international conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS) is part of 7th international Joint conference on Biomedical Engineering Systems and Technologies (BIOSTEC)

作者： Morozov, Alexei A. Vaish, Abhishek Polupanov, Alexander F. Antciperov, Vyacheslav E. Lychkov, Igor I. Alfimtsev, Aleksandr N. Deviatkov, Vladimir V. RAS Kotelnikov Inst Radio Engn & Elect Moscow 117901 Russia Indian Inst Informat Technol Allahabad Uttar Pradesh India Bauman Moscow State Tech Univ Moscow Russia Moscow State Univ Psychol & Educ Moscow Russia

ISBN: (纸本)9783319261294;9783319261287

the logic programming approach to the intelligent monitoring of anomalous human activity is considered. the main idea of this approach is to use first order logic for describing abstract concepts of anomalous human activity, i.e. brawl, sudden attack, armed attack, leaving object, loitering, pickpocketing, personal theft, immobile person, etc. We have created a research led software platform based on the Actor Prolog concurrent object-oriented logic language and a state-of-the-art Prolog-to-Java translator for examining the intelligent visual surveillance. A method of logical rules creation is considered in relation to the analysis of anomalous human behavior. the problem of creation of special built-in classes of Actor Prolog for the low-level video processing is discussed.

关键词： Anomalous human activity Intelligent visual surveillance Object-oriented concurrent logic programming Actor Prolog

来源：评论

学校读者我要写书评

暂无评论

Simulation-driven optimization of real-time control tasks 17

Simulation-driven optimization of real-time control tasks

引用

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

作者： Morelli, Matteo Seddik, Yasmina Di Natale, Marco Mraidha, Chokri Tucci-Piergiovanni, Sara CEA LIST Lab Model Driven Engn Embedded Syst Grenoble France Scuola Super Sant Anna Pisa Italy

ISBN: (纸本)9781479989379

In this paper we define a simulation-driven process to improve the design of real-time control systems. the process aims at exploring the interplay betwen control performance and real-time behavior of control tasks. the traditional design flows based on the definition of implicit tasks deadlines on control functions are extended to include the exploration of relaxed deadlines and order of execution constraints. Relaxed deadlines, coupled with an optimization approach to find feasible task sets, allow the exploration and evaluation of different task implementations. the definition of relaxed deadlines and the evaluation of task implementations is performed using the T-Res (Time and Resource) scheduling simulation framework [21] under Simulink. the problem is defined as a quadratic optimization problem using a tight upper bound formulation of the task response times. the application of the method to a quadcopter case study shows how the consideration of the control performance in the definition of the timing parameters of interest can lead to an improved design.

关键词： aircraft control control system synthesis helicopters quadratic programming scheduling Simulink T-Res scheduling simulation framework control functions control performance design flows execution constraint order implicit task deadlines quadcopter quadratic optimization problem real-time control system design improvement real-time control task behavior relaxed deadlines simulation-driven optimization task implementations task response times tight upper bound formulation time-and-resource scheduling simulation framework timing parameters Computational modeling Mathematical model Optimization Process control Real-time systems Software packages Time factors

来源：评论

学校读者我要写书评

暂无评论

Two-stage optimization model used for community energy planning 7th

Two-stage optimization model used for community energy plann...

引用

7th international conference on Applied Energy (ICAE)

作者： Huang, Zishuo Yu, Hang Peng, Zhenwei Liu, Zhiyuan Tongji Univ Sch Mech Engn Shanghai 201804 Peoples R China Tongji Univ Coll Architecture & Urban Planning Shanghai 201804 Peoples R China

Make community energy system plan at urban detailed plan stage can help to reduce fossil energy consumption and improve community energy system efficiency. A two-stage optimization model which can be used to optimize secondary energy production and distribution at community scale is introduced. Linear programming model was utilized to get the first stage optimization result, which result is calculated from design parameters. Goal programming was used to discuss the optimization results when constrain variables changed within a certain range. From this two-stage optimization model, the optimized community energy system structure and energy consumption targets can be acquired, which results have greatly contributes to community energy planning. this method has been validated by a community heating system planning project in North China. (C) 2015 the Authors. Published by Elsevier Ltd.

关键词： community energy planning goal programming two-stage optimization model

来源：评论

学校读者我要写书评

暂无评论

Optimal work force allocation for energy, economic and environmental sustainability in the United Arab Emirates: A goal programming approach 7th

Optimal work force allocation for energy, economic and envir...

引用

7th international conference on Applied Energy (ICAE)

作者： Jayaraman, Raja La Torre, Davide Malik, Tufail Pearson, Yanthe E. Khalifa Univ Dept Ind & Syst Engn Abu Dhabi U Arab Emirates Khalifa Univ Dept Appl Math & Sci Abu Dhabi U Arab Emirates Univ Milan Dept Econ Management & Quantitat Methods I-20122 Milan Italy

Sustainable development is an important and strategic priority for global nations which requires simultaneously satisfying multiple conflicting objectives involving social, economic, energy, and environmental constraints. Multi-criteria decision analysis using a goal programming approach, is a popular and widely used technique to study real world problems involving conflicting objectives due to modelling simplicity and elegance. In this paper we propose a goal programming model that integrates efficient allocation of labour resources to achieve sustainability objectives relating to economic, energy and environmental goals of the United Arab Emirates by the year 2030. the proposed solution provides mathematical and economic justification with critical insights to prioritize areas for strategic planning and resource allocation to develop and implement amenable strategies for sustainability. (C) 2015 the Authors. Published by Elsevier Ltd.

关键词： Sustainability Goal programming Model Energy Consumption Environment

来源：评论

学校读者我要写书评

暂无评论

Anonymous quorans are still quorans, just anonymous 15

Anonymous quorans are still quorans, just anonymous

引用

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

作者： Paskuda, Malte Lewkowicz, Myriam ICD HETIC Tech-CICO Troyes University of Technology UMR 6281 CNRS 12 Rue Marie Curie-CS 42060 Troyes Cedex10004 France

ISBN: (纸本)9781450334600

this article presents a study that investigates how anonymity influences user participation in an online question-And-Answer platform (Quora1). the study is one step in identifying hypotheses that can be used to addreb a research and design ibue concerning the role of anonymity in online participation, particularly among older informal caregivers. We present here a model that describes the factors that influence participation, which we based on the literature. these factors were used when analyzing the answers to questions in the health category on Quora. the results of this study complement an earlier study that we conducted on YouTube comments. On Quora, there was only one significant difference between anonymous and non-Anonymous answers: with anonymous answers, social appreciation correlated with the answer's length. Copyright © 2015 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

7th international Joint conference on Computational Intelligence, IJCCI 2015

7th International Joint Conference on Computational Intellig...

引用

7th international Joint conference on Computational Intelligence, IJCCI 2015

the proceedings contain 84 papers. the special focus in this conference is on Computational Intelligence. the topics include: Application of Adaptive Differential Evolution for Model Identification iFurnace Optimized Control System;multi-Strategy Genetic Algorithm for Multimodal Optimization;GPGPU Vs Multiprocessor SPSO Implementations to Solve Electromagnetic Optimization Problems;multi-Robot Cooperative Tasks using Combined Nature-Inspired Techniques;GEML: Evolutionary Unsupervised and Semi-Supervised Learning of Multi-class Classification with Grammatical Evolution;for Sale or Wanted: Directed Crossover in Adjudicated Space;design of an Autonomous Intelligent Demand-Side Management System by using Electric Vehicles as Mobile Energy Storage Units by Means of Evolutionary Algorithms;A GISMOO Algorithm for a Multi-Objective Permutation Flowshop with Sequence-Dependent Setup Times;Particle Convergence Time in the PSO Model with Inertia Weight;supply of Order-1 Building Blocks for Functions Linearly Combined of Sinusoidal Bases with Integral Frequencies;development of an Evolutionary Algorithm for Design of Electron Guns for Material Processing;using Genetic Algorithm with Combinational Crossover to Solve Travelling Salesman Problem;genetic Algorithm as Machine Learning for Profiles Recognition;dynamic Feature Selection with Wrapper Model and Ensemble Approach based on Measures of Local Relevances and Group Diversity using Genetic Algorithm;a Reward-driven Model of Darwinian Fitness;weighting and Sampling Data for Individual Classifiers and Bagginwith Genetic Algorithms;combining Development and Evolution Case Study: One Dimensional Bin-packing;cartesian Genetic programming in a Changing Environment;examining the Impact of Neutral theory on Genetic Algorithm Population Evolution;elliptical and Archimedean Copulas in Estimation of Distribution Algorithm with Model Migration;metaheuristic Coevolution Workflow Scheduling in Cloud Environment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international Joint conference on Computational Intelligence, IJCCI 2015

7th International Joint Conference on Computational Intellig...

引用

7th international Joint conference on Computational Intelligence, IJCCI 2015

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international Joint conference on Computational Intelligence, IJCCI 2015

7th International Joint Conference on Computational Intellig...

引用

7th international Joint conference on Computational Intelligence, IJCCI 2015

关键词：

来源：评论

学校读者我要写书评

暂无评论

GEMiner: Mining social and programming behaviors to identify experts in Github 15

GEMiner: Mining social and programming behaviors to identify...

引用

7th Asia-Pacific Symposium on Internetware, Internetware 2015

作者： Mo, Wenkai Shen, Beijun He, Yuming Zhong, Hao School of Electronic Information and Electrical Engineering Shanghai Jiao Tong University Shanghai200240 China

ISBN: (纸本)9781450336413

Hosting over 10 million repositories, Github becomes the largest open source community in the world. Besides sharing code, Github is also a social network, in which developers can follow others or keep track of their interested projects. Considering the multi-roles of Github, integrating heterogenous data of each developer to identify experts is a challenging task. In this paper, we propose GEMiner, a novel approach to identify experts for some specific programming languages in Github. Different from previous approaches, GEMiner analyzes the social behaviors and programming behaviors of a developer to determine the expertise of the developer. When modeling social behaviors of developers, to integrate heterogenous social networks in Github, GEMiner implements a Multi-Sources PageRank algorithm. Also, GEMiner analyzes the behaviors of developers when they are programming (e.g., their commit activities and their preferred programming languages) to model programming behaviors of them. Based on our expertise models and our extracted programming languages data, GEMiner can then identify experts for some specific programming languages in Github. We conducted experiments on a real data set, and our results show that GEMiner identifies experts with 60% accuracy higher than the state-of-the-art algorithms. © 2015 ACM.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

A proposal for a method of graph ontology by automatically extracting relationships between captions and X- and Y-axis titles 7

A proposal for a method of graph ontology by automatically e...

引用

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

作者： Kanjanawattana, Sarunya Kimura, Masaomi Functional Control Systems Shibaura Institute of Technology 3-5-7 Koto-ku Toyosu Tokyo135-8548 Japan Information Science and Engineering Shibaura Institute of Technology 3-5-7 Koto-ku Toyosu Tokyo135-8548 Japan

ISBN: (纸本)9789897581588

A two dimensional graph is a powerful method for representing a set of objects that usually appears in many sources of literature. Numerous efforts have been made to discover image semantics based on contents of literature. However, conventional methods have not been fully able to satisfy users because a wide variety of techniques are being developed, and each is very useful for enhancing system capabilities in their own way. In this paper, we have developed a method to automatically extract relationships from graphs on the basic of their captions and image content, particularly from graph titles. Furthermore, we improved our idea by applying several technologies such as ontology and a dependency parser. the relationships discovered in a graph are presented in the form of a triple (subject, predicate, object). Our objectives are to find implicit and explicit information in the graph and reduce the semantic gap between an image and literature context. Accuracy was manually estimated to identify the most reliable triple. Based on our results, we concluded that the accuracy via our method was acceptable. therefore, our method is dependable and worthy of future development. Copyright © 2015 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 140 141 142 143 144 145 146 147 148 149 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：