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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

154 篇 会议
34 册 图书
17 篇 期刊文献

馆藏范围

203 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

145 篇 工学
- 139 篇 计算机科学与技术...
- 94 篇 软件工程
- 15 篇 电气工程
- 14 篇 信息与通信工程
- 8 篇 控制科学与工程
- 4 篇 化学工程与技术
- 3 篇 土木工程
- 2 篇 力学（可授工学、理...
- 2 篇 农业工程
- 2 篇 生物医学工程（可授...
- 1 篇 电子科学与技术（可...
- 1 篇 建筑学
- 1 篇 测绘科学与技术
- 1 篇 城乡规划学
- 1 篇 生物工程
- 1 篇 网络空间安全
62 篇 理学
- 59 篇 数学
- 5 篇 化学
- 5 篇 统计学（可授理学、...
- 4 篇 生物学
- 3 篇 物理学
- 3 篇 系统科学
- 1 篇 大气科学
12 篇 管理学
- 12 篇 图书情报与档案管...
2 篇 农学
- 2 篇 作物学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 文学
- 1 篇 新闻传播学
1 篇 医学
- 1 篇 基础医学(可授医学...

主题

19 篇 software enginee...
15 篇 theory of comput...
13 篇 logics and meani...
11 篇 mathematical log...
10 篇 programming lang...
10 篇 artificial intel...
10 篇 computation by a...
9 篇 software enginee...
9 篇 algorithm analys...
9 篇 computer softwar...
7 篇 system analysis
6 篇 semantics
6 篇 data structures
5 篇 model checking
5 篇 computer system ...
5 篇 discrete mathema...
5 篇 programming tech...
5 篇 mathematics of c...
4 篇 specifications
4 篇 data structures ...

机构

4 篇 max planck inst ...
4 篇 chinese acad sci...
3 篇 max planck inst ...
3 篇 nanjing univ sta...
3 篇 university of ox...
3 篇 tech univ dortmu...
2 篇 department of co...
2 篇 univ sci & tech ...
2 篇 univ wisconsin d...
2 篇 xidian univ inst...
2 篇 univ london impe...
2 篇 univ bologna dip...
2 篇 xidian univ isn ...
2 篇 chinese acad sci...
2 篇 univ leicester d...
2 篇 cwi dept softwar...
2 篇 microsoft res as...
2 篇 rhein westfal th...
2 篇 tel aviv univ sc...
2 篇 chinese acad sci...

作者

3 篇 zavattaro g
3 篇 doberkat ernst-e...
3 篇 chistikov dmitry
2 篇 ulidowski irek
2 篇 rabinovich alexa...
2 篇 james worrell
2 篇 busi n
2 篇 zhan naijun
2 篇 yoshida nobuko
2 篇 sagiv mooly
2 篇 naoki kobayashi
2 篇 cai jin-yi
2 篇 haase christoph
2 篇 furio honsell
2 篇 kurz alexander
2 篇 yang xiaoxiao
2 篇 aceto luca
2 篇 berard beatrice
2 篇 uustalu tarmo
2 篇 xia mingji

语言

198 篇 英文
4 篇 中文
3 篇 其他

检索条件"任意字段=6th International Conference on Foundations of Software Science and Computation Structures"

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

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

详细简洁

排序：

20th international conference on foundations of software science and computation structures, FOSSACS 2017

20th International Conference on Foundations of Software Sci...

引用

20th international conference on foundations of software science and computation structures, FOSSACS 2017

ISBN: (纸本)9783662544570

the proceedings contain 32 papers. the special focus in this conference is on foundations of software science and computation structures. the topics include: Coherence spaces and uniform continuity;the free exponential modality of probabilistic coherence spaces;algebra, coalgebra, and minimization in polynomial;equational theories of abnormal termination based on kleene algebra;companions, codensity and causality;nominal automata with name binding;on the existence of weak subgame perfect equilibria;optimal reachability in divergent weighted timed games;logics of repeating values on data trees and branching counter systems;degree of sequentiality of weighted automata;emptiness under isolation and the value problem for hierarchical probabilistic automata;partial derivatives for context-free languages: from l-regular expressions to pushdown automata;dynamic complexity of the dyck reachability;on the relationship between bisimulation and trace equivalence in an approximate probabilistic context;computing continuous-time markov chains as transformers of unbounded observables;local model checking in a logic for true concurrency;on the undecidability of asynchronous session subtyping;automated constructivization of proofs;a light modality for recursion;unifying guarded and unguarded iteration;local model checking in a logic for true concurrency;on the undecidability of asynchronous session subtyping;unifying guarded and unguarded iteration and on the semantics of intensionality.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fair Quantitative Games 28th

Fair Quantitative Games

引用

28th international conference on foundations of software science and computation structures, FOSSACS 2025, held as part of the international Joint conferences on theory and Practice of software, ETAPS 2025

作者： Anand, Ashwani Nayak, Satya Prakash Raha, Ritam Sağlam, Irmak Schmuck, Anne-Kathrin Max Planck Institute for Software Systems Kaiserslautern Germany

ISBN: (纸本)9783031908965

We examine two-player games over finite weighted graphs with quantitative (mean-payoff or energy) objective, where one of the players additionally needs to satisfy a fairness objective. the specific fairness we consider is called strong transition fairness, given by a subset of edges of one of the players, which asks the player to take fair edges infinitely often if their source nodes are visited infinitely often. We show that when fairness is imposed on player 1, these games fall within the class of previously studied ω-regular mean-payoff and energy games. On the other hand, when the fairness is on player 2, to the best of our knowledge, these games have not been previously studied. We provide gadget-based algorithms for fair mean-payoff games where fairness is imposed on either player, and for fair energy games where the fairness is imposed on player 1. For all variants of fair mean-payoff and fair energy (under unknown initial credit) games, we give pseudo-polynomial algorithms to compute the winning regions of both players. Additionally, we analyze the strategy complexities required for these games. Our work is the first to extend the study of strong transition fairness, as well as gadget-based approaches, to the quantitative setting. We thereby demonstrate that the simplicity of strong transition fairness, as well as the applicability of gadget-based techniques, can be leveraged beyond the ω-regular domain. © the Author(s) 2025.

关键词： Game theory

来源：评论

学校读者我要写书评

暂无评论

Unboundedness Problems for Machines with Reversal-Bounded Counters 1

引用

26th international conference on foundations of software science and computational structures (FOSSACS)

作者： Baumann, Pascal D'Alessandro, Flavio Ganardi, Moses Ibarra, Oscar McQuillan, Ian Schuetze, Lia Zetzsche, Georg Max Planck Inst Software Syst MPI SWS Kaiserslautern Germany Max Planck Inst Software Syst MPI SWS Saarbrucken Germany Sapienza Univ Rome Dept Math G Castelnuovo Rome Italy Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA Univ Saskatchewan Dept Comp Sci Saskatoon SK Canada

ISBN: (数字)9783031308291

ISBN: (纸本)9783031308284;9783031308291

We consider a general class of decision problems concerning formal languages, called "(one-dimensional) unboundedness predicates", for automata that feature reversal-bounded counters (RBCA). We show that each problem in this class reduces-non-deterministically in polynomial time-to the same problem for just finite automata. We also show an analogous reduction for automata that have access to both a pushdown stack and reversal-bounded counters (PRBCA). this allows us to answer several open questions: For example, we show that it is coNP-complete to decide whether a given (P)RBCA language L is bounded, meaning whether there exist words w(1),..., w(n) with L subset of w*(1) center dot center dot center dot w*(n). For PRBCA, even decidability was open. Our methods also show that there is no language of a (P)RBCA of intermediate growth. this means, the number of words of each length grows either polynomially or exponentially. Part of our proof is likely of independent interest: We show that one can translate an RBCA into a machine with Z-counters in logarithmic space, while preserving the accepted language.

关键词： Formal languages Decidability Complexity Counter automata Reversal-bounded Pushdown Boundedness Unboundedness

来源：评论

学校读者我要写书评

暂无评论

Practical theory of computation on structures 1

引用

16th international Symposium on theoretical Aspects of software Engineering (TASE)

作者： Schewe, Klaus-Dieter Zhejiang Univ UIUC Inst 718 East Haizhou Rd Haining 314400 Zhejiang Peoples R China

ISBN: (数字)9783031103636

ISBN: (纸本)9783031103636;9783031103629

there are hardly two fields in Computer science that are further apart than software Engineering and theoretical Computer science. the lack of theoretical foundations in the field of software Engineering has a counterpart, as the theoretical foundations have not caught up with the development of practical software systems. this raises the question how a theory of computation should look like that modernises the classical theory and at the same time is suitable for practical systems development. this article is dedicated to a sketch of a theory of computation centred around the notion of algorithmic systems. I will argue that behavioural theories are key to the understanding, i.e. we require language-independent axiomatic definitions of classes of algorithmic systems that are accompanied by abstract machine models provably capturing the class under consideration. the machine models give further rise to tailored logics through which properties of systems in the considered class can be formalised and verified, and to fine-tuned classifications on the grounds of complexity restrictions. All extensions are conservative in the sense that the classical theory of computation is preserved, universal in the sense that all practical developments are captured uniformly, and practical in the sense that languages associated with the abstract machine models can be used for rigorous high-level systems design and development, and the logics can be exploited for rigorous verification of desirable properties of systems.

关键词： theory of computation Behavioural theory computation on structures Abstract State Machines Algorithmic system software engineering

来源：评论

学校读者我要写书评

暂无评论

Measurement and Prediction of Highway Noise—Case Study from Serbia 1

引用

17th international conference on Acoustics and Vibration of Mechanical structures, AVMS 2023

作者： Praščevič, Momir Mihajlov, Darko Gajicki, Aleksandar Faculty of Occupational Safety University of Niš Carnojevica 10a Niš18000 Serbia Institute of Transportation CIP ad Nemanjina 6/IV Belgrade11000 Serbia

ISBN: (数字)9783031480874

ISBN: (纸本)9783031480867

the paper deals with the assessment of the environmental quality of one urban area near the section of the A4 highway that passes through the city of Niš based on the values of noise indicators determined by computation and measurement. the measurement and computation values of noise indicators were compared for two measurement location near the A4 highway in the residential zone of the city of Niš. the conformity assessment showed that computation results obtained using the computation method CNOSSOS-EU and LimA software are in good agreement with the measurement results for both measurement locations. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Noise pollution

来源：评论

学校读者我要写书评

暂无评论

A Generic Construction for Crossovers of Graph-Like structures 15th

A Generic Construction for Crossovers of Graph-Like Structur...

引用

15th international conference on Graph Transformation (ICGT) Held as Part of conference on software Technologies - Applications and foundations (STAF)

作者： Taentzer, Gabriele John, Stefan Kosiol, Jens Philipps Univ Marburg Marburg Germany

ISBN: (纸本)9783031098437;9783031098420

In model-driven optimization (MDO), domain-specific models are used to define and solve optimization problems with evolutionary algorithms. Models are typically evolved using mutations, which can be formally specified as graph transformations. So far, only mutations have been used in MDO to generate new solutions from existing ones;a crossover mechanism has not yet been elaborated. In this paper, we present a generic crossover construction for graph-like structures that can be used to implement crossover operators in MDO. We prove basic properties of our construction and show how it can be used to implement a whole set of crossover operators that have been proposed for specific problems and situations on graphs.

关键词： Evolutionary computation Crossover Model-driven optimization Category theory

来源：评论

学校读者我要写书评

暂无评论

Temporal Hyperproperties for Population Protocols 28th

Temporal Hyperproperties for Population Protocols

引用

作者： Waldburger, Nicolas Weil-Kennedy, Chana Ganty, Pierre Sánchez, César Université de Rennes IRISA INRIA Rennes France IMDEA Software Institute Pozuelo de Alarcón Madrid Spain

ISBN: (纸本)9783031908965

Hyperproperties are properties over sets of traces (or runs) of a system, as opposed to properties of just one trace. they were introduced in 2010 and have been much studied since, in particular via an extension of the temporal logic LTL called HyperLTL. Most verification efforts for HyperLTL are restricted to finite-state systems, usually defined as Kripke structures. In this paper we study hyperproperties for an important class of infinite-state systems. We consider population protocols, a popular distributed computing model in which arbitrarily many identical finite-state agents interact in pairs. Population protocols are a good candidate for studying hyperproperties because the main decidable verification problem, well-specification, is a hyperproperty. We first show that even for simple (monadic) formulas, HyperLTL verification for population protocols is undecidable. We then turn our attention to immediate observation population protocols, a simpler and well-studied subclass of population protocols. We show that verification of monadic HyperLTL formulas without the next operator is decidable in 2-EXPSPACE, but that all extensions make the problem undecidable. © the Author(s) 2025.

关键词： Cluster computing

来源：评论

学校读者我要写书评

暂无评论

Sweedler theory of Monads 25th

Sweedler Theory of Monads

引用

25th international conference on Fundamental Approaches to software Engineering (FASE) Held as Part of the Annual European Joint conferences on theory and Practice of software (ETAPS)

作者： McDermott, Dylan Rivas, Exequiel Uustalu, Tarmo Reykjavik Univ Dept Comp Sci IS-102 Reykjavik Iceland Tallinn Univ Technol Dept Software Sci Tallinn Estonia

ISBN: (纸本)9783030992538;9783030992521

Monad-comonad interaction laws are a mathematical concept for describing communication protocols between effectful computations and coeffectful environments in the paradigm where notions of effectful computation are modelled by monads and notions of coeffectful environment by comonads. We show that monad-comonad interaction laws are an instance of measuring maps from Sweedler theory for duoidal categories whereby the final interacting comonad for a monad and a residual monad arises as the Sweedler hom and the initial residual monad for a monad and an interacting comonad as the Sweedler copower. We then combine this with a (co)algebraic characterization of monadcomonad interaction laws to derive descriptions of the Sweedler hom and the Sweedler copower in terms of their coalgebras resp. algebras.

关键词： (co)monads (co)algebras interaction laws runners duoidal categories Sweedler operations

来源：评论

学校读者我要写书评

暂无评论

Model Checking Temporal Properties of Recursive Probabilistic Programs 25th

Model Checking Temporal Properties of Recursive Probabilisti...

引用

25th international conference on Fundamental Approaches to software Engineering (FASE) Held as Part of the Annual European Joint conferences on theory and Practice of software (ETAPS)

作者： Winkler, Tobias Gehnen, Christina Katoen, Joost-Pieter Rhein Westfal TH Aachen Aachen Germany

ISBN: (纸本)9783030992538;9783030992521

Probabilistic pushdown automata (pPDA) are a standard operational model for programming languages involving discrete random choices, procedures, and returns. Temporal properties are useful for gaining insight into the chronological order of events during program execution. Existing approaches in the literature have focused mostly on w-regular and LTL properties. In this paper, we study the model checking problem of pPDA against w-visibly pushdown languages that can be described by specification logics such as CaRet and are strictly more expressive than w-regular properties. With these logical formulae, it is possible to specify properties that explicitly take the structured computations arising from procedural programs into account. For example, CaRet is able to match procedure calls with their corresponding future returns, and thus allows to express fundamental program properties like total and partial correctness.

关键词： Probabilistic Recursive Programs Model Checking Probabilistic Pushdown Automata Visibly Pushdown Languages CaRet

来源：评论

学校读者我要写书评

暂无评论

On the Expressiveness of Buchi Arithmetic 1

引用

24th international conference on foundations of software science and computation structures (FoSSaCS) Held as Part of the European Joint conferences on theory and Practice of software (ETAPS)

作者： Haase, Christoph Rozycki, Jakub Univ Oxford Dept Comp Sci Oxford England Univ Warsaw Inst Math Warsaw Poland

ISBN: (数字)9783030719951

ISBN: (纸本)9783030719951;9783030719944

We show that the existential fragment of Buchi arithmetic is strictly less expressive than full Buchi arithmetic of any base, and moreover establish that its Sigma(2)-fragment is already expressively complete. Furthermore, we show that regular languages of polynomial growth are definable in the existential fragment of Buchi arithmetic.

关键词： logical theories logical definability quantifier elimination automatic structures regular languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：