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

Source URL: www.epic.org

• World 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

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

Source URL: www.wmbaa.com

• Economy
• 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

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

Source URL: symbolaris.com

• Robotics
• Robot control
• Robot kinematics
• Control theory
• Automated planning and scheduling
• Motion planning
• Theoretical computer science
• Velocity obstacle
• Dynamic window approach
• Mobile robot
• Robot
• Lidar

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

Source URL: www.icl.utk.edu

• Computer programming
• Computing
• Software engineering
• Numerical software
• C++
• Numerical linear algebra
• C
• Procedural programming languages
• Math Kernel Library
• Basic Linear Algebra Subprograms
• LAPACK
• Const

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

Source URL: www.mtk.fi

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

Source URL: www.paccar.ethz.ch

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

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

Source URL: www.hedera.com

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Computing
• Hashgraph
• Distributed ledger
• Ethereum
• Hedera
• NEO
• Smart contract
• Draft:Hedera Hashgraph

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

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

• Algebra
• Abstract algebra
• Mathematics
• Algebraic geometry
• Sheaf theory
• Vector bundles
• Complex manifolds
• Cohomology theories
• Coherent sheaf
• Cohomology
• Sheaf
• GrothendieckRiemannRoch theorem

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

Source URL: csl.sri.com

• Computational 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

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

Source URL: www.trailofbits.com

• Software testing
• Software engineering
• Computing
• Software development
• Symbolic execution
• Test automation
• Differential testing
• Unit testing
• Fuzzing
• Random testing
• KeY
• Test harness