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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,378 篇 会议
76 册 图书
11 篇 期刊文献

馆藏范围

1,465 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

982 篇 工学
- 768 篇 计算机科学与技术...
- 680 篇 软件工程
- 154 篇 控制科学与工程
- 128 篇 电气工程
- 128 篇 信息与通信工程
- 89 篇 机械工程
- 73 篇 动力工程及工程热...
- 63 篇 生物工程
- 57 篇 电子科学与技术（可...
- 56 篇 生物医学工程（可授...
- 45 篇 土木工程
- 39 篇 交通运输工程
- 33 篇 仪器科学与技术
- 33 篇 建筑学
- 32 篇 化学工程与技术
- 31 篇 光学工程
- 28 篇 材料科学与工程（可...
490 篇 理学
- 356 篇 数学
- 77 篇 物理学
- 75 篇 生物学
- 67 篇 统计学（可授理学、...
- 59 篇 系统科学
- 34 篇 化学
271 篇 管理学
- 208 篇 管理科学与工程(可...
- 129 篇 工商管理
- 72 篇 图书情报与档案管...
67 篇 教育学
- 67 篇 教育学
58 篇 经济学
- 58 篇 应用经济学
48 篇 医学
- 44 篇 临床医学
- 41 篇 基础医学(可授医学...
32 篇 法学
16 篇 农学
8 篇 文学
6 篇 艺术学
4 篇 军事学

主题

69 篇 software enginee...
62 篇 programming
46 篇 linear programmi...
43 篇 software enginee...
39 篇 optimization
38 篇 dynamic programm...
30 篇 artificial intel...
28 篇 students
25 篇 computer science
25 篇 programming lang...
22 篇 programming tech...
22 篇 logics and meani...
21 篇 python
20 篇 computer communi...
20 篇 genetic algorith...
20 篇 machine learning
19 篇 programming prof...
19 篇 software
18 篇 computer languag...
18 篇 computer systems...

机构

5 篇 school of transp...
5 篇 al-farahidi univ...
5 篇 school of comput...
4 篇 the university o...
4 篇 school of electr...
4 篇 changsha univers...
4 篇 banaras hindu un...
4 篇 abv-indian insti...
4 篇 department of in...
4 篇 huazhong univers...
4 篇 the university o...
4 篇 school of comput...
4 篇 nanjing universi...
4 篇 indian institute...
4 篇 department of co...
4 篇 school of mechan...
3 篇 wuhan university...
3 篇 wuhan university...
3 篇 school of comput...
3 篇 hohai university...

作者

4 篇 anshul verma
4 篇 stuckey peter j.
4 篇 rajkumar buyya
4 篇 li zuoyong
4 篇 holcombe mike
4 篇 kiran kumar patt...
4 篇 dipankar dasgupt...
4 篇 pradeepika verma
3 篇 senthil kumar a....
3 篇 wang lei
3 篇 wang dong
3 篇 gang wang
3 篇 filipe portela
3 篇 ismail musirin
3 篇 cao peng
3 篇 succi giancarlo
3 篇 a.v. senthil kum...
3 篇 watanobe yutaka
3 篇 singla ishdeep
3 篇 musirin ismail

语言

1,435 篇 英文
28 篇 其他
6 篇 中文

检索条件"任意字段=4th International Conference on Art, Science, and Engineering of Programming, Programming 2020"

共 1465 条记录，以下是201-210 订阅

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

详细简洁

排序：

Using topes to validate and reformat data in end-user programming tools

Using topes to validate and reformat data in end-user progra...

引用

30th international conference on Software engineering, ICSE 2008 - 4th international Workshop on End-user Software engineering, WEUSE IV

作者： Scaffidi, Chris Cypher, Allen Elbaum, Sebastian Koesnandar, Andhy Lin, James Myers, Brad Shaw, Marv School of Computer Science Carnegie Mellon University Pittsburgh PA United States Almaden Research Center IBM Almaden CA United States Computer Science and Engineering Department University of Nebraska-Lincoln

ISBN: (纸本)9781605580340

End-user programming tools offer no data types except "string" for many categories of data, such as person names and street ***, these tools cannot automatically validate or reformat these data. To address this problem, we have developed a userextensible model for string-like data. Each "tope" in this model is a user-defined abstraction that guides the interpretation of strings as a particular kind of data. Specifically, each tope implementation contains software functions for recognizing and reformatting instances of that tope's kind of data. this makes it possible at runtime to distinguish between invalid data, valid data, and questionable data that could be valid or invalid. Once identified, questionable and/or invalid data can be double-checked and possibly corrected, thereby increasing the overall reliability of the data. Valid data can be automatically reformatted to any of the formats appropriate for that kind of data. To show the general applicability of topes, we describe new features that topes have enabled us to provide in four tools. Copyright 2008 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Polytope model for extractive summarization

Polytope model for extractive summarization

引用

4th international conference on Knowledge Discovery and Information Retrieval, KDIR 2012

作者： Litvak, Marina Vanetik, Natalia Department of Software Engineering Sami Shamoon College of Engineering Beer Sheva Israel

ISBN: (纸本)9789898565297

the problem of text summarization for a collection of documents is defined as the problem of selecting a small subset of sentences so that the contents and meaning of the original document set are preserved in the best possible way. In this paper we present a linear model for the problem of text summarization, where we strive to obtain a summary that preserves the information coverage as much as possible in comparison to the original document set. We construct a system of linear inequalities that describes the given document set and its possible summaries and translate the problem of finding the best summary to the problem of finding the point on a convex polytope closest to the given hyperplane. this re-formulated problem can be solved efficiently with the help of quadratic programming. Copyright © 2012 SciTePress - science and Technology Publications.

关键词： Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

Simulation system development for train reception and departure of semi-automatic single track

Simulation system development for train reception and depart...

引用

4th international conference on Transportation engineering, ICTE 2013

作者： Li, Yinghong Yang, Rujun School of Transportation and Logistics Southwest Jiaotong University Chengdu 610031 China National United Engineering Laboratory of Integrated and Transportation Chengdu 610031 China

ISBN: (纸本)9780784413159

Based on the total and in-depth studies of the semi-automatic blocking equipment among single-track in combination with the station interlocking system and the object-oriented computer programming language, this paper aims to develop simulation system for train reception and departure in the Windows operating system, realizing train reception and departure. the system operates stably. Its interactive interface is friendly and intuitive, fulfilling the expected goals. © 2013 American Society of Civil Engineers.

关键词： Windows operating system

来源：评论

学校读者我要写书评

暂无评论

Platform independence issues in compiling Java bytecode to native code 4

Platform independence issues in compiling Java bytecode to n...

引用

4th international conference/Exhibition on High Performance Computing in the Asia-Pacific Region, HPC-Asia 2000

作者： Ye, Hua Tong, WeiQin Yao, WenSheng School of Computer Engineering and Science Shanghai University YanChang Road 149 Shanghai200072 China

ISBN: (纸本)0769505902

the slow execution speed and huge memory consumption caused by the current execution model of Java have been major hindrances to its development. In this paper, we propose the compiling execution model of Java and create a tool for converting Java bytecode programs to native programs without losing platform independence. the results show that the hindrances can be mitigated satisfactorily. Some interesting ideas are also discussed. © 2000 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

the purchasing policy based on robust optimization in the electric power supply chain under cost uncertainty 4

The purchasing policy based on robust optimization in the el...

引用

2014 4th international conference of Logistics engineering and Management: System Planning, Supply Chain Management, and Safety, ICLEM 2014

作者： Wang, Jian Liu, Huixia Yu, Kuijun Wang, Qunzhi Matsukawa, Hiroaki Department of Management Science and Engineering Shanghai University Shanghai200444 China Department of Logistics Engineering Southwest Jiaotong University Chengdu610031 China Department of Management Engineering Keio University Yokohama Japan

ISBN: (纸本)9780784413753

With the national policy reforming, how to decide the power purchasing policy under the uncertain fuel cost becomes the important question for the power grid enterprises in the Chinese electric power supply chain. Usually, the stochastic programming models are often used for the solution. A new robust optimization model was built and the numerical experiment results were compared with the results from the stochastic programming model. the results show that the robust optimization model is more flexible than the stochastic programming model in the worst situation. Comparing the result from the stochastic programming with the small uncertainty range, the robust optimization's objective function may have higher value. the solution based on the application of both the robust model and the stochastic model was suggested in response to the required robustness and uncertainty level. © 2014 American Society of Civil Engineers.

关键词： Stochastic programming

来源：评论

学校读者我要写书评

暂无评论

Multi-node big data VM platform and job submission Portlet 5

Multi-node big data VM platform and job submission Portlet

引用

5th international conference on Applied Computing and Information Technology, 2017 4th international conference on Computational science/Intelligence and Applied Informatics and 2017 1st international conference on Big Data, Cloud Computing, Data science and engineering, ACIT-CSII-BCD 2017

作者： Wu, Chien-Heng Chang, Wen-Yi Tsai, Whey-Fone Lin, Franco Lee, Ching-Fang Yang, Chao-Tung High Performance Computing and Applications National Center for High-Performance Computing National Applied Research Laboratories Hsinchu Science Park No. 7 R and D 6th Rd. Hsinchu30076 Taiwan Cloud Computing and System Integration National Center for High-Performance Computing National Applied Research Laboratories Hsinchu Science Park No. 7 R and D 6th Rd. Hsinchu30076 Taiwan Computer Science Department TungHai University Boulevard Xitun District Taichung40704 Taiwan

ISBN: (纸本)9781538633021

the present study utilizes VirtualBox virtual environment technology to develop the personal and compact size of multi-node big data VM platform with Spark and Hadoop cluster that can effectively replicate and provides an environment for developers to easily design and implement Spark and Hadoop Map/Reduce programming. By using the multi-node Hadoop VM system, developers can conduct Map/Reduce programing completely the same as that in the real multi-node Hadoop cluster. To demonstrate its capability and applicability, this study performs the benchmark by using the big data VM platform and a physical Multi-Node Hadoop Cluster. Based on the standard WordCount benchmarking, the computing time of the physical multi-node Hadoop cluster is 3.7 times faster than that of VM Hadoop cluster. the benchmark results show that the big data VM platform is an ideal platform for the portal and Map/Reduce programming, Spark programming and testing purposes, and the physical Hadoop cluster is the most appropriate for production runs. In addition, the big data VM platform contains a web portal development module designed to support applications that implement big data computing services for the engineering and science users. Such applications are inherently complex, potentially accessing data from a variety of sources and distributing applications to a variety of clients. this portal development module can act as multiple roles in many projects such as personal portals, small business portals, enterprise portals, educational portal, infrastructure portal, and other types of portals. Finally, the big data VM platform, in term of a big data development platform, is ready for users to download. the first author of this paper would like to give a demonstration for the proposed multi-node big data VM platform. © 2017 IEEE.

关键词： MapReduce

来源：评论

学校读者我要写书评

暂无评论

Energy-optimal braking velocity planning of connected electric vehicle 4

Energy-optimal braking velocity planning of connected electr...

引用

4th CAA international conference on Vehicular Control and Intelligence, CVCI 2020

作者： Dong, Haoxuan Zhuang, Weichao Wang, Yan Ding, Haonan Yin, Guodong School of Mechanical Engineering Southeast University Nanjing China

ISBN: (纸本)9781728184968

To improve the regeneration energy of electric vehicle, an energy-optimal braking strategy is developed. First, the vehicle braking intention is accessed by using vehicle-to-everything communication, i.e., braking distance and terminal velocity. then, an optimal control problem with consideration of braking intention is formulated for maximizing regeneration energy. the control problem is solved by distance-based dynamic programming algorithm to plan the energy-optimal braking velocity. Finally, the effectiveness of proposed strategy is evaluated by simulation. the results show the regeneration energy efficiency of proposed strategy achieves improvement is over 10% compared with the constant speed strategy. Furtherly, the energy-optimal braking suggestions is investigated based on several traffic scenarios, i.e., a larger braking force in a high-velocity range can reduce vehicle resistance and make full use of motor generation power;the braking force was adjusted in moderated-velocity range for reducing friction braking, and a larger braking force should be used for parking quickly. © 2020 IEEE.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Social Media Interactive Resource Planner for Students: Smirp 4

Social Media Interactive Resource Planner for Students: Smir...

引用

4th IEEE international conference on Advance Computing and Innovative Technologies in engineering, ICACITE 2024

作者： Bisht, Aradhya Singh Joshi, Anshul Sharma, Nikhil Delhi Technological University Department of Computer Science & Engineering Delhi India

ISBN: (纸本)9798350360165

In a social network graph, individuals are represented by nodes, while edges, or linkages between nodes, represent social relationships amongst them, like friendship or teamwork on a project. there are two types of these graphs: directed and undirected. For the majority of nodes in social networks exhibiting power-law degree distributions, the friends of those nodes typically have more friends than the node itself. Because nodes will prefer to associate with other nodes who possess a high degree, the Friendship Paradox is reached. Additionally, we'll be showcasing DTUBOOK, a component of our android-based UI and UX that allows users to login and register for our social network. this dynamic social network for students was developed in Android Studio utilizing Java and the specialized programming language Kotlin. Each user who logs into our Firebase-based server will behave like a node in a graph, holding important user data like name, age, etc. Users will have the choice to look up and friend other nodes (i.e. persons) (basically every friendship will lead to a new edge between nodes). © 2024 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Deliberate Practice in programming: How is it carried out by programmers? 20

Deliberate Practice in Programming: How is it carried out by...

引用

4th European conference on Software engineering Education, ECSEE 2020

作者： Hauser, Florian Stark, theresa Mottok, Jürgen Gruber, Hans Reuter, Rebecca Regensburg Germany University of Regensburg Regensburg Germany University of Turku Turku Finland

ISBN: (纸本)9781450377522

this work in progress study examines through which activities programmers perform deliberate practice to improve their own skills in coding and programming. For this reason, a qualitative questionnaire was developed and conducted with a sample of 22 participants. the results indicate that programmers perform formal and informal forms of training and learning. Typically, a classical programming training in the context of a university course or for work-related reasons is a first step in the acquisition of expertise. Building on these basic skills, non-formal and informal learning activities are carried out by the learners. Especially the social interaction and the collaborative work with other programmers is of great importance in this context. the activities mentioned by the test persons fulfil the characteristics of deliberate practice and will be examined more closely in a further study. © 2020 ACM.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Evaluation of product metrics applied to agile methodologies 4th

Evaluation of product metrics applied to agile methodologies

引用

4th international conference on Extreme programming and Agile Processes in Software engineering, XP 2003

作者： Canessa, Matteo D.I.S.T. – Università di Genova Via Opera Pia 13 Genova16145 Italy

ISBN: (纸本)3540402152

this paper describes the early stages of a research dealing with the evaluation of new Software engineering design and development methodologies from the product metrics point of view. the paper presents an overview of the research through identification of research questions, objectives, the approach and expected results. Keyword: code metrics, product metrics, Extreme programming. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共147页 << < 17 18 19 20 21 22 23 24 25 26 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：