Topline questionnaire January 2018 Core Trends Survey Abt Associates for Pew Research Center Sample: n=2,002 adults age 18 or older nationwide, including 1,502 cell phone interviews Interviewing dates: Jan. 3-10, 2018 Ma

Source URL: www.pewinternet.org

• Software
• Computing
• Digital media
• Social networking services
• Social media
• Photo sharing
• Snapchat
• Instagram
• Facebook
• Twitter
• Pinterest

Aquis Exchange Monthly Statistics Jan-2018 € 16,666,520,686 1,294,265,297 Roche Holding AG

Source URL: www.aquis.eu

Towards Self-Verification in Finite Difference Code Generation Jan H¨ uckelheim1 , Ziqing Luo2 , Fabio Luporini1 ,Navjot Kukreja1 , Michael Lange1 , Gerard Gorman1 , Stephen Siegel2 , Matthew Dwyer3 , Paul Hovland4

Source URL: correctness-workshop.github.io

• Computing
• Computer programming
• Software engineering
• Operator theory
• Fortran
• OpenMP
• Parallel computing
• Hermitian adjoint
• Adjoint

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1

Source URL: www.falkhowar.de

• Real-time computing
• Scheduling
• Technology
• Computer architecture
• System software
• Embedded operating systems
• Automotive software
• OSEK
• Worst-case execution time
• Real-time operating system
• Uppaal Model Checker
• Model checking

Press Release  GreenArrays, Inc. Explains its connection with Technology Properties Limited (TPL).  INCLINE VILLAGE, Nevada – 19 Jan 2010 – GreenArrays, Inc., the developer of low energy, m

Source URL: www.greenarraychips.com

• Gaming
• Gambling
• Human behavior
• Charles H. Moore
• Casino token
• Intel
• Code of Federal Regulations

Universally Composable Direct Anonymous Attestation? Jan Camenisch1 , Manu Drijvers1,2 , and Anja Lehmann1 1 2

Source URL: eprint.iacr.org

• Cryptography
• Computer security
• Direct Anonymous Attestation
• Trusted Computing
• Trusted Platform Module
• Digital signature
• Universal composability
• Public-key cryptography
• SUF

One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestation Jan Camenisch1 , Liqun Chen2 , Manu Drijvers1,3 , Anja Lehmann1 , David Novick4 , and Rainer Urian5 1 IBM Research – Zurich

Source URL: eprint.iacr.org

• Cryptography
• Computer security
• Direct Anonymous Attestation
• Trusted Platform Module
• Trusted Computing Group
• Trusted Computing
• Proof of knowledge
• FiatShamir heuristic
• Non-interactive zero-knowledge proof
• Zero-knowledge proof

Lipschitz Robustness of Timed I/O Systems? Thomas A. Henzinger1 , Jan Otop1,2 and Roopsha Samanta1 1 2

Source URL: www.cs.purdue.edu

• Finite automata
• Finite-state transducer
• Timed automaton
• Finite-state machine
• Control theory
• XC
• Applied mathematics
• Mathematics
• Systems science
• Tree transducer

The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y

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

• Theoretical computer science
• Mathematics
• Logic in computer science
• Mathematical analysis
• Temporal logic
• Generalizations of the derivative
• Computation tree logic
• Boolean satisfiability problem
• Symbol
• Model theory
• 120-cell
• Distribution

An Efficient Hardware Architecture for Factoring Integers with the Elliptic Curve Method Jens Franke, Thorsten Kleinjung - University of Bonn Christof Paar, Jan Pelzl - University of Bochum Christine Priplata, Colin Stah

Source URL: www.hyperelliptic.org

• Cryptography
• Integer factorization algorithms
• Lenstra elliptic-curve factorization
• Quadratic sieve
• Elliptic-curve cryptography
• Elliptic curve
• Integer factorization
• General number field sieve
• RSA
• Trial division