刷新
{{item.name}}会员
Operads for domain-specific languages
特定领域语言的操作
基本信息
- 批准号：2303816
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：英国
- 项目类别：Studentship
- 财政年份：2019
- 资助国家：英国
- 起止时间：2019 至 无数据
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Key aims/objectives: The aim of this project is to investigate the idea of using operads to provide a mathematical basis for domain-specific languages.Methodology: The project will involve giving an operadic model of domain-specific languages, and investigating the theory and practice of this model.
主要目的/目标：该项目的目的是研究使用运算符为特定领域语言提供数学基础的想法。方法：该项目将涉及给出特定领域语言的运算符模型，并研究该模型的理论和实践。
项目成果
期刊论文数量（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
相似国自然基金
RIPK3蛋白及其RHIM结构域在脓毒症早期炎症反应和脏器损伤中的作用和机制研究
- 批准号：82372167
- 批准年份：2023
- 资助金额：48.00 万元
- 项目类别：面上项目
拟连续domain范畴的若干问题研究
- 批准号：12301583
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
格值蕴涵算子与Domain理论中的若干问题
- 批准号：12331016
- 批准年份：2023
- 资助金额：193.00 万元
- 项目类别：重点项目
Domain理论中概率幂构造的若干问题研究
- 批准号：12371457
- 批准年份：2023
- 资助金额：43.5 万元
- 项目类别：面上项目
To空间上Domain理论中若干问题研究
- 批准号：12261040
- 批准年份：2022
- 资助金额：28 万元
- 项目类别：地区科学基金项目
面向Jung-Tix问题的Domain理论与量化序理论研究
- 批准号：12231007
- 批准年份：2022
- 资助金额：235 万元
- 项目类别：重点项目
C2 DOMAIN PROTEIN 1 (C2DP1)基因家族在植物开花调控中的功能研究
- 批准号：n/a
- 批准年份：2022
- 资助金额：0.0 万元
- 项目类别：省市级项目
第四届Domain理论与拓扑学青年学者论坛
- 批准号：12242110
- 批准年份：2022
- 资助金额：5.00 万元
- 项目类别：专项项目
Domain理论中的收敛性与K-有界Sober空间范畴
- 批准号：
- 批准年份：2021
- 资助金额：30 万元
- 项目类别：青年科学基金项目
广义Domain结构的表示理论研究
- 批准号：12171149
- 批准年份：2021
- 资助金额：51 万元
- 项目类别：面上项目
相似海外基金
CRII: SHF: Systematic Construction of Teaching Language Progressions for Embedded Domain-Specific Languages
CRII：SHF：嵌入式领域特定语言教学语言进程的系统构建
- 批准号：
2348408 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
SHF: Small: Domain-Specific FPGAs to Accelerate Unrolled DNNs with Fine-Grained Unstructured Sparsity and Mixed Precision
SHF：小型：特定领域 FPGA 加速具有细粒度非结构化稀疏性和混合精度的展开 DNN
- 批准号：
2303626 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
CRII: III: Towards Reasoning Augmented Searching for Domain-Specific Knowledge Screening
CRII：III：针对特定领域知识筛选的推理增强搜索
- 批准号：
2245907 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
Popliteal Pterygium syndrome, IRf6, and the periderm
腘胬肉综合征、IRf6 和周皮
- 批准号：
10727050 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Evaluation of a specific LXR/PPAR agonist for treatment of Alzheimer's disease
特定 LXR/PPAR 激动剂治疗阿尔茨海默病的评估
- 批准号：
10578068 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Chromatin regulators of stemness and therapy resistance in rhabdomyosarcoma
横纹肌肉瘤干性和治疗耐药性的染色质调节因子
- 批准号：
10622041 - 财政年份：2023
- 资助金额：
-- - 项目类别：
CAREER: Generating Domain-Specific Systems at Scale
职业：大规模生成特定领域的系统
- 批准号：
2238346 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Continuing Grant
Developing and validating a training program to improve domain-specific working memory efficiency in second language.
开发和验证培训计划，以提高第二语言特定领域的工作记忆效率。
- 批准号：
23K17499 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
H2AJ as a regulator of placental senescence and genome organization
H2AJ 作为胎盘衰老和基因组组织的调节剂
- 批准号：
10677156 - 财政年份：2023
- 资助金额：
-- - 项目类别：