Nominal string diagrams and their application to compiler development
标称字符串图及其在编译器开发中的应用
基本信息
- 批准号:2741390
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:英国
- 项目类别:Studentship
- 财政年份:2022
- 资助国家:英国
- 起止时间:2022 至 无数据
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
Nominal string diagrams and their application to compiler development
名义字符串图及其在编译器开发中的应用
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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
相似国自然基金
具有缺陷的石墨超滑机制建模与模拟
- 批准号:11571314
- 批准年份:2015
- 资助金额:50.0 万元
- 项目类别:面上项目
超弦/M-理论、粒子物理相关问题的研究
- 批准号:11105138
- 批准年份:2011
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
带应力string方法及其在材料计算中的应用
- 批准号:11001244
- 批准年份:2010
- 资助金额:17.0 万元
- 项目类别:青年科学基金项目
量子色动力学相变信号
- 批准号:10665003
- 批准年份:2006
- 资助金额:25.0 万元
- 项目类别:地区科学基金项目
超越标准模型的“新物理”及相关问题的研究
- 批准号:10505011
- 批准年份:2005
- 资助金额:12.0 万元
- 项目类别:青年科学基金项目
高能重离子碰撞中的拓扑缺陷产生
- 批准号:10347011
- 批准年份:2003
- 资助金额:10.0 万元
- 项目类别:专项基金项目
规范/引力对偶及其在强耦合量子场论中的应用
- 批准号:10305017
- 批准年份:2003
- 资助金额:18.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Phase Ib/II study of safety and efficacy of EZH2 inhibitor, tazemetostat, and PD-1 blockade for treatment of advanced non-small cell lung cancer
EZH2 抑制剂、他泽美司他和 PD-1 阻断治疗晚期非小细胞肺癌的安全性和有效性的 Ib/II 期研究
- 批准号:
10481965 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Designing Rational Combinations to Improve CAR T Cell Therapy for Prostate Cancer
设计合理的组合以改善前列腺癌的 CAR T 细胞疗法
- 批准号:
10752046 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Sustained eIF5A hypusination at the core of brain metabolic dysfunction in TDP-43 proteinopathies
持续的 eIF5A 抑制是 TDP-43 蛋白病脑代谢功能障碍的核心
- 批准号:
10557547 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Quiver Gauge Theory, String Theory and Quantum Field Theory.
箭袋规范理论、弦理论和量子场论。
- 批准号:
2890913 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Studentship
Research in Novel Symmetries of Quantum Field Theory and String Theory
量子场论和弦理论的新对称性研究
- 批准号:
2310279 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Continuing Grant
Study on Contact Homology by String Topology
弦拓扑接触同调研究
- 批准号:
23KJ1238 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Grant-in-Aid for JSPS Fellows
Genetics and Immune Predictors for Recurrent Glomerular Diseases in the Kidney Allograft
同种异体移植肾中复发性肾小球疾病的遗传学和免疫预测因子
- 批准号:
10637158 - 财政年份:2023
- 资助金额:
-- - 项目类别:
An RNA Nanosensor for the Diagnosis of Antibiotic Resistance in M. Tuberculosis
用于诊断结核分枝杆菌抗生素耐药性的 RNA 纳米传感器
- 批准号:
10670613 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Defining the protective or pathologic role of antibodies in Post-Ebola Syndrome
定义抗体在埃博拉后综合症中的保护或病理作用
- 批准号:
10752441 - 财政年份:2023
- 资助金额:
-- - 项目类别: