Collaborative Research: A Formal Theory of Robust Numerical Computational Geometry and Its Validation on Configuration Space Construction

协作研究:鲁棒数值计算几何的形式理论及其对构型空间构造的验证

基本信息

  • 批准号:
    0304955
  • 负责人:
  • 金额:
    $ 24万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2003
  • 资助国家:
    美国
  • 起止时间:
    2003-08-15 至 2007-09-30
  • 项目状态:
    已结题

项目摘要

3D shape matching, massive dataset visualization, and protein structure prediction. The theoretical issues involve combinatorial geometry, algorithm design and basic complexity theory. This effort is aimed at deriving new computational methods for solving problems of a geometric or biological nature that have resisted past investigations because of one two reasons: either the input data is too massive to be processed directly and it can only be "sampled" cleverly or the number of variables is itself so high that standard methods suffer from an exponential blowupin the time it takes to run them. New dimension reduction techniques are needed to resolve this bottleneck.
3D形状匹配、海量数据集可视化和蛋白质结构预测。理论问题涉及组合几何、算法设计和基本复杂性理论。 这项工作的目的是获得新的计算方法来解决几何或生物性质的问题,这些问题由于以下两个原因而抵制了过去的调查:要么输入数据太大,无法直接处理,只能巧妙地“采样”,要么变量的数量本身太高,以至于标准方法在运行它们所需的时间内遭受指数爆炸。需要新的降维技术来解决这个瓶颈。

项目成果

期刊论文数量(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 }}

Victor Milenkovic其他文献

Constructing strongly convex hulls using exact or rounded arithmetic
  • DOI:
    10.1007/bf01758851
  • 发表时间:
    1992-12-01
  • 期刊:
  • 影响因子:
    0.700
  • 作者:
    Zhenyu Li;Victor Milenkovic
  • 通讯作者:
    Victor Milenkovic
Geometric rounding and feature separation in meshes
  • DOI:
    10.1016/j.cad.2018.10.003
  • 发表时间:
    2019-03-01
  • 期刊:
  • 影响因子:
  • 作者:
    Victor Milenkovic;Elisha Sacks
  • 通讯作者:
    Elisha Sacks

Victor Milenkovic的其他文献

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

{{ truncateString('Victor Milenkovic', 18)}}的其他基金

AF:Small:Collaborative Research:Making Computational Geometry Polynomial in Derivation Length and in Dimension
AF:小:协作研究:使计算几何多项式在导数长度和维度上
  • 批准号:
    1526335
  • 财政年份:
    2015
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
AF: Medium: Collaborative Research: Approximate Computational Geometry via Controlled Linear Perturbation
AF:媒介:协作研究:通过受控线性扰动近似计算几何
  • 批准号:
    0904707
  • 财政年份:
    2009
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
The 'CG to MP' Strategy for Animation, Packing, and Related Optimization Problems
针对动画、打包和相关优化问题的“CG 到 MP”策略
  • 批准号:
    9712401
  • 财政年份:
    1997
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
PYI: Robust Algorithms in Computational Geometry
PYI:计算几何中的鲁棒算法
  • 批准号:
    9496247
  • 财政年份:
    1994
  • 资助金额:
    $ 24万
  • 项目类别:
    Continuing Grant
PYI: Robust Algorithms in Computational Geometry
PYI:计算几何中的鲁棒算法
  • 批准号:
    9157993
  • 财政年份:
    1991
  • 资助金额:
    $ 24万
  • 项目类别:
    Continuing Grant
Designing Geometric Algorithms with Correct Rounded Arithmetic Implementations
设计具有正确舍入算术实现的几何算法
  • 批准号:
    9009272
  • 财政年份:
    1990
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant

相似国自然基金

Research on Quantum Field Theory without a Lagrangian Description
  • 批准号:
    24ZR1403900
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
Cell Research
  • 批准号:
    31224802
  • 批准年份:
    2012
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Cell Research
  • 批准号:
    31024804
  • 批准年份:
    2010
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Cell Research (细胞研究)
  • 批准号:
    30824808
  • 批准年份:
    2008
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
  • 批准号:
    10774081
  • 批准年份:
    2007
  • 资助金额:
    45.0 万元
  • 项目类别:
    面上项目

相似海外基金

Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
  • 批准号:
    2319400
  • 财政年份:
    2023
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
  • 批准号:
    2319399
  • 财政年份:
    2023
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers
合作研究:FMitF:第一轨:可编程逻辑控制器的形式验证和实现堆栈
  • 批准号:
    2425711
  • 财政年份:
    2023
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
  • 批准号:
    2404036
  • 财政年份:
    2023
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
  • 批准号:
    2409796
  • 财政年份:
    2023
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究:FMitF:第一轨:使用形式方法合成和验证内存计算系统
  • 批准号:
    2319401
  • 财政年份:
    2023
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers
合作研究:FMitF:第一轨:可编程逻辑控制器的形式验证和实现堆栈
  • 批准号:
    2220311
  • 财政年份:
    2022
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Medium: Toward safe, private, and secure home automation: from formal modeling to user evaluation
协作研究:SaTC:核心:中:迈向安全、私密和可靠的家庭自动化:从形式建模到用户评估
  • 批准号:
    2320903
  • 财政年份:
    2022
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
Collaborative Research: CNS Core: Medium: Robust Behavioral Analysis and Synthesis of Network Control Protocols Using Formal Verification
合作研究:CNS 核心:中:使用形式验证的网络控制协议的鲁棒行为分析和综合
  • 批准号:
    2212102
  • 财政年份:
    2022
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
Collaborative Research: CNS Core: Medium: Robust Behavioral Analysis and Synthesis of Network Control Protocols Using Formal Verification
合作研究:CNS 核心:中:使用形式验证的网络控制协议的鲁棒行为分析和综合
  • 批准号:
    2212103
  • 财政年份:
    2022
  • 资助金额:
    $ 24万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了