Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop

Source URL: eprints.nottingham.ac.uk

• Theoretical computer science
• Quantum information science
• Quantum mechanics
• Quantum computing
• Models of computation
• Emerging technologies
• Quantum programming
• Quantum circuit
• Reversible computing
• QML
• Qubit
• Quantum teleportation

Implementing and Proving the TLS 1.3 Record Layer Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin Microsoft Research {antdl,fournet

Source URL: www.ieee-security.org

• Cryptography
• Secure communication
• Message authentication codes
• Transport Layer Security
• Cryptographic protocols
• Internet Standards
• Cipher suite
• Authenticated encryption
• Poly1305
• Galois/Counter Mode
• OpenSSL
• Key generation

Architectural Support for Software-Defined Metadata Processing Udit Dhawan1 C˘at˘alin Hri¸tcu2 Raphael Rubin1 Nikos Vasilakis1 Jonathan M. Smith1

Source URL: nikos.vasilak.is

GAnGS: Gather, Authenticate ’n Group Securely ∗ Chia-Hsin Owen Chen† , Chung-Wei Chen‡ , Cynthia Kuo§ , Yan-Hao Lai∗ , Jonathan M. McCune§ , Ahren Studer§⋄ , Adrian Perrig§ , Bo-Yin Yang† , Tzong-Chen

Source URL: precision.moscito.org

• Group theory
• Algebra
• Abstract algebra
• Geometry
• N-group
• Bluetooth
• Subgroup
• Formation
• Index of a subgroup

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases Yupeng Zhang∗ , Daniel Genkin†,∗ , Jonathan Katz∗ , Dimitrios Papadopoulos‡,∗ and Charalampos Papamanthou∗ ∗ University † Univers

Source URL: web.eecs.umich.edu

Clinical Neutron Therapy System Reference Manual Jonathan Jacky1 Ruedi Risler Radiation Oncology, Box

Source URL: staff.washington.edu

• Medical physics
• Physics
• Radiation therapy
• Radiobiology
• Medicine
• Radiation
• Fast neutron therapy
• Neutron
• Calibration
• Dosimetry
• Collimator

From Lone Dwarfs to Giant Superclusters: Rethinking Operating System Abstractions for the Cloud Nikos Vasilakis, Ben Karel, Jonathan M. Smith The University of Pennsylvania 1

Source URL: nikos.vasilak.is

• Computer architecture
• Computing
• System software
• Parallel computing
• Cloud infrastructure
• Fault-tolerant computer systems
• Cluster computing
• Kernel
• Operating system
• Unix
• Mach
• Apache Hadoop

SPATE: Small-group PKI-less Authenticated Trust Establishment ∗ Yue-Hsun Lin† Ahren Studer§ Hsu-Chun Hsiao§ Jonathan M. McCune§ King-Hang Wang† Maxwell Krohn§ Phen-Lan Lin◦ Adrian Perrig§ Hung-Min Sun† Bo-

Source URL: precision.moscito.org

• Computing
• Information and communications technology
• Technology
• Bluetooth
• Wireless
• Computer security
• Computer network
• SMS
• Password
• Dropbox
• Gmail
• Email

Socioeconomic Status, Stress Exposure, and Psychological Well-Being: Complexities in the Stress Process by Jonathan Tomas Koltai

Source URL: tspace.library.utoronto.ca

• Stress
• Psychology
• Health
• Psychiatry
• Social stress
• Psychological stress
• Occupational stress
• Socioeconomic status
• Mental health
• Mental disorder
• Psychological resilience
• Socioeconomic status and mental health

Formal Development of a Graphical User Interface for a Radiation Therapy Machine Jonathan Jacky  Jonathan Unger Radiation Oncology Department RC-08 University of Washington

Source URL: staff.washington.edu

• Humancomputer interaction
• User interface techniques
• Human behavior
• Software architecture
• Computing
• Computer
• User interface
• Graphical user interface