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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

19th international Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017

19th International Symposium on Stabilization, Safety, and S...

引用

3rd Joint China-Dutch Workshop on Game theory and Applications and 7th China Meeting on Game theory and Applications, GTA 2016

ISBN: (纸本)9789811067525

the proceedings contain 26 papers. the special focus in this conference is on Stabilization, Safety, and Security of Distributed Systems. the topics include: Marginal games and characterizations of the shapley value in TU games;computing the shapley value of threshold cardinality matching games;matrix analysis for the shapley value and its inverse problem;the general nucleolus of n-person cooperative games;a cooperative game approach to author ranking in coauthorship networks;a reduced harsanyi power solution for cooperative games with a weight vector;an allocation method of provincial college enrollment plan based on bankruptcy model;edgeworth equilibria of economies and cores in multi-choice NTU games;a game theory approach for deploying medical resources in emergency department;two-phase nonlinear programming models and method for interval-valued multiobjective cooperative games;models and algorithms for least square interval-valued nucleoli of cooperative games with interval-valued payoffs;interval-valued least square prenucleolus of interval-valued cooperative games with fuzzy coalitions;quadratic programming models and method for interval-valued cooperative games with fuzzy coalitions;cooperative games with the intuitionistic fuzzy coalitions and intuitionistic fuzzy characteristic functions;a profit allocation model of employee coalitions based on triangular fuzzy numbers in tacit knowledge sharing;non-cooperative monomino games;bargaining model of mutual deterrence among three players with incomplete information;stakeholders’ behavior analysis and enterprise management strategy selection in Chinese ancient village tourism development;two bargain game models of the second-hand housing commence;some relaxed solutions of minimax inequality for discontinuous game;dynamic games of firm social media disclosure.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Feature Selection Algorithm Based on K-means Clustering

Feature Selection Algorithm Based on K-means Clustering

引用

IEEE international conference on Cyber Technology in Automation, Control, and Intelligent Systems

作者： Xue Tang Min Dong Sheng Bi Maofeng Pei Dan Cao Cheche Xie Sunhuang Chi School of Computer Science&Engineering South China University of Technology GuangZhou

In order to improve the performance of the feature selection algorithm, a feature selection algorithm based on K-means clustering is designed. the algorithm makes use of the idea of K-means clustering based on cosine distance to cluster the features, so that the obtained feature subset has strong correlation and no redundancy. the experimental results show that the feature selection algorithm based on K-means clustering has high efficiency for classification tasks and has short running time, so the algorithm has strong practicability for feature selection.

关键词： Classification algorithms Heuristic algorithms Feature extraction Clustering algorithms Dynamic programming Machine learning algorithms Decision trees

来源：评论

学校读者我要写书评

暂无评论

Performance Analysis and Optimization of A Novel 5-DOF Hybrid Robot

Performance Analysis and Optimization of A Novel 5-DOF Hybri...

引用

IEEE international conference on Cyber Technology in Automation, Control, and Intelligent Systems

作者： You Wu Zhen Yang Tiefeng Zhang Weiyi Shi Zhuang Fu Yu Zhuang Yuhao Zhu State Key Lab of Mechanical System and Vibration Shanghai China Dachang Hospital Baoshan District Shanghai China

the performance analysis and optimization of a hybrid robot, to maximize its speed, the natural frequency and the static stiffness is the subject of this paper. Based on delta robot, a hybrid robot with 5 degrees of freedom(DOFs) is proposed. Its performance parameters are subjected to the dimension of the hybrid robot. the speed is calculated by the kinematics. the static stiffness analysis and model analysis are done to match the performance parameters with the structure. As to the optimization of the robot, the optimization goals are speed, natural frequency and static stiffness. the design parameters are robot dimensions. It is a multi-objective problem. the multi-objective optimization is transferred into single-objective optimization by assigning a weight to each objective function. Finally, two solutions of the design parameters are represented in this paper.

关键词： Optimization Fitting End effectors Strain Linear programming

来源：评论

学校读者我要写书评

暂无评论

End to end testing of transformer protection IEDs using smart testing philosophy: Case study and recommended solutions implemented at 400kV substation, Madhya Pradesh, India

End to end testing of transformer protection IEDs using smar...

引用

international conference on Power Systems (ICPS)

作者： K N Dinesh Babu P K Gargava Jorge Cardenas Power Protection Megger Chennai India Power Protection Megger Chennai India

Transformers are critical assets of power system network and their adequate protection is a matter of vital importance. Modern protection relays are usually defined as intelligent electronic device (IED) s, and they provide huge flexibility and enhanced protection features to assure correct operation of the equipment. Transformer protection IEDs are equipped with key features such as differential and restricted earth fault (REF) protection along with several other functionalities as per the guidelines of IEEE C37.91. these functions are available with enhanced facilities such that it can incorporate the difference in phase angle based on vector rotation, ratio correction of current transformers used, interposing CT corrections etc... the increase in flexibility of the IED has also increased the complexity of programming it where a trivial error in the configuration will result in unwarranted operation causing loss of power and reduction of equipment life. Perfect implementation of protection needs proper testing of all programming and configurations, where the complexities of transformer vector shift, magnitude compensation, 2nd harmonic interlock, differential and restrain algorithm of various manufacturer with unique characteristic complicates the testing procedure. this paper discusses about testing vector groups and the facilities in IEDs to adapt to it, along with different field cases where the IEDs have misbehaved due to improper testing, and to address the same various methodologies and features available in modern testing kits, through which the testing of IEDs is standardized ensuring proper commissioning of the system.

关键词： Testing Integrated circuits Current transformers Complexity theory programming Harmonic analysis

来源：评论

学校读者我要写书评

暂无评论

Ubiquitous Citizen programming

Ubiquitous Citizen Programming

引用

7th international conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) / 6th international conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICth)

作者： Mason, Dave Ryerson Univ Toronto ON M5B 2K3 Canada

Modern society is increasingly mediated by computers. the quantity and diversity of data generated daily is growing at an astounding rate. While the number of people with programming ability is also growing, the percentage of the population with such capability remains in the single digits. this means that we are witnessing a growing gap between need and capacity. Some of the need can be met by packages and apps that provide canned or predefined analysis, but these restrict analyses to those anticipated by the creators of those packages and apps. It is essential that in a data society nearly all citizens have a capacity to program. therefore, it is critical that we find "programatic" analysis capabilty that is available and accessibly by most citizens. (C) 2016 Published by Elsevier B.V.

关键词： Citizen programming Ubiquitous Computing Data Society

来源：评论

学校读者我要写书评

暂无评论

Automatic Parallel programming Using the Descartes Specification Language 7

Automatic Parallel Programming Using the Descartes Specifica...

引用

7th international conference on Information and Communication Systems (ICICS)

作者： Sakhnini, Nina Inukollu, Venkata N. Urban, Joseph E. Jordan Uni Sci & Tech Comp Engn Irbid Jordan Univ Houston Sch Sci & Comp Clear Lake TX USA Arizona State Univ CS Tempe AZ USA

ISBN: (纸本)9781467386142

Automatic programming can be defined as developing software in a high abstraction level. the definition of automatic programming is not precise because what is meant by automatic programming is changing over time. the goal of automatic programming has the programmer set the specifications of a program and the computer generate the source code of that program. there exists a group of specification languages that vary in their properties;the Descartes specification language is known to be comprehensible and easily constructible. Descartes represents the specifications by defining a system's inputs and outputs, as well as the relationship between these as functions. Descartes has been extended to support concurrent systems. these features made Descartes to be a good basis to build this research effort on. this research effort studied automatic programming approaches and created a shortcut between specifications and implementation with all its benefits. this research created a way to transform Descartes specifications into C source code automatically. Automatic programming can apply to all fields of knowledge that can be automated;therefore, the scope of this research project was restricted to a few case studies that involve parallel programming.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

jLegends Online game to train programming skills 7

jLegends Online game to train programming skills

引用

7th international conference on Information, Intelligence, Systems & Applications (IISA)

作者： Tsalikidis, Konstantinos Pavlidis, George Kavala Inst Technol Dept Elect Engn Kavala Greece Athena Res Ctr Multimedia Res Grp Xanthi Greece

ISBN: (纸本)9781509034291

Gamification and in particular game-based learning is significantly gaining ground during the latest decades. It expresses a different approach to education that is mixing education with gaming, aiming to enhance the learning experience with game mechanics and rules and to provide stronger motivations for lifelong learning. Many works have illustrated the benefits of learning while playing. this work presents such a game-based approach that has been adopted and used in the development of an online multiplayer platform game, with a purpose to teach or train programming with JavaScript. In effect it is like what is usually called a serious game, or a game with a purpose. the game, jLegends, is online and available for everyone to train and test knowledge on programming and logic, within a role-playing gaming approach. jLegends is built with source-code scalability in mind, in order to be expandable or even become open-sourced in the future

关键词： game-based learning gamification educational games serious games computer science programming education training lifelong learning

来源：评论

学校读者我要写书评

暂无评论

Integer linear programming approach to median and center strings for a probability distribution on a set of strings 7

Integer linear programming approach to median and center str...

引用

7th international conference on Bioinformatics Models, Methods and Algorithms, BIOINFORMATICS 2016 - Part of 9th international Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016

作者： Hayashida, Morihiro Koyano, Hitoshi Bioinformatics Center Institute for Chemical Research Kyoto University Gokasho Uji Kyoto611-0011 Japan Graduate School of Medicine Kyoto University 54 Kawahara-cho Shogoin Sakyo-ku Kyoto606-8397 Japan

ISBN: (纸本)9789897581700

We address problems of finding median and center strings for a probability distribution on a set of strings under Levenshtein distance, which are known to be NP-hard in a special case. there are many applications in various research fields, for instance, to find functional motifs in protein amino acid sequences, and to recognize shapes and characters in image processing. In this paper, we propose novel integer linear programming-based methods for finding median and center strings for a probability distribution on a set of strings under Levenshtein distance. Furthermore, we restrict several variables to a region near the diagonal in the formulation, and propose novel integer linear programming-based methods also for finding approximate median and center strings for a probability distribution on a set of strings. For evaluation of our proposed methods, we perform several computational experiments, and show that the restricted formulation reduced the execution time. Copyright © 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

关键词： Probability distributions

来源：评论

学校读者我要写书评

暂无评论

the Denotational Semantics of a Pre-Woven Language 7

The Denotational Semantics of a Pre-Woven Language

引用

7th international conference on Information and Communication Systems (ICICS)

作者： Nusayr, Amjad Al-Sharif, Ziad Univ Houston Victoria Sch Arts & Sci 3007 Ben Wislson Victoria TX 77901 USA Jordan Univ Sci & Technol Dept Software Engn Irbid Jordan

ISBN: (纸本)9781467386142

Denotational semantics is an approach for giving a mathematical meaning to programming languages and systems. It gives the language designers a tool for high level abstract definitions. In aspect oriented programming, advice is weaved in designated locations of an underlying program specified by a pointcut expression. It is the job of the language implementer to specify how weaved code gets to be inserted into the proper location. Current denotational semantics of languages do not have the necessary constructs for accepting this weaved code. In this paper, we preset a denotational semantics formal description that embodies the representation of constructs to be woven by some aspect. It illustrates the a formal description of the mechanism of where and how woven advice is inserted. the semantics presented are intended to be a general baseline for the use of any advice in any random joinpoint.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Software Readability Practices and the Importance of their Teaching 7

Software Readability Practices and the Importance of their T...

引用

7th international conference on Information and Communication Systems (ICICS)

作者： Sampaio, Isabel Braga Barbosa, Luis Polytech Inst Porto Inst Engn Porto P-4200072 Oporto Portugal Univ Tras Os Montes & Alto Douro Sch Sci & Technol Apartado 1013 P-5001801 Vila Real Portugal

ISBN: (纸本)9781467386142

It is known that code readability has an impact on software quality. this paper introduces a preliminary list of 33 good practices for code readability that could be taught in object oriented programming courses of informatics programs. In this set are included practices with both positive and negative impact, the latter mainly from bad smells. A survey was made with OOP teachers in order to assess the significance of teaching a set of good practices. the results showed that teachers consider it important to teach the defined set. Such result was statistically significant. Still, the same level of significance was not awarded to all practices. Some additional results are presented.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 119 120 121 122 123 124 125 126 127 128 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：