Extended Resolution SAT Solvers

扩展分辨率 SAT 解算器

基本信息

  • 批准号:
    567073-2021
  • 负责人:
  • 金额:
    $ 0.44万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    University Undergraduate Student Research Awards
  • 财政年份:
    2021
  • 资助国家:
    加拿大
  • 起止时间:
    2021-01-01 至 2022-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 }}

Chung, Jonathan其他文献

Enantioselective Syntheses of Wickerols A and B.
  • DOI:
    10.1021/jacs.3c00448
  • 发表时间:
    2023-03-22
  • 期刊:
  • 影响因子:
    15
  • 作者:
    Chung, Jonathan;Capani, Joseph S.;Goehl, Matthias;Roosen, Philipp C.;Vanderwal, Christopher D.
  • 通讯作者:
    Vanderwal, Christopher D.
Decreased Number of Self-Paced Saccades in Post-Concussion Syndrome Associated with Higher Symptom Burden and Reduced White Matter Integrity
  • DOI:
    10.1089/neu.2017.5274
  • 发表时间:
    2018-02-12
  • 期刊:
  • 影响因子:
    4.2
  • 作者:
    Taghdiri, Foad;Chung, Jonathan;Tartaglia, Maria Carmela
  • 通讯作者:
    Tartaglia, Maria Carmela
Clinical significance of pulmonary hypertension in interstitial lung disease: A consensus statement from the Pulmonary Vascular Research Institute's innovative drug development initiative-Group 3 pulmonary hypertension.
  • DOI:
    10.1002/pul2.12127
  • 发表时间:
    2022-07
  • 期刊:
  • 影响因子:
    2.6
  • 作者:
    Nikkho, Sylvia M.;Richter, Manuel J.;Shen, Eric;Abman, Steven H.;Antoniou, Katerina;Chung, Jonathan;Fernandes, Peter;Hassoun, Paul;Lazarus, Howard M.;Olschewski, Horst;Piccari, Lucilla;Psotka, Mitchell;Saggar, Rajan;Shlobin, Oksana A.;Stockbridge, Norman;Vitulo, Patrizio;Vizza, Carmine Dario;Wort, Stephen J.;Nathan, Steven D.
  • 通讯作者:
    Nathan, Steven D.
Elbow to digit measurements as a preoperative adjunct tool to aid intramedullary femoral nail selection-the rule of thumb
Apathy and Attentional Biases in Alzheimer's Disease
  • DOI:
    10.3233/jad-151026
  • 发表时间:
    2016-01-01
  • 期刊:
  • 影响因子:
    4
  • 作者:
    Chau, Sarah A.;Chung, Jonathan;Lanctot, Krista L.
  • 通讯作者:
    Lanctot, Krista L.

Chung, Jonathan的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Chung, Jonathan', 18)}}的其他基金

Real-time imaging for ultrasound-guided prostate cancer biopsy
超声引导前列腺癌活检的实时成像
  • 批准号:
    417348-2011
  • 财政年份:
    2011
  • 资助金额:
    $ 0.44万
  • 项目类别:
    University Undergraduate Student Research Awards

相似国自然基金

基于Resolution算法的交互时态逻辑自动验证机
  • 批准号:
    61303018
  • 批准年份:
    2013
  • 资助金额:
    22.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

LC-MS/MS system with high-resolution mass spectrometer and nano-UHPLC - 2/2
配备高分辨率质谱仪和纳米 UHPLC 的 LC-MS/MS 系统 - 2/2
  • 批准号:
    527318363
  • 财政年份:
    2024
  • 资助金额:
    $ 0.44万
  • 项目类别:
    Major Research Instrumentation
Automating a novel multi-tool additive and subtractive manufacturing platform for micrometre-resolution prototyping across diverse industries
自动化新型多工具增材和减材制造平台,用于跨不同行业的微米分辨率原型制作
  • 批准号:
    10097846
  • 财政年份:
    2024
  • 资助金额:
    $ 0.44万
  • 项目类别:
    Collaborative R&D
Cubesat Technologies for High Spatial Resolution Astrophysics
用于高空间分辨率天体物理学的立方体卫星技术
  • 批准号:
    DP240102015
  • 财政年份:
    2024
  • 资助金额:
    $ 0.44万
  • 项目类别:
    Discovery Projects
From lymphatics to evaluating resolution therapeutics in clinical trials
从淋巴管到评估临床试验中的解决疗法
  • 批准号:
    MR/Y013050/1
  • 财政年份:
    2024
  • 资助金额:
    $ 0.44万
  • 项目类别:
    Fellowship
Collaborative Research: Constraining next generation Cascadia earthquake and tsunami hazard scenarios through integration of high-resolution field data and geophysical models
合作研究:通过集成高分辨率现场数据和地球物理模型来限制下一代卡斯卡迪亚地震和海啸灾害情景
  • 批准号:
    2325311
  • 财政年份:
    2024
  • 资助金额:
    $ 0.44万
  • 项目类别:
    Standard Grant
Collaborative Research: Planning: FIRE-PLAN:High-Spatiotemporal-Resolution Sensing and Digital Twin to Advance Wildland Fire Science
合作研究:规划:FIRE-PLAN:高时空分辨率传感和数字孪生,以推进荒地火灾科学
  • 批准号:
    2335568
  • 财政年份:
    2024
  • 资助金额:
    $ 0.44万
  • 项目类别:
    Standard Grant
Collaborative Research: Planning: FIRE-PLAN:High-Spatiotemporal-Resolution Sensing and Digital Twin to Advance Wildland Fire Science
合作研究:规划:FIRE-PLAN:高时空分辨率传感和数字孪生,以推进荒地火灾科学
  • 批准号:
    2335569
  • 财政年份:
    2024
  • 资助金额:
    $ 0.44万
  • 项目类别:
    Standard Grant
CAREER: High-Resolution Hybrid Printing of Wearable Heaters with Shape-Changeable Structures
职业:具有可变形结构的可穿戴加热器的高分辨率混合打印
  • 批准号:
    2340414
  • 财政年份:
    2024
  • 资助金额:
    $ 0.44万
  • 项目类别:
    Standard Grant
Conference: Resolution of Singularities, Valuation Theory and Related Topics
会议:奇点的解决、估值理论及相关主题
  • 批准号:
    2422557
  • 财政年份:
    2024
  • 资助金额:
    $ 0.44万
  • 项目类别:
    Standard Grant
Collaborative Research: Connecting the Past, Present, and Future Climate of the Lake Victoria Basin using High-Resolution Coupled Modeling
合作研究:使用高分辨率耦合建模连接维多利亚湖盆地的过去、现在和未来气候
  • 批准号:
    2323649
  • 财政年份:
    2024
  • 资助金额:
    $ 0.44万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了