Sentences and Circuits
句子和电路
基本信息
- 批准号:8805880
- 负责人:
- 金额:$ 5.15万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1988
- 资助国家:美国
- 起止时间:1988-07-15 至 1990-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The expressive power of sentences on finite models and the computational power of circuits with unbounded fan-in will be studied. Lower bounds on the depth and size of two kinds of circuits will be considered: those whose gates are AND, or, and NOT, and those whose gates are threshold functions. In addition, the effectiveness of some learning algorithms for threshold circuits will be investigated. Another topic is the average behavior of relational data bases that are subjected to random updates. Recent results of the principal investigator show that, in certain cases, as the data base evolves, the truth of a query approaches a limiting value independent of the initial configuration of the data base. The proposed research is to extend these results to more general cases. Work in finite model theory is planned. One topic is to obtain nonlinear time lower bounds using model-theoretic reductions. The other is to analyze the asymptotic behavior of the probability of sentences over certain classes of finite models.
句子在有限模型上的表达能力和 将研究具有无界扇入的电路的计算能力。 两种电路的深度和大小的下限将是 他们的门是与,或与。 门是阈值函数。 此外,一些有效 将研究用于阈值电路的学习算法。 另一个主题是关系数据库的平均行为, 进行随机更新。 最近的主要结果 研究人员表明,在某些情况下,随着数据库的发展, 查询的真值接近与初始值无关的极限值 数据库的配置。 这项研究旨在扩大 这些结果适用于更一般的情况。 计划在有限模型理论方面开展工作。 一个主题是获得 非线性时间下限使用模型理论的减少。 的 另一个是分析概率的渐近行为, 在某些有限模型类上的句子。
项目成果
期刊论文数量(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 }}
James Lynch其他文献
Rat Strain Differences Observed in the Rotarod Test
- DOI:
10.1016/j.vascn.2017.09.081 - 发表时间:
2017-11-01 - 期刊:
- 影响因子:
- 作者:
James Lynch;Scott Mittelstadt - 通讯作者:
Scott Mittelstadt
On a threshold representation for complex load-sharing systems
- DOI:
10.1016/j.jspi.2011.03.006 - 发表时间:
2011-08-01 - 期刊:
- 影响因子:
- 作者:
Shuang Li;James Lynch - 通讯作者:
James Lynch
Is “school sport” associated with school belongingness? Testing the influence of school sport policy
“学校体育”与学校归属感相关吗?测试学校体育政策的影响力吗?
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Gareth J. Jones;Moonsup Hyun;Michael B Edwards;Jonathan M. Casper;J. Bocarro;James Lynch - 通讯作者:
James Lynch
Hawkmoths use wingstroke-to-wingstroke frequency modulation for aerial recovery to vortex ring perturbations
天蛾使用翼冲到翼冲频率调制来空中恢复涡环扰动
- DOI:
10.1101/2020.12.07.413781 - 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
J. Gau;Ryan Gemilere;James Lynch;N. Gravish;S. Sponberg - 通讯作者:
S. Sponberg
What does a typical admission for tracheostomy look like?
- DOI:
10.1016/j.tacc.2019.12.440 - 发表时间:
2020-02-01 - 期刊:
- 影响因子:
- 作者:
Fung Kei Ng;Ms Sarah Wallace;Ms Barbara Bonvento;James Lynch;Barry Coe;Mike Firn;Ms Anna Owen;Brendan A. McGrath - 通讯作者:
Brendan A. McGrath
James Lynch的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('James Lynch', 18)}}的其他基金
Workshop on Logic and Systems Biology
逻辑与系统生物学研讨会
- 批准号:
1430556 - 财政年份:2014
- 资助金额:
$ 5.15万 - 项目类别:
Standard Grant
Workshop on Logic and Systems Biology
逻辑与系统生物学研讨会
- 批准号:
1231446 - 财政年份:2012
- 资助金额:
$ 5.15万 - 项目类别:
Standard Grant
Collaborative Research for Developing ATD: Bayesian Methods in Syndromic Surveillance: CAR Models and Computational Implementation
开发 ATD 的协作研究:症状监测中的贝叶斯方法:CAR 模型和计算实现
- 批准号:
0914921 - 财政年份:2009
- 资助金额:
$ 5.15万 - 项目类别:
Standard Grant
Dynamic Models and Decision Making for Complex Reliability Systems
复杂可靠性系统的动态模型和决策
- 批准号:
0805809 - 财政年份:2008
- 资助金额:
$ 5.15万 - 项目类别:
Continuing Grant
The Workshop on Logic and Systems Biology
逻辑与系统生物学研讨会
- 批准号:
0629553 - 财政年份:2006
- 资助金额:
$ 5.15万 - 项目类别:
Standard Grant
Stochastic Models and Inference for the Reliability of Complex Systems
复杂系统可靠性的随机模型和推理
- 批准号:
0243594 - 财政年份:2003
- 资助金额:
$ 5.15万 - 项目类别:
Continuing Grant
Schools as Precipitants of Crime: The Routine Activities and the Sociology of Place
学校作为犯罪的诱因:日常活动和地方社会学
- 批准号:
0071124 - 财政年份:2000
- 资助金额:
$ 5.15万 - 项目类别:
Standard Grant
Collaborative Research on the Use of Case-Control Methods to Test Opportunity Theory
使用病例对照方法检验机会理论的合作研究
- 批准号:
9115171 - 财政年份:1991
- 资助金额:
$ 5.15万 - 项目类别:
Standard Grant
相似海外基金
CAREER: Lower Bounds for Shallow Circuits
职业生涯:浅层电路的下限
- 批准号:
2338730 - 财政年份:2024
- 资助金额:
$ 5.15万 - 项目类别:
Continuing Grant
PZT-hydrogel integrated active non-Hermitian complementary acoustic metamaterials with real time modulations through feedback control circuits
PZT-水凝胶集成有源非厄米互补声学超材料,通过反馈控制电路进行实时调制
- 批准号:
2423820 - 财政年份:2024
- 资助金额:
$ 5.15万 - 项目类别:
Standard Grant
Learning how we learn: linking inhibitory brain circuits to motor learning
了解我们如何学习:将抑制性大脑回路与运动学习联系起来
- 批准号:
DE240100201 - 财政年份:2024
- 资助金额:
$ 5.15万 - 项目类别:
Discovery Early Career Researcher Award
Investigating heterojunction-based organic phototransistors and circuits using layer-by-layer coated highly-oriented polymer semiconductors
使用逐层涂覆的高取向聚合物半导体研究基于异质结的有机光电晶体管和电路
- 批准号:
24K17743 - 财政年份:2024
- 资助金额:
$ 5.15万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Immunoregulatory functions of appetite controlling brain circuits
食欲控制脑回路的免疫调节功能
- 批准号:
BB/Y005694/1 - 财政年份:2024
- 资助金额:
$ 5.15万 - 项目类别:
Research Grant
Silencing the noise in quantum circuits by a Quantum fluid Bath - SQuBa
通过量子流体浴消除量子电路中的噪声 - SQuBa
- 批准号:
EP/Y022289/1 - 财政年份:2024
- 资助金额:
$ 5.15万 - 项目类别:
Research Grant
New directions in piezoelectric phononic integrated circuits: exploiting field confinement (SOUNDMASTER)
压电声子集成电路的新方向:利用场限制(SOUNDMASTER)
- 批准号:
EP/Z000688/1 - 财政年份:2024
- 资助金额:
$ 5.15万 - 项目类别:
Research Grant
Functional implications of focal white matter lesions on neuronal circuits
局灶性白质病变对神经元回路的功能影响
- 批准号:
MR/Y014537/1 - 财政年份:2024
- 资助金额:
$ 5.15万 - 项目类别:
Research Grant
Mechanisms of Motivation: The Role of Cortical-Basal Ganglia-Dopamine Circuits in Reward Pursuit and Apathy
动机机制:皮质-基底神经节-多巴胺回路在奖励追求和冷漠中的作用
- 批准号:
MR/X022080/1 - 财政年份:2024
- 资助金额:
$ 5.15万 - 项目类别:
Research Grant
EPSRC-SFI: Supercoiling-driven gene control in synthetic DNA circuits
EPSRC-SFI:合成 DNA 电路中超螺旋驱动的基因控制
- 批准号:
EP/V027395/2 - 财政年份:2024
- 资助金额:
$ 5.15万 - 项目类别:
Research Grant