Mathematical Logic and General Topology

数理逻辑和一般拓扑

基本信息

  • 批准号:
    7802845
  • 负责人:
  • 金额:
    $ 3.11万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1978
  • 资助国家:
    美国
  • 起止时间:
    1978-06-01 至 1982-11-30
  • 项目状态:
    已结题

项目摘要

项目成果

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

Douglas Miller其他文献

On Negation Complexity of Injections, Surjections and Collision-Resistance in Cryptography
密码学中注入、喷射和抗碰撞的否定复杂性
  • DOI:
    10.1007/978-3-319-49890-4_19
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Douglas Miller;A. Scrivener;J. Stern;Muthuramakrishnan Venkitasubramaniam
  • 通讯作者:
    Muthuramakrishnan Venkitasubramaniam
Suppression of NF-κB Activity by Parthenolide Induces X-Ray Sensitivity through Inhibition of Split-Dose Repair in TP53 Null Prostate Cancer Cells
小白菊内酯抑制 NF-κB 活性通过抑制 TP53 无效前列腺癌细胞的分次剂量修复来诱导 X 射线敏感性
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    3.4
  • 作者:
    C. Watson;Douglas Miller;H. Chin;Adam C Losch;W. Hughes;C. Sweeney;M. Mendonca
  • 通讯作者:
    M. Mendonca
P38 - Obesity-Related Health Statistics Correlate More Strongly to Coalition Network Indices than Typical Effectiveness Evaluations
  • DOI:
    10.1016/j.jneb.2018.04.067
  • 发表时间:
    2018-07-01
  • 期刊:
  • 影响因子:
  • 作者:
    Jennifer Mansfield;Krystal Lynch;Donna Vandergraff;Douglas Miller;Dennis Savaiano
  • 通讯作者:
    Dennis Savaiano
Investigation of Atmospheric Rivers Impacting the Pigeon River Basin of the Southern Appalachian Mountains
对影响南阿巴拉契亚山脉鸽子河流域的大气河流的调查
  • DOI:
    10.1175/waf-d-17-0060.1
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    2.9
  • 作者:
    Douglas Miller;David G. Hotz;J. Winton;L. Stewart
  • 通讯作者:
    L. Stewart
A Study of Two Impactful Heavy Rainfall Events in the Southern Appalachian Mountains during Early 2020, Part II; Regional Overview, Rainfall Evolution, and Satellite QPE Utility
对 2020 年初阿巴拉契亚山脉南部两次有影响的强降雨事件的研究,第二部分;
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    5
  • 作者:
    Douglas Miller;M. Arulraj;R. Ferraro;C. Grassotti;B. Kuligowski;Shuyan Liu;V. Petković;Shaorong Wu;P. Xie
  • 通讯作者:
    P. Xie

Douglas Miller的其他文献

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

{{ truncateString('Douglas Miller', 18)}}的其他基金

EarthCube IA: Collaborative Proposal: Building Interoperable Cyberinfrastructure (CI) at the Interface between Paleogeoinformatics and Bioinformatics
EarthCube IA:协作提案:在古地理信息学和生物信息学之间的接口处构建可互操作的网络基础设施 (CI)
  • 批准号:
    1540979
  • 财政年份:
    2015
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Standard Grant
ACES: A scholarship program for atmospheric and computer science exploratory scholars
ACES:针对大气和计算机科学探索学者的奖学金计划
  • 批准号:
    1356218
  • 财政年份:
    2014
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Continuing Grant
Collaborative Research in Geoinformatics: Building a Cyberinfrastructure for the Critical Zone Exploration Network
地理信息学合作研究:构建关键区域探索网络的网络基础设施
  • 批准号:
    0533644
  • 财政年份:
    2006
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Continuing Grant
A Bio-Electrical, Stress-Responsive Composite Coating for Prostheses
用于假肢的生物电、应力响应复合涂层
  • 批准号:
    9460179
  • 财政年份:
    1995
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Standard Grant
Yttrium Barium Copper Oxide Single Crystals for Flux-Trapping Applications
用于磁通捕获应用的钇钡铜氧化物单晶
  • 批准号:
    9460551
  • 财政年份:
    1995
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Standard Grant
Importance of Flow and Flux Micro-Environment to Soft-Bottom Benthos
流动和通量微环境对软底底栖动物的重要性
  • 批准号:
    9217020
  • 财政年份:
    1992
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Continuing Grant
Wave Sediment Transport Effects on Soft Bottom Benthic Feeding Biology
波浪沉积物输送对软底底栖摄食生物学的影响
  • 批准号:
    8911447
  • 财政年份:
    1989
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Continuing Grant
Wave Sediment Transport Effects on Soft-Bottom Benthic Feeding Biology
波浪沉积物输送对软底底栖生物摄食生物学的影响
  • 批准号:
    8710768
  • 财政年份:
    1987
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Continuing Grant

相似国自然基金

greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国学者研究基金项目

相似海外基金

Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
  • 批准号:
    2343607
  • 财政年份:
    2024
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Standard Grant
Conference: Southeastern Logic Symposium
会议:东南逻辑研讨会
  • 批准号:
    2401437
  • 财政年份:
    2024
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Continuing Grant
CAREER: Next-generation Logic, Memory, and Agile Microwave Devices Enabled by Spin Phenomena in Emergent Quantum Materials
职业:由新兴量子材料中的自旋现象实现的下一代逻辑、存储器和敏捷微波器件
  • 批准号:
    2339723
  • 财政年份:
    2024
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Continuing Grant
RII Track-4:NSF: Introducing Quantum Logic Spectroscopy to Greater Southern Nevada as a Vital Quantum Control and Information Process Method
RII Track-4:NSF:将量子逻辑光谱作为重要的量子控制和信息处理方法引入内华达州南部
  • 批准号:
    2327247
  • 财政年份:
    2024
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Standard Grant
Collaborative Research: Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
合作研究:用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
  • 批准号:
    2343606
  • 财政年份:
    2024
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Standard Grant
CRII: CPS: FAICYS: Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties
CRII:CPS:FAICYS:通过时态逻辑属性的引导伪造,对支持人工智能的网络物理系统进行基于模型的验证
  • 批准号:
    2347294
  • 财政年份:
    2024
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Standard Grant
2022BBSRC-NSF/BIO Generating New Network Analysis Tools for Elucidating the Functional Logic of 3D Vision Circuits of the Drosophila Brain
2022BBSRC-NSF/BIO 生成新的网络分析工具来阐明果蝇大脑 3D 视觉电路的功能逻辑
  • 批准号:
    BB/Y000234/1
  • 财政年份:
    2024
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Research Grant
Enriched Categorical Logic
丰富的分类逻辑
  • 批准号:
    EP/X027139/1
  • 财政年份:
    2024
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Fellowship
Travel: Student Travel Support for Logic Mentoring Workshops 2024
旅行:2024 年逻辑辅导研讨会的学生旅行支持
  • 批准号:
    2408942
  • 财政年份:
    2024
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Standard Grant
SHF: Small: Game Logic Programming
SHF:小:游戏逻辑编程
  • 批准号:
    2346619
  • 财政年份:
    2024
  • 资助金额:
    $ 3.11万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了