2-2-2 - PDFSEARCH.IO - Document Search Engine

2-2-2
Results: 835450

#	Item
391	Quadrant Protocol Contract Audit Prepared by Hosho May 2018 Report Version: 2.0 Add to Reading List Source URL: www.quadrantprotocol.com Language: English - Date: 2018-06-22 01:23:06 Cryptocurrencies Blockchains Ethereum Alternative currencies Numismatics Concurrent computing Distributed computing Cross-platform software ERC-20 Smart contract Token coin Token
392	Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Abstract algebra Mathematical analysis Graph Graph theory Partial derivative Valuation Representation Voltage graph operator
393	Microsoft Word - DaPaaS_D2.2_v1.0_Final Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2014-11-06 05:58:29 Cloud computing Computing IT infrastructure As a service Cloud infrastructure Platform as a service Prototype Application programming interface Software prototyping
394	Lipschitz Robustness of Timed I/O Systems? Thomas A. Henzinger1 , Jan Otop1,2 and Roopsha Samanta1 1 2 Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Finite-state transducer Timed automaton Finite-state machine Control theory XC Applied mathematics Mathematics Systems science Tree transducer
395	The Journal Impact Factor: A brief history, critique, and discussion of adverse effects Vincent Larivière1,2 & Cassidy R. Sugimoto3 École de bibliothéconomie et des sciences de l’information, Université de Montréa Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-03-05 20:19:46 Citation metrics Information science Publishing Academic publishing Bibliometrics Citation indices Online databases Library science Impact factor Web of Science Institute for Scientific Information Journal ranking
396	The Grothendieck-Teichmüller Group Thomas Willwacher February 27, 2014 2 Add to Reading List Source URL: people.math.ethz.ch Language: English - Date: 2016-05-02 09:25:10 Algebra Abstract algebra Mathematics Number theory Non-associative algebra GrothendieckTeichmller group Associator Universal property Torsor Quantum group Unipotent Representation theory
397	Breaking Symmetric Cryptosystems using Quantum Period Finding Marc Kaplan1,2 , Ga¨etan Leurent3 Anthony Leverrier3 , and Mar´ıa Naya-Plasencia3 1 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2018-06-14 07:12:40 Cryptography Quantum information science Emerging technologies Quantum computing Quantum cryptography Quantum algorithm Block cipher Quantum mechanics Post-quantum cryptography Quantum key distribution Feistel cipher Data Encryption Standard
398	Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Software engineering Computer programming Programming language theory Compiler optimizations Control flow Loop optimization Heap Optimizing compiler Foreach loop
399	Pattern Matches in HOL: A New Representation and Improved Code Generation Thomas Tuerk1 , Magnus O. Myreen2,3 , and Ramana Kumar3 2 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2016-04-20 00:13:43 Computer programming Declarative programming Software engineering Functional programming Type theory Predicate logic Monad Algebraic data type Conditional Expression Quantifier Standard ML
400	Word-Dokumentvorlage Version 1.2 (ML) Add to Reading List Source URL: www.paccar.ethz.ch Language: English - Date: 2007-04-01 22:23:52 Literature Speculative fiction The Giver Science fiction Radio receiver Son Lino Guzzella