MeCBICTranslating Stochastic CLS into Maude Thomas Anung Basukia,b,1 Antonio Ceronea,2 Paolo Milazzob,3 a

Source URL: pages.di.unipi.it

• Theoretical computer science
• Stochastic processes
• Formal languages
• Logic in computer science
• Stochastic simulation
• Rewriting

66 IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOL. 46, NO. 1, FEBRUARY 2016 The GRASP Taxonomy of Human Grasp Types Thomas Feix, Javier Romero, Heinz-Bodo Schmiedmayer, Aaron M. Dollar, and Danica Kragic

Source URL: www.is.mpg.de

• Metaphysics
• Learning
• Child development
• Grasp
• Ontology
• Aptitude
• Motor control
• Motor skills
• Palmar grasp reflex
• Fine motor skill
• Thumb
• Taxonomy

SWIFT: Predictive Fast Reroute∗ Thomas Holterbach Stefano Vissicchio ETH Zürich; CAIDA, UC San Diego

Source URL: nsg.ee.ethz.ch

October 12, 2018 VIA UPS and Electronic Mail Mr. Thomas Vo Chief Executive Officer Vertigo Vapor LLCNortheast 91st Street

Source URL: www.fda.gov

• Food and Drug Administration
• Health
• Federal Food
• Drug
• and Cosmetic Act
• Center for Tobacco Products

From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Mathematics
• Logic in computer science
• Proof theory
• Programming language semantics
• Metalogic
• Model theory
• Symbol
• Net
• Constructible universe
• Sequent
• Permutation

Revisiting Proxy Re-Encryption: Forward Secrecy, Improved Security, and Applications David Derler1 , Stephan Krenn2 , Thomas Lor¨ unser2 , Sebastian Ramacher1 , 2 Daniel Slamanig , and Christoph Striecks2

Source URL: eprint.iacr.org

• Cryptography
• Public-key cryptography
• Proxy re-encryption
• ID-based encryption
• Homomorphic encryption
• ElGamal encryption
• Chosen-ciphertext attack
• Encryption
• RSA
• Key
• Symmetric-key algorithm
• Identity-based conditional proxy re-encryption

FPGAs as Streaming MIMD Machines for Data Analy9cs James Thomas, Matei Zaharia, Pat Hanrahan CPU/GPU Control Flow Divergence

Source URL: platformlab.stanford.edu

• Computing
• Computer memory
• Hardware acceleration
• Central processing unit
• Parallel computing
• Computer hardware
• Dynamic random-access memory
• Computer architecture
• Field-programmable gate array

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1260) LITTLE DISKS OPERADS AND FEYNMAN DIAGRAMS Thomas Willwacher

Source URL: eta.impa.br

• Graph theory
• Mathematics
• Discrete mathematics
• Degree
• Graph
• Orientation
• Operad theory
• Euler characteristic
• Directed graph
• Two-graph
• Hanoi graph

Poster: Why Privacy is All But Forgotten An Empirical Study of Privacy & Sharing Attitude Kovila P.L. Coopamootoo and Thomas Groß I. I NTRODUCTION Privacy and sharing are believed to share a dynamic and

Source URL: www.ieee-security.org

• Terms of service
• Identity management
• Law
• Privacy
• Internet privacy
• Attitude
• Social psychology
• Medical privacy
• Psychology
• Behavior

SWIFT: Predictive Fast Reroute∗ Thomas Holterbach Stefano Vissicchio ETH Zürich; CAIDA, UC San Diego

Source URL: swift.ethz.ch