刷新
{{item.name}}会员
Independence Proofs in Set Theory and Set Theoretic Topology
集合论和集合论拓扑中的独立性证明
基本信息
- 批准号：8001883
- 负责人：
- 金额：$ 3.86万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1980
- 资助国家：美国
- 起止时间：1980-06-01 至 1984-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 }}
Arnold Miller其他文献
Role of angioscopy in reoperation for the failing or failed infrainguinal vein bypass graft
血管镜检查在失败或失败的腹股沟下静脉旁路移植术再次手术中的作用
- DOI：
- 发表时间：
1994 - 期刊：
- 影响因子：1.5
- 作者：
T. Hölzenbein;Arnold Miller;G. Tannenbaum;M. Contreras;P. Lavin;G. Gibbons;D. Campbell;D. Freeman;F. Pomposelli;F. Logerfo - 通讯作者：
F. Logerfo
Return to well-being and function after infrainguinal revascularization.
腹股沟下血运重建后恢复健康和功能。
- DOI：
10.1016/s0741-5214(95)70242-3 - 发表时间：
1995 - 期刊：
- 影响因子：4.3
- 作者：
G. Gibbons;A. Burgess;E. Guadagnoli;F. Pomposelli;D. Freeman;D. Campbell;Arnold Miller;E. Marcaccio;P. Nordberg;F. Logerfo - 通讯作者：
F. Logerfo
Angioscopy: Instrumentation, Techniques, and Applications
血管镜检查：仪器、技术和应用
- DOI：
10.1007/978-1-4419-1387-6_9 - 发表时间：
2010 - 期刊：
- 影响因子：4.3
- 作者：
Arnold Miller;J. Salenius - 通讯作者：
J. Salenius
From Ritual to Repertoire : A Cognitive-Developmental Systems Approach with Behavior-Disordered Children
从仪式到曲目：针对行为障碍儿童的认知发展系统方法
- DOI：
10.4324/9781315067360 - 发表时间：
1989 - 期刊：
- 影响因子：29.4
- 作者：
Arnold Miller;Eileen Eller - 通讯作者：
Eileen Eller
Safety of vein bypass grafting to the dorsal pedal artery in diabetic patients with foot infections.
足部感染的糖尿病患者足背动脉静脉旁路移植术的安全性。
- DOI：
10.1016/0741-5214(92)90454-g - 发表时间：
1992 - 期刊：
- 影响因子：4.3
- 作者：
G. Tannenbaum;F. Pomposelli;E. Marcaccio;G. Gibbons;D. Campbell;D. Freeman;Arnold Miller;F. Logerfo - 通讯作者：
F. Logerfo
Arnold Miller的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Arnold Miller', 18)}}的其他基金
Kunenfest- Conference in Honor of Kenneth Kunen; Spring 2009, Madison, WI
Kunenfest-纪念肯尼思·库宁的会议；
- 批准号：
0908315 - 财政年份：2009
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
COLLABORATIVE RESEARCH: High-Resolution Event Stratigraphy of the Kope-Corryville Sequence in the Type Cincinnatian
合作研究：辛辛那提型 Kope-Corryville 层序的高分辨率事件地层学
- 批准号：
9204916 - 财政年份：1992
- 资助金额：
$ 3.86万 - 项目类别：
Continuing grant
Mathematical Sciences: The Set Theory of the Real Line
数学科学：实线集合论
- 批准号：
9024788 - 财政年份：1991
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
Mathematical Sciences: 7th Summer Conference on General Topology & Applications: Mary Ellen Rudin & Her Work; to be held June 26-29, 1991 in Madison, Wisconsin
数学科学：第七届一般拓扑夏季会议
- 批准号：
9105184 - 财政年份：1991
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
Impact of a Major Storm on Subfossil Molluscan Assemblages, St. Croix, U.S. Virgin Islands
一场大风暴对美属维尔京群岛圣克罗伊岛软体动物化石组合的影响
- 批准号：
9001738 - 财政年份：1989
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
Mathematical Sciences: Borel Versions of Infinite Combinatorial Theorems
数学科学：无限组合定理的 Borel 版本
- 批准号：
8600325 - 财政年份：1986
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
Mathematical Sciences: Methods of Forcing Which Add Reals
数学科学：强制加实数的方法
- 批准号：
8401711 - 财政年份：1984
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
Lysosomal Enzymes in Dictyostelium Discoideum
盘基网柄菌中的溶酶体酶
- 批准号：
7922887 - 财政年份：1980
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
Independence Proofs in Axiomatic Set Theory
公理集合论中的独立性证明
- 批准号：
7801092 - 财政年份：1978
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
相似海外基金
Structure vs Invariants in Proofs (StrIP)
证明中的结构与不变量 (StrIP)
- 批准号：
MR/Y011716/1 - 财政年份：2024
- 资助金额：
$ 3.86万 - 项目类别：
Fellowship
CAREER:Exploring the power of quantum protocols for interactive proofs
职业：探索量子协议用于交互式证明的力量
- 批准号：
2339948 - 财政年份：2024
- 资助金额：
$ 3.86万 - 项目类别：
Continuing Grant
SHF: SMALL: Language-agnostic Proofs
SHF：SMALL：与语言无关的证明
- 批准号：
2317257 - 财政年份：2023
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
FRG: Collaborative Research: Singularities in Incompressible Flows: Computer Assisted Proofs and Physics-Informed Neural Networks
FRG：协作研究：不可压缩流中的奇异性：计算机辅助证明和物理信息神经网络
- 批准号：
2245017 - 财政年份：2023
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
Computer-assisted Proofs in Fluid Mechanics and Applications
流体力学及其应用中的计算机辅助证明
- 批准号：
2247537 - 财政年份：2023
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
CAREER: Cryptographic Proofs, Outside the Black-Box
职业：黑匣子之外的密码学证明
- 批准号：
2238718 - 财政年份：2023
- 资助金额：
$ 3.86万 - 项目类别：
Continuing Grant
Improvement of Security Proofs for Signature Schemes Based on Non-Interactive Assumptions
基于非交互假设的签名方案安全证明改进
- 批准号：
23K16841 - 财政年份：2023
- 资助金额：
$ 3.86万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
FRG: Collaborative Research: Singularities in Incompressible Flows: Computer Assisted Proofs and Physics-Informed Neural Networks
FRG：协作研究：不可压缩流中的奇异性：计算机辅助证明和物理信息神经网络
- 批准号：
2244879 - 财政年份：2023
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent Software
CISE-ANR：SHF：小型：并发软件的基于场景的形式化证明
- 批准号：
2315363 - 财政年份：2023
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant
SHF:Small: Extensible Models and Proofs via Family Polymorphism
SHF:Small：通过族多态性的可扩展模型和证明
- 批准号：
2303983 - 财政年份：2023
- 资助金额：
$ 3.86万 - 项目类别：
Standard Grant