Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University

Source URL: tlt2017.di.unito.it

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Operational semantics
• Semantics
• International Colloquium on Automata
• Languages and Programming
• Nominal
• Process calculi

GOV200X – The Politics of Plague Worcester Polytechnic Institute Social Science and Policy Studies Department Sample Syllabus Course Information Professor Patricia Stapleton

Source URL: www.patriciastapleton.com

• Health
• Medicine
• Global health
• Epidemiology
• Biological weapons
• Tropical diseases
• Zoonoses
• Ebola virus disease
• World Health Organization
• Pandemic
• Public health
• Infection

Zero-Knowledge Protocols for Search Problems Ben Berger Zvika Brakerski Weizmann Institute of Science, Israel∗ Abstract

Source URL: eprint.iacr.org

• Complexity classes
• Cryptography
• Computational complexity theory
• Computing
• Interactive proof system
• Zero-knowledge proof
• NP
• IP
• Soundness
• Proof of secure erasure
• Certificate
• Zero knowledge

Multivariate Cryptography Louis Goubin, Versailles St-Quentin-en-Yvelines University, France, Jacques Patarin, Versailles St-Quentin-en-Yvelines University, France, and Bo-Yin Yang, Institute of Information Science, Acad

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• Post-quantum cryptography
• Algebra
• Polynomials
• Unbalanced Oil and Vinegar
• Hidden Field Equations
• Algebraic equation
• QUAD
• Variable
• Equation
• Finite field

Worcester Polytechnic Institute Social Science and Policy Studies Department GOV 231X – The Politics of Food Sample Syllabus Course Information Professor Patricia Stapleton

Source URL: www.patriciastapleton.com

• Health
• Food and drink
• Food and Drug Administration
• Food science
• Food law
• Pharmaceuticals policy
• Food safety
• Product safety
• FDA Food Safety Modernization Act
• Center for Food Safety and Applied Nutrition
• Food politics
• Food

Building the Billion-Mulmod PC Bo-Yin Yang Institute of Information Science Academia Sinica Taipei, Taiwan

Source URL: www.hyperelliptic.org

• Finite fields
• Integer factorization algorithms
• Lenstra elliptic-curve factorization
• Elliptic curve
• Mathematics

Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue

Source URL: www.kestrel.edu

• Mathematics
• Algebra
• Combinatorial optimization
• Mathematical logic
• Mathematical optimization
• Operations research
• Algorithm
• Sheaf
• Branch and bound
• Universal property
• Equation solving
• Boolean algebra

Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2

Source URL: www2.cs.cas.cz

Rene Peralta and John Kelsey, National Institute of Standards and Technology, Computer Security Division. Nigel Smart, Professor of Cryptology,

Source URL: zkp.science

• Cryptography
• Secret sharing
• Public-key cryptography
• Secure multi-party computation
• Commitment scheme
• Cryptographic protocol
• Block cipher
• Zero-knowledge proof

The Alan Turing Institute SME Consultation Understanding the data science and artificial intelligence (AI) needs of UK SMEs The Alan Turing Institute has commenced work to better understand and engage with small and medi

Source URL: www.turing.ac.uk

• Economy
• Business
• Mathematics
• Alan Turing
• Small and medium-sized enterprises
• Gay men
• Artificial intelligence
• European Digital SME Alliance