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

Nominal String Diagrams

标称弦图

基本信息

批准号：
EP/V002376/1
负责人：
Fabio Zanasi
金额：
$ 54.75万
依托单位：
University College London
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2020
资助国家：
英国
起止时间：
2020 至无数据
项目状态：
未结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FV002376%2F1
关键词：
Nominal String Diagrams

项目摘要

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）

Graphical Piecewise-Linear Algebra

图解分段线性代数

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Boisseau, G.
通讯作者：
Boisseau, G.

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure

弦图重写理论一：用Frobenius结构重写

DOI：
10.1145/3502719
发表时间：
2022
期刊：
Journal of the ACM
影响因子：
2.5
作者：
Bonchi F
通讯作者：
Bonchi F

Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups

推进信息和通信技术研究 - IFIP 激动人心的第一个 60 年，技术委员会和工作组的观点

DOI：
10.1007/978-3-030-81701-5_2
发表时间：
2021
期刊：
影响因子：
0
作者：
Bonchi F
通讯作者：
Bonchi F

String diagram rewrite theory III: Confluence with and without Frobenius

弦图重写理论 III：有和没有 Frobenius 的融合

DOI：
10.1017/s0960129522000123
发表时间：
2022
期刊：
Mathematical Structures in Computer Science
影响因子：
0.5
作者：
Bonchi F
通讯作者：
Bonchi F

Bialgebraic foundations for the operational semantics of string diagrams

字符串图运算语义的双代数基础

DOI：
10.1016/j.ic.2021.104767
发表时间：
2021
期刊：
Information and Computation
影响因子：
1
作者：
Bonchi F
通讯作者：
Bonchi F

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 }}

Fabio Zanasi其他文献

Interacting Hopf Algebras- the Theory of Linear Systems. (Interacting Hopf Algebras - la théorie des systèmes linéaires)

DOI：
发表时间：
2015-10
期刊：
arXiv: Category Theory
影响因子：
0
作者：
Fabio Zanasi
通讯作者：
Fabio Zanasi

An axiomatic approach to differentiation of polynomial circuits

DOI：
10.1016/j.jlamp.2023.100892
发表时间：
2023-10-01
期刊：
Research article
影响因子：
作者：
Paul Wilson;Fabio Zanasi
通讯作者：
Fabio Zanasi

Expressiveness of Monadic Second-Order Logics on Infinite Trees of Arbitrary Branching Degree

任意分支度无限树上的一元二阶逻辑的表达性

DOI：
发表时间：
2012
期刊：
影响因子：
0
作者：
Fabio Zanasi;J. V. Benthem;Alessandro Facchini;Helle Hvid Hansen;Benedikt Löwe;Y. Venema
通讯作者：
Y. Venema

Deep Learning with Parametric Lenses

使用参数化镜头进行深度学习

DOI：
10.48550/arxiv.2404.00408
发表时间：
2024
期刊：
ArXiv
影响因子：
0
作者：
Geoffrey S. H. Cruttwell;Bruno Gavranović;Neil Ghani;Paul W. Wilson;Fabio Zanasi
通讯作者：
Fabio Zanasi