C--

Results: 504177



#Item
31World Wide Web / Technology / Computing / Alphabet Inc. / Terms of service / Algorithms / Electronic Privacy Information Center / Politics and technology / Social networking services / Algorithmic transparency / Google Search / Internet privacy

September 4, 2018 The Honorable Greg Walden, Chair The Honorable Frank Pallone, Ranking Member U.S. House Committee on Energy and Commerce 2125 Rayburn House Office Building Washington, D.C

Add to Reading List

Source URL: www.epic.org

Language: English - Date: 2018-09-04 14:52:16
32Economy / Finance / Money / Swap Execution Facility / Financial markets / Systemic risk / Commodity Futures Trading Commission / DoddFrank Wall Street Reform and Consumer Protection Act / SEF / Swap / Speculation / Futures contract

March 11, 2016 The Honorable Timothy Massad, Chairman Commodity Futures Trading Commission Three Lafayette Centre 1155 21st Street, N.W. Washington, D.C

Add to Reading List

Source URL: www.wmbaa.com

Language: English - Date: 2016-06-07 13:27:08
33Robotics / Robot control / Robot kinematics / Control theory / Automated planning and scheduling / Motion planning / Theoretical computer science / Velocity obstacle / Dynamic window approach / Mobile robot / Robot / Lidar

International Journal of Robotics 36(12):1312–1340 c The Author(sReprints and permission: sagepub.co.uk/journalsPermissions.nav

Add to Reading List

Source URL: symbolaris.com

Language: English - Date: 2018-02-19 21:17:33
34Computer programming / Computing / Software engineering / Numerical software / C++ / Numerical linear algebra / C / Procedural programming languages / Math Kernel Library / Basic Linear Algebra Subprograms / LAPACK / Const

2 C++ API for BLAS and LAPACK Mark Gates Piotr Luszczek Ahmad Abdelfattah

Add to Reading List

Source URL: www.icl.utk.edu

Language: English - Date: 2018-02-21 11:54:36
35

Puupilarit k 3600 NR- nippuristikot k3600 +vaneri S LEIKKAUS C - C NR-ristikkonippu 3x k3600 +

Add to Reading List

Source URL: www.mtk.fi

    36Energy / Universe / Transport economics / Transport / Energy conservation / Energy economics / Pac-car II / Aerodynamics / Energy-efficient driving / Lino Guzzella / Shell Eco-marathon / Fuel efficiency

    THE WORLD’S MOST FUEL EFFICIENT VEHICLE DESIGN AND DEVELOPMENT OF J.J. Santin, C.H. Onder, J. Bernard, D. Isler, P. Kobler, F. Kolb, N. Weidmann, L. Guzzella

    Add to Reading List

    Source URL: www.paccar.ethz.ch

    Language: English - Date: 2007-10-12 07:51:18
    37Cryptocurrencies / Blockchains / Concurrent computing / Computing / Hashgraph / Distributed ledger / Ethereum / Hedera / NEO / Smart contract / Draft:Hedera Hashgraph

    Hedera: A Governing Council & Public Hashgraph Network The trust layer of the internet Leemon Baird, Mance Harmon, and Paul Madsen w h i t e pa p e r   V.1 . 4    L a s t u p d at e d 1 7 O C T   SU B J

    Add to Reading List

    Source URL: www.hedera.com

    Language: English - Date: 2018-10-17 22:19:08
    38Algebra / Abstract algebra / Mathematics / Algebraic geometry / Sheaf theory / Vector bundles / Complex manifolds / Cohomology theories / Coherent sheaf / Cohomology / Sheaf / GrothendieckRiemannRoch theorem

    M ath. Res. Lett), no. 6, 1091–1101 c International Press 2013 

    Add to Reading List

    Source URL: jgrivaux.perso.math.cnrs.fr

    Language: English - Date: 2014-09-20 18:27:37
    39Computational complexity theory / Theoretical computer science / Logic in computer science / Boolean algebra / Circuit complexity / Complexity classes / Electronic design automation / True quantified Boolean formula / Satisfiability modulo theories / NC / FO / Boolean circuit

    Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,

    Add to Reading List

    Source URL: csl.sri.com

    Language: English - Date: 2014-08-26 19:53:27
    40Software testing / Software engineering / Computing / Software development / Symbolic execution / Test automation / Differential testing / Unit testing / Fuzzing / Random testing / KeY / Test harness

    DeepState: Symbolic Unit Testing for C and C++ Peter Goodman Alex Groce Trail of Bits, Inc.

    Add to Reading List

    Source URL: www.trailofbits.com

    Language: English - Date: 2018-10-25 13:17:14
    UPDATE