刷新
{{item.name}}会员
Geometric methods for reachability analysis and formal safety verification in complex, high-dimensional systems
复杂高维系统中可达性分析和形式安全验证的几何方法
基本信息
- 批准号：427610-2012
- 负责人：
- 金额：$ 1.53万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2012
- 资助国家：加拿大
- 起止时间：2012-01-01 至 2013-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量（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 }}
Maidens, John其他文献
Reachability Analysis of Nonlinear Systems Using Matrix Measures
- DOI：
10.1109/tac.2014.2325635 - 发表时间：
2015-01-01 - 期刊：
- 影响因子：6.8
- 作者：
Maidens, John;Arcak, Murat - 通讯作者：
Arcak, Murat
Optimizing Flip Angles for Metabolic Rate Estimation in Hyperpolarized Carbon-13 MRI
- DOI：
10.1109/tmi.2016.2574240 - 发表时间：
2016-11-01 - 期刊：
- 影响因子：10.6
- 作者：
Maidens, John;Gordon, Jeremy W.;Larson, Peder E. Z. - 通讯作者：
Larson, Peder E. Z.
Maidens, John的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Maidens, John', 18)}}的其他基金
Geometric methods for reachability analysis and formal safety verification in complex, high-dimensional systems
复杂高维系统中可达性分析和形式安全验证的几何方法
- 批准号：
427610-2012 - 财政年份：2014
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Geometric methods for reachability analysis and formal safety verification in complex, high-dimensional systems
复杂高维系统中可达性分析和形式安全验证的几何方法
- 批准号：
427610-2012 - 财政年份：2013
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
equilibria and global stability for networked dynamical systems with applications in epidemiology, ecology and control theory
网络动力系统的平衡和全局稳定性及其在流行病学、生态学和控制理论中的应用
- 批准号：
393998-2010 - 财政年份：2010
- 资助金额：
$ 1.53万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
mathematical modeling of infectioius diseases
传染病的数学模型
- 批准号：
383042-2009 - 财政年份：2009
- 资助金额：
$ 1.53万 - 项目类别：
University Undergraduate Student Research Awards
Mathematical modeling of infectious diseases
传染病的数学模型
- 批准号：
370246-2008 - 财政年份：2008
- 资助金额：
$ 1.53万 - 项目类别：
University Undergraduate Student Research Awards
相似国自然基金
复杂图像处理中的自由非连续问题及其水平集方法研究
- 批准号：60872130
- 批准年份：2008
- 资助金额：28.0 万元
- 项目类别：面上项目
Computational Methods for Analyzing Toponome Data
- 批准号：60601030
- 批准年份：2006
- 资助金额：17.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Impact of Urban Environmental Factors on Momentary Subjective Wellbeing (SWB) using Smartphone-Based Experience Sampling Methods
使用基于智能手机的体验采样方法研究城市环境因素对瞬时主观幸福感 (SWB) 的影响
- 批准号：
2750689 - 财政年份：2025
- 资助金额：
$ 1.53万 - 项目类别：
Studentship
Developing behavioural methods to assess pain in horses
开发评估马疼痛的行为方法
- 批准号：
2686844 - 财政年份：2025
- 资助金额：
$ 1.53万 - 项目类别：
Studentship
CAREER: Nonlinear Dynamics of Exciton-Polarons in Two-Dimensional Metal Halides Probed by Quantum-Optical Methods
职业：通过量子光学方法探测二维金属卤化物中激子极化子的非线性动力学
- 批准号：
2338663 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Continuing Grant
REU Site: Computational Methods with applications in Materials Science
REU 网站：计算方法及其在材料科学中的应用
- 批准号：
2348712 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
CAREER: New methods in curve counting
职业：曲线计数的新方法
- 批准号：
2422291 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Continuing Grant
Conference: North American High Order Methods Con (NAHOMCon)
会议：北美高阶方法大会 (NAHOMCon)
- 批准号：
2333724 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
Population genomic methods for modelling bacterial pathogen evolution
用于模拟细菌病原体进化的群体基因组方法
- 批准号：
DE240100316 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Early Career Researcher Award
Spectral embedding methods and subsequent inference tasks on dynamic multiplex graphs
动态多路复用图上的谱嵌入方法和后续推理任务
- 批准号：
EP/Y002113/1 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Research Grant
Non invasive methods to accelerate the development of injectable therapeutic depots
非侵入性方法加速注射治疗储库的开发
- 批准号：
EP/Z532976/1 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Research Grant
Development and Translation Mass Spectrometry Methods to Determine BioMarkers for Parkinson's Disease and Comorbidities
确定帕金森病和合并症生物标志物的质谱方法的开发和转化
- 批准号：
2907463 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Studentship