lainon 的提交内容

Low Cost Interconnected Architecture for the Hardware Spiking Neural Networks

Challenges hindering memristive neuromorphic hardware from going mainstream

Evaluating probabilistic programming languages simulating quantum correlations

Auto-Keras: open-source software library for automated machine learning

Figure errors, sloppy science, and fraud: keeping eyes on your data

Piano Genie

Relativity Tutorial (2017)

Haydn and Herschel in the Clair de Lune

Computational Mathematics with SageMath (2018)

Visualizing Memorization in RNNs

PIITracker: Automatic Tracking of Personally Identifiable Information in Windows [pdf]

Scinapse – Academic search engine for papers

FastQRE: Fast Query Reverse Engineering (2018) [pdf]

Bootstrapping Cookbooks for APIs from Crowd Knowledge on Stack Overflow

Future hadron colliders: From physics perspectives to technology R&D (2014)

Diverse and robust molecular algorithms using reprogrammable DNA self-assembly

Baby monkey is first primate created using sperm from tissue transplanted to dad

Authy – Enable 2FA for your favorite sites

The Pragmatic Theory of Truth

Correct Approximation of IEEE 754 Floating-Point Arithmetic Program Verification

Safe Compilation for Encrypted Computing

A Formal Approach to Secure Speculation [pdf]

Towards Universal Language Embeddings

Two-Way Molecular Communications

The Lustre Storage Architecture

Self-Calibrating Deep Photometric Stereo Networks

TC39 – Specifying JavaScript

Misery was