Proof assistants for probabilistic and quantum computing

概率和量子计算的证明助手

基本信息

  • 批准号：
    448302-2013
  • 负责人：
    Szeto, David
  • 金额：
    $ 0.33万
  • 依托单位：
    University of Toronto
  • 依托单位国家：
    加拿大
  • 项目类别：
    University Undergraduate Student Research Awards
  • 财政年份：
    2013
  • 资助国家：
    加拿大
  • 起止时间：
    2013-01-01 至 2014-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.journal_name }}
  • 影响因子：
    {{ 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 }}

Szeto, David其他文献

Prosthesis preferences for those with upper limb loss: Discrete choice study of PULLTY® for use in regulatory decisions.
An empirical framework for binary interactome mapping.
  • DOI：
    10.1038/nmeth.1280
  • 发表时间：
    2009-01
  • 期刊：
    NATURE METHODS
  • 影响因子：
    48
  • 作者：
    Venkatesan, Kavitha;Rual, Jean-Francois;Vazquez, Alexei;Stelzl, Ulrich;Lemmens, Irma;Hirozane-Kishikawa, Tomoko;Hao, Tong;Zenkner, Martina;Xin, Xiaofeng;Goh, Kwang-Il;Yildirim, Muhammed A.;Simonis, Nicolas;Heinzmann, Kathrin;Gebreab, Fana;Sahalie, Julie M.;Cevik, Sebiha;Simon, Christophe;de Smet, Anne-Sophie;Dann, Elizabeth;Smolyar, Alex;Vinayagam, Arunachalam;Yu, Haiyuan;Szeto, David;Borick, Heather;Dricot, Amelie;Klitgord, Niels;Murray, Ryan R.;Lin, Chenwei;Lalowski, Maciej;Timm, Jan;Rau, Kirstin;Boone, Charles;Braun, Pascal;Cusick, Michael E.;Roth, Frederick P.;Hill, David E.;Tavernier, Jan;Wanker, Erich E.;Barabasi, Albert-Laszlo;Vidal, Marc
  • 通讯作者：
    Vidal, Marc
Empirically controlled mapping of the Caenorhabditis elegans protein-protein interactome network.
  • DOI：
    10.1038/nmeth.1279
  • 发表时间：
    2009-01
  • 期刊：
    NATURE METHODS
  • 影响因子：
    48
  • 作者：
    Simonis, Nicolas;Rual, Jean-Francois;Carvunis, Anne-Ruxandra;Tasan, Murat;Lemmens, Irma;Hirozane-Kishikawa, Tomoko;Hao, Tong;Sahalie, Julie M.;Venkatesan, Kavitha;Gebreab, Fana;Cevik, Sebiha;Klitgord, Niels;Fan, Changyu;Braun, Pascal;Li, Ning;Ayivi-Guedehoussou, Nono;Dann, Elizabeth;Bertin, Nicolas;Szeto, David;Dricot, Ameli;Yildirim, Muhammed A.;Lin, Chenwei;de Smet, Anne-Sophie;Kao, Huey-Ling;Simon, Christophe;Smolyar, Alex;Ahn, Jin Sook;Tewari, Muneesh;Boxem, Mike;Milstein, Stuart;Yu, Haiyuan;Dreze, Matija;Vandenhaute, Jean;Gunsalus, Kristin C.;Cusick, Michael E.;Hill, David E.;Tavernier, Jan;Roth, Frederick P.;Vidal, Marc
  • 通讯作者：
    Vidal, Marc

Szeto, David的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Szeto, David', 18)}}的其他基金

Investigating geometric algorithms
研究几何算法
  • 批准号：
    466186-2014
  • 财政年份：
    2014
  • 资助金额：
    $ 0.33万
  • 项目类别：
    University Undergraduate Student Research Awards

相似海外基金

Medical office assistants - an untapped resource to enhance primary care
医务室助理 - 加强初级保健的未开发资源
  • 批准号：
    480876
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Miscellaneous Programs
Reducing stigmatizing attitudes and behaviors of nursing students in simulated clinical visits of patients living with HIV in Iran
在伊朗艾滋病毒感染者的模拟临床就诊中减少护生的污名化态度和行为
  • 批准号：
    10542953
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
LIVERPOOL REQUEST FOR POSTDOCTORAL RESEARCH ASSISTANTS 2022
利物浦 2022 年博士后研究助理申请
  • 批准号：
    ST/X00595X/1
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Research Grant
EAGER: Knowledge-guided neurosymbolic AI with guardrails for safe virtual health assistants
EAGER：知识引导的神经符号人工智能，带有安全虚拟健康助手的护栏
  • 批准号：
    2335967
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Standard Grant
Addressing the Challenge of Authentic Inquiry at Scale: Probing and Supporting Teaching Assistants’ Implementation of a Model-Based-Inquiry Curriculum
应对大规模真实探究的挑战：探索和支持助教——基于模型的探究课程的实施
  • 批准号：
    2400787
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Standard Grant
Agents of Change: Investigating How Partnerships between Faculty and Learning Assistants Enable Pathways for Sustainable Institutional and Classroom Transformation
变革的推动者：调查教师和学习助理之间的合作如何为可持续的机构和课堂转型提供途径
  • 批准号：
    2234074
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Continuing Grant
Creating Text-based Automated Assistants for Laboratory and Writing Assignments in the Teaching of General Chemistry
在普通化学教学中为实验室和写作作业创建基于文本的自动化助手
  • 批准号：
    2235600
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Standard Grant
Society of Ears, Nose, and Throat Advances in Children (SENTAC)
儿童耳鼻喉协会 (SENTAC)
  • 批准号：
    10683579
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
Deep-UV Microscopy for Real-Time Adequacy Analysis of Bone Marrow Aspirates
用于骨髓抽吸物实时充分性分析的深紫外显微镜
  • 批准号：
    10761397
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
AHCRA: Access to Health Care in Rural Appalachia
AHCRA：阿巴拉契亚农村地区获得医疗保健的机会
  • 批准号：
    10790520
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了