University

Results: 634567



#Item
641Computing / Free software / Concurrent computing / Apache Hadoop / Apache Software Foundation / Cloud infrastructure / Coding theory / RAID / Computer data storage / Erasure code / Google File System / Disk formatting

A Tale of Two Erasure Codes in HDFS Mingyuan Xia, McGill University; Mohit Saxena, Mario Blaum, and David A. Pease, IBM Research Almaden https://www.usenix.org/conference/fast15/technical-sessions/presentation/xia This

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2016-02-20 22:28:51
642Computing / Internet / Anonymity / Cryptography / Internet privacy / Dining cryptographers problem / Internet Standards / Internet Relay Chat / Clientserver model / Anonymous web browsing / Server / Anonymizer

Dissent in Numbers: Making Strong Anonymity Scale David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford Yale University Aaron Johnson U.S. Naval Research Laboratory

Add to Reading List

Source URL: www.usenix.org

Language: English
643Cryptography / Public-key cryptography / Transport Layer Security / Cryptographic software / Secure communication / Cryptographic protocols / Mbed TLS / Cipher suite / OpenSSL / Forward secrecy / Post-quantum cryptography / HTTPS

1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2014-12-08 15:44:41
644Software testing / Software verification / KTH Royal Institute of Technology / Computer science / Verification / Electromagnetism / Engineering

Dilian Gurov’s CV Professional preparation   PhD in Computer Science, 1998, Dept. of Computer Science, University of Victoria, Canada.

Add to Reading List

Source URL: www.nada.kth.se

Language: English - Date: 2017-10-31 10:32:18
645Machine learning / Computing / Data management / Artificial intelligence / Computational neuroscience / Artificial neural networks / Computational linguistics / Meta learning / Supervised learning / Support vector machine / Deep learning / SQL syntax

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang? , Chenglong Wang† , Rishabh Singh? , Wen-tau Yih‡ , Xiaodong He∗ ? Microsoft Research, † University of Washington, ‡ Allen Instit

Add to Reading List

Source URL: rishabhmit.bitbucket.io

Language: English - Date: 2018-06-25 09:59:57
646Mathematical analysis / Mathematics / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Symbol / Differential topology / Lifting theory / Jet bundle

Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2013-12-01 06:33:37
647Wombat / Mongoose

Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz

Add to Reading List

Source URL: alloytools.org

Language: English - Date: 2018-06-13 06:07:43
648Computing / Information and communications technology / Network architecture / Internet architecture / Internet Standards / Routing protocols / Computer networking / Network protocols / Computer network / Network switch / Port mirroring / NetFlow

Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo

Add to Reading List

Source URL: nsg.ee.ethz.ch

Language: English - Date: 2016-11-15 08:07:48
649Biology / Systems biology / Biochemistry / Nature / Machine learning / Bioinformatics / Artificial neural networks / Feature learning / Interactome / Proteinprotein interaction

Representation Learning on Networks Jure Leskovec, William L. Hamilton, Rex Ying, Rok Sosic Stanford University

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2018-04-25 02:49:58
650Cryptography / Mathematical proofs / Cryptographic protocols

Succinct Malleable NIZKs and an Application to Compact Shuffles Melissa Chase (MSR Redmond) Markulf Kohlweiss (MSR Cambridge) Anna Lysyanskaya (Brown University) Sarah Meiklejohn (UC San Diego)

Add to Reading List

Source URL: smeiklej.com

Language: English - Date: 2018-10-23 14:58:02
UPDATE