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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

69 篇 会议
15 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

46 篇 工学
- 41 篇 计算机科学与技术...
- 30 篇 软件工程
- 7 篇 控制科学与工程
- 5 篇 信息与通信工程
- 4 篇 电气工程
- 2 篇 机械工程
- 2 篇 动力工程及工程热...
- 2 篇 建筑学
- 1 篇 力学（可授工学、理...
- 1 篇 仪器科学与技术
- 1 篇 土木工程
- 1 篇 化学工程与技术
- 1 篇 船舶与海洋工程
- 1 篇 生物工程
- 1 篇 安全科学与工程
- 1 篇 网络空间安全
18 篇 理学
- 9 篇 数学
- 4 篇 物理学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 1 篇 化学
- 1 篇 海洋科学
- 1 篇 生物学
14 篇 管理学
- 9 篇 图书情报与档案管...
- 7 篇 管理科学与工程(可...
- 3 篇 工商管理
- 1 篇 公共管理
2 篇 法学
- 2 篇 社会学
- 1 篇 政治学
1 篇 文学
- 1 篇 新闻传播学

主题

8 篇 software enginee...
5 篇 computer archite...
5 篇 semantics
4 篇 task analysis
4 篇 predictive model...
4 篇 software
4 篇 intelligent syst...
3 篇 service oriented...
3 篇 ontologies
3 篇 internet
3 篇 analytical model...
3 篇 humans
3 篇 hardware
3 篇 management of co...
3 篇 data models
3 篇 web services
2 篇 computer science
2 篇 information syst...
2 篇 tuning
2 篇 reliability

机构

16 篇 institute for pr...
15 篇 institute for pr...
8 篇 karlsruhe instit...
6 篇 institute for pr...
3 篇 department of st...
3 篇 institute for pr...
2 篇 department of ma...
2 篇 software enginee...
2 篇 software enginee...
2 篇 mayflower gmbh m...
2 篇 department of co...
2 篇 institute of com...
2 篇 institute for pr...
2 篇 program structur...
2 篇 corporate resear...
2 篇 department of co...
1 篇 computer science...
1 篇 institute of pro...
1 篇 institute for in...
1 篇 chair for public...

作者

9 篇 walter f. tichy
7 篇 tichy walter f.
7 篇 böhm klemens
7 篇 klemens böhm
6 篇 weigelt sebastia...
5 篇 ralf reussner
4 篇 tobias hey
4 篇 hütter christian
4 篇 klemens bohm
4 篇 christian hütter
4 篇 sebastian weigel...
3 篇 wilhelm hasselbr...
3 篇 vanessa steurer
3 篇 birgit vogel-heu...
3 篇 szabó zoltán
3 篇 klein michael
3 篇 reussner ralf
3 篇 kalinke florian
2 篇 piotr rygielski
2 篇 christian von de...

语言

87 篇 英文
1 篇 其他

检索条件"机构=Institute for Program Structures and Data Organization Karlsruhe Institute of Technology"

共 88 条记录，以下是11-20 订阅

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

详细简洁

排序：

View-based and model-driven outage management for the smart grid 11

View-based and model-driven outage management for the smart ...

引用

11th International Workshop on Models at run.time, MRT 2016

作者： Burger, Erik Mittelbach, Victoria Koziolek, Anne Department for Software Design and Quality Karlsruhe Institute of Technology Institute for Program Structures and Data Organization Karlsruhe Germany

The integration of renewable energy resources is challenging the traditional electricity network. To manage this, the smart grid has been defined as a cyber-physical system consisting of a physical component, which is the electricity grid, and a computational component consisting of a communication network, metering network, and software components. Therefore, the smart grid can not just be seen as an electrical grid, but also as a system of software systems. Currently, control centers of the smart grid use an outage management software system to react to reported outages. In this paper, we present an extended outage management system that solves one main problem of the smart grid: software systems of the different domains are using different standards. Consequently, cross-domain data exchange and analysis are difficult. Therefore, we use the model-driven view-based VITRUVIUS approach to build a unified model of the smart grid. We then combine it with system stability analysis methods presented as views on the model. The result is a model-driven run-Time monitoring, analysis and control framework to increase the reliability of power supply. The evaluation with statistical data of the German power grid shows that outage time can be reduced with our approach.

关键词： Smart power grids

来源：评论

学校读者我要写书评

暂无评论

Optimizing code generation from SSA form: A comparison between two formal correctness proofs in Isabelle/HOL

Optimizing code generation from SSA form: A comparison betwe...

引用

Proceedings of the Fourth International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2005)

作者： Blech, Jan Olaf Glesner, Sabine Leitner, Johannes Mülling, Steffen Institute for Program Structures and Data Organization University of Karlsruhe 76128 Karlsruhe Germany

Correctness of compilers is a vital precondition for the correctness of the software translated by them. In this paper, we present two approaches for the formalization of static single assignment (SSA) form together with two corresponding formal proofs in the Isabelle/HOL system, each showing the correctness of code generation. Our comparison between the two proofs shows that it is very important to find adequate formalizations in formal proofs since they can simplify the verification task considerably. Our formal correctness proofs do not only verify the correctness of a certain class of code generation algorithms but also give us sufficient, easily checkable correctness criteria characterizing correct compilation results obtained from implementations (compilers) of these algorithms. These correctness criteria can be used in a compiler result checker. © 2005 Elsevier B.V. All rights reserved.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

Semi-automatic wrapper generation and adaption: Living with heterogeneity in a market environment 4

Semi-automatic wrapper generation and adaption: Living with ...

引用

4th International Conference on Enterprise Information Systems, ICEIS 2002

作者： Christoffel, Michael Schmitt, Bethina Schneider, Jürgen Institute for Program Structures and Data Organization Universität Karlsruhe Karlsruhe Germany

ISBN: (纸本)9729805067

The success of the Internet as a medium for the supply and commerce of various kinds of goods and services leads to a fast growing number of autonomous and heterogeneous providers that offer and sell goods and services electronically. The new market structures have already entered all kinds of markets. Approaches for market infrastructures usually try to cope with the heterogeneity of the providers by special wrapper components, which translate between the native protocols of the providers and the protocol of the market infrastructure. Enforcing a special interface to the provider limits their independence. Moreover, requirements such as a direct access to the internal business logic and databases of the providers or fix templates for internal data structures are not suitable to establish a real open electronic market. A solution is the limitation of the access to the existing Web interface of the provider. This solution keeps the independence of the providers without burdening them additional work. However, for efficiency reasons, it keeps necessary to tailor a wrapper for each provider. What comes more, each change in the provider or its Web representation forces the modification of the existing wrapper or even the development of a new wrapper. In this paper, we present an approach for a wrapper for complex Web interfaces, which can easily be adapted to any provider just by adding a source description file. A tool allows the construction and modification of source descriptions without expert knowledge. Common changes in the Web representation can be detected and comprehended automatically. The presented approach has been applied to the market of scientific literature.

关键词： Open markets Provider integration Web interfaces Wrapper generation

来源：评论

学校读者我要写书评

暂无评论

Paradis-net: A network interface for parallel and distributed applications

Paradis-net: A network interface for parallel and distribute...

引用

Networking - ICN 2005

作者： Malpohl, Guido IsailǍ, Florin Institute for Program Structures and Data Organization University of Karlsruhe 76128 Karlsruhe Germany

This paper describes Paradis-Net, a typed event-driven message-passing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to-peer and client-server architectures through a mechanism called "Cooperation". We introduce the programming interface and compare its mechanisms to active messages and remote procedure calls. Finally we demonstrate how the interface can be used to implement communication patterns typical for distributed systems and how peer-to-peer functionality can be mapped onto Paradis-Net. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Automatic checklist generation for the assessment of UML models

Automatic checklist generation for the assessment of UML mod...

引用

Models in Software Engineering, MODELS 2008

作者： Gelhausen, Tom Landhauber, Mathias Korner, Sven Institute for Program Structures and Data Organization University of Karlsruhe 76131 Karlsruhe Germany

ISBN: (纸本)9783642016479

Assessing numerous models from students in written exams or homework is an exhausting *** present an approach for a fair and transparent assessment of the completeness of models according to a natural language domain description. The assessment is based on checklists generated by the tool Sumo. Sumo directly works on an annotated version of the original exam text, so no 'gold standard' is needed.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics

A Proof Calculus for Natural Semantics Based on Greatest Fix...

引用

Proceedings pf the 3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2004)

作者： Glesner, Sabine Institute for Program Structures and Data Organization University of Karlsruhe 76128 Karlsruhe Germany

Formal semantics of programming languages needs to model the potentially infinite state transition behavior of programs as well as the computation of their final results simultaneously. This requirement is essential in correctness proofs for compilers. We show that a greatest fixed point interpretation of natural semantics is able to model both aspects equally well. Technically, we infer this interpretation of natural semantics based on an easily omprehensible introduction to the dual definition and proof principles of induction and coinduction. Furthermore, we develop a proof calculus based on it and demonstrate its application for two typical problems. © 2005 Elsevier B.V. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

SONAR: Towards user-centric social network analysis and visualization

SONAR: Towards user-centric social network analysis and visu...

引用

2010 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2010

作者： Hütter, Christian Hartmann, Björn-Oliver Böhm, Klemens Heistermann, Till Kohlmeyer, Kevin-Simon Reckling, Reno Reiche, Martin Parra, David Soria Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany MAYFLOWER GmbH München Germany

ISBN: (纸本)9780769541914

Social network analysis (SNA) has attracted a lot of attention over the past years. Existing tools for SNA do not allow a user-centric analysis of the social neighborhood, i.e., the subgraph of the user's friends and friends of a friend. In this paper, we introduce SONAR, an open source Web application for user-centric SNA. Its extensible architecture and flexible data model allows developers to embed SONAR directly into social networking websites. A performance evaluation shows that our application scales well with the number of users and adds only minimal overhead to the SNA algorithms. © 2010 IEEE.

关键词： Social networking (online)

来源：评论

学校读者我要写书评

暂无评论

Hybrid online autotuning for parallel ray tracing

Hybrid online autotuning for parallel ray tracing

引用

19th Eurographics Symposium on Parallel Graphics and Visualization, EGPGV 2019

作者： Herveau, K. Pfaffe, P. Tillmann, M. Tichy, W.F. Dachsbacher, C. Computer Graphics Group Karlsruhe Institute of Technology Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany

ISBN: (纸本)9783038680796

Acceleration structures are key to high performance parallel ray tracing. Maximizing performance requires configuring the degrees of freedom (e.g., construction parameters) these data structures expose. Whether a parameter setting is optimal depends on the input (e.g., the scene and view parameters) and hardware. Manual selection is tedious, error prone, and is not portable. To automate the parameter selection task we use a hybrid of model-based prediction and online autotuning. The combination benefits from the best of both worlds: One-shot configuration selection when inputs are known or similar, effective exploration of the configuration space otherwise. Online tuning additionally serves to train the model on real inputs without requiring a-priori training samples. Online autotuning outperforms best-practice configurations recommended by the literature, by up to 11% median. The model predictions achieve 95% of the online autotuning performance while reducing 90% of the autotuner overhead. Hybrid online autotuning thus enables always-on tuning of parallel ray tracing. © 2019 Eurographics Association. All rights reserved.

关键词： Ray tracing

来源：评论

学校读者我要写书评

暂无评论

The Minimax Rate of HSIC Estimation for Translation-Invariant Kernels 38

The Minimax Rate of HSIC Estimation for Translation-Invarian...

引用

38th Conference on Neural Information Processing Systems, NeurIPS 2024

作者： Kalinke, Florian Szabó, Zoltán Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany Department of Statistics London School of Economics London United Kingdom

Kernel techniques are among the most influential approaches in data science and statistics. Under mild conditions, the reproducing kernel Hilbert space associated to a kernel is capable of encoding the independence of M ≥ 2 random variables. Probably the most widespread independence measure relying on kernels is the so-called Hilbert-Schmidt independence criterion (HSIC;also referred to as distance covariance in the statistics literature). Despite various existing HSIC estimators designed since its introduction close to two decades ago, the fundamental question of the rate at which HSIC can be estimated is still open. In this work, we prove that the minimax optimal rate of HSIC estimation on Rd for Borel measures containing the Gaussians with continuous bounded translation-invariant characteristic kernels is (Equation Presented). Specifically, our result implies the optimality in the minimax sense of many of the most-frequently used estimators (including the U-statistic, the V-statistic, and the Nyström-based one) on Rd © 2024 Neural information processing systems foundation. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Difference-based conformance checking for Ecore metamodels

Difference-based conformance checking for Ecore metamodels

引用

Modellierung 2014

作者： Burger, Erik Toshovski, Aleksandar Institute for Programme Structures and Data Organization Karlsruhe Institute of Technology Am Fasanengarten 5 Karlsruhe76131 Germany

ISBN: (纸本)9783885796190

During modern model-driven development processes, generators and higherorder transformations are used to create metamodels with short life cycles. Since these metamodels often differ from each other only in small parts, instances as well as metamodels may be re-used if the difference between them does not lead to a violation of instance conformance. Existing co-evolution approaches describe this conformance based on change operators to a metamodel. Thus, they require that changes to the metamodels are carried out using special editors. To use this conformance for arbitrarily generated metamodels, we present a conformance validator for Ecore metamodels that is based on difference-based analysis. The validator has been implemented as a plug-in for the Eclipse framework. We demonstrate the completeness of our approach by covering state-of-the-art co-evolution change operators.

关键词： Abiotic

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：