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

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

基本信息

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

项目摘要

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
非负矩阵分解需要无理数
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
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
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
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

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

{{ item.title }}
  • 作者：
    {{ item.author }}

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

{{ item.title }}
  • 作者：
    {{ item.author }}

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

{{ item.title }}
  • 作者：
    {{ item.author }}

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

{{ item.title }}
  • 作者：
    {{ 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
On least fixed points of systems of positive polynomials
正多项式系统的至少不动点
  • DOI：
    10.1145/1823931.1823939
  • 发表时间：
    2009
  • 期刊：
    ACM Commun. Comput. Algebra
  • 影响因子：
    0
  • 作者：
    Javier Esparza;Andreas Gaiser;Stefan Kiefer
  • 通讯作者：
    Stefan Kiefer
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
Minimising the Probabilistic Bisimilarity Distance
最小化概率双相似距离
  • DOI：
  • 发表时间：
    2024
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Stefan Kiefer;Qiyi Tang
  • 通讯作者：
    Qiyi Tang
Edinburgh Research Explorer How to Play in Infinite MDPs (Invited Talk)
爱丁堡研究探索者如何玩无限 MDP（特邀演讲）
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Stefan Kiefer;Richard Mayr;M. Shirmohammadi;Patrick Totzke;Dominik Wojtczak
  • 通讯作者：
    Dominik Wojtczak

Stefan Kiefer的其他文献

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

{{ truncateString('Stefan Kiefer', 18)}}的其他基金

Towards comprehensive verification of stochastic systems
走向随机系统的全面验证
  • 批准号：
    EP/M023656/1
  • 财政年份：
    2015
  • 资助金额：
    $ 26.61万
  • 项目类别：
    Research Grant

相似国自然基金

基于历史典籍考证与多模型构建的清代北京皇家园林植物造景研究
  • 批准号：
    52008022
  • 批准年份：
    2020
  • 资助金额：
    24 万元
  • 项目类别：
    青年科学基金项目
国家基金委-英国皇家学会基于人工智能的化学和材料设计与合成联合研讨会
  • 批准号：
  • 批准年份：
    2019
  • 资助金额：
    15 万元
  • 项目类别：
    专项基金项目
临清砖的历史谱系及其烧造工艺关键技术指标的量化研究
  • 批准号：
    51778402
  • 批准年份：
    2017
  • 资助金额：
    61.0 万元
  • 项目类别：
    面上项目
清代皇家建筑装修及家具陈设设计研究
  • 批准号：
    51508377
  • 批准年份：
    2015
  • 资助金额：
    20.0 万元
  • 项目类别：
    青年科学基金项目
清代皇家园林室内空间及陈设研究
  • 批准号：
    51508371
  • 批准年份：
    2015
  • 资助金额：
    20.0 万元
  • 项目类别：
    青年科学基金项目

相似海外基金

EPSRC-Royal Society fellowship engagement (2013):Visualising thoughts: ESR measurement of nanodiamonds targetted to neural structures
EPSRC-皇家学会奖学金参与 (2013)：可视化思想：针对神经结构的纳米金刚石的 ESR 测量
  • 批准号：
    EP/M003701/2
  • 财政年份：
    2016
  • 资助金额：
    $ 26.61万
  • 项目类别：
    Fellowship
EPSRC-Royal Society fellowship engagement (2013): Solid State Cavity QED with Graphene Bilayers: a Tunable Photonic Material for Novel Quantum Technol
EPSRC-皇家学会奖学金参与（2013）：采用石墨烯双层的固态腔 QED：用于新型量子技术的可调谐光子材料
  • 批准号：
    EP/M003183/1
  • 财政年份：
    2014
  • 资助金额：
    $ 26.61万
  • 项目类别：
    Fellowship
EPSRC-Royal Society Fellowship Engagement (2013): Principles of Early T-Cell Activation using Quantitative 3D Super-Resolution Nanoscopy
EPSRC-皇家学会奖学金参与 (2013)：使用定量 3D 超分辨率纳米显微镜进行早期 T 细胞激活的原理
  • 批准号：
    EP/M003663/1
  • 财政年份：
    2014
  • 资助金额：
    $ 26.61万
  • 项目类别：
    Fellowship
EPSRC-Royal Society Fellowship Engagement (2013): Site-specific fluorination of peptides and proteins
EPSRC-皇家学会奖学金参与 (2013)：肽和蛋白质的位点特异性氟化
  • 批准号：
    EP/M003647/1
  • 财政年份：
    2014
  • 资助金额：
    $ 26.61万
  • 项目类别：
    Fellowship
EPSRC-Royal Society fellowship engagement (2013): Transport in graphene-based multilayer structures: from superlattice to excitonic condensate
EPSRC-皇家学会奖学金参与（2013）：基于石墨烯的多层结构中的传输：从超晶格到激子凝聚
  • 批准号：
    EP/M003167/1
  • 财政年份：
    2014
  • 资助金额：
    $ 26.61万
  • 项目类别：
    Fellowship
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了