Amalgamation of functional and relational programming
Amalgamation of functional and relational programming
批准号:
37901-1989
负责人:
VanEmden, Maarten
金额:
$2.61万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
1991
资助国家:
加拿大
项目状态:
已结题
起止时间:
1991-01-01 至 1992-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Constraint logic programming
-
批准号:283271-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2008
-
负责人:VanEmden, Maarten
-
依托单位:
Constraint logic programming
-
批准号:283271-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2007
-
负责人:VanEmden, Maarten
-
依托单位:
Constraint logic programming
-
批准号:283271-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2006
-
负责人:VanEmden, Maarten
-
依托单位:
Constraint logic programming
-
批准号:283271-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2005
-
负责人:VanEmden, Maarten
-
依托单位:
Constraint logic programming
-
批准号:283271-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2004
-
负责人:VanEmden, Maarten
-
依托单位:
Applications of interval constraints
-
批准号:37901-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.91万
-
财政年份:2003
-
负责人:VanEmden, Maarten
-
依托单位:
Applications of interval constraints
-
批准号:37901-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.91万
-
财政年份:2002
-
负责人:VanEmden, Maarten
-
依托单位:
Applications of interval constraints
-
批准号:37901-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.91万
-
财政年份:2001
-
负责人:VanEmden, Maarten
-
依托单位:
Applications of interval constraints
-
批准号:37901-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.91万
-
财政年份:2000
-
负责人:VanEmden, Maarten
-
依托单位:
Numerical computation as deduction
-
批准号:37901-1996
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.41万
-
财政年份:1999
-
负责人:VanEmden, Maarten
-
依托单位:
Numerical computation as deduction
-
批准号:37901-1996
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.25万
-
财政年份:1998
-
负责人:VanEmden, Maarten
-
依托单位:
Numerical computation as deduction
-
批准号:37901-1996
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.95万
-
财政年份:1997
-
负责人:VanEmden, Maarten
-
依托单位:
Numerical computation as deduction
-
批准号:37901-1996
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.95万
-
财政年份:1996
-
负责人:VanEmden, Maarten
-
依托单位:
Software engineering for project 4.5
-
批准号:37901-1992
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.61万
-
财政年份:1995
-
负责人:VanEmden, Maarten
-
依托单位:
Software engineering for project 4.5
-
批准号:37901-1992
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.61万
-
财政年份:1994
-
负责人:VanEmden, Maarten
-
依托单位:
Software engineering for project 4.5
-
批准号:37901-1992
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.61万
-
财政年份:1993
-
负责人:VanEmden, Maarten
-
依托单位:
Software systems laboratory
-
批准号:43774-1990
-
项目类别:Infrastructure Grants (H)
-
资助金额:$6.12万
-
财政年份:1992
-
负责人:VanEmden, Maarten
-
依托单位:
Software engineering for project 4.5
-
批准号:37901-1992
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.61万
-
财政年份:1992
-
负责人:VanEmden, Maarten
-
依托单位:
Software systems laboratory
-
批准号:43774-1990
-
项目类别:Infrastructure Grants (H)
-
资助金额:$6.12万
-
财政年份:1991
-
负责人:VanEmden, Maarten
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Got2基因对浆细胞样树突状细胞功能的调控及其在系统性红斑狼疮疾病中的作用研究
-
批准号:82371801
-
项目类别:面上项目
-
资助金额:47.00万元
-
批准年份:2023
-
负责人:周海波
-
依托单位:
基于再生运动神经路径优化Agrin作用促进损伤神经靶向投射的功能研究
-
批准号:82371373
-
项目类别:面上项目
-
资助金额:49.00万元
-
批准年份:2023
-
负责人:沃雁
-
依托单位:
利用CRISPR内源性激活Atoh1转录促进前庭毛细胞再生和功能重建
-
批准号:82371145
-
项目类别:面上项目
-
资助金额:46.00万元
-
批准年份:2023
-
负责人:陶永
-
依托单位:
SMC5-NSMCE2功能异常激活APSCs中p53/p16衰老通路导致脂肪萎缩和胰岛素抵抗的机制研究
-
批准号:82371873
-
项目类别:面上项目
-
资助金额:50.00万元
-
批准年份:2023
-
负责人:乔洁
-
依托单位:
HK2乳酰化修饰介导巨噬细胞功能障碍在脓毒症中的作用及机制
-
批准号:82372160
-
项目类别:面上项目
-
资助金额:49.00万元
-
批准年份:2023
-
负责人:陈峰
-
依托单位:
基于密度泛函理论金原子簇放射性药物设计、制备及其在肺癌诊疗中的应用研究
-
批准号:82371997
-
项目类别:面上项目
-
资助金额:48.00万元
-
批准年份:2023
-
负责人:张春富
-
依托单位:
OBSL1功能缺失导致多指(趾)畸形的分子机制及其临床诊断价值
-
批准号:82372328
-
项目类别:面上项目
-
资助金额:49.00万元
-
批准年份:2023
-
负责人:项盈
-
依托单位:
LTB4/BLT1轴调控NLRP3炎症小体对糖尿病认知功能障碍的作用研究
-
批准号:82371213
-
项目类别:面上项目
-
资助金额:47.00万元
-
批准年份:2023
-
负责人:王修哲
-
依托单位:
Identification and quantification of primary phytoplankton functional types in the global oceans from hyperspectral ocean color remote sensing
-
批准号:--
-
项目类别:--
-
资助金额:160万元
-
批准年份:2022
-
负责人:李忠平
-
依托单位:
浸润特性调制的统计热力学研究
-
批准号:21173271
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2011
-
负责人:周世琦
-
依托单位: