HackerPapers

All paper pages

28734 retained paper pages. Page 123 of 288.

  1. CoroBase: Coroutine-Oriented Main-Memory Database Engine

    Yongjun He, Jiacheng Lu, Tianzheng Wang · 2020

  2. One-step implementation of Toffoli gate for neutral atoms based on unconventional Rydberg pumping

    H. D. Yin, X. X. Li, G. C. Wang, X. Q. Shao · 2020

  3. Discrimination in the Venture Capital Industry: Evidence from Field Experiments

    Ye Zhang · 2020

  4. Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs

    Michail Papadimitriou, Juan Fumero, Athanasios Stratikopoulos, Foivos S. Zakkak, Christos Kotselidis · 2020

  5. Towards making formal methods normal: meeting developers where they are

    Alastair Reid, Luke Church, Shaked Flur, Sarah de Haas, Maritza Johnson, Ben Laurie · 2020

  6. An Analytical, Statistical Approximate Solution for Dissipative and non-Dissipative Binary-Single Stellar Encounters

    Yonadav Barry Ginat, Hagai B. Perets · 2020

  7. The power of quantum neural networks

    Amira Abbas, David Sutter, Christa Zoufal, Aurélien Lucchi, Alessio Figalli, Stefan Woerner · 2020

  8. Training EfficientNets at Supercomputer Scale: 83% ImageNet Top-1 Accuracy in One Hour

    Arissa Wongpanich, Hieu Pham, James Demmel, Mingxing Tan, Quoc Le, Yang You, Sameer Kumar · 2020

  9. Social Chemistry 101: Learning to Reason about Social and Moral Norms

    Maxwell Forbes, Jena D. Hwang, Vered Shwartz, Maarten Sap, Yejin Choi · 2020

  10. 3D Near-Field Millimeter-Wave Synthetic Aperture Radar Imaging

    Shahrokh Hamidi, Safieddin Safavi-Naeini · 2020

  11. Remarkable Daytime Sub-ambient Radiative Cooling in BaSO4 Nanoparticle Films and Paints

    Xiangyu Li, Joseph Peoples, Peiyan Yao, Xiulin Ruan · 2020

  12. Cortex: A Compiler for Recursive Deep Learning Models

    Pratik Fegade, Tianqi Chen, Phillip B. Gibbons, Todd C. Mowry · 2020

  13. Bayesian Workflow

    Andrew Gelman, Aki Vehtari, Daniel Simpson, Charles C. Margossian, Bob Carpenter, Yuling Yao, Lauren Kennedy, Jonah Gabry, Paul-Christian Bürkner, Martin Modrák · 2020

  14. The Complexity of Gradient Descent: CLS = PPAD $\cap$ PLS

    John Fearnley, Paul W. Goldberg, Alexandros Hollender, Rahul Savani · 2020

  15. Causal Autoregressive Flows

    Ilyes Khemakhem, Ricardo Pio Monti, Robert Leech, Aapo Hyvärinen · 2020

  16. Hints and Principles for Computer System Design

    Butler Lampson · 2020

  17. Bitcoin's future carbon footprint

    Shize Qin, Lena Klaaßen, Ulrich Gallersdörfer, Christian Stoll, Da Zhang · 2020

  18. Chasing Carbon: The Elusive Environmental Footprint of Computing

    Udit Gupta, Young Geun Kim, Sylvia Lee, Jordan Tse, Hsien-Hsin S. Lee, Gu-Yeon Wei, David Brooks, Carole-Jean Wu · 2020

  19. New Horizons Observations of the Cosmic Optical Background

    Tod R. Lauer, Marc Postman, Harold A. Weaver, John R. Spencer, S. Alan Stern, Marc W. Buie, Daniel D. Durda, Carey M. Lisse, A. R. Poppe, Richard P. Binzel, Daniel T. Britt, Bonnie J. Buratti, Andrew F. Cheng, W. M. Grundy, Mihaly Horanyi J. J. Kavelaars, Ivan R. Linscott, William B. McKinnon, Jeffrey M. Moore, J. I. Nuñez, Catherine B. Olkin, Joel W. Parker, Simon B. Porter, Dennis C. Reuter, Stuart J. Robbins, Paul Schenk, Mark R. Showalter, Kelsi N. Singer, Anne. J. Verbiscer, Leslie A. Young · 2020

  20. ReFloat: Low-Cost Floating-Point Processing in ReRAM for Accelerating Iterative Linear Solvers

    Linghao Song, Fan Chen, Xuehai Qian, Hai Li, Yiran Chen · 2020

  21. The fractal dimension of the Appalachian Trail

    Brian Skinner · 2020

  22. Underspecification Presents Challenges for Credibility in Modern Machine Learning

    Alexander D'Amour, Katherine Heller, Dan Moldovan, Ben Adlam, Babak Alipanahi, Alex Beutel, Christina Chen, Jonathan Deaton, Jacob Eisenstein, Matthew D. Hoffman, Farhad Hormozdiari, Neil Houlsby, Shaobo Hou, Ghassen Jerfel, Alan Karthikesalingam, Mario Lucic, Yian Ma, Cory McLean, Diana Mincu, Akinori Mitani, Andrea Montanari, Zachary Nado, Vivek Natarajan, Christopher Nielson, Thomas F. Osborne, Rajiv Raman, Kim Ramasamy, Rory Sayres, Jessica Schrouff, Martin Seneviratne, Shannon Sequeira, Harini Suresh, Victor Veitch, Max Vladymyrov, Xuezhi Wang, Kellie Webster, Steve Yadlowsky, Taedong Yun, Xiaohua Zhai, D. Sculley · 2020

  23. Beating classical heuristics for the binary paint shop problem with the quantum approximate optimization algorithm

    Michael Streif, Sheir Yarkoni, Andrea Skolik, Florian Neukart, Martin Leib · 2020

  24. Large-scale multilingual audio visual dubbing

    Yi Yang, Brendan Shillingford, Yannis Assael, Miaosen Wang, Wendi Liu, Yutian Chen, Yu Zhang, Eren Sezener, Luis C. Cobo, Misha Denil, Yusuf Aytar, Nando de Freitas · 2020

  25. Fast XML/HTML for Haskell: XML TypeLift

    Michał J. Gajda, Dmitry Krylov · 2020

  26. Anytime-Valid Inference for Multinomial Count Data

    Michael Lindon, Alan Malek · 2020

  27. Graph Kernels: State-of-the-Art and Future Challenges

    Karsten Borgwardt, Elisabetta Ghisu, Felipe Llinares-López, Leslie O'Bray, Bastian Rieck · 2020

  28. Learning Neural Event Functions for Ordinary Differential Equations

    Ricky T. Q. Chen, Brandon Amos, Maximilian Nickel · 2020

  29. Graphene-based Wireless Agile Interconnects for Massive Heterogeneous Multi-chip Processors

    Sergi Abadal, Robert Guirado, Hamidreza Taghvaee, Akshay Jain, Elana Pereira de Santana, Peter Haring Bolívar, Mohamed Saeed, Renato Negra, Zhenxing Wang, Kun-Ta Wang, Max C. Lemme, Joshua Klein, Marina Zapater, Alexandre Levisse, David Atienza, Davide Rossi, Francesco Conti, Martino Dazzi, Geethan Karunaratne, Irem Boybat, Abu Sebastian · 2020

  30. Focus beyond quadratic speedups for error-corrected quantum advantage

    Ryan Babbush, Jarrod McClean, Michael Newman, Craig Gidney, Sergio Boixo, Hartmut Neven · 2020

  31. An Alfvenic reconnecting plasmoid thruster

    Fatima Ebrahimi · 2020

  32. NeuralSim: Augmenting Differentiable Simulators with Neural Networks

    Eric Heiden, David Millard, Erwin Coumans, Yizhou Sheng, Gaurav S. Sukhatme · 2020

  33. Learning Autocompletion from Real-World Datasets

    Gareth Ari Aye, Seohyun Kim, Hongyu Li · 2020

  34. Principles of Quantum Communication Theory: A Modern Approach

    Sumeet Khatri, Mark M. Wilde · 2020

  35. A Sequential Descent Method for Global Optimization

    Mohamed Tifroute, Anouar Lahmdani, Hassane Bouzahir · 2020

  36. Understanding the physics of coherent LiDAR

    Alexander Y. Piggott · 2020

  37. End-to-End Chinese Landscape Painting Creation Using Generative Adversarial Networks

    Alice Xue · 2020

  38. Efficient global register allocation

    Ian Rogers · 2020

  39. Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols

    Alex C. Keizer, Henning Basold, Jorge A. Pérez · 2020

  40. Linking OpenStreetMap with Knowledge Graphs -- Link Discovery for Schema-Agnostic Volunteered Geographic Information

    Nicolas Tempelmeier, Elena Demidova · 2020

  41. An approximation to determine the source of the WOW! Signal

    Alberto Caballero · 2020

  42. Sketch and Scale: Geo-distributed tSNE and UMAP

    Viska Wei, Nikita Ivkin, Vladimir Braverman, Alexander Szalay · 2020

  43. The Usability of Ownership

    Will Crichton · 2020

  44. Analysis of the Matrix Event Graph Replicated Data Type

    Florian Jacob, Carolin Beer, Norbert Henze, Hannes Hartenstein · 2020

  45. On the Performance of Convolutional Neural Networks under High and Low Frequency Information

    Roshan Reddy Yedla, Shiv Ram Dubey · 2020

  46. Quantum algorithm for nonlinear differential equations

    Seth Lloyd, Giacomo De Palma, Can Gokler, Bobak Kiani, Zi-Wen Liu, Milad Marvian, Felix Tennie, Tim Palmer · 2020

  47. 11 TeraFLOPs per second photonic convolutional accelerator for deep learning optical neural networks

    Xingyuan Xu, Mengxi Tan, Bill Corcoran, Jiayang Wu, Andreas Boes, Thach G. Nguyen, Sai T. Chu, Brent E. Little, Damien G. Hicks, Roberto Morandotti, Arnan Mitchell, David J. Moss · 2020

  48. Terraforming the dwarf planet: Interconnected and growable Ceres megasatellite world

    Pekka Janhunen · 2020

  49. CDT: Cascading Decision Trees for Explainable Reinforcement Learning

    Zihan Ding, Pablo Hernandez-Leal, Gavin Weiguang Ding, Changjian Li, Ruitong Huang · 2020

  50. Coming to Terms with Your Choices: An Existential Take on Dependent Types

    Georg Stefan Schmid, Olivier Blanvillain, Jad Hamza, Viktor Kunčak · 2020

  51. Dependency Solving Is Still Hard, but We Are Getting Better at It

    Pietro Abate, Roberto Di Cosmo, Georgios Gousios, Stefano Zacchiroli · 2020

  52. A Modern Compiler for the French Tax Code

    Denis Merigoux, Raphaël Monat, Jonathan Protzenko · 2020

  53. Heuristic Methods and Performance Bounds for Photonic Design

    Guillermo Angeris, Jelena Vučković, Stephen Boyd · 2020

  54. Indirection Stream Semantic Register Architecture for Efficient Sparse-Dense Linear Algebra

    Paul Scheffler, Florian Zaruba, Fabian Schuiki, Torsten Hoefler, Luca Benini · 2020

  55. ZORB: A Derivative-Free Backpropagation Algorithm for Neural Networks

    Varun Ranganathan, Alex Lewandowski · 2020

  56. RustViz: Interactively Visualizing Ownership and Borrowing

    Gongming, Luo, Vishnu Reddy, Marcelo Almeida, Yingying Zhu, Ke Du, Cyrus Omar · 2020

  57. A Survey of System Architectures and Techniques for FPGA Virtualization

    Masudul Hassan Quraishi, Erfan Bank Tavakoli, Fengbo Ren · 2020

  58. A First Principles Derivation of Classical and Quantum Mechanics as the Natural Theories for Smooth Stochastic Paths

    Willem Westra · 2020

  59. Game Plan: What AI can do for Football, and What Football can do for AI

    Karl Tuyls, Shayegan Omidshafiei, Paul Muller, Zhe Wang, Jerome Connor, Daniel Hennes, Ian Graham, William Spearman, Tim Waskett, Dafydd Steele, Pauline Luc, Adria Recasens, Alexandre Galashov, Gregory Thornton, Romuald Elie, Pablo Sprechmann, Pol Moreno, Kris Cao, Marta Garnelo, Praneet Dutta, Michal Valko, Nicolas Heess, Alex Bridgland, Julien Perolat, Bart De Vylder, Ali Eslami, Mark Rowland, Andrew Jaegle, Remi Munos, Trevor Back, Razia Ahamed, Simon Bouton, Nathalie Beauguerlange, Jackson Broshear, Thore Graepel, Demis Hassabis · 2020

  60. Using Unity to Help Solve Intelligence

    Tom Ward, Andrew Bolt, Nik Hemmings, Simon Carter, Manuel Sanchez, Ricardo Barreira, Seb Noury, Keith Anderson, Jay Lemmon, Jonathan Coe, Piotr Trochim, Tom Handley, Adrian Bolton · 2020

  61. Adversarial collision attacks on image hashing functions

    Brian Dolhansky, Cristian Canton Ferrer · 2020

  62. Redistricting Algorithms

    Amariah Becker, Justin Solomon · 2020

  63. Beyond Pinball Loss: Quantile Methods for Calibrated Uncertainty Quantification

    Youngseog Chung, Willie Neiswanger, Ian Char, Jeff Schneider · 2020

  64. A Theoretical Computer Science Perspective on Consciousness

    Manuel Blum, Lenore Blum · 2020

  65. Neural Abstract Reasoner

    Victor Kolev, Bogdan Georgiev, Svetlin Penkov · 2020

  66. Screen Gleaning: A Screen Reading TEMPEST Attack on Mobile Devices Exploiting an Electromagnetic Side Channel

    Zhuoran Liu, Niels Samwel, Léo Weissbart, Zhengyu Zhao, Dirk Lauret, Lejla Batina, Martha Larson · 2020

  67. Challenges in Deploying Machine Learning: a Survey of Case Studies

    Andrei Paleyes, Raoul-Gabriel Urma, Neil D. Lawrence · 2020

  68. Hyperparameter Optimization for AST Differencing

    Matias Martinez, Jean-Rémy Falleri, Martin Monperrus · 2020

  69. Exploring Simple Siamese Representation Learning

    Xinlei Chen, Kaiming He · 2020

  70. Very Deep VAEs Generalize Autoregressive Models and Can Outperform Them on Images

    Rewon Child · 2020

  71. Emergent Road Rules In Multi-Agent Driving Environments

    Avik Pal, Jonah Philion, Yuan-Hong Liao, Sanja Fidler · 2020

  72. Learning a Deep Generative Model like a Program: the Free Category Prior

    Eli Sennesh · 2020

  73. Multimodal dynamics modeling for off-road autonomous vehicles

    Jean-François Tremblay, Travis Manderson, Aurélio Noca, Gregory Dudek, David Meger · 2020

  74. More religion means less science. An International comparison of the relations between religious beliefs and levels of and attitudes to scientific knowledge

    Yves Gingras, Kristoff Talin · 2020

  75. Sidney Coleman's Dirac Lecture "Quantum Mechanics in Your Face"

    Sidney Coleman · 2020

  76. Examining the consumption of radical content on YouTube

    Homa Hosseinmardi, Amir Ghasemian, Aaron Clauset, Markus Mobius, David M. Rothschild, Duncan J. Watts · 2020

  77. A Review of Open-World Learning and Steps Toward Open-World Learning Without Labels

    Mohsen Jafarzadeh, Akshay Raj Dhamija, Steve Cruz, Chunchun Li, Touqeer Ahmad, Terrance E. Boult · 2020

  78. Whac-A-Mole: Six Years of DNS Spoofing

    Lan Wei, John Heidemann · 2020

  79. Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecode

    Haoran Xu, Fredrik Kjolstad · 2020

  80. TinaFace: Strong but Simple Baseline for Face Detection

    Yanjia Zhu, Hongxiang Cai, Shuhan Zhang, Chenhao Wang, Yichao Xiong · 2020

  81. Score-Based Generative Modeling through Stochastic Differential Equations

    Yang Song, Jascha Sohl-Dickstein, Diederik P. Kingma, Abhishek Kumar, Stefano Ermon, Ben Poole · 2020

  82. Electrocharged facepiece respirator fabrics using common materials

    M. M. Bandi · 2020

  83. Near-Optimal Algorithms for Reachability, Strongly-Connected Components and Shortest Paths in Partially Dynamic Digraphs

    Maximilian Probst Gutenberg · 2020

  84. Image Generators with Conditionally-Independent Pixel Synthesis

    Ivan Anokhin, Kirill Demochkin, Taras Khakhulin, Gleb Sterkin, Victor Lempitsky, Denis Korzhenkov · 2020

  85. Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries

    Giuseppe Antonio Di Luna, Davide Italiano, Luca Massarelli, Sebastian Osterlund, Cristiano Giuffrida, Leonardo Querzoni · 2020

  86. Space vectors forming rational angles

    Kiran S. Kedlaya, Alexander Kolpakov, Bjorn Poonen, Michael Rubinstein · 2020

  87. Srifty: Swift and Thrifty Distributed Training on the Cloud

    Liang Luo, Peter West, Arvind Krishnamurthy, Luis Ceze · 2020

  88. Feature Learning in Infinite-Width Neural Networks

    Greg Yang, Edward J. Hu · 2020

  89. A Survey on Deep Learning for Software Engineering

    Yanming Yang, Xin Xia, David Lo, John Grundy · 2020

  90. Multimodal Dependent Type Theory

    Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal · 2020

  91. Inductive Biases for Deep Learning of Higher-Level Cognition

    Anirudh Goyal, Yoshua Bengio · 2020

  92. Message Passing Networks for Molecules with Tetrahedral Chirality

    Lagnajit Pattanaik, Octavian-Eugen Ganea, Ian Coley, Klavs F. Jensen, William H. Green, Connor W. Coley · 2020

  93. Every Model Learned by Gradient Descent Is Approximately a Kernel Machine

    Pedro Domingos · 2020

  94. What are the most important statistical ideas of the past 50 years?

    Andrew Gelman, Aki Vehtari · 2020

  95. CPM: A Large-scale Generative Chinese Pre-trained Language Model

    Zhengyan Zhang, Xu Han, Hao Zhou, Pei Ke, Yuxian Gu, Deming Ye, Yujia Qin, Yusheng Su, Haozhe Ji, Jian Guan, Fanchao Qi, Xiaozhi Wang, Yanan Zheng, Guoyang Zeng, Huanqi Cao, Shengqi Chen, Daixuan Li, Zhenbo Sun, Zhiyuan Liu, Minlie Huang, Wentao Han, Jie Tang, Juanzi Li, Xiaoyan Zhu, Maosong Sun · 2020

  96. Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases

    Martin Kleppmann, Heidi Howard · 2020

  97. The bat coronavirus RmYN02 is characterized by a 6-nucleotide deletion at the S1/S2 junction, and its claimed PAA insertion is highly doubtful

    Yuri Deigin, Rossana Segreto · 2020

  98. Hey Alexa what did I just type? Decoding smartphone sounds with a voice assistant

    Almos Zarandy, Ilia Shumailov, Ross Anderson · 2020

  99. Gull's theorem revisited

    Richard D. Gill · 2020

  100. DiffusionNet: Discretization Agnostic Learning on Surfaces

    Nicholas Sharp, Souhaib Attaiki, Keenan Crane, Maks Ovsjanikov · 2020