Resources and co-resources: a junction between semantics and descriptive complexity

资源和共同资源：语义和描述复杂性之间的结合点

基本信息

  • 批准号：
    EP/T007257/1
  • 负责人：
    Anuj Dawar
  • 金额：
    $ 50.93万
  • 依托单位：
    University of Cambridge
  • 依托单位国家：
    英国
  • 项目类别：
    Research Grant
  • 财政年份：
    2019
  • 资助国家：
    英国
  • 起止时间：
    2019 至 无数据
  • 项目状态：
    已结题

项目摘要

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
目前GtR中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为摘要中包含个人详细信息等敏感信息。

项目成果

期刊论文数量（10）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Cohomology in Constraint Satisfaction and Structure Isomorphism
约束满足与结构同构中的上同调
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Adam Ó Conghaile
  • 通讯作者：
    Adam Ó Conghaile
Descriptive complexity of graph spectra
图谱的描述复杂性
A DUALITY THEORETIC VIEW ON LIMITS OF FINITE STRUCTURES
有限结构极限的对偶理论观点
  • DOI：
    10.17863/cam.81432
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Gehrke M
  • 通讯作者：
    Gehrke M
Generalizations of k-dimensional Weisfeiler-Leman stabilization
k 维 Weisfeiler-Leman 稳定性的推广
A duality theoretic view on limits of finite structures: Extended version
关于有限结构极限的对偶理论观点：扩展版本
{{ 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 }}

Anuj Dawar其他文献

International Colloquium on Automata, Languages and Programming (ICALP 2020)
  • DOI：
    10.1007/s00224-024-10185-9
  • 发表时间：
    2024-07-16
  • 期刊：
    THEORY OF COMPUTING SYSTEMS
  • 影响因子：
    0.400
  • 作者：
    Anuj Dawar
  • 通讯作者：
    Anuj Dawar
Approximations of Isomorphism and Logics with Linear-Algebraic Operators
同构近似和线性代数算子逻辑
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Anuj Dawar
  • 通讯作者：
    Anuj Dawar
Approximation Schemes for First-Order Definable Optimisation Problems
一阶可定义优化问题的近似方案
Symmetric Computation (Invited Talk)
对称计算（特邀报告）
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Anuj Dawar
  • 通讯作者：
    Anuj Dawar
Generalising automaticity to modal properties of finite structures
  • DOI：
    10.1016/j.tcs.2007.03.048
  • 发表时间：
    2007-06-12
  • 期刊：
    Research article
  • 影响因子：
  • 作者：
    Anuj Dawar;Stephan Kreutzer
  • 通讯作者：
    Stephan Kreutzer

Anuj Dawar的其他文献

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

{{ truncateString('Anuj Dawar', 18)}}的其他基金

Limits of Symmetric Computation
对称计算的限制
  • 批准号：
    EP/X028259/1
  • 财政年份：
    2023
  • 资助金额：
    $ 50.93万
  • 项目类别：
    Research Grant
Circuits, Logic and Symmetry
电路、逻辑和对称性
  • 批准号：
    EP/S03238X/1
  • 财政年份：
    2019
  • 资助金额：
    $ 50.93万
  • 项目类别：
    Research Grant
Descriptive Complexity with Algebraic Operators
使用代数运算符描述复杂性
  • 批准号：
    EP/H026835/1
  • 财政年份：
    2010
  • 资助金额：
    $ 50.93万
  • 项目类别：
    Research Grant

相似国自然基金

基于接力催化的CO2加氢直接高选择性制乙烯多功能催化剂的研究
  • 批准号：
    JCZRYB202500767
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
页岩微纳米孔隙水的移动性及CO2-水-岩反应对CH4/CO2运移的影响机制
  • 批准号：
    JCZRQN202500299
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
深部咸水层CO2 封存盖层多尺度蠕变特性及临界幂律灾变机制
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
蒽醌功能化的介孔氮化碳催化有机污染物光降解耦合CO2光还原转化为燃料的研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
不同相态CO2对深部低渗不可采煤层气藏二氧化碳封存机制及潜力评估
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
新型核壳金属氧化物@沸石双功能催化剂可控制备及温室气体CO2加氢制乙烯反应机制的研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
海洋溶解CO2传感器应用于原位长期监测的适应性改进
  • 批准号：
    MS25D060007
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
Co金属辅酶负载Fe电极的构筑及其催化还原脱卤机理研究
  • 批准号：
    MS25E080050
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
基于多尺寸Ag基团簇电催化还原CO2的机器学习理论研究
  • 批准号：
    QN25A040007
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
CO2+TBAB水合物浆体热流体机理与蓄释冷特性研究
  • 批准号：
  • 批准年份：
    2025
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目

相似海外基金

Resources to Advance Pediatrics and HIV Prevention Science (RAPPS): Preclinical Gap- Filling Services
推进儿科和艾滋病毒预防科学 (RAPPS) 的资源：临床前填补服务空白
  • 批准号：
    10850753
  • 财政年份：
    2023
  • 资助金额：
    $ 50.93万
  • 项目类别：
Early Christian Churches and Landscapes (ECCLES): Co-Creating Public Resources
早期基督教教堂和景观 (ECCLES)：共同创建公共资源
  • 批准号：
    AH/X005550/1
  • 财政年份：
    2023
  • 资助金额：
    $ 50.93万
  • 项目类别：
    Research Grant
Resources to Advance Pediatrics and HIV Prevention Science (RAPPS): Animal Models Supporting Product Development
推进儿科和艾滋病毒预防科学 (RAPPS) 的资源：支持产品开发的动物模型
  • 批准号：
    10850754
  • 财政年份：
    2023
  • 资助金额：
    $ 50.93万
  • 项目类别：
Cognitive Behavioural Therapy Interventions After Metabolic and Bariatric Surgery: A Knowledge Mobilization Initiative to Co-Develop a National Research Network and Education Resources
代谢和减肥手术后的认知行为治疗干预：共同开发国家研究网络和教育资源的知识动员倡议
  • 批准号：
    487772
  • 财政年份：
    2023
  • 资助金额：
    $ 50.93万
  • 项目类别：
    Miscellaneous Programs
Shared Resources Core
共享资源核心
  • 批准号：
    10598938
  • 财政年份：
    2023
  • 资助金额：
    $ 50.93万
  • 项目类别：
Resources to Advance Pediatrics and HIV Prevention Science: Scientific and Quality/Regulatory Support Services
推进儿科和艾滋病毒预防科学的资源：科学和质量/监管支持服务
  • 批准号：
    10927010
  • 财政年份：
    2023
  • 资助金额：
    $ 50.93万
  • 项目类别：
Elevating youth voice on mental health: Mobilizing co-created knowledge translation resources for Canadian secondary schools
提高青少年对心理健康的声音：为加拿大中学动员共同创建的知识翻译资源
  • 批准号：
    461016
  • 财政年份：
    2022
  • 资助金额：
    $ 50.93万
  • 项目类别：
    Miscellaneous Programs
Doctoral Dissertation Research: Intersections of worldviews in the co-management of environmental resources
博士论文研究：环境资源共同管理中世界观的交叉点
  • 批准号：
    2147716
  • 财政年份：
    2022
  • 资助金额：
    $ 50.93万
  • 项目类别：
    Standard Grant
Co-Developing Inclusive Physical Activity Resources for Sexual Minority Women: A Participatory Action Research Study
为性少数女性共同开发包容性体育活动资源：一项参与性行动研究
  • 批准号：
    466672
  • 财政年份：
    2021
  • 资助金额：
    $ 50.93万
  • 项目类别：
    Studentship Programs
Resources and co-resources: a junction between semantics and descriptive complexity
资源和共同资源：语义和描述复杂性之间的结合点
  • 批准号：
    EP/T00696X/2
  • 财政年份：
    2021
  • 资助金额：
    $ 50.93万
  • 项目类别：
    Research Grant
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了