A.F.

Results: 77647



#Item
1Mathematics / Probabilistically checkable proof / IP / Algebra / Creativity

COSC 544 Probabilistic Proof SystemsGGPR: A Linear PCP Of Size |F|O(S) Lecturer: Justin Thaler

Add to Reading List

Source URL: people.cs.georgetown.edu

Language: English - Date: 2017-11-02 08:56:25
2

CONFÉRENCE EN L’HONNEUR de François Loeser Organisée par A. Douai, J. Nicaise, F. Orgogozo et J. Sebag

Add to Reading List

Source URL: fl60.sciencesconf.org

- Date: 2017-05-07 06:14:40
    3Computer architecture / Computing / Parallel computing / Computer programming / Roofline model / Software optimization / Software testing / FLOPS / Central processing unit / Supercomputer / Benchmark / Instructions per cycle

    arXiv:1801.09212v2 [cs.PF] 2 MayBOPS, N OT FLOPS! A N EW M ETRIC AND R OOFLINE P ERFORMANCE M ODEL F OR D ATACENTER C OMPUTING

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2018-05-02 20:35:50
    4

    #ÚĸÀńè ƋƋ¬őģèŌèőƣƑ śþþèƋƑ ĸƣƑ śǁő ƣǁĸƑƣ śő ËèńèÀƋ¬ƣĸőģ ¬őÚ ģĸþƣĸőģŶ u6# Ė ï?£Å?M?ēÊX±£ ŠBɂmÌ

    Add to Reading List

    Source URL: nieonline.com

    Language: Vietnamese - Date: 2018-10-18 10:54:46
      5Computing / Technology / Wireless / Internet privacy / Bluetooth / Radio-frequency identification / Mobile computers / Alphabet Inc. / Cross-device tracking / SilverPush / Proximity marketing / Ultrasound

      The Ultrasound Tracking Ecosystem V. Mavroudis1 , S. Hao2 , Y. Fratantonio2 , F. Maggi3 , C. Kruegel2 & G. Vigna2 The ultrasound tracking ecosystem is a relatively

      Add to Reading List

      Source URL: ubeacsec.org

      Language: English - Date: 2018-07-23 16:08:21
      6Computing / Cloud computing / Information technology / FedRAMP / Internet security / United States Office of Management and Budget / Proprietary software / Carahsoft / In-Q-Tel / Splunk / Cloudera / Dell

      C A R A H S O F T. CO M / V E N D O R S Solutions for Government S A L E S @ C A R A H S O F T. CO M

      Add to Reading List

      Source URL: www.carahsoft.com

      Language: English - Date: 2018-09-12 14:13:00
      7Neuropsychology / Neuropsychological assessment / Education / Cognition / Belief revision / Reinforcement learning / Simulation / Learning / Educational technology / Memory

      Published as a conference paper at ICLRL EARNING TO ACT BY P REDICTING THE F UTURE Alexey Dosovitskiy Intel Labs

      Add to Reading List

      Source URL: arxiv.org

      Language: English - Date: 2017-02-15 20:49:12
      8Software development / Aspect-oriented software development / Computing / Software engineering / Aspect-oriented programming / Pointcut / AspectJ / Join point / Invariant / Const

      to appear in Automatic Program Development: a Tribute to Robert Paige, O. Danvy, F. Henglein, H. Mairson, and A. Pettorosi (Eds.), Springer-Verlag, 2006. Aspects as Invariants Douglas R. Smith Kestrel Institute

      Add to Reading List

      Source URL: www.kestrel.edu

      Language: English - Date: 2012-08-02 20:31:08
      UPDATE