logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
J

Jeremy Johnson

Carnegie Mellon University

24H指数
134论文数
3.8K被引数
收录论文 8
发表时间
logo
Generating Formally Verified Quantum Fourier Transform Algorithms
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2024
IF0
err2024-07-29
err0
PREAI
errBrinich, Patrick; Johnson, Jeremy
err分享
err收藏
SPIRAL: Extreme Performance Portability螺旋: 极致性能便携性
errPROCEEDINGS OF THE IEEE
IF25.9
err2018-11-01
err65
errOAAI
errFranchetti, Franz; Low, Tze Meng; Popovici, Doru Thom; Veras, Richard M.; Spampinato, Daniele G.; Johnson, Jeremy R.; Puschel, Markus; Hoe, James C.; Moura, Jose M. F.
err分享
err收藏
High-Assurance SPIRAL END-TO-END GUARANTEES FOR ROBOT AND CAR CONTROL
errIEEE CONTROL SYSTEMS MAGAZINE
IF6.3
err2017-04-01
err23
PREAI
errFranchetti, Franz; Low, Tze Meng; Mitsch, Stefan; Mendoza, Juan Pablo; Gui, Liangyan; Phaosawasdi, Amarin; Padua, David; Kar, Soummya; Moura, Jose M. F.; Franusich, Michael; Johnson, Jeremy; Platzer, Andre; Veloso, Manuela M.
err分享
err收藏
The 2010 Benjamin Franklin medal in Computer and Cognitive Science presented to Shafrira Goldwasser, Ph.D.
errJOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS
IF3.7
err2014-01-01
err0
PREAI
errJohnson, Jeremy
err分享
err收藏
Effect of initial combination therapy with sitagliptin, a dipeptidyl peptidase-4 inhibitor, and metformin on glycemic control in patients with type 2 diabetes
errDIABETES CARE
IF16.6
err2007-08-01
err450
errOAAI
errGoldstein, Barry J.; Feinglos, Mark N.; Lunceford, Jared K.; Johnson, Jeremy; Williams-Herman, Debora E.
err分享
err收藏
Parallel solution of Newton's power flow equations on configurable chips
errINTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS
IF5
err2007-06-01
err25
PREAI
errWang, Xiaofang; Ziavras, Sotirios G.; Nwankpa, Chika; Johnson, Jeremy; Nagvajara, Prawat
err分享
err收藏
Spiral:: A generator for platform-adapted libraries of signal processing alogorithms
errINTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS
IF2.5
err2004-02-01
err106
PREAI
errPüschel, M; Moura, JMF; Singer, B; Xiong, JX; Johnson, J; Padua, D; Veloso, M; Johnson, RW
err分享
err收藏
Trial of isotretinoin and calcitriol monitored by CA 125 in patients with ovarian cancer在卵巢癌患者中通过CA 125监测异维a酸和骨化三醇的试验
errBRITISH JOURNAL OF CANCER
IF6.8
err1996-11-01
err30
errOAAI
errRustin, GJS; Quinnell, TG; Johnson, J; Clarke, H; Nelstrop, AE; Bollag, W
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
José M. F. Moura
H 指数: 77 · 论文数: 970
M
Manuela Veloso
H 指数: 66 · 论文数: 750
D
David Padua
H 指数: 65 · 论文数: 1.3K
W
Wendy B. Bollag
H 指数: 58 · 论文数: 440
S
Soummya Kar
H 指数: 51 · 论文数: 461
查看更多