课题基金 / 基金详情

Low-Level Complexity: Logic, Automata, and Circuits

Low-Level Complexity: Logic, Automata, and Circuits
低级复杂性：逻辑、自动机和电路
批准号：
8714714
负责人：
David Barrington
金额：
$4.19万
依托单位：
University of Massachusetts Amherst
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1988
资助国家：
美国
项目状态：
已结题
起止时间：
1988-01-01 至 1990-06-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8714714&HistoricalAwards=false
关键词：
LowLevelComplexityLogicAutomata

项目摘要

项目成果

David Barrington的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Many of the principal aims of complexity theory are served by an examination of the problems solvable by abstract computers under tight resource bounds. Research will be continued on such complexity classes as L (those problems solvable with memory proportional to the logarithm of the input size) and NC1 (those problems solvable by Boolean circuits of polynomial size and logarithmic depth). In particular, the ramifications of recent work on branching programs and non-uniform finite automata will be explored.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
DISSERTATION RESEARCH: Hybridization and polyploidy as drivers of species diversification and niche evolution during rapid radiations
CSBR: Natural History: Launching the University of Vermont Natural History Museum Step One: Securing the Collections
Digitization PEN: Partnership to Existing Macrofungi Collection Consortium--Digitization of an Important Regional Collection of Macrofungi at the Pringle Herbarium
Collaborative Research: Digitization TCN: Mobilizing New England Vascular Plant Specimen Data to Track Environmental Changes
国内基金
海外基金
粒子level set方法的改进与空间自适应波浪模型并行化研究
  • 批准号：
    52171245
  • 项目类别：
    面上项目
  • 资助金额：
    58万元
  • 批准年份：
    2021
  • 负责人：
    黄筱云
  • 依托单位：
    长沙理工大学
基于Level Set方法的三维爆炸与冲击仿真软件开发及其应用
  • 批准号：
    11502121
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2015
  • 负责人：
    张莉
  • 依托单位：
    内江师范学院
层级稀疏化的Mid-Level特征空间下高分辨率遥感影像检索方法研究
基于新LEVEL SET方法的双标量小火焰模型的研究
  • 批准号：
    51306013
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2013
  • 负责人：
    刘英杰
  • 依托单位：
    北京航空航天大学