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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

78 篇 会议
31 篇 期刊文献
9 册 图书

馆藏范围

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

日期分布

学科分类号

71 篇 工学
- 59 篇 计算机科学与技术...
- 49 篇 软件工程
- 4 篇 控制科学与工程
- 4 篇 船舶与海洋工程
- 4 篇 生物工程
- 3 篇 机械工程
- 3 篇 电气工程
- 3 篇 土木工程
- 2 篇 电子科学与技术（可...
- 2 篇 信息与通信工程
- 2 篇 建筑学
- 2 篇 水利工程
- 2 篇 农业工程
- 2 篇 生物医学工程（可授...
29 篇 理学
- 15 篇 数学
- 7 篇 物理学
- 4 篇 生物学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 3 篇 海洋科学
- 1 篇 科学技术史(分学科...
8 篇 管理学
- 6 篇 管理科学与工程(可...
- 3 篇 工商管理
- 2 篇 图书情报与档案管...
2 篇 经济学
- 2 篇 应用经济学
2 篇 农学
- 2 篇 作物学
2 篇 医学
- 2 篇 临床医学
1 篇 哲学
- 1 篇 哲学
1 篇 法学
- 1 篇 社会学
1 篇 文学
- 1 篇 新闻传播学

主题

7 篇 artificial intel...
5 篇 runtime
5 篇 tracking
4 篇 delays
4 篇 middleware
4 篇 software
4 篇 information stor...
3 篇 legged locomotio...
3 篇 head
3 篇 information syst...
3 篇 libraries
3 篇 programming
3 篇 hidden markov mo...
3 篇 software enginee...
3 篇 parallel program...
3 篇 java
3 篇 magnetic heads
3 篇 optimization
3 篇 database managem...
3 篇 semantics

机构

6 篇 programming syst...
4 篇 programming syst...
3 篇 institute for pr...
3 篇 research group p...
3 篇 computer science...
2 篇 research group p...
2 篇 machine learning...
2 篇 university of er...
2 篇 dr fusco is a ch...
2 篇 department of co...
2 篇 programming lang...
2 篇 programming syst...
2 篇 programming syst...
2 篇 department of ph...
2 篇 fraunhofer insti...
2 篇 real-time system...
2 篇 research group p...
2 篇 algorithmiq ltd ...
2 篇 machine learning...
2 篇 cerenion oy oulu

作者

19 篇 michael philipps...
15 篇 philippsen micha...
12 篇 christopher muts...
8 篇 christiansen hen...
7 篇 tobias feigl
5 篇 mutschler christ...
4 篇 braüner torben
4 篇 henning christia...
4 篇 georg dotzler
4 篇 zimborás zoltán
3 篇 troels andreasen
3 篇 petit matthieu
3 篇 löffler christof...
3 篇 theil have chris...
3 篇 kolarovszki zolt...
3 篇 chabbi milind
3 篇 have christian t...
3 篇 veldema ronald
3 篇 chris mcdonald
3 篇 kaposi ágoston

语言

113 篇 英文
3 篇 其他
1 篇 法文
1 篇 中文

检索条件"机构=Programming Systems Group"

共 118 条记录，以下是31-40 订阅

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

详细简洁

排序：

Move-optimized source code tree differencing

Move-optimized source code tree differencing

引用

IEEE International Conference on Automated Software Engineering (ASE)

作者： Georg Dotzler Michael Philippsen Germany Programming Systems Group Friedrich-Alexander-University Erlangen-Nurnberg (FAU)

ISBN: (纸本)9781509055715

When it is necessary to express changes between two source code files as a list of edit actions (an edit script), modern tree differencing algorithms are superior to most text-based approaches because they take code movements into account and express source code changes more accurately. We present 5 general optimizations that can be added to state-of-the-art tree differencing algorithms to shorten the resulting edit scripts. Applied to Gumtree, RTED, JSync, and ChangeDistiller, they lead to shorter scripts for 1898% of the changes in the histories of 9 open-source software repositories. These optimizations also are parts of our novel Move-optimized Tree DIFFerencing algorithm (MTD-IFF) that has a higher accuracy in detecting moved code parts. MTDIFF (which is based on the ideas of ChangeDistiller) further shortens the edit script for another 20% of the changes in the repositories. MTDIFF and all the benchmarks are available under an open-source license.

关键词： Optimization Open source software Runtime Complexity theory programming History

来源：评论

学校读者我要写书评

暂无评论

Automatic Clustering of Code Changes

Automatic Clustering of Code Changes

引用

International Mining Software Repositories, MSR

作者： Patrick Kreutzer Georg Dotzler Matthias Ring Bjoern M. Eskofier Michael Philippsen Programming Systems Group Friedrich-Alexander University Erlangen-Nürnberg (FAU) Germany Digital Sports Group Friedrich-Alexander University Erlangen-Nürnberg (FAU) Germany

ISBN: (纸本)9781509022427

Several research tools and projects require groups of similar code changes as input. Examples are recommendation and bug finding tools that can provide valuable information to developers based on such data. With the help of similar code changes they can simplify the application of bug fixes and code changes to multiple locations in a project. But despite their benefit, the practical value of existing tools is limited, as users need to manually specify the input data, i.e., the groups of similar code changes. To overcome this drawback, this paper presents and evaluates two syntactical similarity metrics, one of them is specifically designed to run fast, in combination with two carefully selected and self-tuning clustering algorithms to automatically detect groups of similar code changes. We evaluate the combinations of metrics and clustering algorithms by applying them to several open source projects and also publish the detected groups of similar code changes online as a reference dataset. The automatically detected groups of similar code changes work well when used as input for LASE, a recommendation system for code changes.

关键词： Computer bugs Measurement Software Clustering algorithms Bars Algorithm design and analysis Context

来源：评论

学校读者我要写书评

暂无评论

Inter-satellite ranging in the Low Earth Orbit

Inter-satellite ranging in the Low Earth Orbit

引用

International Symposium on Communication systems, Networks and Digital Signal Processing, CNSDSP

作者： Mohammad Alawieh Niels Hadaschik Norbert Franke Christopher Mutschler Locating and Communication Systems Dept. Fraunhofer Institute for Integrated Circuits IIS Germany Programming Systems Group Friedrich-Alexander-University Erlangen-Nürnberg (FAU) Germany

ISBN: (纸本)9781509025275

Many satellite systems require knowledge about inter-satellite distances. Inter-satellite links provide direct connectivity between satellites and may be used for ranging, while they remove the need of dedicated hardware. This paper addresses inter-satellite ranging at the Low Earth Orbit (LEO) using S-Band signals. We take the requirements from recent missions and future applications into account and analyze the factors that limit ranging. We show how these factors affect the quality of distance estimation in terms of the Cramér-Rao Lower Bound for ranging. Two-way-ranging (TWR) provides the best accuracy and sustains the low-cost objective of small satellites. We further propose an enhanced TWR message exchange that enables on-the-fly delay calibration and sub-sample corrections. We implemented the transceiver modules on a Software-Defined Radio (SDR) platform and evaluated them with real-world data. The results show that the proposed ranging algorithm achieves an accuracy of few centimeters.

关键词： Distance measurement Satellites Satellite broadcasting Delays Correlation Clocks Calibration

来源：评论

学校读者我要写书评

暂无评论

Low-complexity PDoA-based localization

Low-complexity PDoA-based localization

引用

International Conference on Indoor Positioning and Indoor Navigation (IPIN)

作者： Benjamin Sackenreuter Niels Hadaschik Marc Faßbinder Christopher Mutschler Locating and Comm. Sys. Dept. Fraunhofer Institute for Integrated Circuits IIS Nuremberg Germany Programming Systems Group Friedrich-Alexander-University Erlangen-Nuremberg (FAU) Germany

Localization of wireless nodes within the IoT received much attention lately. However, strong constraints on power consumption, scalability, and complexity of the nodes pose a big challenge for localization techniques. This paper presents a concept for energy-efficient low-complexity localization based on Phase Difference of Arrival (PDoA). Besides a novel method for reference transmitter selection we propose a waveform, well-suited for PDoA measurements, and evaluate its ranging performance. We compare multiple signal classification (MUSIC), linear fitting, and mean phase difference and compare their estimation variance to the Cramer Rao Lower Bound (CRLB). Our system concept allows for the mitigation of near-far effects for reference and tag signals at the receiver nodes, and an efficient implementation of a wideband frequency hopping scheme.

关键词： Signal to noise ratio Logic gates Transmitters Distance measurement Position measurement Phase locked loops

来源：评论

学校读者我要写书评

暂无评论

Demo: Approximative event processing on sensor data streams 9

Demo: Approximative event processing on sensor data streams

引用

9th ACM International Conference on Distributed Event-Based systems, DEBS 2015

作者： Löffler, Christoffer Mutschler, Christopher Philippsen, Michael Fraunhofer Institute for Integrated Circuits IIS Locating and Communication Department Sensor Fusion and Event Processing Group Erlangen Germany Department of Computer Science Programming Systems Group Erlangen Germany

ISBN: (纸本)9781450332866

Event-Based systems (EBS) can efficiently analyze large streams of sensor data in near-realtime. But they struggle with noise or incompleteness that is seen in the unprecedented amount of data generated by the Internet of Things. We present a generic approach that deals with uncertain data in the middleware layer of distributed event-based systems and is hence transparent for developers. Our approach calculates alternative paths to improve the overall result of the data analysis. It dynamically generates, updates, and evaluates Bayesian Networks based on probability measures and rules defined by developers. An evaluation on position data shows that the improved detection rate justifies the computational overhead.

关键词： Bayesian networks

来源：评论

学校读者我要写书评

暂无评论

Ontology-based roles association networks for visualizing trends in political debate 9th

Ontology-based roles association networks for visualizing tr...

引用

9th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2015

作者： Andreasen, Troels Christiansen, Henning Eberholst, Mads Kæmsgaard Research Group PLIS: Programming Logic and Intelligent Systems Roskilde University Roskilde Denmark Department of Communication Business and Information Technologies Research Group: Communication Journalism and Social Change Roskilde University Roskilde Denmark

ISBN: (纸本)9783319255903

Online resources, large data repositories and streaming social network messages embed plenitudes of interesting knowledge, often of associative nature. A specific communicative context, such as the political debate in a given country, has groupings of actors, with changing attitudes and stances towards each other and external, real or invented, threats and opportunities. A new form of associative network is introduced, that integrate flexible ontologies for complex contexts of roles and hierarchies with a labelled association structure representing observed strengths and attitudes. Twitter messages from the political landscape in Denmark up to the general election 2015 are used as a both current and relevant illustrative case. © Springer International Publishing Switzerland 2015.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Using multi level-modeling techniques for managing mapping information

Using multi level-modeling techniques for managing mapping i...

引用

Workshop on Multi-Level Modelling, MULTI 2014, Co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and systems, MoDELS 2014

作者： Al-Hilank, Samir Jung, Martin Kips, Detlef Husemann, Dirk Philippsen, Michael Programming Systems Group Martensstr. 3 Erlangen91058 Germany Develop Group Basys GmbH Am Weichselgarten 4 Erlangen91058 Germany

Traditional modeling approaches support a limited set of instantiation levels (typically one for classes and another adjacent one for objects). Multi-level modeling approaches on the other hand have no such limit to the number of levels. As a consequence, an arbitrary number of levels may be used to define models, and the distinction between class and instance is redefined. The paper summarizes the experience gained from applying multi-level modeling techniques to a real application from the domain of development process improvement (DPI). The underlying case study has been conducted in cooperation with a large automotive supplier. We discuss the pros and cons of using multi-level modeling techniques and propose areas that we think would benefit from further research.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Constraint logic programming for resolution of relative time expressions

引用

10th Conference on Computability in Europe, CiE 2014

作者： Christiansen, Henning Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University Denmark

ISBN: (纸本)9783319080185

Translating time expression into absolute time points or durations is a challenge for natural languages processing such as text mining and text understanding in general. We present a constraint logic language CLP(Time) tailored to text usages concerned with time and calendar. It provides a simple and flexible formalism to express relationships between different time expressions in a text, thereby giving a recipe for resolving them into absolute time. A constraint solver is developed which, as opposed to some earlier approaches, is independent of the order in which temporal information is introduced, and it can give meaningful output also when no exact reference time is available. © 2014 Springer International Publishing.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

Selected challenges of software evolution for automated production systems

Selected challenges of software evolution for automated prod...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： B. Vogel-Heuser S. Feldmann J. Folmer J. Ladiges A. Fay S. Lity M. Tichy M. Kowal I. Schaefer C. Haubeck W. Lamersdorf T. Kehrer S. Getir M. Ulbrich V. Klebanov B. Beckert Institute of Automation and Information Systems Technische Universität München Germany Institute of Software Engineering and Automotive Informatics University of Braunschweig Germany Automation Technology Institute Helmut Schmidt University Germany Distributed Systems and Information Systems Universität Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany Software Engineering Group University of Siegen Germany Software Engineering Division University of Gothenburg Chalmers Sweden Reliable Software Systems University of Stuttgart Germany Application-oriented Formal Verification Karlsruhe Institute of Technology Germany

Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in the domain of automated production systems, i.e. evolution and co-evolution of (interdisciplinary) engineering models and code, quality assurance as well as variant and version management during evolution.

关键词： Software Unified modeling language Automation Hardware Adaptation models Solid modeling Testing

来源：评论

学校读者我要写书评

暂无评论

Querying sentiment development over time

Querying sentiment development over time

引用

10th International Conference on Flexible Query-Answering systems, FQAS 2013

作者： Andreasen, Troels Christiansen, Henning Have, Christian Theil Research Group PLIS: Programming Logic and Intelligent Systems Dept. of Communication Business and Information Technologies Roskilde University Denmark

ISBN: (纸本)9783642407680

A new language is introduced for describing hypotheses about fluctuations of measurable properties in streams of timestamped data, and as prime example, we consider trends of emotions in the constantly flowing stream of Twitter messages. The language, called EmoEpisodes, has a precise semantics that measures how well a hypothesis characterizes a given time interval;the semantics is parameterized so it can be adjusted to different views of the data. EmoEpisodes is extended to a query language with variables standing for unknown topics and emotions, and the query-answering mechanism will return instantiations for topics and emotions as well as time intervals that provide the largest deflections in this measurement. Experiments are performed on a selection of Twitter data to demonstrates the usefulness of the approach. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共12页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：