University

Results: 634567



#Item
381Jure Leskovec / Metaphysics / Leskovec / Sociology / Systems science / Social network

http://snap.stanford.edu/proj/snap-www Rok Sosič, Jure Leskovec Stanford University WWW-15, Florence, Italy

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2017-03-16 21:39:27
382Mathematical analysis / Mathematics / Experiment / Information theory / Statistical theory / Measure theory / Random variable / Statistical randomness / Sigma-algebra / Probability distribution / Joint probability distribution / Probability space

Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2017-06-07 20:45:26
383Cryptography / Elliptic curve cryptography / EdDSA / Curve25519 / Elliptic Curve Digital Signature Algorithm / Public-key cryptography / Key / HMAC / Digital signature / Bitcoin / Hash function / Digital Signature Algorithm

BIP32-Ed25519 Dmitry Khovratovich Jason Law University of Luxembourg

Add to Reading List

Source URL: www.ietf.org

Language: English - Date: 2017-04-30 11:01:02
384Algebraic curves / Algebraic geometry / Geometry / Abstract algebra / Group theory / Hyperelliptic curve / Algebraic surfaces / Index calculus algorithm / Elliptic curve / Hyperelliptic curve cryptography / Trace Zero Cryptography

Index calculus in class groups of non-hyperelliptic curves of genus 3 from a full cost perspective Claus Diem University of Leipzig

Add to Reading List

Source URL: www.hyperelliptic.org

Language: English - Date: 2006-04-16 23:42:07
385Software engineering / Computer programming / Computing / Object-oriented programming languages / Cross-platform software / Procedural programming languages / Scheme / Functional languages / Hygienic macro / Racket / Macro / Module

Submodules in Racket You Want it When, Again? Matthew Flatt PLT and University of Utah

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2013-09-11 12:50:42
386

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

Add to Reading List

Source URL: www.vldb.org

Language: English - Date: 2018-07-28 03:46:38
    387Airport / Public transport / Bergen Airport /  Flesland / Transport / Laughlin/Bullhead International Airport

    Energy Impact Grants To Airports December 6, The Board of University and School Lands (Land Board) awarded grants to a number of airports in western North Dakota impacted by oil development and activity. These gra

    Add to Reading List

    Source URL: land.nd.gov

    Language: English - Date: 2017-12-18 15:55:04
    388Software engineering / Computing / Computer programming / Procedural programming languages / Functional languages / Data types / Standard ML / Type theory / Scope / ML / Variable / Operator

    Moscow ML Language Overview Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agric

    Add to Reading List

    Source URL: mosml.org

    Language: English - Date: 2014-08-29 03:47:37
    389Computing / 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: stroboscope.ethz.ch

    Language: English - Date: 2017-01-10 12:58:12
    390Concurrency control / Transaction processing / Computing / Data management / System software / Transactional memory / Benchmark / Lock / Parallel computing / Linearizability / Consistency model

    ARCHITECTURES FOR TRANSACTIONAL MEMORY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY

    Add to Reading List

    Source URL: www.austenmcdonald.com

    Language: English - Date: 2016-01-26 12:43:51
    UPDATE