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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

246 篇 会议
89 篇 期刊文献
13 册 图书

馆藏范围

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

日期分布

学科分类号

214 篇 工学
- 171 篇 计算机科学与技术...
- 141 篇 软件工程
- 26 篇 信息与通信工程
- 22 篇 控制科学与工程
- 15 篇 土木工程
- 15 篇 生物工程
- 11 篇 电气工程
- 11 篇 船舶与海洋工程
- 10 篇 机械工程
- 10 篇 建筑学
- 10 篇 生物医学工程（可授...
- 9 篇 电子科学与技术（可...
- 8 篇 网络空间安全
- 7 篇 材料科学与工程（可...
- 5 篇 光学工程
117 篇 理学
- 61 篇 数学
- 24 篇 物理学
- 19 篇 生物学
- 15 篇 系统科学
- 15 篇 统计学（可授理学、...
- 8 篇 海洋科学
- 6 篇 化学
60 篇 管理学
- 38 篇 管理科学与工程(可...
- 21 篇 图书情报与档案管...
- 20 篇 工商管理
10 篇 经济学
- 10 篇 应用经济学
9 篇 医学
- 8 篇 临床医学
- 7 篇 基础医学(可授医学...
8 篇 教育学
- 8 篇 教育学
7 篇 农学
- 6 篇 作物学
4 篇 法学
2 篇 文学
1 篇 哲学
1 篇 军事学

主题

16 篇 artificial intel...
8 篇 semantics
8 篇 information stor...
7 篇 monitoring
6 篇 information syst...
6 篇 forecasting
6 篇 data models
5 篇 computer science
5 篇 software enginee...
5 篇 predictive model...
5 篇 middleware
5 篇 data structures
5 篇 software
5 篇 standards
4 篇 application soft...
4 篇 model checking
4 篇 supercomputers
4 篇 electronic mail
4 篇 neural networks
4 篇 information tech...

机构

11 篇 department of sy...
10 篇 technical univer...
7 篇 department of pr...
6 篇 department of co...
6 篇 department of co...
6 篇 computer enginee...
6 篇 computer techniq...
5 篇 department of co...
5 篇 department of el...
5 篇 department of pr...
5 篇 technical univer...
5 篇 department of co...
5 篇 department of co...
4 篇 school of electr...
4 篇 department of co...
4 篇 department of co...
4 篇 department of pr...
4 篇 computer enginee...
4 篇 tashkent univers...
4 篇 institute for so...

作者

32 篇 steffen bernhard
23 篇 margaria tiziana
11 篇 gancheva veska
8 篇 mostafa abotaleb
8 篇 christiansen hen...
8 篇 abdelhameed ibra...
7 篇 howar falk
7 篇 veska gancheva
7 篇 philippsen micha...
7 篇 zimborás zoltán
6 篇 michael philipps...
6 篇 rakyta péter
6 篇 morse gregory
5 篇 el-sayed m.el-ke...
5 篇 abdelaziz a.abde...
5 篇 merten maik
5 篇 lamprecht anna-l...
5 篇 koller alexander
5 篇 naujokat stefan
5 篇 doaa sami khafag...

语言

340 篇 英文
4 篇 其他
3 篇 德文
1 篇 法文

检索条件"机构=Department for Programming Systems"

共 348 条记录，以下是91-100 订阅

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

详细简洁

排序：

Structure theory of Petri nets

Structure theory of Petri nets

引用

5th International Summer School "Advanced Course on Petri Nets"

作者： Best, Eike Wimmel, Harro Parallel Systems Department of Computing Science Carl Von Ossietzky Universität Oldenburg D-26111 Oldenburg Germany Theory of Programming Languages and Programming Institut für Informatik Universität Rostock Albert-Einstein-Straße 22 D-18059 Rostock Germany

ISBN: (纸本)9783642381423

The aim of this tutorial is to give a concise, but nonetheless not too narrow, overview of definitions and results pertaining centrally to Petri net structure theory. The Petri net model considered in these notes are the classical place/transition nets, as they have been defined in the First Advanced Course held in 1979 and originate back to the late Sixties. Structure theory asks what behavioural properties of a Petri net can be derived from its structural properties. Other aspects of Petri nets are neglected to a large extent in the present notes, such as various extensions and generalisations of central notions and results, as well as almost all algorithmic and complexity-theoretic consequences that accompany the structure-theoretic results. Because full proofs can easily be retrieved from the literature, they are not given, unless they are small and perhaps somewhat characteristic for Petri net oriented reasoning. Proof ideas are often sketched, however, and the sharpness of various results is accentuated by means of examples and counterexamples. A list for further reading is also provided. © Springer-Verlag 2013.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Self-management in a control architecture for parallel kinematic robots

Self-management in a control architecture for parallel kinem...

引用

2008 ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC 2008

作者： Maaß, Jochen Steiner, Jens Amado, Ana Michaela, Huhn Raatz, Annika Hesselbach, Jurgen Institute for Machine Tools and Production Technology Department of Mechanical Engineering TU Braunschweig 38106 Braunschweig Germany Institute for Programming and Reactive Systems Department of Computer Science TU Braunschweig 38106 Braunschweig Germany

ISBN: (纸本)9780791843253

Maintainability, extendibility and reusability of components in the design of robot control architectures is a major challenge. Parallel kinematic robots feature a wide variety of structures and applications. They are subject to easy reconfiguration because of the passive structure limbs. This class of robots requires more extensive calculations in their control laws than serial manipulators. During complex motion tasks, such as the ones required in assembly sequences, the algorithmic load may also vary over time. However, no generic control approach exists in order to reduce the complexity of control design for these kind of robots. In this paper the authors introduce an architecture for handling and assembly applications featuring self-management techniques as an approach to tackle these problems. The existing architecture features a modular and layered design. Concepts of self-management and self-optimization applied to this architecture are outlined. These properties are realized by the integration of self-managers within crucial system components. The mechanisms are extended for a future distributed version of the architecture. Real-time properties are guaranteed by an online formal analysis that verifies planned adaptations before realizing them. Copyright © 2008 by ASME.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Analysis of Trade-Offs Between Accuracy And Speed of Real-Time Object Detectors for the Tasks of Explosive Ordnance Detection 5

Analysis of Trade-Offs Between Accuracy And Speed of Real-Ti...

引用

5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024

作者： Mishchuk, Vadym Podorozhniak, Andrii Department of Computer Systems Networks and Cybersecurity National Aerospace University "Kharkiv Aviation Institute" Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine

ISBN: (纸本)9798350384499

This paper investigates the performance trade-offs between accuracy and inference time in real-time object detection models, particularly for detecting landmines and unexploded ordnance (UXO). Using subsets from the COCO validation dataset, the models' performance is evaluated across various input resolutions. Object detection has seen substantial advancements over the past few decades, propelled by deep learning and enhanced computational resources. However, the balance between accuracy and inference time differs among models and configurations, requiring detailed evaluation to identify the optimal solution for specific applications like landmine and UXO detection. This balance is critical for autonomous robotic systems, where swift and accurate decision-making is imperative. ©2024 IEEE.

关键词： Landmine detection

来源：评论

学校读者我要写书评

暂无评论

LearnLib: A library for automata learning and experimentation

LearnLib: A library for automata learning and experimentatio...

引用

FMICS'05 - 10th International Workshop on Formal Methods for Industrial Critical systems

作者： Raffelt, Harald Steffen, Bernhard Berg, Therese University of Dortmund Chair of Programming Systems Baroper Str. 301 44227 Dortmund Germany Department of Information Technology Uppsala University S-751 05 Uppsala Sweden

ISBN: (纸本)1595931481

In this paper we present the LearnLib, a library for automata learning and experimentation. Its modular structure allows users to configure their tailored learning scenarios, which exploit specific properties of the envisioned applications. As has been shown earlier, exploiting application-specific structural features enables optimizations that may lead to performance gains of several orders of magnitude, a necessary precondition to make automata learning applicable to realistic scenarios. Copyright 2005 ACM.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Reliable speculative processing of out-of-order event streams in generic publish/subscribe middlewares 13

Reliable speculative processing of out-of-order event stream...

引用

7th ACM International Conference on Distributed Event-Based systems, DEBS 2013

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

ISBN: (纸本)9781450317580

In surveillance, sports, finances, etc., distributed event-based systems are used to detect meaningful events with low latency in high data rate event streams. Both known approaches to deal with the predominant out-of-order event arrival at the distributed detectors have their shortcomings: buffering approaches introduce latencies for event ordering and stream revision approaches may result in system overloads due to unbounded retraction cascades. This paper presents a speculative processing technique for out-of-order event streams that enhances typical buffering approaches. In contrast to other stream revision approaches our novel technique encapsulates the event detector, uses the buffering technique to delay events but also speculatively processes a portion of it, and adapts the degree of speculation at runtime to fit the available system resources so that detection latency becomes minimal. Our technique outperforms known approaches on both synthetical data and real sensor data from a Realtime Locating System (RTLS) with several thousands of out-of-order sensor events per second. Speculative buffering exploits system resources and reduces latency by 40% on average. Copyright © 2013 ACM.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Synthesis-based variability control: Correctness by construction

Synthesis-based variability control: Correctness by construc...

引用

10th International Symposium on Formal Methods for Components and Objects, FMCO 2011

作者： Lamprecht, Anna-Lena Margaria, Tiziana Schaefer, Ina Steffen, Bernhard Department for Service and Software Engineering University of Potsdam Germany Institut für Softwaretechnik und Fahrzeuginformatik Technische Universität Braunschweig Germany Department for Programming Systems Technical University Dortmund Germany

ISBN: (纸本)9783642358869

In this paper, we show the power of combining modern synthesis technology with a constraint-oriented approach to variability modeling. This combination guarantees the validity of all the required properties simply by construction: including a new property simply requires adding a corresponding constraint. The synthesis procedure will then automatically take care that all generated variants are property-conform. This fully declarative approach leads to a very agile variability modeling framework, where new product lines guaranteeing new properties can be defined ad hoc and are, due to our synthesis technology, immediately operational. As the underlying constraint language allows fully describing the intended solution space without imposing any overspecification, neither on the structure, nor on the artifacts, our approach may in particular be regarded as a step from the today typical settings with closed-world assumption to one with an open-world assumption. Impact and ease of this method are illustrated along a small case study running on our prototypical framework implementation. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Modified asymptotic method of studying the mathematical model of nonlinear oscillations under the impact of a moving environment 14th

Modified asymptotic method of studying the mathematical mode...

引用

14th International Scientific and Technical Conference on Computer Science and Information Technologies, CSIT 2019

作者： Pukach, Petro Il’kiv, Volodymyr Nytrebych, Zinovii Vovk, Myroslava Pukach, Pavlo Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine Department of Mathematics Lviv Polytechnic National University Lviv Ukraine Department of Artificial Intelligence Systems Lviv Polytechnic National University Lviv Ukraine

ISBN: (纸本)9783030336943

Wave theory of movement is used to study the mathematical model of a physical system which describes oscillations of a one-dimensional elastic body under the impact of a moving continuous flow of a homogeneous environment. This model accounts for nonlinear elastic properties of the body at transverse oscillations, as well as environment density and movement velocity. Oscillation amplitude and frequency variation laws in nonresonant modes and under the impact of harmonic perturbation are obtained. Variation laws of the aforesaid parameters are defined by geometrical characteristics of the elastic body, physical and mechanical properties of the material, the velocity of the moving environment, the angular velocity of elastic body rotation, and external factors. © Springer Nature Switzerland AG 2020.

关键词： Elasticity

来源：评论

学校读者我要写书评

暂无评论

An Approach to Investigating Plagiarism in Artificial Intelligence Content 12

An Approach to Investigating Plagiarism in Artificial Intell...

引用

12th International Scientific Conference on Computer Science, COMSCI 2024

作者： Minkovska, Daniela Veleva Antonova, Elena Ventseslavova Koparanov, Kiril Andreev Nakov, Plamen Ognyanov Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria Technical University of Sofia Faculty of Computer Systems and Technologies Department of Computer Systems 8 Kliment Ohridski blvd. Sofia1000 Bulgaria

ISBN: (纸本)9798350392166

A growing number of human-centric tasks like learning, planning, and creative writing require the integration of Artificial Intelligence (AI) in the current era of exponential advancements. Such systems collect and analyze data on their own making the best use of available resources and providing creative solutions for challenging issues. The impact of AI on productivity, data analysis, flexibility, and real-time decision- making in a variety of fields is examined in this paper. Focusing on academic settings, the paper considers ethical concerns surrounding AI-generated content. According to a survey, even though many students use ChatGPT for writing and research, worries about academic integrity and plagiarism still exist. © 2024 IEEE.

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

Machine learning methods as a tool for diagnostic and prognostic research in cardiovascular disease

Machine learning methods as a tool for diagnostic and progno...

引用

2021 International Conference on Information Science and Communications Technologies, ICISCT 2021

作者： Khidirova, Charos Sadikova, Shakhnoza Mukhsinov, Shamil Nashvandova, Gulrukhsor Mirzaeva, Sarvinoz Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Department of System and Applied Programming Tashkent Uzbekistan Tashkent State Technical University Department of Information Processing and Control Systems Tashkent Uzbekistan

ISBN: (纸本)9781665432580

Machine learning (ML) methods are the main tool of artificial intelligence, the use of which makes it possible to automate the processing and analysis of big data, to reveal hidden or non-obvious patterns on this basis, and to extract new knowledge. The review presents an analysis of scientific literature on the use of ML methods for diagnosing and predicting the clinical course of coronary heart disease. Provides information on reference databases, the use of which allows you to develop models and validate them (European ST-T Database, Cleveland Heart Disease database, Multi-Ethnic Study of Atherosclerosis, etc.). The advantages and disadvantages of individual ML methods (logistic regression, support vector machines, decision trees, naive Bayesian classifier, k-nearest neighbors) for the development of diagnostic and predictive algorithms are shown. The most promising ML methods include deep learning, which is implemented using multilayer artificial neural networks. It is assumed that the improvement of models based on ML methods and their introduction into clinical practice will help support medical decision-making, improve the effectiveness of treatment and optimize health care costs. © 2021 IEEE.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Strict bidirectional type checking

Strict bidirectional type checking

引用

TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation

作者： Chlipala, Adam Petersen, Leaf Harper, Robert Computer Science Division University of California Berkeley United States Programming Systems Laboratory Intel Corporation United States Computer Science Department Carnegie Mellon University United States

ISBN: (纸本)1581139993

Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, the completely annotated forms are almost never used in practice, since partially annotated forms can be defined which still allow syntax directed type checking. An additional optimization that is used in some proof and type systems is to take advantage of the context of occurrence of terms to further elide type information using bidirectional type checking rules. While this technique is generally effective, we show that there exist bidirectional terms which exhibit asymptotic increases in the size of their type decorations when sequentialized into a named-form calculus (a common first step in compilation). In this paper, we introduce a refinement of the bidirectional type system based on strict logic which allows additional type decorations to be eliminated, and show that it is well-behaved under sequentialization. Copyright 2005 ACM.

关键词： Information theory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共35页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：