Learning data-driven discretizations for partial differential equations Y Bar-Sinai, S Hoyer, J Hickey, MP Brenner Proceedings of the National Academy of Sciences 116 (31), 15344-15349, 2019 | 584 | 2019 |
Free-form diffractive metagrating design based on generative adversarial networks J Jiang, D Sell, S Hoyer, J Hickey, J Yang, JA Fan ACS nano 13 (8), 8872-8878, 2019 | 331 | 2019 |
Metnet: A neural weather model for precipitation forecasting CK Sønderby, L Espeholt, J Heek, M Dehghani, A Oliver, T Salimans, ... arXiv preprint arXiv:2003.12140, 2020 | 321 | 2020 |
Machine learning for precipitation nowcasting from radar images S Agrawal, L Barrington, C Bromberg, J Burge, C Gazen, J Hickey arXiv preprint arXiv:1912.12132, 2019 | 266 | 2019 |
Sunshine: A high performance self-routing broadband packet switch architecture JN Giacopelli, JJ Hickey, WS Marcus, WD Sincoskie, M Littlewood IEEE Journal on selected Areas in Communications 9 (8), 1289-1298, 1991 | 243 | 1991 |
Deep learning for twelve hour precipitation forecasts L Espeholt, S Agrawal, C Sønderby, M Kumar, J Heek, C Bromberg, ... Nature communications 13 (1), 1-10, 2022 | 202 | 2022 |
Building reliable, high-performance communication systems from components X Liu, C Kreitz, R Van Renesse, J Hickey, M Hayden, K Birman, ... ACM SIGOPS Operating Systems Review 33 (5), 80-92, 1999 | 178 | 1999 |
The Caltech multi-vehicle wireless testbed L Cremean, WB Dunbar, D Van Gogh, J Hickey, E Klavins, J Meltzer, ... Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 1, 86-88, 2002 | 163 | 2002 |
The Horus and Ensemble projects: Accomplishments and limitations K Birman, B Constable, M Hayden, J Hickey, C Kreitz, R Van Renesse, ... Proceedings DARPA Information Survivability Conference and Exposition …, 2000 | 122 | 2000 |
Real World OCaml: Functional programming for the masses Y Minsky, A Madhavapeddy, J Hickey " O'Reilly Media, Inc.", 2013 | 102 | 2013 |
Specifications and proofs for Ensemble layers J Hickey, N Lynch, R Van Renesse International Conference on Tools and Algorithms for the Construction and …, 1999 | 92 | 1999 |
Outlook for exploiting artificial intelligence in the earth and environmental sciences SA Boukabara, V Krasnopolsky, SG Penny, JQ Stewart, A McGovern, ... Bulletin of the American Meteorological Society 102 (5), E1016-E1032, 2021 | 68 | 2021 |
Non-restoring integer square root: A case study in design by principled optimization J O'Leary, M Leeser, J Hickey, M Aagaard International Conference on Theorem Provers in Circuit Design, 52-71, 1994 | 67 | 1994 |
MetaPRL–a modular logical environment J Hickey, A Nogin, RL Constable, BE Aydemir, E Barzilay, Y Bryukhov, ... Theorem Proving in Higher Order Logics: 16th International Conference …, 2003 | 65 | 2003 |
The MetaPRL logical programming environment JJ Hickey Cornell University, 2000 | 60 | 2000 |
A proof environment for the development of group communication systems C Kreitz, M Hayden, J Hickey Automated Deduction—CADE-15: 15th International Conference on Automated …, 1998 | 52 | 1998 |
Formal objects in type theory using very dependent types JJ Hickey Foundations of Object Oriented Languages 3, 117-170, 1996 | 49 | 1996 |
Machine learning for precipitation nowcasting from radar images. arXiv 2019 S Agrawal, L Barrington, C Bromberg, J Burge, C Gazen, J Hickey arXiv preprint arXiv:1912.12132, 1912 | 47 | 1912 |
Metnet: A neural weather model for precipitation forecasting. arXiv 2020 CK Sønderby, L Espeholt, J Heek, M Dehghani, A Oliver, T Salimans, ... arXiv preprint arXiv:2003.12140, 0 | 46 | |
Robustness and the internet: Theoretical foundations J Doyle, J Carlson, S Low, F Paganini, G Vinnicombe, W Willinger, ... Mar, 2002 | 39 | 2002 |