权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

EPSRC-Royal Society fellowship engagement (2013): Probabilistic Termination

EPSRC-皇家学会奖学金参与 (2013)：概率终止

基本信息

批准号：
EP/M003795/1
负责人：
Stefan Kiefer
金额：
$ 26.61万
依托单位：
University of Oxford
依托单位国家：
英国
项目类别：
Fellowship
财政年份：
2014
资助国家：
英国
起止时间：
2014 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FM003795%2F1
关键词：
EPSRC Royal Society fellowship engagement

项目摘要

Please refer to attached Royal Society application

请参阅所附的皇家学会申请表

项目成果

期刊论文数量（10）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Long-Run Average Behaviour of Probabilistic Vector Addition Systems

概率向量加法系统的长期平均行为

DOI：
10.1109/lics.2015.15
发表时间：
2015
期刊：
影响因子：
0
作者：
Brazdil T
通讯作者：
Brazdil T

Nonnegative Matrix Factorization Requires Irrationality

非负矩阵分解需要无理数

DOI：
10.1137/16m1078835
发表时间：
2017
期刊：
SIAM Journal on Applied Algebra and Geometry
影响因子：
1.2
作者：
Chistikov D
通讯作者：
Chistikov D

The complexity of the Kth largest subset problem and related problems

DOI：
10.1016/j.ipl.2015.09.015
发表时间：
2015-01
期刊：
ArXiv
影响因子：
0
作者：
C. Haase;S. Kiefer
通讯作者：
C. Haase;S. Kiefer

Proving the Herman-Protocol Conjecture

DOI：
10.4230/lipics.icalp.2016.104
发表时间：
2015-04
期刊：
影响因子：
0
作者：
M. Bruna;Radu Grigore;S. Kiefer;Joël Ouaknine;J. Worrell
通讯作者：
M. Bruna;Radu Grigore;S. Kiefer;Joël Ouaknine;J. Worrell

Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

计算机辅助验证 - 第 27 届国际会议，CAV 2015，美国加利福尼亚州旧金山，2015 年 7 月 18-24 日，会议记录，第一部分

DOI：
10.1007/978-3-319-21690-4_17
发表时间：
2015
期刊：
影响因子：
0
作者：
Grigore R
通讯作者：
Grigore R

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Stefan Kiefer其他文献

Edinburgh Research Explorer Memoryless strategies in stochastic reachability games

爱丁堡研究探索者随机可达性博弈中的无记忆策略

DOI：
发表时间：
期刊：
影响因子：
0
作者：
Stefan Kiefer;Richard Mayr;M. Shirmohammadi;Patrick Totzke
通讯作者：
Patrick Totzke

Talc metasomatism of a magnesite body in response to a granite intrusion: Application of Sm<img class="glyph" src="https://sdfestaticassets-us-east-1.sciencedirectassets.com/shared-assets/16/entities/sbnd" />Nd dating of metasomatic dolomite

DOI：
10.1016/j.lithos.2024.107521
发表时间：
2024-04-01
期刊：
Research article
影响因子：
作者：
Juraj Majzlan;Ivan Dianiška;Stefan Kiefer;Lukáš Ackerman;Veronika Renčiuková
通讯作者：
Veronika Renčiuková

Computing Least Fixed Points of Probabilistic Systems of Polynomials

计算多项式概率系统的最小不动点

DOI：
10.4230/lipics.stacs.2010.2468
发表时间：
2010
期刊：
ArXiv
影响因子：
0
作者：
Javier Esparza;Andreas Gaiser;Stefan Kiefer
通讯作者：
Stefan Kiefer

Talc metasomatism of a magnesite body in response to a granite intrusion: Application of Smimg class="glyph" src="https://sdfestaticassets-us-east-1.sciencedirectassets.com/shared-assets/16/entities/sbnd" /Nd dating of metasomatic dolomite

对花岗岩的入侵的巨峰体的滑石粉交代主义：smimg class =“ glyph” src =“ https：//sdfestaticassets-us-east-us-east-1.sciencectectirectassets.com/shared-assets.com/shared-assets/16/entities/16/entities/entities/entities/entities/sbnd”

DOI：
10.1016/j.lithos.2024.107521
发表时间：
2024-04-01
期刊：
LITHOS
影响因子：
2.500
作者：
Juraj Majzlan;Ivan Dianiška;Stefan Kiefer;Lukáš Ackerman;Veronika Renčiuková
通讯作者：
Veronika Renčiuková