刷新
{{item.name}}会员
Reversibility of the Pi-Calculus and Session Types
Pi 微积分和会话类型的可逆性
基本信息
- 批准号：1791132
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：英国
- 项目类别：Studentship
- 财政年份：2016
- 资助国家：英国
- 起止时间：2016 至 无数据
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
This project studies reversible computation of the pi-calculus based on session types and multiparty session types. It includes behavioural theories and their applications.
该项目研究基于会话类型和多方会话类型的 pi 演算的可逆计算。它包括行为理论及其应用。
项目成果
期刊论文数量（4）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Towards a Categorical Representation of Reversible Event Structures
可逆事件结构的分类表示
- DOI：10.4204/eptcs.246.9
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Graversen E
- 通讯作者：Graversen E
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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 }}
其他文献
吉治仁志 他: "トランスジェニックマウスによるTIMP-1の線維化促進機序"最新医学. 55. 1781-1787 (2000)
Hitoshi Yoshiji 等：“转基因小鼠中 TIMP-1 的促纤维化机制”现代医学 55. 1781-1787 (2000)。
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
LiDAR Implementations for Autonomous Vehicle Applications
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
吉治仁志 他: "イラスト医学&サイエンスシリーズ血管の分子医学"羊土社(渋谷正史編). 125 (2000)
Hitoshi Yoshiji 等人：“血管医学与科学系列分子医学图解”Yodosha（涉谷正志编辑）125（2000）。
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
Effect of manidipine hydrochloride,a calcium antagonist,on isoproterenol-induced left ventricular hypertrophy: "Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,K.,Teragaki,M.,Iwao,H.and Yoshikawa,J." Jpn Circ J. 62(1). 47-52 (1998)
钙拮抗剂盐酸马尼地平对异丙肾上腺素引起的左心室肥厚的影响：“Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('', 18)}}的其他基金
An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
- 批准号：
2901954 - 财政年份：2028
- 资助金额：
-- - 项目类别：
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号：
2896097 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号：
2780268 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号：
2908918 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂：了解燃料-不锈钢界面
- 批准号：
2908693 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
- 批准号：
2908917 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号：
2879438 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型，以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
- 批准号：
2890513 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号：
2876993 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
相似国自然基金
止脱茁发方通过Ptprz1介导PI3K/AKT通路调节毛乳头细胞自噬促进毛囊再生的机制研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于“木德敷和”探讨加味止哮平喘方调控PI3K/Akt通路治疗支气管哮喘的机制
- 批准号：JCZRLH202500346
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于HIF-1α介导PI3K/AKT信号通路研究网果酸模治疗消化性溃疡的作用机制
- 批准号：JCZRLH202500361
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于PI3-K/AKT/mTOR通路探讨同源点针刺夹脊穴治疗大鼠脊髓损伤后神经源性膀胱的作用机制
- 批准号：JCZRLH202501265
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
FOXK1通过PI3K/AKT信号通路抑制结直肠癌细胞自噬诱导EMT促进肿瘤进展的机制研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
慢性间歇性缺氧通过Ntng1/PI3K/AKT轴促进小胶质细胞M1极化诱导OSAHS神经认知功能障碍的分子机制研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
柴胡皂苷A通过PI3K/AKT/Nrf2通路抑制心肌细胞焦亡改善阿霉素诱导心脏毒性的机制研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
GLP-1受体激动剂通过肠道菌群代谢产物SCFAs抑制PI3K/AKT/NF-κB信号通路抑制糖尿病肾病机制进展研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
OPA3结合PI3K降低其磷酸化以介导脂代谢抑制结直肠癌细胞对贝伐珠单抗耐药的机制研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于PI3K/AKT/NRF2 信号通路探究Songorine对脓毒症相关急性肺损伤中铁死亡的调控机制研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
相似海外基金
腫瘍集積性誘導体及びPI-Pを用いたトリプルネガティブ乳癌制御戦略の構築
利用肿瘤蓄积衍生物和PI-P构建三阴性乳腺癌控制策略
- 批准号：
24K11817 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (C)
PI代謝回転とは独立した多彩な新奇ジアシルグリセロールリン酸化経路群の分子実体
独立于 PI 周转的多种新型二酰甘油磷酸化途径的分子实体
- 批准号：
23K27124 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (B)
Conference: SaTC: NSF Secure & Trustworthy Cyberspace 2024 PI Meeting Logistics Management
会议：SaTC：NSF 安全
- 批准号：
2420955 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
PI/CNT多孔質高誘電率膜を用いた高信頼フレキシブル圧力センサの創出
使用PI/CNT多孔高介电常数薄膜创建高可靠性柔性压力传感器
- 批准号：
24K07256 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (C)
SIBLING familyを介した骨細胞性石灰化調節への血中Pi／PTH作用
血液 Pi/PTH 通过 SIBLING 家族对骨细胞矿化调节的影响
- 批准号：
24K12864 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (C)
NSF 2024 NRI/FRR PI Meeting; Baltimore, Maryland; 28-30 April 2024
NSF 2024 NRI/FRR PI 会议；
- 批准号：
2414547 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
Conference: NSF Computational Mathematics PI Meeting 2024
会议：2024 年 NSF 计算数学 PI 会议
- 批准号：
2417818 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
New developments in aromatic architect: optimization of structures and spaces and created by pi-conjugated systems and functionalization
芳香建筑师的新发展：结构和空间的优化以及π共轭系统和功能化的创造
- 批准号：
23H01944 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (B)
Development of pi-electronic liquid crystal molecules for advanced photofunctional materials
用于先进光功能材料的π电子液晶分子的开发
- 批准号：
23H02036 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (B)
Collaborative Research: Conference: 2023 CISE Education and Workforce PI and Community Meeting
协作研究：会议：2023 年 CISE 教育和劳动力 PI 和社区会议
- 批准号：
2318593 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant