A survey on algorithms for computing isogenies on low genus curves

Source URL: www.lix.polytechnique.fr

• Algebra
• Abstract algebra
• Mathematics
• Rotational symmetry
• Analytic number theory
• Elliptic curve
• Group theory
• Atomic physics
• Polynomials
• Spherical harmonics
• Tate conjecture

Multivariate Power Series Multiplication ´ ´ Eric Schost, LIX, Ecole polytechnique

Source URL: www.csd.uwo.ca

• Mathematics
• Algebra
• Abstract algebra
• Polynomials
• Multiplication
• Commutative algebra
• Interpolation
• ToomCook multiplication
• Lagrange polynomial
• Multiplication algorithm
• Discrete Fourier transform
• Time complexity

Issue LIX • FebruaryFundamentals of SOA Security Testing by Mamoon Yunus, CEO of Crosscheck Networks Abstract: This article describes the foundations of SOA security testing including functional, performance, in

Source URL: www.servicetechmag.com

• Computing
• Web services
• Enterprise application integration
• Software
• Architectural pattern
• Service-oriented architecture
• WS-Security
• SOA Security
• Security Assertion Markup Language
• Software testing
• XML appliance
• Rational Service Tester for SOA Quality

Volume xx (200y), Number z, pp. 1–10 Analysis and Visualization of Maps Between Shapes Maks Ovsjanikov1 1 LIX,

Source URL: www.cs.technion.ac.il

• Algebra
• Mathematics
• Mathematical analysis
• Linear algebra
• Matrix theory
• Functional analysis
• Abstract algebra
• Smooth functions
• Singular value decomposition
• Manifold
• Distortion
• Vector space

Les travaux de Madhu Sudan sur les codes correcteurs d’erreurs Daniel Augot R´ esum´ e

Source URL: www.lix.polytechnique.fr

The Zonotope Abstract Domain Taylor1+ Khalil Ghorbal, Eric Goubault, and Sylvie Putot CEA, LIST, Modelisation and Analysis of Systems in Interaction, FGif-sur-Yvette Cedex, France,

Source URL: www.lix.polytechnique.fr

• Numerical analysis
• Affine geometry
• Operations research
• Affine arithmetic
• Abstract interpretation
• Semidefinite programming
• Polyhedron
• Interval arithmetic
• Fixed point

Reducts of structures and maximal-closed permutation groups Manuel Bodirsky∗, Laboratoire d’Informatique (LIX), CNRS UMR 7161, Ecole Polytechnique, 91128 Palaiseau, France,

Source URL: www1.maths.leeds.ac.uk

• Group theory
• Lie groups
• Non-associative algebras
• Lie algebras
• Constructible universe
• Equivalence relation
• Model theory
• Mutation
• Order
• Group action
• Vertex operator algebra
• Lambda calculus

Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr

Source URL: www.lix.polytechnique.fr

• Proof theory
• Non-classical logic
• Model theory
• Philosophical logic
• Deductive reasoning
• Sequent
• Cut-elimination theorem
• Soundness
• Linear logic
• Propositional calculus
• First-order logic
• Rule of inference

Ley de Transparencia y Acceso a la Información Pública del Estado de Tamaulipas Sin reformas Decreto No. LIX-958 Fecha de expedición 29 de junio de 2007 Fecha de promulgación 4 de julio del 2007 Fecha de publicación

Source URL: www.redipd.org

Daniel Augot’s one page curriculum vitæ (as of October, 3rd 2013) • Contact address: INRIA Saclay–ˆIle-de-France & LIX Bˆ atiment Alan Turing 1 rue Honor´e d’Estienne d’Orves

Source URL: pages.saclay.inria.fr

• French Institute for Research in Computer Science and Automation
• Theoretical computer science
• Pierre and Marie Curie University
• cole Polytechnique