J. Symbolic Computation, 351–369 Lattices of Compatibly Embedded Finite Fields† WIEB BOSMA‡, JOHN CANNON§ AND ALLAN STEEL¶ Computational Algebra Group, School of Mathematics and Statistics, The Univers

Source URL: www.math.ru.nl

• Field theory
• Polynomials
• Computer algebra
• Finite fields
• Abstract algebra
• Conway polynomial
• Field
• Minimal polynomial
• Embedding
• Model theory
• Factorization of polynomials
• Duality

Computational Models of Symbolic Rhythm Similarity: Correlation with Human Judgments1 Godfried T. Toussaint Malcolm Campbell Naor Brown 1. INTRODUCTION

Source URL: cgm.cs.mcgill.ca

Timing attacks in security protocols: symbolic framework and proof techniques? Vincent Cheval1 and V´eronique Cortier2 1 School of Computer Science, University of Birmingham, UK

Source URL: www2.imm.dtu.dk

A Symbolic Representation for RNA Secondary Structures; towards the Construction of RNA Secondary Structures Data Base A. Nakaya 1

Source URL: www.jsbi.org

1 On the Symbolic Analysis of Low-Level Cryptographic Primitives: Modular Exponentiation and the Diffie-Hellman Protocol M ARZIA B USCEMI, University of Pisa

Source URL: www.qatar.cmu.edu

• Public-key cryptography
• Computer security
• DolevYao model
• DiffieHellman key exchange
• Cryptographic protocol
• RSA
• Exponentiation
• DiffieHellman problem
• Modular exponentiation

Timing attacks in security protocols: symbolic framework and proof techniques? Vincent Cheval1 and V´eronique Cortier2 1 School of Computer Science, University of Birmingham, UK

Source URL: imm.dtu.dk

The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 FLAG ALGEBRAS ALEXANDER A. RAZBOROV

Source URL: people.cs.uchicago.edu

The Mind-Body Problem JERRY A. FODOR Jerry A. Fodor is professor of philosophy at Rutgers University. He is renowned for defending the view that we think in an inner language, akin to the symbolic codes used in ordinary

Source URL: philosophyfaculty.ucsd.edu

Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation Lucas Dixon1 and Ross Duncan2 1

Source URL: dream.inf.ed.ac.uk

Volume 4 | Issue 2 Ruptures of War: Shame and Symbolic Violence in Post- Conflict Acholiland David L. Davenport

Source URL: socanth.richmond.edu