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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Application of SsVGMM to Medical Data - Classification with Novelty Detection 39

Application of SsVGMM to Medical Data - Classification with ...

引用

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

作者： Yang, Fan Soriano, Jaymar Kubo, Takatomi Ikeda, Kazushi Nara Inst Sci & Technol Grad Sch Informat Sci Nara 6300192 Japan

ISBN: (纸本)9781509028092

there is a huge demand to apply classification in medical analysis. A traditional classifier requires having training samples from each class. However, in reality, it is possible that the testing set may include classes that are not in the training set. this inevitably causes an issue: data from a undefined class will be assigned to a predefined classes. To tackle this, we propose a semi-supervised variational Gaussian mixture model to perform multi-class classification with novelty detection. Comparing to some popular novelty detection methods, we demonstrate that it gets better performance on a thyroid disease data, by generating the distribution of predefined classes and undefined class, without explicitly setting a threshold.

关键词： Training Testing Probabilistic logic Diseases Gaussian mixture model Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Automatic measurement of fetal nuchal translucency from three-dimensional ultrasound data 39

Automatic measurement of fetal nuchal translucency from thre...

引用

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

作者： Nie, Siqing Yu, Jinhua Chen, Ping Wang, Yuanyuan Guo, Yi Zhang, Jian Qiu Fudan Univ Dept Elect Engn Shanghai Peoples R China Key Lab Med Imaging Comp & Comp Assisted Interven Shanghai Peoples R China Tongji Univ Shanghai Matern & Infant Hosp 1 Dept Ultrasound Shanghai Peoples R China

ISBN: (纸本)9781509028092

the Nuchal translucency (NT), which is the collection of fluid at the back of the fetal neck, is related to chromosomal defects and early cardiac failure in first trimester of pregnancy. In clinic, the thickness of NT is used as an important marker in prenatal screening, and is manually measured by sonographers in the mid-sagittal plane. In this paper, an automatic method based on dynamic programming is proposed to detect the thickness and area of NT in the mid-sagittal plane. Furthermore, the volume of NT in the whole three-dimensional ultrasound data is also measured. A novel cost function for dynamic programming is proposed and results in higher accuracy of NT border detection. As the nuchal translucency is the collection fluid part, higher dimensional markers of NT possess more potential to represent the amount of the fluid.

关键词： Ultrasonic imaging Fluids Ultrasonic variables measurement thickness measurement Cost function Volume measurement Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Reverse Engineering Object-Oriented Applications Into High-Level Domain Models With Reoom 17

Reverse Engineering Object-Oriented Applications Into High-L...

引用

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

作者： Tuan Anh Nguyen Csallner, Christoph Univ Texas Arlington Comp Sci & Engn Dept Arlington TX 76019 USA

ISBN: (纸本)9781538615898

Automatically pinpointing those classes in an object-oriented program that implement interesting domain concepts would be valuable for industrial software maintainers. We encode two observations of programmer behavior in Reoom, a novel light-weight static analysis. In a comparison with its most closely related competitor, Womble, on third-party open source applications, Reoom scaled to larger applications and achieved better overall precision and recall.

关键词： Unified modeling language Object oriented modeling Java Documentation Software Runtime Object oriented modeling UML Runtime Java Java programming language computer software object-oriented application domain model Documentation computer programs object orientation Reverse engineering

来源：评论

学校读者我要写书评

暂无评论

Towards Addressing the Patch Overfitting Problem 17

Towards Addressing the Patch Overfitting Problem

引用

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

作者： Xin, Qi Brown Univ Dept Comp Sci Providence RI 02912 USA

ISBN: (纸本)9781538615898

Current automatic program repair techniques often produce overfitting patches. Such a patch passes the test suite but does not actually repair the bug. In this paper, we propose two techniques to address the patch overfitting problem. First, we propose an automatic repair technique that performs syntactic code search to leverage bug-related code from a code database to produce patches that are likely to be correct. Due to the weak and incomplete program specification encoded in the test suite, a patch is still possible to be overfitting. We next propose a patch testing technique which generates test inputs uncovering the semantic differences between a patch and its original faulty program, tests if the patch is overfitting, and if so, generates test cases. Such overfitting-indicative test cases could be added to the test suite to make it stronger.

关键词： Maintenance engineering Computer bugs Semantics Testing Syntactics Java Databases Maintenance engineering Semantics Database Java Java programming language CASING INSPECTION program specification semiotics Codes Wound Healing

来源：评论

学校读者我要写书评

暂无评论

Glacier: Transitive Class Immutability for Java 17

Glacier: Transitive Class Immutability for Java

引用

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

作者： Coblenz, Michael Nelson, Whitney Aldrich, Jonathan Myers, Brad Sunshine, Joshua Carnegie Mellon Univ Sch Comp Sci Pittsburgh PA 15213 USA Hampton Univ Hampton VA 23668 USA

ISBN: (纸本)9781538638682

though immutability has been long-proposed as a way to prevent bugs in software, little is known about how to make immutability support in programming languages effective for software engineers. We designed a new formalism that extends Java to support transitive class immutability, the form of immutability for which there is the strongest empirical support, and implemented that formalism in a tool called Glacier. We applied Glacier successfully to two real-world systems. We also compared Glacier to Java's final in a user study of twenty participants. We found that even after being given instructions on how to express immutability with final, participants who used final were unable to express immutability correctly, whereas almost all participants who used Glacier succeeded. We also asked participants to make specific changes to immutable classes and found that participants who used final all incorrectly mutated immutable state, whereas almost all of the participants who used Glacier succeeded. Glacier represents a promising approach to enforcing immutability in Java and provides a model for enforcement in other languages.

关键词： immutability programming language usability empirical studies of programmers

来源：评论

学校读者我要写书评

暂无评论

Risk Estimation for Intervertebral Disc Pressure through Musculoskeletal Joint Reaction Force Simulation 39

Risk Estimation for Intervertebral Disc Pressure through Mus...

引用

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

作者： Imamura, Yumeko Ayusawa, Ko Yoshida, Eiichi Natl Inst Adv Ind Sci & Technol CNRS Intelligent Syst Res Inst AIST Joint Robot LabUMI RL 3218 Tsuchiura Ibaraki Japan

ISBN: (纸本)9781509028092

this research proposes a novel method that evaluates joint reaction forces by motion analysis using a musculoskeletal model. While general muscle tension estimations minimize the sum of the muscle tensions, the proposed method utilizes the joint reaction forces themselves in the objective function of the optimization problem in addition to conventional method. this method can estimate a pattern of the muscle tensions that maximizes or minimizes a specific joint force. As a typical outcome, the proposed method allows evaluating intervertebral disc compressive force caused by co-contraction of muscles while avoiding risk underestimation. We analyzed the actual lifting motion as an example and confirmed that the method can estimate the muscle tension distribution under different tension conditions.

关键词： Muscles Estimation Wires Force Load modeling Computational modeling Linear programming

来源：评论

学校读者我要写书评

暂无评论

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

Proceedings - 2017 IEEE/ACM 39th International Conference on...

引用

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

ISBN: (纸本)9781538615898

the proceedings contain 167 papers. the topics discussed include: DroidBot: DroidBot: a lightweight UI-guided test input generator for android;fast and flexible large-scale clone detection with CloneWorks;studying multi-threaded behavior with TSViz;cheetah: just-in-time taint analysis for Android apps;statistical migration of API usages;surf: summarizer of user reviews feedback;CSSDev: refactoring duplication in cascading style sheets;bottom-up technologies for reuse: automated extractive adoption of software product lines;JSDeodorant: class-awareness for JavaScript programs;decision-making in self-protecting software systems: a game-theoretic approach;empirical investigation of correlation between rewards and crowdsource-based software developers;improving test execution time with improved cache locality;live programming the behavioral layer of robot;runtime collaborative-based configuration of software product lines;obsidian: a safer blockchain programming language;a formally verified sequentializer for lustre-like concurrent synchronous data-flow programs;a framework to preserve confidentiality in crowdsourced software development;a hierarchical architecture for distributed security control of large scale systems;and a machine learning approach for determining the validity of traceability links.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A study on behavioral backward incompatibility bugs in Java software libraries 17

A study on behavioral backward incompatibility bugs in Java ...

引用

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

作者： Mostafa, Shaikh Rodriguez, Rodney Wang, Xiaoyin Department of Computer Science University of Texas at San Antonio TX78249 United States

ISBN: (纸本)9781538615898

Nowadays, due to the frequent technological innovationand market changes, software libraries are evolving veryquickly. To make sure that existing client software applicationsare not broken after a library update, backward compatibilityhas always been one of the most important requirements duringthe evolution of software platforms and libraries. However, due to various reasons, backward compatibility is seldom fullyachieved in practice, and many relevant software failures arereported. therefore, it is important to understand the status, major reasons, and impact of backward incompatibilities in realworld software. Previous studies on this topic mainly focus onAPI signature changes between consecutive versions of softwarelibraries, but behavioral changes of APIs with untouched signaturesare actually more dangerous and are causing most realworldbugs because they cannot be easily detected. this paperpresents an empirical study on 126 real-world software bugreports on backward incompatibilities of software libraries. Wefind that 67% of fixed client bugs caused by backward incompatibilitiesin software libraries are fixed by client developers, through several simple change patterns made to the backwardincompatible API invocations. © 2017 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Parallel Implementation of a Nonrigid Image Registration Algorithm for Lung Tumor Boundary Tracking in Quasi Real-time MRI 39

Parallel Implementation of a Nonrigid Image Registration Alg...

引用

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

作者： Tahmasebi, Nazanin Boulanger, Pierre Punithakumar, Kumaradevan Mazankowski Alberta Heart Inst Servier Virtual Cardiac Ctr Edmonton AB Canada Univ Alberta Dept Comp Sci Edmonton AB Canada Univ Alberta Dept Radiol & Diagnost Imaging Edmonton AB Canada

ISBN: (纸本)9781509028092

this study presents an accelerated implementation of a two-dimensional moving mesh point correspondence algorithm using a GPU for tracking mobile tumor boundaries during radiation therapy. Normal CPU implementation of this algorithm is computationally intensive and time-consuming which limits its clinical utility, hence the need for a faster GPU implementation. One of the computationally intensive parts of the registration algorithm involves numerically solving a partial differential equation. In this paper we demonstrate that the computational performance of the algorithms can be improved by utilizing a shared memory implementation on the GPU. Evaluations in comparison to 600 manually drawn contours showed that the proposed GPU-based tracking of the tumor boundaries yielded similar level of accuracy as the CPU based approach with improved computational efficiency.

关键词： Graphics processing units Tumors Image registration programming Lungs Image segmentation Magnetic resonance imaging

来源：评论

学校读者我要写书评

暂无评论

Attribution Required: Stack Overflow Code Snippets in Github Projects 17

Attribution Required: Stack Overflow Code Snippets in GitHub...

引用

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

作者： Baltes, Sebastian Kiefer, Richard Diehl, Stephan Univ Trier Software Engn Grp Trier Germany

ISBN: (纸本)9781538615898

Stack Overflow (SO) is the largest Q&A website for developers, providing a huge amount of copyable code snippets. Using these snippets raises various maintenance and legal issues. the SO license requires attribution, i.e., referencing the original question or answer, and requires derived work to adopt a compatible license. While there is a heated debate on SO's license model for code snippets and the required attribution, little is known about the extent to which snippets are copied from SO without proper attribution. In this paper, we present the research design and summarized results of an empirical study analyzing attributed and unattributed usages of SO code snippets in Github projects. On average, 3.22% of all analyzed repositories and 7.33% of the popular ones contained a reference to SO. Further, we found that developers rather refer to the whole thread on SO than to a specific answer. For Java, at least two thirds of the copied snippets were not attributed.

关键词： empirical study code snippets copy-and-paste programming licensing stack overflow github survey

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：