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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Repairing Event Race Errors by Controlling Nondeterminism 17

Repairing Event Race Errors by Controlling Nondeterminism

引用

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

作者： Adamsen, Christoffer Quist Moller, Anders Karim, Rezwana Sridharan, Manu Tip, Frank Sen, Koushik Aarhus Univ Aarhus Denmark Samsung Res Amer Mountain View CA USA Northeastern Univ Boston MA 02115 USA Univ Calif Berkeley Dept EECS Berkeley CA USA Uber San Francisco CA USA

ISBN: (纸本)9781538638682

Modern web applications are written in an event-driven style, in which event handlers execute asynchronously in response to user or system events. the nondeterminism arising from this programming style can lead to pernicious errors. Recent work focuses on detecting event races and classifying them as harmful or harmless. However, since modifying the source code to prevent harmful races can be a difficult and error-prone task, it may be preferable to steer away from the bad executions. In this paper, we present a technique for automated repair of event race errors in JavaScript web applications. Our approach relies on an event controller that restricts event handler scheduling in the browser according to a specified repair policy, by intercepting and carefully postponing or discarding selected events. We have implemented the technique in a tool called EventRaceCommander, which relies entirely on source code instrumentation, and evaluated it by repairing more than 100 event race errors that occur in the web applications from the largest 20 of the Fortune 500 companies. Our results show that applicationin-dependent repair policies usually suffice to repair event race errors without excessive negative impact on performance or user experience, though application-specific repair policies that target specific event races are sometimes desirable.

关键词： JavaScript event-driven programming automated repair

来源：评论

学校读者我要写书评

暂无评论

A Master-Slave Control System with Workspaces Isomerism for Teleoperation of a Snake Robot 39

A Master-Slave Control System with Workspaces Isomerism for ...

引用

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

作者： Ren, Lingxue Omisore, Olatunji Mumini Han, Shipeng Wang, Lei Chinese Acad Sci Shenzhen Inst Adv Technol Res Ctr Med Robot & Minimally Invas Surg Devices Shenzhen 51805 Peoples R China

ISBN: (纸本)9781509028092

Snake robots can be used to assist experts during surgical operations on internal organs via natural orifices. However, real-time control of such robot in Mater Slave (MS) teleoperation is a major challenge. Inverse kinematics solution of snake robots has being a key challenge towards real time control especially if the robot is hyper-redundant. this paper proposes a method that can achieve fast and precise inverse kinematics solution for real time control MS teleoperation. Monte Carlo method is applied to determine possible positions needed to reach a given target point, while best position is chosen based on the optimization algorithm. For workspace isomerism, the proposed method automatically determines appropriate kinematics mapping for the robots. Experimental results show that the method can achieve accurate position tracking in MS teleoperation.

关键词： Robot kinematics Kinematics Monte Carlo methods Medical robotics Linear programming

来源：评论

学校读者我要写书评

暂无评论

Robust MR Image Segmentation Using the Trimmed Likelihood Estimator in Asymmetric Student's-t Mixture Model 39

Robust MR Image Segmentation Using the Trimmed Likelihood Es...

引用

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

作者： Zhou, Yi Zhu, Hongqing Tao, Xuan East China Univ Sci & Technol Sch Informat Sci & Engn Shanghai Peoples R China

ISBN: (纸本)9781509028092

Finite mixture model (FMM) has been widely used for unsupervised segmentation of magnetic resonance (MR) images in recent years. However, in real applications, the distribution of the observed data usually contains an unknown fraction of outliers, which would interfere with the estimation of the parameters of the mixture model. the statistical model-based technique which provides a theoretically well segmentation criterion in presence of outliers is the mixture modeling and the trimming approach. therefore, in this paper, a robust estimation of asymmetric Student's-t mixture model (ASMM) using the trimmed likelihood estimator for MR image segmentation has been proposed. the proposed method is supposed to discard the outliers, and then to estimate the parameters of the ASMM with the remaining samples. the advantages of the proposed algorithm are that its robustness to dispose the disturbance of outliers and its flexibility to describe various shapes of data. Finally, expectation-maximization (EM) algorithm is adopted to maximize the log-likelihood and to obtain the estimation of the parameters. the experimental results show that the proposed method has a better performance on the segmentation of synthetic data and real MR images.

关键词： Image segmentation Linear programming Mixture models Data models Robustness Maximum likelihood estimation

来源：评论

学校读者我要写书评

暂无评论

Posturography Stability Score Generation for Stroke Patient using Kinect: Fuzzy based Approach 39

Posturography Stability Score Generation for Stroke Patient ...

引用

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

作者： Mazumder, Oishee Chakravarty, Kingshuk Chatterjee, Debatri Sinha, Aniruddha Das, Abhijit Tata Consultancy Serv Innovat Lab Kolkata India AMRI Inst Neurosci Kolkata Neurorehabil Kolkata India

ISBN: (纸本)9781509028092

Aim of this paper is to formulate a posturography stability score for stroke patients using fuzzy logic. Postural instability is one of the prominent symptoms of stroke, dementia, parkinsons disease, myopathy, etc. and is the major precursor of fall. Conventional scoring techniques used to assess postural stability require manual intervention and are dependent on live interaction with physiotherapist. We propose a novel scoring technique to calculate static stability of a person using posturography features acquired by Kinect sensor, which do not require any manual intervention or expert guidance, is cost effective and hence are ideal for tele rehabilitation purpose. Stability analysis is done during Single Limb Stance (SLS) exercise. Kinect sensor is used to calculate three features, naming SLS duration, vibration index, calculated from mean vibration of twenty joints and sway area of Centre of Mass (CoM). Based on the variation of these features, a fuzzy rule base is generated which calculates a static stability score. One way analysis of variance (Anova) between a group of stroke population and healthy individuals under study validates the reliability of the proposed scorer. Generated fuzzy score are comparable with standard stability scorer like Berg Balance scale and fall risk assessment tool like Johns Hopkins scale. Stability score, besides providing an index of overall stability can also be used as a fall predictability index.

关键词： Stability criteria Vibrations Indexes Fuzzy logic Feature extraction Wavelet transforms

来源：评论

学校读者我要写书评

暂无评论

Context-aware recursive bayesian graph traversal in BCIs 39

Context-aware recursive bayesian graph traversal in BCIs

引用

39th Annual international conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2017

作者： Mohseni Salehi, Seyed Sadegh Moghadamfalahi, Mohammad Nezamfar, Hooman Haghighi, Marzieh Erdogmus, Deniz Electrical and Computer Engineering Department Northeastern University Boston United States

ISBN: (纸本)9781509028092

Noninvasive brain computer interfaces (BCI), and more specifically Electroencephalography (EEG) based systems for intent detection need to compensate for the low signal to noise ratio of EEG signals. In many applications, the temporal dependency information from consecutive decisions and contextual data can be used to provide a prior probability for the upcoming decision. In this study we proposed two probabilistic graphical models (PGMs), using context information and previously observed EEG evidences to estimate a probability distribution over the decision space in graph based decision-making mechanism. In this approach, user moves a pointer to the desired vertex in the graph in which each vertex represents an action. To select a vertex, a 'Select' command, or a proposed probabilistic Selection criterion (PSC) can be used to automatically detect the user intended vertex. Performance of different PGMs and Selection criteria combinations are compared over a keyboard based on a graph layout. Based on the simulation results, probabilistic Selection criterion along with the probabilistic graphical model provides the highest performance boost for individuals with pour calibration performance and achieving the same performance for individuals with high calibration performance. © 2017 IEEE.

关键词： Graphical models Brain modeling Navigation Electroencephalography Probabilistic logic Xenon Calibration

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

ISBN: (纸本)9781538638682

the proceedings contain 68 papers. the topics discussed include: semantically enhanced software traceability using deep learning techniques;can latent topics in source code predict missing architectural tactics?;preventing defects: the impact of traceability completeness on software quality;imprecise matching of requirements specifications for software services using fuzzy logic;analyzing APIs documentation and code to detect directive defects;detecting user story information in developer-client conversations to generate extractive summaries;keyword search for building service-based systems;clone refactoring with lambda expressions;automated refactoring of legacy Java software to default methods;using cohesion and coupling for software remodularization: is it enough?;recommending and localizing change requests for mobile apps based on user reviews;machine learning-based detection of open source license exceptions;supporting change impact analysis using a recommendation system: an industrial case study in a safety-critical context;becoming agile: a grounded theory of agile transitions in practice;from diversity by numbers to diversity as process: supporting inclusiveness in software development teams with brainstorming;and process aspects and social dynamics of contemporary code review: insights from open source development and industrial practice at Microsoft.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards Designing Effective Data Persistence through Tradeoff Space Analysis 17

Towards Designing Effective Data Persistence through Tradeof...

引用

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

作者： Tang, Chong Bagheri, Hamid Paisarnsrisomsuk, Sarun Sullivan, Kevin Univ Virginia Dept Comp Sci Charlottesville VA 22903 USA Univ Nebraska Comp Sci & Engn Dept Lincoln NE 68510 USA

ISBN: (纸本)9781538615898

Partial system specifications give rise to design spaces: sets of designs that satisfy specified constraints but that can vary in other dimensions, including non-functional properties such as performance. A tradespace is a design space where each design is paired with its relevant corresponding properties. Exploring tradespaces to find high-value designs is hard and time-consuming. the software engineering field provides inadequate support for tradespace exploration. In the context of object relational mapping (ORM), modern model-view-controller frameworks such as Django translate application-specific object models into relational database schemas with guarantees that they satisfy specified functional (data storage) requirements;however, these translators generally do not consider the range of possible schemas or the related performance tradeoffs. We present a novel approach using automated tradespace exploration to find schemas with optimal time and space tradeoffs. the engineer specifies an object model that defines objects and relationships. Our tool set then (1) synthesizes a design space of schemas for the object model, (2) profiles the time and space performance of each schema to generate the corresponding tradespace, and (3) analyzes the tradespace to identify designs on the optimal frontier, thus exposing essential tradeoffs. We achieve scalability of analysis through the use of the Spark MapReduce framework. In a set of experiments, our approach consistently found designs that were dramatically better than those produced by several widely used ORM tools.

关键词： design space synthesis tradespace dynamic analysis relational logic experimental software engineering

来源：评论

学校读者我要写书评

暂无评论

Software Development Waste 17

Software Development Waste

引用

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

作者： Sedano, Todd Ralph, Paul Peraire, Cecile Pivotal Palo Alto CA 94304 USA Carnegie Mellon Univ Silicon Valley Campus Moffett Field CA USA Univ Auckland Auckland New Zealand Univ British Columbia Vancouver BC Canada Carnegie Mellon Univ Elect & Comp Engn Silicon Valley Campus Moffett Field CA 94035 USA

ISBN: (纸本)9781538638682

Context: Since software development is a complex socio-technical activity that involves coordinating different disciplines and skill sets, it provides ample opportunities for waste to emerge. Waste is any activity that produces no value for the customer or user. Objective: the purpose of this paper is to identify and describe different types of waste in software development. Method: Following Constructivist Grounded theory, we conducted a two-year five-month participant-observation study of eight software development projects at Pivotal, a software development consultancy. We also interviewed 33 software engineers, interaction designers, and product managers, and analyzed one year of retrospection topics. We iterated between analysis and theoretical sampling until achieving theoretical saturation. Results: this paper introduces the first empirical waste taxonomy. It identifies nine wastes and explores their causes, underlying tensions, and overall relationship to the waste taxonomy found in Lean Software Development. Limitations: Grounded theory does not support statistical generalization. While the proposed taxonomy appears widely applicable, organizations with different software development cultures may experience different waste types. Conclusion: Software development projects manifest nine types of waste: building the wrong feature or product, mismanaging the backlog, rework, unnecessarily complex solutions, extraneous cognitive load, psychological distress, waiting/multitasking, knowledge loss, and ineffective communication.

关键词： Software engineering waste Extreme programming Lean Software Development

来源：评论

学校读者我要写书评

暂无评论

A mRMRMSRC feature selection method for radiomics approach 39

A mRMRMSRC feature selection method for radiomics approach

引用

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

作者： Liu, Tongtong Wu, Guoqing Yu, Jinhua Guo, Yi Wang, Yuanyuan Shi, Zhifeng Chen, Liang Fudan Univ Dept Elect Engn Shanghai Peoples R China Key Lab Med Imaging Comp & Comp Assisted Interven Shanghai Peoples R China Fudan Univ Huashan Hosp Dept Neurosurg Shanghai Peoples R China

ISBN: (纸本)9781509028092

Radiomics can convert digital images to mineable data by extracting a huge number of image features. Because of the high dimensions of radiomics features, feature selection is a very important step which affects the performance of the final prediction or classification. In this paper, we propose a feature selection criterion for radiomics analysis of glioma based on Magnetic Resonance Image (MRI). the proposed method named as minimum Redundancy, Maximum Relevance and Maximum Sparse Representation Coefficient (mRMRMSRC) criterion, which take three factors into consideration at the same time: relevance between features and labels with or without the influence of all other features, and redundancy between each couple of features. Different from traditional feature selection method, the mRMRMSRC manifests the best performance compared with the methods based on sparse representation coefficient (SRC), minimum redundancy maximum relevance (mRMR), F_score and ReliefF. We conducted our methods on glioma Isocitrate Dehydrogenase 1 (IDH1) estimation. the experiment showed that mRMRMSRC produced area under the ROC curve (AUC) of 90% compared with 77%-89% of state-of-art methods.

关键词： Redundancy Feature extraction Magnetic resonance imaging Optimization Hospitals Sparse matrices Linear programming

来源：评论

学校读者我要写书评

暂无评论

An Unsupervised Approach for Discovering Relevant Tutorial Fragments for APIs 17

An Unsupervised Approach for Discovering Relevant Tutorial F...

引用

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

作者： Jiang, He Zhang, Jingxuan Ren, Zhilei Zhang, Tao Dalian Univ Technol Sch Software Dalian Peoples R China Key Lab Ubiquitous Network & Serv Software Liaoni Dalian Peoples R China Wuhan Univ State Key Lab Software Engn Wuhan Hubei Peoples R China Harbin Engn Univ Coll Comp Sci & Technol Harbin Heilongjiang Peoples R China

ISBN: (纸本)9781538638682

Developers increasingly rely on API tutorials to facilitate software development. However, it remains a challenging task for them to discover relevant API tutorial fragments explaining unfamiliar APIs. Existing supervised approaches suffer from the heavy burden of manually preparing corpus-specific annotated data and features. In this study, we propose a novel unsupervised approach, namely Fragment Recommender for APIs with PageRank and Topic model (FRAPT). FRAPT can well address two main challenges lying in the task and effectively determine relevant tutorial fragments for APIs. In FRAPT, a Fragment Parser is proposed to identify APIs in tutorial fragments and replace ambiguous pronouns and variables with related ontologies and API names, so as to address the pronoun and variable resolution challenge. then, a Fragment Filter employs a set of non-explanatory detection rules to remove non-explanatory fragments, thus address the non-explanatory fragment identification challenge. Finally, two correlation scores are achieved and aggregated to determine relevant fragments for APIs, by applying both topic model and PageRank algorithm to the retained fragments. Extensive experiments over two publicly open tutorial corpora show that, FRAPT improves the state-of-the-art approach by 8.77% and 12.32% respectively in terms of F-Measure. the effectiveness of key components of FRAPT is also validated.

关键词： Application programming Interface PageRank Algorithm Topic Model Unsupervised Approaches

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：