Á

Results: 2421584



#Item
971Philosophy of science / Computing / Design of experiments / Scientific method / Science / Probability and statistics / Bayesian inference / Statistical forecasting / Statistical hypothesis testing / Apache Spark / Hypothesis

SparkTrails: A MapReduce Implementation of HypTrails for Comparing Hypotheses About Human Trails Martin Becker Hauke Mewes

Add to Reading List

Source URL: gdac.uqam.ca

Language: English - Date: 2017-10-04 00:26:51
972

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez November 16, 2016 The Board will be

Add to Reading List

Source URL: clark.ohioboe.com

- Date: 2017-04-21 08:14:24
    973Greek letters / Timed automaton / Symbol / Zeta

    Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu

    Add to Reading List

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

    Language: English - Date: 2010-06-15 16:26:37
    974

    V O L L M A C H T Der Unterzeichner/die Unterzeichnerin erteilt hiermit

    Add to Reading List

    Source URL: www.kgh.de

    Language: German - Date: 2016-01-13 04:36:07
      975Quantum information science / Theoretical computer science / Quantum mechanics / Quantum logic gate / Quantum circuit / Toffoli gate / Qubit / Quantum computing / Controlled NOT gate / Quantum error correction / Quantum teleportation / GottesmanKnill theorem

      Lecture 16, Tues March 21: Quantum Computing, Universal Gate Sets Guest Lecture by Tom Wong Having seen lots of quantum protocols, we’re finally ready to tackle the holy grail of the field: a programmable quantum compu

      Add to Reading List

      Source URL: www.scottaaronson.com

      Language: English - Date: 2018-10-22 17:57:48
      976Cryptocurrencies / Bitcoin / Blockchains / Computing / Alternative currencies / Money / Economy / Cryptography / SegWit / Ethereum / Merkle tree / Bitcoin Unlimited

      ZEN: Technical notes on a financial engine Nathan Cook July 18th 2017 Summary We describe the Zen Protocol, the basis for a decentralized financial

      Add to Reading List

      Source URL: www.zenprotocol.com

      Language: English - Date: 2018-10-19 06:12:25
      977Computer vision / Artificial intelligence / Vision / 3D imaging / Photogrammetry / Applications of computer vision / Robot control / Structure from motion / Pose / 3D reconstruction / Convolutional neural network / Camera resectioning

      c This is a preprint for the paper accepted for publication in CVPR 2017. 2017 IEEE Are Large-Scale 3D Models Really Necessary for Accurate Visual Localization? Torsten Sattler1 Akihiko Torii2 Josef Sivic3,5

      Add to Reading List

      Source URL: people.inf.ethz.ch

      Language: English - Date: 2017-04-14 12:02:45
      978Theoretical computer science / Software engineering / Constraint programming / Computing / Formal methods / Logic in computer science / Electronic design automation / NP-complete problems / Satisfiability modulo theories / Solver / SMT / Constraint satisfaction problem

      The SMT-LIBv2 Language and Tools: A Tutorial David R. Cok GrammaTech, Inc. VersionNovember 23, 2013

      Add to Reading List

      Source URL: smtlib.github.io

      Language: English - Date: 2015-12-24 13:35:05
      979Linguistics / Language / Natural language processing / Cognitive science / Grammar frameworks / Computational linguistics / Grammar / Syntax / Parsing / Phrase structure rules / Statistical classification / Information extraction

      A Machine learning Filter for Relation Extraction Kevin Lange Di Cesare, Michel Gagnon Polytechnique Montréal Montreal, Canada

      Add to Reading List

      Source URL: gdac.uqam.ca

      Language: English - Date: 2017-10-04 00:50:04
      980Computing / Scripting languages / Xargs / Semantic parsing / Filter / Sed / GNU parallel / Find / Command-line interface / Redirection / Parsing / Pipeline

      NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin*, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive

      Add to Reading List

      Source URL: victorialin.net

      Language: English - Date: 2018-10-26 01:53:41
      UPDATE