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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,062 篇 会议
65 册 图书
9 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

702 篇 工学
- 564 篇 计算机科学与技术...
- 476 篇 软件工程
- 134 篇 信息与通信工程
- 131 篇 控制科学与工程
- 97 篇 电气工程
- 71 篇 生物工程
- 62 篇 机械工程
- 55 篇 动力工程及工程热...
- 50 篇 电子科学与技术（可...
- 45 篇 交通运输工程
- 38 篇 生物医学工程（可授...
- 31 篇 化学工程与技术
- 25 篇 安全科学与工程
- 23 篇 土木工程
- 22 篇 光学工程
- 22 篇 石油与天然气工程
391 篇 理学
- 277 篇 数学
- 78 篇 生物学
- 63 篇 物理学
- 58 篇 统计学（可授理学、...
- 57 篇 系统科学
- 32 篇 化学
191 篇 管理学
- 138 篇 管理科学与工程(可...
- 79 篇 工商管理
- 67 篇 图书情报与档案管...
34 篇 经济学
- 34 篇 应用经济学
33 篇 教育学
- 33 篇 教育学
28 篇 法学
26 篇 医学
- 24 篇 基础医学(可授医学...
- 24 篇 临床医学
- 23 篇 药学(可授医学、理...
13 篇 农学
1 篇 艺术学

主题

51 篇 software enginee...
50 篇 programming
47 篇 linear programmi...
42 篇 software enginee...
31 篇 dynamic programm...
30 篇 artificial intel...
24 篇 integer programm...
23 篇 computer communi...
23 篇 optimization
21 篇 programming lang...
19 篇 machine learning
18 篇 logics and meani...
18 篇 heuristic algori...
17 篇 computer science
16 篇 computational mo...
16 篇 students
16 篇 software
15 篇 costs
15 篇 programming tech...
13 篇 object oriented ...

机构

7 篇 college of energ...
6 篇 school of electr...
5 篇 college of elect...
5 篇 school of scienc...
5 篇 information engi...
4 篇 school of comput...
4 篇 school of vehicl...
4 篇 china electric p...
4 篇 school of cyber ...
3 篇 school of electr...
3 篇 school of electr...
3 篇 school of transp...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of inform...
3 篇 state key labora...
3 篇 nanjing universi...
3 篇 shanghai maritim...
3 篇 polytechnic inst...
3 篇 school of comput...

作者

4 篇 meikang qiu
3 篇 wang hui
3 篇 miller james
3 篇 gong peizhu
3 篇 wang junxiang
3 篇 xigang yuan
3 篇 batra salil
3 篇 salil batra
3 篇 mekruksavanich s...
3 篇 jitpattanakul an...
3 篇 liu jin
3 篇 wu zhongdai
3 篇 mengjie zhang
2 篇 yin jianbing
2 篇 heinz stefan
2 篇 seniman
2 篇 li cheng
2 篇 saraswat sudhir
2 篇 duo liu
2 篇 cheng wang

语言

1,117 篇 英文
16 篇 其他
5 篇 中文

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

共 1136 条记录，以下是751-760 订阅

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

详细简洁

排序：

Service network design of bike sharing systems with resource constraints 7th

Service network design of bike sharing systems with resource...

引用

7th international conference on Computational Logistics, ICCL 2016

作者： Neumann-Saavedra, Bruno Albert Crainic, Teodor Gabriel Gendron, Bernard Mattfeld, Dirk Christian Römer, Michael Decision Support Group University of Braunschweig Mühlenpfordtstraße 23 Braunschweig38106 Germany Department of Management and Technology Université du Québec à Montréal Station Centre-Ville P.O. Box 8888 MontréalH3C 3P8 Canada Université du Québec à Montréal Station Centre-ville MontréalQCH3C 3P8 Canada 06108 Germany Department of Computer Science and Operations Research Université de Montréal Station Centre-Ville P.O. Box 6128 MontréalH3C 3J7 Canada

ISBN: (纸本)9783319448954

Station-based bike sharing systems provide an inexpensive and flexible supplement to public transportation systems. However, due to spatial and temporal demand variation, stations tend to run full or empty over the course of a day. In order to establish a high service level, that is, a high percentage of users being able to perform their desired trips, it is therefore necessary to redistribute bikes among stations to ensure suitable time-of-day fill levels. As available resources are scarce, the tactical planning level aims to determine efficient master tours periodically executed by redistribution vehicles. We present a service network design formulation for the bike sharing redistribution problem taking into account trip-based user demand and explicitly considering service times for bike pick-up and delivery. We solve the problem using a two-stage MILP-based heuristic and present computational results for small realworld instances. In addition, we evaluate the performance of the master tours for multiple demand scenarios. © Springer international Publishing Switzerland 2016.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

On a C++ Framework to Support Design by Contract

On a C++ Framework to Support Design by Contract

引用

2016 IEEE 7th international conference on Software engineering and Service science

作者： Lars Nolle Ivan Flechais Department of Engineering Science Jade University of Applied Sciences Department of Computer Science University of Oxford

Design by Contract(DbC) is a software engineering paradigm that aims to reduce the amount of source code in a computer program by avoiding redundant parameter *** is based on strict interface specifications,including the specification of responsibilities for *** DbC potentially leads to better quality programs,it has to be supported by the programming language/environment *** is not the case for mainstream object-oriented languages like C++or *** paper introduces a novel C++ framework that supports *** benefits gained and the computational costs generated by using the new framework were evaluated by applying it in a C++ case *** metrics were used to compare and to analyze both,the traditional and DbC implementation of the same software design.

关键词： C++ Design by Contract Framework

来源：评论

学校读者我要写书评

暂无评论

Application domain and programming language readability yardsticks

Application domain and programming language readability yard...

引用

international conference on Computer science and Information Technology (CSIT)

作者： Mohammed Akour Bouchaib Falah Computer Information Systems Department Yarmouk University Irbid Jordan School of Science and Engineering Al Akhawayn University Ifrane Morocco

ISBN: (纸本)9781467389150

Software maintainability is one of the most factors that used to ensure software quality. It targets the structure of the software rather than its functionality. Hence, code readability is highlighted whenever maintainability is discussed. there is a huge difference between an organized code and a messy code, or between easy to read code and a difficult to read code. this difference can be very subjective but many efforts have been put together in order to formalize it. therefore, the result was a set of readability factors that have a direct or indirect impact on software readability. these factors measure to which extent readers can understand the text of the software code. Many metrics were developed to generalize the readability score across a set of pieces of code. Unfortunately, not all proposed metrics take into account the possibility of having variable readability factors. this paper tries to investigate to which extent the readability factors considering different application domains. Since readability is very subjective, it will be interesting to see whether it is useful to have specialized readability models that measure this attribute. this also implies looking into the impact of these readability models on measuring software quality.

关键词： Syntactics Measurement Java Software quality Readability metrics

来源：评论

学校读者我要写书评

暂无评论

An Automated Method for Constructing Ontology

An Automated Method for Constructing Ontology

引用

2016 IEEE 7th international conference on Software engineering and Service science

作者： Yang Shu Yao HaiLun You XiangRun Wang Ye Department of Computer Science and Engineering Xin Jiang Agriculture University Modern Education Technology Center Xi Jiang Agriculture University

this paper proposed an automated method for ontology *** techniques used include machine learning and NLP(Natural Language Processing).these techniques are used to construct more accurate ontologies that represented as XML ***,Naive Bayes classification algorithms is used to text categorization which determined what kind of label a document is ***,SVM algorithm is used to calculate document similarity to cluster similar documents that we ***,Luhn's summarization algorithm is employed in order to shorten the text and kept important essential terms for making the domain ***,XML format is used to represent a domain ontology,which has the function of describing term's meaning and their lexical *** the method developed by Python programming language and Natural Language Toolkit.

关键词： Domain Ontology Construction Naive Bayes SVM Text Summarization Algorithm

来源：评论

学校读者我要写书评

暂无评论

Duck testing enhancements for automated validation of student programmes: How to automatically test the quality of implementation of students' programmes 7

Duck testing enhancements for automated validation of studen...

引用

7th international conference on Computer Supported Education, CSEDU 2015

作者： Herout, Pavel Brada, Premysl Department of Computer Science and Engineering University of West Bohemia Plzen Czech Republic

ISBN: (纸本)9789897581076

this article deals with the issue how to test the quality of novice programmers' software assignments. this problem is becoming serious due to the hundreds of students in the introductory courses of programming. the article discusses the motivation for using quality of implementation tests of students' programmes, their principles and a practical solution. So called "duck tests" are used for this type of validation. A combination of a framework Duckapter, JUnit library and own programmes constitutes the practical solution. It is represented by a self-contained tool which is freely at disposal. the described tool has been used for three years in the elementary course of object oriented programming based on the Java programming language, alongside three other tools used for automatic validation of students projects. the article discusses the experience gained from its use and the effects on student's programming skills.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Software Language engineering, SLE 2014

7th International Conference on Software Language Engineerin...

引用

7th international conference on Software Language engineering, SLE 2014

ISBN: (纸本)9783319112442

the proceedings contain 19 papers. the special focus in this conference is on Software Language engineering. the topics include: Framework for generating domain-specific property languages;a SAT-based debugging tool for state machines and sequence diagrams;towards user-friendly projectional editors;island parsing without shipwrecks;a language composition editor;a framework for developing domain-specific debuggers;evaluating the usability of a visual feature modeling notation;a metamodel family for role-based modeling and programming languages;a choreographic framework for safe adaptive distributed applications;fUML as an assembly language for model transformation;respect your parents: how attribution and rewriting can get along;a disintegrated development environment;model checking of CTL-extended OCL specifications;unifying and generalizing relations in role-based data modeling and navigation;origin tracking in attribute grammars;dynamic scope discovery for model transformations;streamlining control flow graph construction with DCFlow and test-data generation for xtext (tool paper).

关键词：

来源：评论

学校读者我要写书评

暂无评论

Data-Centric Publish-Subscribe Approach for Distributed Complex Event Processing Deployment in Smart Grid Internet of things

Data-Centric Publish-Subscribe Approach for Distributed Comp...

引用

2016 IEEE 7th international conference on Software engineering and Service science

作者： Xiangrong Zu Yan Bai Xu Yao Department of Control ＆ Computer Engineering North China Electric Power University

Smart grid is an important application of Internet Of things（IOT）.Monitoring data in large-scale smart grid are massive,real-time and dynamic that collected by a lot of sensors,services components *** are many challenges in deploying and managing distributed real time monitoring *** paper adopted data-centric approach in deploying Distributed Complex Event Processing（DCEP） monitoring system based on OMG Data Distribution Service（DDS） middleware,to bring about a more robust and scalable distributed monitoring system,and that easier to maintain and enhance over *** DDS data-centric publish-subscribe programming model with support for a number of QoS properties gives many advantages for supporting DCEP components communications,that reliably transports events from data producers to Event Processing Agents（EPAs）,between internal DCEP Processing Node（PN）,and from the EPAs to the event *** paper analyzed DCEP requirements in IoT,and its PN configuration and deployment flow,designed a DDS/DCEP integration architecture for smart grid IoT monitoring system,and gave a detail design about DCEP development and configuration method based on DDS data-centric programming model,that can simplify the DCEP complex deployment *** work has beneficial for DECP large scale development ＆ deployment research.

关键词： data-centric approach data distribution service distributed complex event processing internet of things publish-subscribe modle smart grid

来源：评论

学校读者我要写书评

暂无评论

Fe.g.: An Animated Flowchart with Example to Teach the Algorithm based Courses in engineering 7

Fe.g.: An Animated Flowchart with Example to Teach the Algor...

引用

7th IEEE international conference on Technology for Education (T4E)

作者： Dol, Sunita M. Walchand Inst Technol CSE Dept Solapur India

ISBN: (纸本)9781467395090

Fe.g. is an animated flowchart which can be used for algorithm based subjects. In Fe.g., first the working of algorithm is demonstrated with the help of animated flowchart and then the step by step working of algorithm with the help of example. So this activity is considered for the subject System programming of third Year Computer science and engineering. One group pre-test pots-test model is considered to test the effectiveness of this activity. the results are also explained in this paper.

关键词： Fe.g.(Animated Flowchart with example) System programming Bloom's Taxonomy Pre-test Post-test t-Test

来源：评论

学校读者我要写书评

暂无评论

A novel approach for web development: A schedule management system using GAE/Go 7

A novel approach for web development: A schedule management ...

引用

7th IEEE international conference on Awareness science and Technology, iCAST 2015

作者： Togashi, Naohiro Klyuev, Vitaly Software Engineering Lab University of Aizu Aizuwakamatsu Fukushima Japan

ISBN: (纸本)9781467376587

In this paper, we discuss an approach used to develop a schedule management system which is manageable at low cost. It is designed using Google App Engine (GAE) and the Go programming language. the system is available for general purposes. GAE provides the execution environment, database called BigTable, and development tools. Developers can concentrate on writing applications because they can skip traditional construction of the development environment. GAE supports Python, Java, Go and PHP. Python and Java are in common use. Go is considered as a promising language because it is designed for ease of programming, and has modern features such as a garbage-collector and built-in support for concurrency. Employing this approach, we developed the system in a short span of time because server or database management are not necessary. System development on the cloud environment is still not common compared to traditional way, but this technology has many advantages, crucial for modern IT business. © 2015 IEEE.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 72 73 74 75 76 77 78 79 80 81 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：