刷新
{{item.name}}会员
Rigorously Verified Numerics for High Dimensional Dynamics
经过严格验证的高维动力学数值
基本信息
- 批准号：522592-2018
- 负责人：
- 金额：$ 5.83万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Accelerator Supplements
- 财政年份：2019
- 资助国家：加拿大
- 起止时间：2019-01-01 至 2020-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
celestial mechanics,fluid mechanics,infinite dimensional dynamical systems,navier-stokes equations,nonlinear analysis,numerical analysis,partial differential equations,pattern formation,rigorous computational methods,topological methods
天体力学，流体力学，无穷维动力系统，Navier-Stokes方程，非线性分析，数值分析，偏微分方程，模式形成，严格计算方法，拓扑方法
项目成果
期刊论文数量（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 }}
Lessard, JeanPhilippe其他文献
Lessard, JeanPhilippe的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Lessard, JeanPhilippe', 18)}}的其他基金
Rigorously Verified Numerics for High Dimensional Dynamics
经过严格验证的高维动力学数值
- 批准号：
RGPIN-2018-04834 - 财政年份：2022
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
The assembly and maintenance of biodiversity in multitrophic communities
多营养群落生物多样性的组装和维持
- 批准号：
RGPIN-2022-04716 - 财政年份：2022
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
The role of climate, biotic interactions and dispersal limitations in determining the distribution of species amid global warming
气候、生物相互作用和扩散限制在决定全球变暖中物种分布方面的作用
- 批准号：
RGPIN-2015-06081 - 财政年份：2021
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Rigorously Verified Numerics for High Dimensional Dynamics
经过严格验证的高维动力学数值
- 批准号：
RGPIN-2018-04834 - 财政年份：2021
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
The role of climate, biotic interactions and dispersal limitations in determining the distribution of species amid global warming
气候、生物相互作用和扩散限制在决定全球变暖中物种分布方面的作用
- 批准号：
RGPIN-2015-06081 - 财政年份：2020
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Rigorously Verified Numerics for High Dimensional Dynamics
经过严格验证的高维动力学数值
- 批准号：
RGPIN-2018-04834 - 财政年份：2020
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
The role of climate, biotic interactions and dispersal limitations in determining the distribution of species amid global warming
气候、生物相互作用和扩散限制在决定全球变暖中物种分布方面的作用
- 批准号：
RGPIN-2015-06081 - 财政年份：2019
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Rigorously Verified Numerics for High Dimensional Dynamics
经过严格验证的高维动力学数值
- 批准号：
RGPIN-2018-04834 - 财政年份：2019
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Rigorously Verified Numerics for High Dimensional Dynamics
经过严格验证的高维动力学数值
- 批准号：
522592-2018 - 财政年份：2018
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Rigorously Verified Numerics for High Dimensional Dynamics
经过严格验证的高维动力学数值
- 批准号：
RGPIN-2018-04834 - 财政年份：2018
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
SAFER - Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics
SAFER - 安全基础：高于全面集成语义的经过验证的系统软件
- 批准号：
EP/Y035976/1 - 财政年份：2024
- 资助金额：
$ 5.83万 - 项目类别：
Research Grant
Collaborative Research: SHF: Medium: High-Performance, Verified Accelerator Programming
合作研究：SHF：中：高性能、经过验证的加速器编程
- 批准号：
2313024 - 财政年份：2023
- 资助金额：
$ 5.83万 - 项目类别：
Standard Grant
FMitF: Collaborative Research: RedLeaf: Verified Operating Systems in Rust
FMITF：协作研究：RedLeaf：经过验证的 Rust 操作系统
- 批准号：
2313411 - 财政年份：2023
- 资助金额：
$ 5.83万 - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track I: Towards Verified Robustness and Safety in Power System-Informed Neural Networks
合作研究：FMitF：第一轨：实现电力系统通知神经网络的鲁棒性和安全性验证
- 批准号：
2319242 - 财政年份：2023
- 资助金额：
$ 5.83万 - 项目类别：
Standard Grant
EAGER: SHF: Verified Audit Layers for Safe Machine Learning
EAGER：SHF：用于安全机器学习的经过验证的审计层
- 批准号：
2318724 - 财政年份：2023
- 资助金额：
$ 5.83万 - 项目类别：
Standard Grant
Collaborative Research: SaTC: TTP: Medium: Defending the Supply Chain of Democracy: Towards a Cryptographically Verified and Authenticated Network of Laws
合作研究：SaTC：TTP：媒介：捍卫民主供应链：迈向经过密码验证和认证的法律网络
- 批准号：
2247829 - 财政年份：2023
- 资助金额：
$ 5.83万 - 项目类别：
Standard Grant
SaTC: CORE: Medium: Secure and Formally-verified Low-level Languages
SaTC：核心：中：安全且经过正式验证的低级语言
- 批准号：
2247088 - 财政年份：2023
- 资助金额：
$ 5.83万 - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track I: Towards Verified Robustness and Safety in Power System-Informed Neural Networks
合作研究：FMitF：第一轨：实现电力系统通知神经网络的鲁棒性和安全性验证
- 批准号：
2319243 - 财政年份：2023
- 资助金额：
$ 5.83万 - 项目类别：
Standard Grant
Quantum gravity theory opened up by new physics that can be experimentally verified
量子引力理论由可通过实验验证的新物理学开辟
- 批准号：
23K13108 - 财政年份：2023
- 资助金额：
$ 5.83万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Comparative Study on Japanese, Chinese and Taiwanese Building Technologies Verified from the Assembly Process
日本、中国和台湾建筑技术的比较研究从装配过程验证
- 批准号：
23KK0081 - 财政年份：2023
- 资助金额：
$ 5.83万 - 项目类别：
Fund for the Promotion of Joint International Research (International Collaborative Research)