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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

499 篇 会议
13 篇 期刊文献
7 册 图书

馆藏范围

519 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

328 篇 工学
- 249 篇 计算机科学与技术...
- 176 篇 软件工程
- 95 篇 电气工程
- 37 篇 控制科学与工程
- 21 篇 机械工程
- 19 篇 信息与通信工程
- 14 篇 生物医学工程（可授...
- 14 篇 生物工程
- 10 篇 电子科学与技术（可...
- 8 篇 材料科学与工程（可...
- 6 篇 核科学与技术
- 5 篇 石油与天然气工程
- 4 篇 仪器科学与技术
- 4 篇 交通运输工程
- 2 篇 光学工程
- 2 篇 土木工程
61 篇 理学
- 29 篇 数学
- 14 篇 物理学
- 14 篇 生物学
- 6 篇 系统科学
- 4 篇 统计学（可授理学、...
28 篇 管理学
- 16 篇 管理科学与工程(可...
- 9 篇 图书情报与档案管...
- 5 篇 工商管理
- 3 篇 公共管理
12 篇 农学
- 12 篇 作物学
5 篇 医学
4 篇 法学
- 2 篇 法学
- 2 篇 社会学
3 篇 经济学
- 3 篇 应用经济学
2 篇 教育学
- 2 篇 教育学
1 篇 文学

主题

48 篇 programming
38 篇 logic gates
31 篇 logic programmin...
28 篇 programming prof...
28 篇 software enginee...
25 篇 linear programmi...
23 篇 software
15 篇 computational mo...
14 篇 java
14 篇 logic
14 篇 probabilistic lo...
12 篇 computer program...
11 篇 optimization
11 篇 detectors
11 篇 dynamic programm...
11 篇 testing
10 篇 object oriented ...
10 篇 fuzzy logic
10 篇 parallel program...
10 篇 data models

机构

3 篇 nasa ames resear...
3 篇 george mason uni...
3 篇 carnegie mellon ...
3 篇 stillman school ...
3 篇 imperial coll lo...
2 篇 mayo fdn rochest...
2 篇 iran univ sci & ...
2 篇 univ copenhagen ...
2 篇 chalmers univers...
2 篇 university of fe...
2 篇 school of comput...
2 篇 ludwig maximilia...
2 篇 texas tech unive...
2 篇 tu wien austria
2 篇 graz university ...
2 篇 katholieke univ ...
2 篇 graduate school ...
2 篇 zagazig universi...
2 篇 iran university ...
2 篇 agh university o...

作者

5 篇 toni francesca
4 篇 eiter thomas
4 篇 azzolini damiano
4 篇 gupta gopal
3 篇 hanbong lee
3 篇 gavanelli marco
3 篇 riguzzi fabrizio
3 篇 coblenz michael
3 篇 satoh ken
3 篇 džeroski sašo
2 篇 lucarini stephen
2 篇 thevapalan andre
2 篇 liu yanhong a.
2 篇 m.a. farahat
2 篇 lavrac nada
2 篇 v. kodaganallur
2 篇 rose emma
2 篇 osaka naotoshi
2 篇 radoslaw klimek
2 篇 gebser martin

语言

504 篇 英文
15 篇 其他

检索条件"任意字段=39th International Conference on Logic Programming"

共 519 条记录，以下是221-230 订阅

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

详细简洁

排序：

Artifact Driven Communication To Improve Program Comprehension 17

Artifact Driven Communication To Improve Program Comprehensi...

引用

IEEE/ACM 39th international conference on Software Engineering Companion (ICSE-C)

作者： Kubelka, Juraj Univ Chile PLEIAD Lab Dept Comp Sci DCC Santiago Chile

ISBN: (纸本)9781538615898

Developer communication is an important factor during program comprehension. Live programming environments encourage developers to comprehend applications through manipulation of running instances-liveness. Such application exploration is interrupted whenever programmers need to communicate an issue with dislocated co-workers. Describing the issue becomes challenging as programmers use text based communication mediums, e.g., emails or chats. the issues are magnified during bug day events, where developers around the world meet together in order to improve a project. Communication and coordination need to be increased, but the infrastructure stays the same. We target the research gap by introducing the COLLABORATIVE PLAYGROUND, a tool that exposes liveness into developer communication during programming change tasks and integrates coordination needs during bug day events. We will evaluate our approach by deploying the COLLABORATIVE PLAYGROUND during a series of Bug Day events for Pharo, one of the most active live programming platforms in existence.

关键词： Collaborative programming Live programming Environment Qualitative Study

来源：评论

学校读者我要写书评

暂无评论

A Computational logic Approach to Human Syllogistic Reasoning 39

A Computational Logic Approach to Human Syllogistic Reasonin...

引用

39th Annual Meeting of the Cognitive Science Society: Computational Foundations of Cognition, CogSci 2017

作者： da Costa, Ana Oliveira Saldanha, Emmanuelle-Anna Dietz Hölldobler, Steffen Ragni, Marco International Center for Computational Logic TU Dresden Germany Cognitive Computation lab University of Freiburg Germany

ISBN: (纸本)9780991196760

A recent meta-analysis (Khemlani & Johnson-Laird, 2012) about psychological experiments of syllogistic reasoning demonstrates that the conclusions drawn by human reasoners strongly deviate from conclusions of classical logic. Moreover, none of the current cognitive theories predictions fit reliably the empirical data. In this paper, we show how human syllogistic reasoning can be modeled under a new cognitive theory, the Weak Completion Semantics. Our analysis based on computational logics identifies seven principles necessary to draw the inferences. Hence, this work contributes to a computational foundation of cognitive reasoning processes. © CogSci 2017.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Mining readme files to support automatic building of Java projects in software repositories 17

Mining readme files to support automatic building of Java pr...

引用

39th IEEE/ACM international conference on Software Engineering Companion, ICSE-C 2017

作者： Hassan, Foyzul Wang, Xiaoyin University of Texas San Antonio United States

ISBN: (纸本)9781538615898

Automatic building of software projects providesa desirable foundation to support a large variety of softwareengineering research tasks based on open software repositories. In this paper, we propose the first technique to automaticallyextract software build commands from software readme files andWiki pages, and combine the extracted commands for softwarebuilding. Specifically, we leverage the Named Entity Recognition(NER) technique for build-command extraction, and prioritizethe extracted build commands to identify which one should beused in software build. Our experiment on top Java projectsfrom Github reveals that, the proposed technique can correctlyidentify more than 90% of build commands, and can successfullybuild 84% of the projects that can be built successfully throughmanual inspection of software support documents. © 2017 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Parallelizing Audio Analysis Applications - A Case Study 39

Parallelizing Audio Analysis Applications - A Case Study

引用

IEEE/ACM 39th international conference on Software Engineering - Software Engineering Education and Training Track (ICSE-SEET)

作者： Jannesari, Ali Ul Huda, Zia Atre, Rohit Li, Zhen Wolf, Felix Univ Calif Berkeley Berkeley CA 94720 USA Tech Univ Darmstadt Darmstadt Germany

ISBN: (纸本)9781538626719

As multicore computers become widespread, the need for software programmers to decide on the most effective parallelization techniques becomes very prominent. In this case study, we examined a competition in which four teams of graduate students parallelized two sequential audio analysis applications. the students were introduced with Pthreads, OpenMP and TBB parallel programming models. Use of different profiling and debugging tools was also taught during this course. Two of the teams parallelized libVorbis audio encoder and the other two parallelized the LAME encoding engine. the strategies used by the four teams to parallelize these applications included the use of taught programming models, focusing on both fine-grained and coarse-grained parallelism. these strategies are discussed in detail along with the tools utilized for the development and profiling. An analysis of the results obtained is also performed to discuss speedups and audio quality of the encoded output. A list of the lessons to be remembered while parallelizing an application has been provided as well. these lessons include best pedagogical methods, importance of understanding the program before choosing a programming model, concentrating on coarse-grained parallelism first, looking for dependency relaxation, parallelism beyond the predefined language constructs, the need of practice or prior experience in parallel programming and the need for assisting tools in parallelization.

关键词： Teaching parallel programming Project based Parallelization Parallelizing existing sequential applications

来源：评论

学校读者我要写书评

暂无评论

Teaching Software Engineering Principles to K-12 Students: A MOOC on Scratch 39

Teaching Software Engineering Principles to K-12 Students: A...

引用

IEEE/ACM 39th international conference on Software Engineering - Software Engineering Education and Training Track (ICSE-SEET)

作者： Hermans, Felienne Aivaloglou, Efthimia Delft Univ Technol Software Engn Res Grp Mekelweg 4 NL-2628 CD Delft Netherlands

ISBN: (纸本)9781538626719

In the last few years, many books, online puzzles, apps and games have been created to teach young children programming. However, most of these do not introduce children to broader concepts from software engineering, such as debugging and code quality issues like smells, duplication, refactoring and naming. To address this, we designed and ran an online introductory Scratch programming course in which we teach elementary programming concepts and software engineering concepts simultaneously. In total 2,220 children actively participated in our course in June and July 2016, most of which (73%) between the ages of 7 and 11. In this paper we describe our course design and analyze the resulting data. More specifically, we investigate whether 1) students find programming concepts more difficult than software engineering concepts, 2) there are age-related differences in their performance and 3) we can predict successful course completion. Our results show that there is no difference in students' scores between the programming concepts and the software engineering concepts, suggesting that it is indeed possible to teach these concepts to this age group. We also find that students over 12 years of age perform significantly better in questions related to operators and procedures. Finally, we identify the factors from the students' profile and their behaviour in the first week of the course that can be used to predict its successful completion.

关键词： programming education MOOC Scratch code smells dropout prediction

来源：评论

学校读者我要写书评

暂无评论

An anchored dynamic time-warping for alignment and comparison of swallowing acoustic signals 39

An anchored dynamic time-warping for alignment and compariso...

引用

39th Annual international conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC)

作者： Rosa, Marcelo Fugmann, Elmar Pinto, Gisele Nunes, Maria Univ Tecnol Fed Parana Dept Acad Eletrotecn Curitiba Parana Brazil Univ Fed Parana Hosp Clin Curitiba Parana Brazil

ISBN: (纸本)9781509028092

Properties of signals captured by contact accelerometers assist the evaluation of human organs involved in the swallowing process. Here we present a novel method to account the alignment between two different swallowing signals based on two steps: first, a scaled cross-correlation determines an anchor point of maximum similarity between the signals, dividing both signals in two parts;next, dynamic time warping aligns the left and right parts of both signals. Additional filtering procedures are used smooth the swallowing signals due to their low SNR. the results show that this technique can be used to assess similarities between liquid and solid boluses of a subject.

关键词： Liquids Solids Accelerometers Skin Signal to noise ratio Neck logic gates

来源：评论

学校读者我要写书评

暂无评论

Codeflaws: A programming Competition Benchmark for Evaluating Automated Program Repair Tools 17

Codeflaws: A Programming Competition Benchmark for Evaluatin...

引用

IEEE/ACM 39th international conference on Software Engineering Companion (ICSE-C)

作者： Tan, Shin Hwei Yi, Jooyong Yulis Mechtaev, Sergey Roychoudhury, Abhik Natl Univ Singapore Singapore Singapore Innopolis Univ Innopolis Russia

ISBN: (纸本)9781538615898

Several automated program repair techniques have been proposed to reduce the time and effort spent in bug-fixing. While these repair tools are designed to be generic such that they could address many software faults, different repair tools may fix certain types of faults more effectively than other tools. therefore, it is important to compare more objectively the effectiveness of different repair tools on various fault types. However, existing benchmarks on automated program repairs do not allow thorough investigation of the relationship between fault types and the effectiveness of repair tools. We present Codeflaws, a set of 3902 defects from 7436 programs automatically classified across 39 defect classes (we refer to different types of fault as defect classes derived from the syntactic differences between a buggy program and a patched program).

关键词： automated program repair defect classes empirical evaluation benchmark

来源：评论

学校读者我要写书评

暂无评论

GuideAutomator: Continuous Delivery of End User Documentation 39

GuideAutomator: Continuous Delivery of End User Documentatio...

引用

39th IEEE/ACM international conference on Software Engineering - New Ideas and Emerging Technologies Results Track (ICSE-NIER)

作者： Souza, Rodrigo Oliveira, Allan Univ Fed Bahia Dept Comp Sci Salvador BA Brazil

ISBN: (纸本)9781538626757

User guides, also known as user manuals, are a type of documentation aimed at helping a user operate a specific system. For software systems, user guides usually include screenshots that show users how to interact with the user interface. Because creating such screenshots is a slow, manual process, keeping the user guide up-to-date with changes in the user interface is challenging. We propose an approach in which the documentation writer interleaves the user guide text with source code that automates screen capturing. As a result, screenshots always reflect the latest software version, which makes the approach suitable for a project that uses continuous delivery. the approach was implemented as a prototype, called GuideAutomator.

关键词： software documentation automated documentation generator literate programming continuous delivery

来源：评论

学校读者我要写书评

暂无评论

Assisting Non-Specialist Developers to Build Energy-Efficient Software 17

Assisting Non-Specialist Developers to Build Energy-Efficien...

引用

IEEE/ACM 39th international conference on Software Engineering Companion (ICSE-C)

作者： Fernandes, Benito Pinto, Gustavo Castor, Fernando Univ Fed Pernambuco Recife PE Brazil Fed Inst Para Belem Para Brazil

ISBN: (纸本)9781538615898

In this paper we introduce CECOTOOL, a tool that analyzes the energy behavior of alternative collection implementations and provides potentially useful recommendations about good implementation options. We applied it to two real-world software systems from the DaCapo suite [1], Xalan and Tomcat. With no prior knowledge of the application domains, we were able to reduce the energy consumption up to 4.37%.

关键词： Energy consumption Tools Benchmark testing Software systems Data structures Java Software systems Benchmark testing energy consumption Data structures Java Java programming language tomcat Energy efficiency Developers Prior Learning

来源：评论

学校读者我要写书评

暂无评论

Learning to Aggregate: An Automated Aggregation Method for Software Quality Model 17

Learning to Aggregate: An Automated Aggregation Method for S...

引用

IEEE/ACM 39th international conference on Software Engineering Companion (ICSE-C)

作者： Yan, Meng Zhang, Xiaohong Liu, Chao Zou, Jie Xu, Ling Xia, Xin Chongqing Univ Sch Software Engn Chongqing Peoples R China Univ British Columbia Dept Comp Sci Vancouver BC Canada

ISBN: (纸本)9781538615898

Quality models are regarded as a well-accepted approach for assessing high-level abstract quality characteristics (e.g., maintainability) by aggregation from low-level metrics. However, most of the existing quality models adopt the weighted linear aggregation method which suffers from a lack of consensus in how to decide the correct weights. To address this issue, we present an automated aggregation method which adopts a kind of probabilistic weight instead of the subjective weight in previous aggregation methods. In particular, we utilize a topic modeling technique to estimate the probabilistic weight by learning from a software benchmark. In this manner, our approach can enable automated quality assessment by using the learned knowledge without manual effort. In addition, we conduct an application on the maintainability assessment of the systems in our benchmark. the result shows that our approach can reveal the maintainability well through a correlation analysis with the changed lines of code.

关键词： Measurement Correlation Probabilistic logic Benchmark testing Software quality Mathematical model software quality Benchmark testing Probabilistic logic Mathematical Model Maintainability lines of code agglomeration Automation Learning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共52页 << < 19 20 21 22 23 24 25 26 27 28 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：