刷新
{{item.name}}会员
Multi-tape automata and formal verification
多带自动机和形式验证
基本信息
- 批准号：261563-2009
- 负责人：
- 金额：$ 1.31万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2012
- 资助国家：加拿大
- 起止时间：2012-01-01 至 2013-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Formal methods in system verification is an important field of theoretical computer science. In my research
系统验证的形式化方法是理论计算机科学的一个重要领域。在我的研究中
项目成果
期刊论文数量（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 }}
Fraczak, Wojciech其他文献
Fraczak, Wojciech的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Fraczak, Wojciech', 18)}}的其他基金
Multi-tape automata and formal verification
多带自动机和形式验证
- 批准号：
261563-2009 - 财政年份：2011
- 资助金额：
$ 1.31万 - 项目类别：
Discovery Grants Program - Individual
Multi-tape automata and formal verification
多带自动机和形式验证
- 批准号：
261563-2009 - 财政年份：2010
- 资助金额：
$ 1.31万 - 项目类别：
Discovery Grants Program - Individual
Multi-tape automata and formal verification
多带自动机和形式验证
- 批准号：
261563-2009 - 财政年份：2009
- 资助金额：
$ 1.31万 - 项目类别：
Discovery Grants Program - Individual
Algebra of sequential functions on prefix codes
前缀码上的顺序函数代数
- 批准号：
261563-2004 - 财政年份：2008
- 资助金额：
$ 1.31万 - 项目类别：
Discovery Grants Program - Individual
Algebra of sequential functions on prefix codes
前缀码上的顺序函数代数
- 批准号：
261563-2004 - 财政年份：2007
- 资助金额：
$ 1.31万 - 项目类别：
Discovery Grants Program - Individual
Algebra of sequential functions on prefix codes
前缀码上的顺序函数代数
- 批准号：
261563-2004 - 财政年份：2006
- 资助金额：
$ 1.31万 - 项目类别：
Discovery Grants Program - Individual
Algebra of sequential functions on prefix codes
前缀码上的顺序函数代数
- 批准号：
261563-2004 - 财政年份：2005
- 资助金额：
$ 1.31万 - 项目类别：
Discovery Grants Program - Individual
Algebra of sequential functions on prefix codes
前缀码上的顺序函数代数
- 批准号：
261563-2004 - 财政年份：2004
- 资助金额：
$ 1.31万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
Designing multi-knowledge protocols to transform transboundary policies for hydroclimatic extremes(DEMO TAPE)
设计多知识协议以转变极端水文气候的跨境政策（DEMO TAPE）
- 批准号：
EP/Y036905/1 - 财政年份：2024
- 资助金额：
$ 1.31万 - 项目类别：
Research Grant
Commercialization Readiness for Nerve Tape: a nerve repair coaptation aid
神经胶带的商业化准备：神经修复接合辅助工具
- 批准号：
10698977 - 财政年份：2023
- 资助金额：
$ 1.31万 - 项目类别：
PFI-RP: Development of a Temperature-Sensitive, High-Adhesion Medical Tape for Reducing Pain, Skin Injury, and Dislodgement of Critical Devices for Children in Hospitals
PFI-RP：开发一种温度敏感、高粘性医用胶带，用于减轻医院儿童的疼痛、皮肤损伤和关键设备的移位
- 批准号：
2234356 - 财政年份：2023
- 资助金额：
$ 1.31万 - 项目类别：
Standard Grant
City, University of London and Tape Specialities Limited KTP 22_23 R4
伦敦大学城市学院和 Tape Specialties Limited KTP 22_23 R4
- 批准号：
10054679 - 财政年份：2023
- 资助金额：
$ 1.31万 - 项目类别：
Knowledge Transfer Partnership
Advanced Thermoformable Cross-linking Resin Unidirectional Tapes - TAPE-Extreme
高级热成型交联树脂单向胶带 - TAPE-Extreme
- 批准号：
10076330 - 财政年份：2023
- 资助金额：
$ 1.31万 - 项目类别：
BEIS-Funded Programmes
Encapsulated free-standing-like silicene: towards next generation two-dimensional silicon-based electronics
封装的独立式硅烯：迈向下一代二维硅基电子产品
- 批准号：
22K18940 - 财政年份：2022
- 资助金额：
$ 1.31万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
Examining the Potential of Shared Decision Making to Improve the Effectiveness of Youth Mental Health Treatment in Community Mental Health Centers
检验共同决策在提高社区心理健康中心青少年心理健康治疗有效性方面的潜力
- 批准号：
10623190 - 财政年份：2022
- 资助金额：
$ 1.31万 - 项目类别：
Writing through catalysis: A tape-reading molecular catalyst
通过催化写作：读磁带的分子催化剂
- 批准号：
2752685 - 财政年份：2022
- 资助金额：
$ 1.31万 - 项目类别：
Studentship
Pressure efficient tape wound hYDROgen storage (PYDRO)
高效压力缠绕式储氢 (PYDRO)
- 批准号：
10034158 - 财政年份：2022
- 资助金额：
$ 1.31万 - 项目类别：
Collaborative R&D