Prateek Mishra公司
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [i3] 阿亚曼·雷纳 , Prateek Mishra公司 , 哈拉什·戈亚尔 , 德鲁夫·库马尔 :
AI作为医疗联盟:评估ChatGPT在印度医疗保健中的使用和影响。 CoRR公司 abs/2401.15605 ( 2024 ) 2022 [公元20年] Prateek Mishra公司 , Pankaj Dadure公司 , K.V.N.普拉纳夫 , Medisetti SriHarsha公司 , Devi Prasad Upadhyay公司 , 尼米塔·比斯瓦斯 , Partha Pakray公司 :
个性化医疗Chatbot:数据集和原型系统。 CICBA公司 2022 : 378-388 2021 [i2] Prateek Mishra公司 , 库马尔·迪维亚·马尼 , Prashant Johri公司 , 迪赫萨·阿里亚 :
FCMI:基于特征相关性的缺失数据插补。 CoRR公司 abs/2107.00100 ( 2021 ) 2020 [i1] Prateek Mishra公司 :
使用3D-CNN进行与文本无关的少数镜头说话人验证。 CoRR公司 abs/2008.11088 ( 2020 )
2010 – 2019
2014 [公元9年] Sourindra M.Chaudhuri先生 , Prateek Mishra公司 , 尼拉杰·K·贾 :
使用响应面方法准确估计PVT变化下FinFET标准电池的泄漏/延迟。 ACM J.Emerg.技术。 计算。 系统。 11 ( 2 ) : 19:1-19:20 ( 2014 ) 2012 [第19条] 苏琳德拉·乔杜里 , 普拉提克·米什拉 , 尼拉杰·K·贾 :
使用响应面方法精确估计FinFET标准电池的泄漏。 超大型积体电路设计 2012 : 238-244 2010 [c18] Prateek Mishra公司 , 尼拉杰·K·贾 :
使用表面取向优化的低功耗FinFET电路合成。 日期 2010 : 311-314 [第17条] Prateek Mishra公司 , Ajay N.Bhoj , 尼拉杰·K·贾 :
考虑工艺变化的FinFET电路的模级泄漏功率分析。 ISQED公司 2010 : 347-355
2000 – 2009
2009 [j8] Prateek Mishra公司 , 阿尼什·穆特雷加 , 尼拉杰·K·贾 :
使用多电源和阈值电压的低功耗FinFET电路合成。 ACM J.Emerg.技术。 计算。 系统。 5 ( 2 ) : 7:1-7:23 ( 2009 ) 2008 [第16条] Prateek Mishra公司 , 阿尼什·穆特雷加 , 尼拉杰·K·贾 :
用于低功率FinFET电路合成的多电源和阈值电压的评估。 NANOARCH公司 2008 : 77-84 [第15条] 阿尼什·穆特雷加 , Prateek Mishra公司 , 尼拉杰·K·贾 :
通过多电源电压对节能FinFET互连的阈值电压进行控制。 超大型积体电路设计 2008 : 220-227
1990 – 1999
1998 [j7] 毛里西奥·科尔特斯 , Prateek Mishra公司 :
协作应用程序的实现模型。 CLEI Electron公司。 J。 1 ( 1 ) ( 1998 ) 1997 [j6] R.塞卡尔 , I.V.罗摩克里希南 , Prateek Mishra公司 :
关于严格性分析的力量和局限性。 美国临床医学杂志 44 ( 三 ) : 第505页至第525页 ( 1997 ) 1996 [第14条] 毛里西奥·科尔特斯 , Prateek Mishra公司 :
DCWPL:一种用于描述协作工作的编程语言。 CSCW公司 1996 : 21-29 1992 [第13条] 马克·纽伯格 , Prateek Mishra公司 :
正向和反向严格性分析的演绎力之间的精确关系。 LISP与函数编程 1992 : 127-138 1991 [第12条] 梁爱伦(Allen Leung) , Prateek Mishra公司 :
关于高级惰性语言中简单和穷尽需求的推理。 FPCA公司 1991 : 328-351 [第11条] R.C.塞卡尔 , Prateek Mishra公司 , I.V.罗摩克里希南 :
基于抽象解释的严格性分析的权力和局限性。 POPL公司 1991 : 37-48 1990 [j5] You-Chin Fuh先生 , Prateek Mishra公司 :
带子类型的类型推断。 西奥。 计算。 科学。 73 ( 2 ) : 155-175年 ( 1990 ) [第10条] 桑吉瓦·普拉萨德 , 亚历山德罗·贾卡隆 , Prateek Mishra公司 :
Facile的操作语义和代数语义:并发编程和函数编程的对称集成。 ICALP公司 1990 : 765-778
1980 – 1989
1989 【j4】 亚历山德罗·贾卡隆 , Prateek Mishra公司 , 桑吉瓦·普拉萨德 :
Facile:并发编程和函数编程的对称集成。 国际J并行程序。 18 ( 2 ) : 121-160 ( 1989 ) 【c9】 宗敏国 , Prateek Mishra公司 :
严格性分析:一种基于类型推理的新视角。 FPCA公司 1989 : 260-272 【c8】 You-Chin Fuh先生 , 普拉提克·米什拉 :
多形性亚型推断:缩小理论与实践之间的差距。 TAPSOFT,第2卷 1989 : 167-183 【c7】 亚历山德罗·贾卡隆 , Prateek Mishra公司 , 桑吉瓦·普拉萨德 :
FACILE:并行编程和函数编程的对称集成。 TAPSOFT,第2卷 1989 : 184-209 1988 [j3] Prateek Mishra公司 :
非类型lambda-Calculus的严格性分析。 信息处理。 莱特。 28 ( 三 ) : 第121页至第125页 ( 1988 ) [注2] 索米亚·德布雷 , 普拉提克·米什拉 :
Prolog的指称语义和操作语义。 J.日志。 程序。 5 ( 1 ) : 81-91 ( 1988 ) 【c6】 You-Chin Fuh先生 , Prateek Mishra公司 :
带子类型的类型推断。 员工持股计划 1988 : 94-114 1987 【c5】 索米亚·德布雷 , Prateek Mishra公司 :
PROLOG的表示和操作语义。 编程概念的形式化描述 1987 : 245-274 【c4】 宗敏国 , Prateek Mishra公司 :
论严格及其分析。 POPL公司 1987 : 144-155 1985 【c3】 Prateek Mishra公司 , Uday S.Reddy公司 :
声明-自由类型检查。 POPL公司 1985 : 7月21日 1984 [c2] Prateek Mishra公司 , 罗伯特·凯勒 :
应用程序性质的静态推断。 POPL公司 1984 : 235-244 【c1】 Prateek Mishra公司 :
序言中的类型理论。 SLP公司 1984 : 289-298 1981 [j1] 乔治·洛戈塞提斯 , Prateek Mishra公司 :
一次编译短路布尔表达式。 柔和。 实际。 支出。 11 ( 11 ) : 1197-1214 ( 1981 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)