Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
481.
Leveraging Rust Types for Modular Specification and Verification [pdf] (pm.inf.ethz.ch)
1 point
matt_d
7 years ago
discuss
482.
It is possible to have both precise and robust neural networks (sri.inf.ethz.ch)
1 point
veselin
7 years ago
discuss
483.
Building with wood that bends itself into shape (ethz.ch)
1 point
Breadmaker
7 years ago
discuss
484.
Artificial intelligence probes dark matter in the universe – ETH Zurich (ethz.ch)
1 point
rbanffy
7 years ago
discuss
485.
Hidden Communication in P2P Networks (2011) [pdf] (web.archive.org)
1 point
severine
7 years ago
discuss
486.
Adaptive Solar Facade (ASF) (systems.arch.ethz.ch)
1 point
jcfrei
7 years ago
discuss
487.
Embedding Functions into Reversible Circuits (spcl.inf.ethz.ch)
1 point
matt_d
7 years ago
discuss
488.
Interactive Hand Pose Estimation Using a Stretch-Sensing Soft Glove (igl.ethz.ch)
1 point
jcfrei
7 years ago
discuss
489.
How to Efficiently Dismantle Networks (ethz.ch)
1 point
rbanffy
7 years ago
discuss
490.
Visualising Mental Valuation Processes (ethz.ch)
1 point
rbanffy
7 years ago
discuss
491.
Using Commodity DRAM Devices to Generate Random Numbers [pdf] (people.inf.ethz.ch)
1 point
aburan28
7 years ago
discuss
492.
Leveraging Rust types for modular specification and verification (research-collection.ethz.ch)
1 point
walterbell
7 years ago
discuss
493.
ETH researchers uncover security gaps in the 5G mobile communication standard (ethz.ch)
1 point
rbanffy
8 years ago
discuss
494.
Memory Systems and Memory-Centric Computing Systems (people.inf.ethz.ch)
1 point
ingve
8 years ago
discuss
495.
Quantum computing school and hackathon with Scott Aaronson. Zurich 11-14 Sep (qid.ethz.ch)
1 point
sinesha
8 years ago
discuss
496.
Frequency Scaling as a Security Threat on Multicore Systems (research-collection.ethz.ch)
1 point
Katydid
8 years ago
discuss
497.
China’s rise as a new AI superpower (ethz.ch)
1 point
newman8r
8 years ago
discuss
498.
Google Workloads for Consumer Devices: Mitigating Data Movement Bottlenecks [pdf] (people.inf.ethz.ch)
1 point
eaguyhn
8 years ago
discuss
499.
AI2: Proving Safety Against Adversarial Attacks for CNNs (ai2.ethz.ch)
1 point
mirman
8 years ago
discuss
500.
Superprostheses and reality (ethz.ch)
1 point
FrojoS
8 years ago
discuss
501.
Runahead execution – An effective alternative to large scale execution windows [pdf] (people.inf.ethz.ch)
1 point
godelmachine
8 years ago
discuss
502.
Development of a Virtual Reality Cycling Simulator [pdf] (ethz.ch)
1 point
lainon
8 years ago
discuss
503.
Scalable Funding of Bitcoin Micropayment Channel Networks (October 2017) [pdf] (tik.ee.ethz.ch)
1 point
sktrdie
8 years ago
discuss
504.
Database/Operating System Co-Design (research-collection.ethz.ch)
1 point
brakmic
9 years ago
discuss
505.
Scalable Funding of Bitcoin Micropayment Channel Networks [pdf] (tik.ee.ethz.ch)
1 point
phaser
9 years ago
discuss
506.
Large Logo Dataset v0.1 (for use with GAN) (data.vision.ee.ethz.ch)
1 point
wyldfire
9 years ago
discuss
507.
Animation Made Easy (ethz.ch)
1 point
sizzle
9 years ago
discuss
508.
Using Hover to Compromise the Confidentiality of User Input on Android [pdf] (ethz.ch)
1 point
chatmasta
9 years ago
discuss
509.
Serializability Checking for MongoDB Clients [pdf] (ethz.ch)
1 point
blopeur
9 years ago
discuss
510.
Forecasting GDP growth from the outer space (kof.ethz.ch)
1 point
rtfs
9 years ago
discuss
More