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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

80 篇 会议
9 册 图书
1 篇 期刊文献

馆藏范围

89 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

52 篇 工学
- 47 篇 计算机科学与技术...
- 22 篇 软件工程
- 6 篇 信息与通信工程
- 4 篇 电气工程
- 3 篇 控制科学与工程
- 3 篇 化学工程与技术
- 3 篇 安全科学与工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 城乡规划学
- 1 篇 网络空间安全
25 篇 理学
- 16 篇 数学
- 8 篇 物理学
- 3 篇 化学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 生物学
11 篇 管理学
- 7 篇 图书情报与档案管...
- 4 篇 工商管理
- 3 篇 管理科学与工程(可...
- 1 篇 公共管理
7 篇 法学
- 7 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 文学
- 1 篇 新闻传播学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 护理学（可授医学、...

主题

4 篇 computer communi...
4 篇 discrete mathema...
4 篇 graph theory
4 篇 artificial intel...
3 篇 theory of comput...
3 篇 software enginee...
3 篇 software enginee...
3 篇 reliability theo...
3 篇 database managem...
3 篇 computers
3 篇 algorithm analys...
2 篇 data storage rep...
2 篇 approximation al...
2 篇 quantum theory
2 篇 information stor...
1 篇 surveys
1 篇 position automat...
1 篇 public policy
1 篇 group theory
1 篇 计算理论

机构

2 篇 department of co...
2 篇 department of in...
1 篇 department for l...
1 篇 national institu...
1 篇 department of so...
1 篇 institute of inf...
1 篇 faculty of infor...
1 篇 boise state univ...
1 篇 school of applie...
1 篇 certicon shareho...
1 篇 institute of inf...
1 篇 cril-cnrs univer...
1 篇 school of naval ...
1 篇 us ctr dis contr...
1 篇 auburn universit...
1 篇 faculty of medic...
1 篇 cornell universi...
1 篇 uppsala universi...
1 篇 dept. of digital...
1 篇 school of inform...

作者

3 篇 šimko marián
2 篇 kutrib martin
2 篇 leszek pacholski
2 篇 löwe jan-thomas
1 篇 ronquillo charle...
1 篇 ferreira p.
1 篇 afsarmanesh hami...
1 篇 beňňušková ľubic...
1 篇 maynard sean b.
1 篇 wielemaker jan
1 篇 cunha luis filip...
1 篇 lynce inês
1 篇 geusebroek jan-m...
1 篇 demange marc
1 篇 frans c. a. groe...
1 篇 coconea l.
1 篇 peter ružička (e...
1 篇 anna vasilaki
1 篇 albertas caplins...
1 篇 th. paschos vang...

语言

89 篇 英文
1 篇 中文

检索条件"任意字段=26th Conference on Current Trends in Theory and Practice of Informatics"

共 90 条记录，以下是1-10 订阅

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

详细简洁

排序：

Sofsem'99 : theory and practice of informatics : 26th conference on current trends in theory and practice of informatics, Milovy, Czech Republic, November 27-December 4, 1999 : Proceedings

引用

2016年

作者： jan pavelka

Sofsem'99 : theory and practice of informatics : 26th conference on current trends in theory and practice of informatics, Milovy, Czech Republic, November 27-December 4, 1999 : Proceedings by Sofsem (1999 : Milovy, Czech Republic); Pavelka, Jan, 1948-; Tel, Gerard; Bartošek, Miroslav; published by Berlin ; New York : Springer

关键词： 27-december computer software computers conference current practice theory

来源：评论

学校读者我要写书评

暂无评论

Unlocking Enterprise Value: A Comprehensive Review of ArchiMate's Value Modelling Landscape and Stakeholder Perspectives 26

Unlocking Enterprise Value: A Comprehensive Review of ArchiM...

引用

26th International conference on Business informatics

作者： Shankaravelu, Karthickeshwar Wu, Hao Helfert, Markus Maynooth Univ Sch Business Maynooth Kildare Ireland Maynooth Univ Dept Comp Sci Maynooth Kildare Ireland Maynooth Univ Innovat Value Inst Maynooth Kildare Ireland

ISBN: (纸本)9798331529109;9798331529093

there are many attempts to perceive and represent value creation which spans across disciplines. Modelling gives a detailed insight into the areas of value creation and practical applicability in testing its validity. ArchiMate, an internationally recognised standard language for enterprise architecture modelling, offers a structured approach to represent and analyse value within the context of enterprise architecture. Although being predominantly used as an enterprise language and framework, ArchiMate still faces deficiencies in representing the value aspects. through a comprehensive review of existing literature, this review identifies key challenges, issues, and opportunities in value modelling practices within ArchiMate. the paper aims to improve the value-centric enterprise modelling practice and contributes to ArchiMate's value representations.

关键词： ArchiMate stakeholder theory value review stakeholder value value modeling enterprise architecture

来源：评论

学校读者我要写书评

暂无评论

A theory-Based Concept for Fostering Sustainability Competencies in Engineering Programs 26th

A Theory-Based Concept for Fostering Sustainability Competen...

引用

26th International conference on Interactive Collaborative Learning (ICL) - Towards a Hybrid, Flexible and Socially Engaged Higher Education / 52nd IGIP International conference on Engineering Pedagogy

作者： Block, Brit-Maren Guerne, Marie Gillian Leuphana Univ Univ Allee 1 D-21335 Luneburg Germany

ISBN: (纸本)9783031530210;9783031530227

the paper dealswith the importance of education and awareness raising in the context of sustainability, especially in relation to the role of engineering in solving current problems such as population growth, global inequality and climate change. Education for sustainable development plays a key role in promoting sustainable thinking in society and that universities and higher education institutions are fundamental institutions to achieve the SDGs. therefore, linking technical and sustainability-oriented topics in the curriculum is essential to prepare future engineers for their role as change agents. Within the framework of a design-based research approach, the aim of this paper is to provide a best practice example of an innovative teaching concept that closes this gap and presents a theory-based teaching example for sustainable engineering education. Central questions are, on the one hand, to what extent sustainability topics are currently anchored in engineering courses in Germany. In addition, the question is addressed as to what a subject didactic concept in the engineering sciences can look like under the current conditions that takes up sustainability topics and stimulates an increase in the ecological and sustainable awareness of students. the article gives an overview of the structure and the most important components of the module. the insights gained are intended to contribute to the evidence-based implementation of sustainability in engineering and thus fill a gap in engineering teaching practice and engineering education research.

关键词： Engineering Education Research Sustainable Engineering Education Education for Sustainable Development

来源：评论

学校读者我要写书评

暂无评论

26th International conference on Principles of Distributed Systems, OPODIS 2022

26th International Conference on Principles of Distributed S...

引用

26th International conference on Principles of Distributed Systems, OPODIS 2022

ISBN: (纸本)9783959772655

the proceedings contain 25 papers. the topics discussed include: front matter, table of contents, preface, conference organization;theory meets practice in the Algorand blockchain;recoverable computing;realistic self-stabilization;efficient wait-free queue algorithms with multiple enqueuers and multiple dequeuers;EEMARQ: efficient lock-free range queries with memory reclamation;the step complexity of multidimensional approximate agreement;robust and fast blockchain state synchronization;a privacy-preserving and transparent certification system for digital credentials;when is spring coming? a security analysis of avalanche consensus;and computational power of a single oblivious mobile agent in two-edge-connected graphs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

12th International conference on Distributed, Ambient and Pervasive Interactions, DAPI 2024, held as part of the 26th HCI International conference, HCII 2024

12th International Conference on Distributed, Ambient and Pe...

引用

12th International conference on Distributed, Ambient and Pervasive Interactions, DAPI 2024, held as part of the 26th HCI International conference, HCII 2024

ISBN: (纸本)9783031599873

the proceedings contain 50 papers. the special focus in this conference is on Distributed, Ambient and Pervasive Interactions. the topics include: Exploring Spatial Relation Awareness through Virtual Indoor Environments;conversing with Our Cars and the Drive for More Aware Experiences, Applying Ambient theory to Mobile Design;utilizing Data Spectrum to Promote Data Interoperability Across Industries and Countries;Building a Sustainable Local Community through Collaborative Creation Between Global Talents and Local Residents: A Model of Human Network Transformation in the INOW and Its Impacts;user-Centred Repair: From current practices to Future Design;balancing Excitement and Environmental Conservation in Information Dissemination for Safari Game Drives;enhancing Inclusiveness with Digital Technologies: A Case Study Combining Digital Participation Platforms with Living Lab Programs;an Exploratory Study of Artificial Intelligence Technology in Game Design for a New Interpretation of Historical Events;research on Interaction Design of Smart Scenic Spots Based on User Needs;factors Influencing Continuance Usage of Smart City Apps: A Mixed Study Based on Behavioral Reasoning theory;policy Research in the Metaverse Technologies Enabled Publishing Industry in China (2016–2023);use of Service Design Pattern Language to Support Learning and practice in Design Project;a Study on the Determinants of User Continuance Intention in Social Media Intelligent Recommendation Systems from the Perspective of Information Ecology;exploring the Motivation of Living Lab Participants for Continuous Co-creation;foreword;preface;the Impact of Road and Urban Infrastructure Variances on Electric Kick Scooter Travel;factors Influencing Data Completeness in Electronic Records: A Case Study in a Chinese Manufacturing Enterprise.

关键词：

来源：评论

学校读者我要写书评

暂无评论

12th International conference on Distributed, Ambient and Pervasive Interactions, DAPI 2024, held as part of the 26th HCI International conference, HCII 2024

12th International Conference on Distributed, Ambient and Pe...

引用

12th International conference on Distributed, Ambient and Pervasive Interactions, DAPI 2024, held as part of the 26th HCI International conference, HCII 2024

ISBN: (纸本)9783031600111

关键词：

来源：评论

学校读者我要写书评

暂无评论

48th International conference on current trends in theory and practice of Computer Science, SOFSEM 2023

48th International Conference on Current Trends in Theory an...

引用

48th International conference on current trends in theory and practice of Computer Science, SOFSEM 2023

ISBN: (纸本)9783031231001

the proceedings contain 26 papers. the special focus in this conference is on current trends in theory and practice of Computer Science. the topics include: Learning through Imitation by Using Formal Verification;quantum Complexity for Vector Domination Problem;A Faster Algorithm for Determining the Linear Feasibility of Systems of BTVPI Constraints;lower Bounds for Monotone q-Multilinear Boolean Circuits;a Spectral Algorithm for Finding Maximum Cliques in Dense Random Intersection Graphs;multi-Parameter Analysis of Finding Minors and Subgraphs in Edge-Periodic Temporal Graphs;payment Scheduling in the Interval Debt Model;introduction to Routing Problems with Mandatory Transitions;on the Preservation of Properties When Changing Communication Models;sequentially Swapping Tokens: Further on Graph Classes;on the 2-Layer Window Width Minimization Problem;on the Complexity of Scheduling Problems with a Fixed Number of Parallel Identical Machines;balanced Substructures in Bicolored Graphs;on the Parameterized Complexity of s-club Cluster Deletion Problems;heuristics for Opinion Diffusion via Local Elections;the Complexity of Finding Tangles;preface;parameterized Approaches to Orthogonal Compaction;hardness of Bounding Influence via Graph Modification;visualizing Multispecies Coalescent Trees: Drawing Gene Trees Inside Species Trees;morphing Planar Graph Drawings through 3D;Dominance Drawings for DAGs with Bounded Modular Width;more Effort Towards Multiagent Knapsack;solving Cut-Problems in Quadratic Time for Graphs with Bounded Treewidth.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Sufficient Conditions for Polynomial-Time Detection of Induced Minors 50th

Sufficient Conditions for Polynomial-Time Detection of Ind...

引用

50th International conference on current trends in theory and practice of Computer Science, SOFSEM 2025

作者： Dallard, Clément Dumas, Maël Hilaire, Claire Perez, Anthony Department of Informatics University of Fribourg Fribourg Switzerland Institute of Informatics University of Warsaw Warsaw Poland FAMNIT and IAM University of Primorska Koper Slovenia Université d’Orléans INSA CVL LIFO UR 4022 Orléans France

ISBN: (纸本)9783031826696

the H-Induced Minor Containment problem (H-IMC) consists in deciding if a fixed graph H is an induced minor of a graph G given as input, that is, whether H can be obtained from G by deleting vertices and contracting edges. Several graphs H are known for which H-IMC is NP-complete, even when H is a tree. In this paper, we investigate which conditions on H and G are sufficient so that the problem becomes polynomial-time solvable. Our results identify three infinite classes of graphs such that, if H belongs to one of these classes, then H-IMC can be solved in polynomial time. Moreover, we show that if the input graph G excludes long induced paths, then H-IMC is polynomial-time solvable for any fixed graph H. As a byproduct of our results, this implies that H-IMC is polynomial-time solvable for all graphs H with at most 5 vertices, except for three open cases. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

Packed Acyclic Deterministic Finite Automata 50th

Packed Acyclic Deterministic Finite Automata

引用

50th International conference on current trends in theory and practice of Computer Science, SOFSEM 2025

作者： Shibata, Hiroki Ishihata, Masakazu Inenaga, Shunsuke Joint Graduate School of Mathematics for Innovation Kyushu University Fukuoka Japan NTT Communication Science Laboratories Tokyo Japan Department of Informatics Kyushu University Fukuoka Japan

ISBN: (纸本)9783031826962

An acyclic deterministic finite automaton (ADFA) is a data structure that represents a set of strings (i.e., a dictionary) and facilitates a pattern-searching problem of determining whether a given pattern string is present in the dictionary. We introduce the packed ADFA (PADFA), a compact variant of ADFA designed to achieve more efficient pattern searching by encoding specific paths as packed strings stored in contiguous memory. We theoretically demonstrate that pattern searching in PADFA is near time-optimal with a small additional overhead and becomes fully time-optimal for sufficiently long patterns. Moreover, we prove that a PADFA requires fewer bits than a trie when the dictionary size is relatively smaller than the number of states in the PADFA. Lastly, we empirically show that PADFAs improve both the space and time efficiency of pattern searching on real-world datasets. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Finite automata

来源：评论

学校读者我要写书评

暂无评论

Maximal α-Gapped Repeats in a Fibonacci String 50th

Maximal α-Gapped Repeats in a Fibonacci String

引用

50th International conference on current trends in theory and practice of Computer Science, SOFSEM 2025

作者： Yamane, Kazuma Nakashima, Yuto Seto, Kazuhisa Horiyama, Takashi Graduate School of Information Science and Technology Hokkaido University Sapporo Japan Department of Informatics Kyushu University Fukuoka Japan Faculty of Information Science and Technology Hokkaido University Sapporo Japan

ISBN: (纸本)9783031826962

A gapped repeat is a substring of the form uvu where u is any nonempty string called arm, and v is any string called gap. A gapped repeat is maximal if the characters on the left to both arms differ and those on the right to both arms differ. For any real number α≥1, an α-gapped repeat is a gapped repeat such that |u|+|v|≤α|u|. One of the fundamental problems for repetitive structures on strings is analyzing the number of substrings that have such structures in a string. Kolpakov et al. [CPM 2014] showed that O(α2n) upper bound and Ω(αn) lower bound on the maximum number of maximal α-gapped repeats in a string of length n, and the current best upper bound is 3(π2/6+5/2)αn by I and Köppl [TCS 2019]. Another interesting problem in this line of research is revealing the structures in well-known repetitive strings. In this paper, we investigate the maximal α-gapped repeats in a Fibonacci string. We show an interesting characterization of the form of an arm. More precisely, there are two possible cases in the form of an arm: Fibonacci arms and palindromic arms. By using these structures, we can obtain an upper bound of the maximum number of maximal α-gapped repeats in the k-th Fibonacci string. We can also show that the Fibonacci strings are a new example that contains Ω(αn) maximal α-gapped repeats. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： String theory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：