刷新
{{item.name}}会员
A Proposal for Research on Equational Logic as a Programming Language
研究方程逻辑作为编程语言的建议
基本信息
- 批准号：8601843
- 负责人：
- 金额：$ 18.7万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1986
- 资助国家：美国
- 起止时间：1986-07-01 至 1988-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Michael O'Donnell其他文献
MP26-20 SEQUENTIAL INTRAVESICAL GEMCITABINE AND DOCETAXEL FOR THE SALVAGE TREATMENT OF NON-MUSCLE INVASIVE BLADDER CANCER
- DOI：
10.1016/j.juro.2015.02.1142 - 发表时间：
2015-04-01 - 期刊：
- 影响因子：
- 作者：
Ryan Steinberg;Lewis Thomas;Michael O'Donnell;Kenneth Nepple - 通讯作者：
Kenneth Nepple
PPTLBA-02 BLUE LIGHT FLEXIBLE CYSTOSCOPY (BLFC) WITH HEXAMINOLEVULINATE (HAL) AND WHITE LIGHT FLEXIBLE CYSTOSCOPY: A PROSPECTIVE, COMPARATIVE, WITHIN-PATIENT CONTROLLED MULTI-CENTER PHASE 3 STUDY IN THE DETECTION OF BLADDER CANCER DURING SURVEILLANCE
- DOI：
10.1016/j.juro.2017.03.075 - 发表时间：
2017-04-01 - 期刊：
- 影响因子：
- 作者：
Siamak Daneshmand;Sanjay Patel;Yair Lotan;Kamal Pohar;Edouard Trabulsi;Michael Woods;Tracy Downs;William Huang;Jennifer Taylor;Michael O'Donnell;Trinity Bivalacqua;Joel DeCastro;Gary Steinberg;Ashish Kamat;Matthew Resnick;Badrinath Konety;Mark Schoenberg;Stephen Jones - 通讯作者：
Stephen Jones
ONCOLOGIC OUTCOMES OF GEMCITABINE-DOCETAXEL COMBINATION INTRAVESICAL BLADDER SPARING THERAPY COMPARED TO UPFRONT RADICAL CYSTECTOMY IN BCG-UNRESPONSIVE NON-MUSCLE INVASIVE BLADDER CANCER
- DOI：
10.1016/j.urolonc.2024.01.160 - 发表时间：
2024-03-01 - 期刊：
- 影响因子：
- 作者：
Drupad Annapureddy;Jacob Taylor;Jeffrey Howard;Solomon L. Woldu;Yair Lotan;Wei Shen Tan;Ashish Kamat;Ian M. McElree;Vignesh T. Packiam;Michael O'Donnell;Davaro Facundo;Roger Li;Kendrick Yim;Mark A. Preston;Stephen Harrington;Elizabeth Dyer;Jay Raman;Anna Black;Peter Black;Pratik Kanabur - 通讯作者：
Pratik Kanabur
Appraisal Analysis and the Computer
评估分析和计算机
- DOI：
- 发表时间：
2012 - 期刊：
- 影响因子：0
- 作者：
Michael O'Donnell - 通讯作者：
Michael O'Donnell
The SMC5/6 complex exhibits dynamic binding on double-stranded DNA, but binds stably to branched DNA
- DOI：
10.1016/j.bpj.2022.11.596 - 发表时间：
2023-02-10 - 期刊：
- 影响因子：
- 作者：
Jeremy T. Chang;Shibai Li;Emily Beckwitt;Thane Than;Cory Haluska;Joshua Chandanani;Michael O'Donnell;Xiaolan Zhao;Shixin Liu - 通讯作者：
Shixin Liu
Michael O'Donnell的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Michael O'Donnell', 18)}}的其他基金
I-Corps: A bisulfite-free method of quantifying the methylation patterns for detecting cancer recurrence in blood
I-Corps：一种无亚硫酸氢盐的定量甲基化模式的方法，用于检测血液中的癌症复发
- 批准号：
2131361 - 财政年份：2021
- 资助金额：
$ 18.7万 - 项目类别：
Standard Grant
Replication of the lagging strand by DNA Polymerase III Holoenzyme
DNA 聚合酶 III 全酶复制滞后链
- 批准号：
9303921 - 财政年份：1993
- 资助金额：
$ 18.7万 - 项目类别：
Standard Grant
Theory and Implementation of Equational Logic Programming
方程逻辑编程的理论与实现
- 批准号：
9016905 - 财政年份：1991
- 资助金额：
$ 18.7万 - 项目类别：
Continuing Grant
Rigorous Mathematical Sciences Curriculum for the Humanities and Social Sciences
严谨的人文社会科学数学科学课程
- 批准号：
8950775 - 财政年份：1990
- 资助金额：
$ 18.7万 - 项目类别：
Standard Grant
The University of Chicago Computer Science Laboratory
芝加哥大学计算机科学实验室
- 批准号：
8822657 - 财政年份：1989
- 资助金额：
$ 18.7万 - 项目类别：
Continuing Grant
Theory and Implementation of Equational Logic Programming
方程逻辑编程的理论与实现
- 批准号：
8805503 - 财政年份：1988
- 资助金额：
$ 18.7万 - 项目类别：
Continuing Grant
Biochemical Mechanism of DNA Polymerase III Holoenzyme
DNA聚合酶III全酶的生化机制
- 批准号：
8706000 - 财政年份：1987
- 资助金额：
$ 18.7万 - 项目类别：
Continuing 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: REU Site: Earth and Planetary Science and Astrophysics REU at the American Museum of Natural History in Collaboration with the City University of New York
合作研究：REU 地点：地球与行星科学和天体物理学 REU 与纽约市立大学合作，位于美国自然历史博物馆
- 批准号：
2348998 - 财政年份：2025
- 资助金额：
$ 18.7万 - 项目类别：
Standard Grant
Collaborative Research: REU Site: Earth and Planetary Science and Astrophysics REU at the American Museum of Natural History in Collaboration with the City University of New York
合作研究：REU 地点：地球与行星科学和天体物理学 REU 与纽约市立大学合作，位于美国自然历史博物馆
- 批准号：
2348999 - 财政年份：2025
- 资助金额：
$ 18.7万 - 项目类别：
Standard Grant
"Small performances": investigating the typographic punches of John Baskerville (1707-75) through heritage science and practice-based research
“小型表演”：通过遗产科学和基于实践的研究调查约翰·巴斯克维尔（1707-75）的印刷拳头
- 批准号：
AH/X011747/1 - 财政年份：2024
- 资助金额：
$ 18.7万 - 项目类别：
Research Grant
Democratizing HIV science beyond community-based research
将艾滋病毒科学民主化，超越社区研究
- 批准号：
502555 - 财政年份：2024
- 资助金额：
$ 18.7万 - 项目类别：
Translational Design: Product Development for Research Commercialisation
转化设计：研究商业化的产品开发
- 批准号：
DE240100161 - 财政年份：2024
- 资助金额：
$ 18.7万 - 项目类别：
Discovery Early Career Researcher Award
Understanding the experiences of UK-based peer/community-based researchers navigating co-production within academically-led health research.
了解英国同行/社区研究人员在学术主导的健康研究中进行联合生产的经验。
- 批准号：
2902365 - 财政年份：2024
- 资助金额：
$ 18.7万 - 项目类别：
Studentship
XMaS: The National Material Science Beamline Research Facility at the ESRF
XMaS：ESRF 的国家材料科学光束线研究设施
- 批准号：
EP/Y031962/1 - 财政年份：2024
- 资助金额：
$ 18.7万 - 项目类别：
Research Grant
FCEO-UKRI Senior Research Fellowship - conflict
FCEO-UKRI 高级研究奖学金 - 冲突
- 批准号：
EP/Y033124/1 - 财政年份：2024
- 资助金额：
$ 18.7万 - 项目类别：
Research Grant
UKRI FCDO Senior Research Fellowships (Non-ODA): Critical minerals and supply chains
UKRI FCDO 高级研究奖学金（非官方发展援助）：关键矿产和供应链
- 批准号：
EP/Y033183/1 - 财政年份：2024
- 资助金额：
$ 18.7万 - 项目类别：
Research Grant
TARGET Mineral Resources - Training And Research Group for Energy Transition Mineral Resources
TARGET 矿产资源 - 能源转型矿产资源培训与研究小组
- 批准号：
NE/Y005457/1 - 财政年份：2024
- 资助金额：
$ 18.7万 - 项目类别：
Training Grant