Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Algebra
• Abstract algebra
• Mathematics
• Finite fields
• Group theory
• Logarithms
• Algebraic number theory
• Numerical linear algebra
• XTR
• Discrete logarithm
• Gaussian elimination
• Quadratic field

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

London • Wednesday 28 November • 6.30pm Faster Fusion: Fact or Fantasy? Dr Alan Costley, Tokamak Energy The need for carbon-free sources of energy is well established and fusion power is

Source URL: www.iop.org

• Quantum mechanics
• Physics
• Astrophysics
• Soap bubble
• Nature

Planning and Patching Proofs: Exercise Solutions Lucas Dixon and Alan Bundy August 26, 2010 1

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

• Operator theory
• Harmonic analysis
• Mathematics
• Partial differential equations
• Morphism of algebraic varieties
• Beltrami equation

Deciding Unbounded Heaps  in an SMT Framework  Zvonimir Rakamarić 1 , Roberto Bruttomesso 2 , Alan Hu 1 ,  Alessandro Cimatti 2  1 University of British Columbia; 2 ITC­IRST

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Constraint programming
• Electronic design automation
• Logic in computer science
• Satisfiability modulo theories
• Heap
• FO
• Transitive closure

Se urity Estimates for Quadrati Field Based Cryptosystems Jean-Fran ois Biasse1 , Mi hael J. Ja obson, Jr.2 ? , and Alan K. Silvester3 1 

Source URL: www.lix.polytechnique.fr

• Mathematics
• Logarithms
• Mathematical analysis
• Discrete mathematics
• Binary logarithm
• 108
• Factorial
• Prime number
• Common logarithm
• P

A fundamental evaluation of 80 bit keys employed by hardware oriented stream ciphers Iain Devlin1 and Alan Purvis1 Centre for Electronic Systems, Durham University, Durham, DH1 3LH, UK {iain.devlin, alan.purvis}@durham.a

Source URL: www.hyperelliptic.org

• Cryptography
• Stream ciphers
• VEST
• Grain
• Field-programmable gate array
• Altera
• Xilinx
• Brute-force attack
• Stratix
• Block cipher
• Py
• Data Encryption Standard

Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1

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

• Automated theorem proving
• Heuristics
• Rippling
• Mathematical induction
• Cognition

To appear in Alan S. Gerber and Eric M. Patashnik, eds., Promoting the General Welfare: New Perspectives on Government Performance, , Brookings Institution Press, NovChapter 7 Decision Markets for Policy A

Source URL: mason.gmu.edu

• Economy
• Capitalism
• Market
• Financial markets
• Economic liberalism
• Prediction market
• Social information processing
• Speculation
• Election stock market
• Stock market
• Futures contract
• Price discovery

PDF Document

Source URL: alan.vision