lainon 的提交内容

FastKitten: Practical Smart Contracts on Bitcoin [pdf]

Redesigning the Internet for Free Speech Through the Use of Pseudonyms [pdf]

MyCPU – Homebrew Computer from Discrete Logic Gates

Computational Socioeconomics

Machine Learning at Microsoft with ML.NET

Data sharing and how it can benefit your scientific career

Fidelity benchmarks for two-qubit gates in silicon

On the Universality of Memcomputing Machines

Nonvolatile Memory Cell Based on Memristor Emulator

The Problem of Thinking Too Much (2003) [pdf]

Early History and Perspectives of Automated Deduction (2007) [pdf]

Learning to Evolve

What We’ve Built Is a Computational Language

A Mathematical Introduction to Robotic Manipulation (1994) [pdf]

IBM Unveils Beta of Next Generation Quantum Development Platform

On the Pitfalls of Measuring Emergent Communication

For Cybersecurity, Computer Science Must Rely on the Opposite of Gödel’s Results

Fault-tolerant quantum computation with few qubits (2018)

TLS-Attacker

Breaking Android Security Mechanisms via Malicious Bluetooth Peripherals

Pythia: Identifying Dangerous Data-Flows in Django-Based Applications [pdf]

XJsnark – A high-level framework for developing efficient zk-SNARK circuits

Physicist's Journeys Through the AI World – A Topical Review

EDVR: Video Restoration with Enhanced Deformable Convolutional Networks

Visorsurf: A Hardware Platform for Software-Driven Functional Metasurfaces

Spiking NN Modelling Approach Reveals How Mindfulness Training Rewires the Brain

A Phenomenology of Professional Failure [pdf]

Chronus Quantum

A Denotational Engineering of Programming Languages