刷新
{{item.name}}会员
The model theory of formal languages
形式语言模型理论
基本信息
- 批准号：518737-2018
- 负责人：
- 金额：$ 1.02万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Alexander Graham Bell Canada Graduate Scholarships - Doctoral
- 财政年份：2019
- 资助国家：加拿大
- 起止时间：2019-01-01 至 2020-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Mathematical logic, Model theory, Computer science, Formal languages, Regular languages
数学逻辑，模型理论，计算机科学，形式语言，规则语言
项目成果
期刊论文数量（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 }}
Hawthorne, Christopher其他文献
Clinical Validation of the Covariates Pharmacokinetic Model for Propofol in an Adult Population.
- DOI：
10.1007/s40268-022-00404-4 - 发表时间：
2022-12 - 期刊：
- 影响因子：3
- 作者：
Hawthorne, Christopher;Shaw, Martin;Campbell, Ruaraidh;Sutcliffe, Nicholas;McKelvie, Shiona;Schraag, Stefan - 通讯作者：
Schraag, Stefan
Phexpo: a package for bidirectional enrichment analysis of phenotypes and chemicals
- DOI：
10.1093/jamiaopen/ooaa023 - 发表时间：
2020-07-01 - 期刊：
- 影响因子：2.1
- 作者：
Hawthorne, Christopher;Simpson, David A.;Lopez-Campos, Guillermo - 通讯作者：
Lopez-Campos, Guillermo
Hawthorne, Christopher的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Hawthorne, Christopher', 18)}}的其他基金
The model theory of formal languages
形式语言模型理论
- 批准号：
518737-2018 - 财政年份：2020
- 资助金额：
$ 1.02万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
The model theory of formal languages
形式语言模型理论
- 批准号：
518737-2018 - 财政年份：2019
- 资助金额：
$ 1.02万 - 项目类别：
Postgraduate Scholarships - Doctoral
The model theory of formal languages
形式语言模型理论
- 批准号：
518737-2018 - 财政年份：2018
- 资助金额：
$ 1.02万 - 项目类别：
Postgraduate Scholarships - Doctoral
Fraïssé limits and Hrushovski amalgamations for analytic structures
解析结构的弗拉塞极限和赫鲁索夫斯基合并
- 批准号：
481361-2015 - 财政年份：2015
- 资助金额：
$ 1.02万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Holomorphic vector bundles on Inoue surfaces
井上表面上的全纯向量丛
- 批准号：
480391-2015 - 财政年份：2015
- 资助金额：
$ 1.02万 - 项目类别：
University Undergraduate Student Research Awards
clusterability and the computational and sample complexity of clustering
可聚类性以及聚类的计算和样本复杂性
- 批准号：
465113-2014 - 财政年份：2014
- 资助金额：
$ 1.02万 - 项目类别：
University Undergraduate Student Research Awards
Pairs of Algebraically Closed Fields
代数闭域对
- 批准号：
449647-2013 - 财政年份：2013
- 资助金额：
$ 1.02万 - 项目类别：
University Undergraduate Student Research Awards
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号：24ZR1403900
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
Fibered纽结的自同胚、Floer同调与4维亏格
- 批准号：12301086
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
基于密度泛函理论金原子簇放射性药物设计、制备及其在肺癌诊疗中的应用研究
- 批准号：82371997
- 批准年份：2023
- 资助金额：48.00 万元
- 项目类别：面上项目
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
- 批准号：12247163
- 批准年份：2022
- 资助金额：18.00 万元
- 项目类别：专项项目
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
- 批准号：
- 批准年份：2022
- 资助金额：55 万元
- 项目类别：
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
- 批准号：12126512
- 批准年份：2021
- 资助金额：12.0 万元
- 项目类别：数学天元基金项目
钱江潮汐影响下越江盾构开挖面动态泥膜形成机理及压力控制技术研究
- 批准号：LY21E080004
- 批准年份：2020
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于Restriction-Centered Theory的自然语言模糊语义理论研究及应用
- 批准号：61671064
- 批准年份：2016
- 资助金额：65.0 万元
- 项目类别：面上项目
高阶微分方程的周期解及多重性
- 批准号：11501240
- 批准年份：2015
- 资助金额：18.0 万元
- 项目类别：青年科学基金项目
四维流形上的有限群作用与奇异光滑结构
- 批准号：11301334
- 批准年份：2013
- 资助金额：22.0 万元
- 项目类别：青年科学基金项目
相似海外基金
A formal group theory-based model in primates for studying interactive social behavior and its dysfunction
用于研究互动社会行为及其功能障碍的基于正式群体理论的灵长类动物模型
- 批准号：
10567456 - 财政年份：2023
- 资助金额：
$ 1.02万 - 项目类别：
Formal Methods for Control of Cyber-Physical Systems: Theory, Algorithms, and Implementations
信息物理系统控制的形式化方法：理论、算法和实现
- 批准号：
RGPIN-2022-03363 - 财政年份：2022
- 资助金额：
$ 1.02万 - 项目类别：
Discovery Grants Program - Individual
Diffusion Phenomena in Cells: Superstatistical Diffusion Theory and Formal Analogy between Diffusivity and Thermodynamics
细胞内的扩散现象：超统计扩散理论以及扩散率与热力学之间的形式类比
- 批准号：
21K03394 - 财政年份：2021
- 资助金额：
$ 1.02万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
The model theory of formal languages
形式语言模型理论
- 批准号：
518737-2018 - 财政年份：2020
- 资助金额：
$ 1.02万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Computational complexity and practice of verified and efficient algorithms for dynamical systems
动力系统的计算复杂性和经过验证的高效算法的实践
- 批准号：
20K19744 - 财政年份：2020
- 资助金额：
$ 1.02万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Automatic transcription based on formal language theory
基于形式语言理论的自动转录
- 批准号：
20H04302 - 财政年份：2020
- 资助金额：
$ 1.02万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
The model theory of formal languages
形式语言模型理论
- 批准号：
518737-2018 - 财政年份：2019
- 资助金额：
$ 1.02万 - 项目类别：
Postgraduate Scholarships - Doctoral
CAREER: Physics Implications of the String Landscape via Formal Theory and Data Science
职业：通过形式理论和数据科学研究弦景观的物理意义
- 批准号：
1848089 - 财政年份：2019
- 资助金额：
$ 1.02万 - 项目类别：
Continuing Grant
Workshop on Formal Language Theory in Linguistics: New Orleans, LA - January 2020
语言学形式语言理论研讨会：路易斯安那州新奥尔良 - 2020 年 1 月
- 批准号：
1936797 - 财政年份：2019
- 资助金额：
$ 1.02万 - 项目类别：
Standard Grant
Formal verification in p-adic model theory
p-adic模型理论的形式化验证
- 批准号：
540990-2019 - 财政年份：2019
- 资助金额：
$ 1.02万 - 项目类别：
University Undergraduate Student Research Awards