EPSRC-Royal Society fellowship engagement (2013): Combining Constraints and Verification

EPSRC-皇家学会奖学金参与 (2013)：结合约束和验证

基本信息

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

项目摘要

Please refer to attached Royal Society application
请参阅附件中的皇家学会申请表

项目成果

期刊论文数量（10）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Complexity of n-Queens Completion (Extended Abstract)
n-皇后完成的复杂性（扩展摘要）
  • DOI：
    10.24963/ijcai.2018/794
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Gent I
  • 通讯作者：
    Gent I
Complexity of n-Queens Completion
Generalized support and formal development of constraint propagators
约束传播器的广义支持和正式开发
  • DOI：
    10.3233/aic-170740
  • 发表时间：
    2017
  • 期刊：
    AI Communications
  • 影响因子：
    0.8
  • 作者：
    Caldwell J
  • 通讯作者：
    Caldwell J
S-Crucial and Bicrucial Permutations with Respect to Squares
关于平方的 S-关键和双关键排列
A review of literature on parallel constraint solving
并行约束求解文献综述
{{ 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 }}

Christopher Jefferson其他文献

Qualitative modelling via constraint programming
通过约束规划进行定性建模
  • DOI：
    10.1007/s10601-014-9158-6
  • 发表时间：
    2012
  • 期刊：
    Constraints
  • 影响因子：
    1.6
  • 作者：
    T. Kelsey;Lars Kotthoff;Christopher Jefferson;S. Linton;Ian Miguel;Peter William Nightingale;Ian P. Gent
  • 通讯作者：
    Ian P. Gent
An Automated Constraint Modelling and Solving Toolchain
自动约束建模和求解工具链
  • DOI：
  • 发表时间：
    2013
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Ozgur Akgun;Alan M. Frisch;Ian P. Gent;B. Hussain;Christopher Jefferson;Lars Kotthoff;Ian Miguel;Peter William Nightingale
  • 通讯作者：
    Peter William Nightingale
Constructing constraint solvers using Monte Carlo Tree Search
使用蒙特卡罗树搜索构建约束求解器
  • DOI：
  • 发表时间：
    2013
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Arūnas Prokopas;Alan M. Frisch;Ian P. Gent;Christopher Jefferson;Lars Kotthoff;Ian Miguel;Peter Nightingale
  • 通讯作者：
    Peter Nightingale
Conjure Revisited: Towards Automated Constraint Modelling
重温召唤：迈向自动化约束建模
  • DOI：
  • 发表时间：
    2011
  • 期刊：
    arXiv.org
  • 影响因子：
    0
  • 作者：
    Ozgur Akgun;Alan M. Frisch;Brahim Hnich;Christopher Jefferson;Ian Miguel
  • 通讯作者：
    Ian Miguel
Automatic Discovery and Exploitation of Promising Subproblems for Tabulation
自动发现和利用有前途的制表子问题

Christopher Jefferson的其他文献

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

相似海外基金

EPSRC-Royal Society fellowship engagement (2013):Visualising thoughts: ESR measurement of nanodiamonds targetted to neural structures
EPSRC-皇家学会奖学金参与 (2013)：可视化思想：针对神经结构的纳米金刚石的 ESR 测量
  • 批准号：
    EP/M003701/2
  • 财政年份：
    2016
  • 资助金额：
    $ 30.3万
  • 项目类别：
    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
  • 资助金额：
    $ 30.3万
  • 项目类别：
    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
  • 资助金额：
    $ 30.3万
  • 项目类别：
    Fellowship
EPSRC-Royal Society fellowship engagement (2013): Probabilistic Termination
EPSRC-皇家学会奖学金参与 (2013)：概率终止
  • 批准号：
    EP/M003795/1
  • 财政年份：
    2014
  • 资助金额：
    $ 30.3万
  • 项目类别：
    Fellowship
EPSRC-Royal Society Fellowship Engagement (2013): Site-specific fluorination of peptides and proteins
EPSRC-皇家学会奖学金参与 (2013)：肽和蛋白质的位点特异性氟化
  • 批准号：
    EP/M003647/1
  • 财政年份：
    2014
  • 资助金额：
    $ 30.3万
  • 项目类别：
    Fellowship
EPSRC-Royal Society fellowship engagement (2013): Transport in graphene-based multilayer structures: from superlattice to excitonic condensate
EPSRC-皇家学会奖学金参与（2013）：基于石墨烯的多层结构中的传输：从超晶格到激子凝聚
  • 批准号：
    EP/M003167/1
  • 财政年份：
    2014
  • 资助金额：
    $ 30.3万
  • 项目类别：
    Fellowship
EPSRC-Royal Society fellowship engagement (2013): The mechanics of the insect wing hinge
EPSRC-皇家学会奖学金参与（2013）：昆虫翅膀铰链的力学
  • 批准号：
    EP/M003698/1
  • 财政年份：
    2014
  • 资助金额：
    $ 30.3万
  • 项目类别：
    Fellowship
EPSRC-Royal Society fellowship engagement (2013): Giant mechanocaloric effects in ferroelectrics and elastomers
EPSRC-皇家学会奖学金参与（2013）：铁电体和弹性体中的巨大机械热效应
  • 批准号：
    EP/M003752/1
  • 财政年份：
    2014
  • 资助金额：
    $ 30.3万
  • 项目类别：
    Fellowship
EPSRC-Royal Society fellowship engagement (2013):Visualising thoughts: ESR measurement of nanodiamonds targetted to neural structures
EPSRC-皇家学会奖学金参与 (2013)：可视化思想：针对神经结构的纳米金刚石的 ESR 测量
  • 批准号：
    EP/M003701/1
  • 财政年份：
    2014
  • 资助金额：
    $ 30.3万
  • 项目类别：
    Fellowship
EPSRC-Royal Society fellowship engagement (2013): Heating of the solar atmosphere by small flares
EPSRC-皇家学会奖学金参与（2013）：小耀斑加热太阳大气
  • 批准号：
    EP/M00371X/1
  • 财政年份：
    2014
  • 资助金额：
    $ 30.3万
  • 项目类别：
    Fellowship
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了