THE LIMIT OF Fp -BETTI NUMBERS OF A TOWER OF FINITE COVERS WITH AMENABLE FUNDAMENTAL GROUPS arXiv:1003.0434v1 [math.KT] 1 Mar 2010 ¨

Source URL: 131.220.77.52

• Algebra
• Abstract algebra
• Mathematics
• Module theory
• Homological algebra
• Geometric group theory
• Commutative algebra
• Amenable group
• Torsion
• Presentation of a group
• Finitely generated module
• Homological conjectures in commutative algebra

The Million-Key Question—Investigating the Origins of RSA Public Keys Petr Švenda, Matúš Nemec, Peter Sekan, Rudolf Kvašňovský, David Formánek, David Komárek, and Vashek Matyáš, Masaryk University https://www

Source URL: www.usenix.org

• Cryptography
• Integer sequences
• Integer factorization algorithms
• Primality tests
• Safe prime
• Finite fields
• RSA
• Prime number
• Strong prime
• Blum integer
• Trial division
• Quadratic sieve

1 Finding Almost-Invariants in Distributed Systems Maysam Yabandeh‡ , Abhishek Anand† , Marco Canini∗ , and Dejan Kosti´c∗ ∗ EPFL, Lausanne, Switzerland † Cornell University, Ithaca NY, USA, (work done duri

Source URL: perso.uclouvain.be

• Logic
• Mathematical logic
• Computing
• Formal methods
• Predicate logic
• Finite model theory
• Computer programming
• Invariant
• First-order logic
• Daikon
• FO
• Chord

Multiscale Finite Element Methods and Applications

Source URL: rcada.ncu.edu.tw

Advances in the Minimization of Finite Sums Mark Schmidt Joint work with Nicolas Le Roux, Francis Bach, Reza Babanezhad and Mohamed Ahmed University of British Columbia Context: Minimizing Finite Sums

Source URL: www.proba.jussieu.fr

• Numerical analysis
• Numerical linear algebra
• Stochastic optimization
• Gradient descent
• Support vector machine
• Gradient method
• Operations research
• Mathematical optimization
• Stochastic gradient descent
• Stochastic approximation

J. EDUCATIONAL COMPUTING RESEARCH, Vol, 2005 SOLVING PROBLEMS REDUCTIVELY MICHAL ARMONI The Open University of Israel and School of Education, Tel-Aviv University

Source URL: www.openu.ac.il

• Finite automata
• Computability
• Deterministic automaton
• Computational complexity theory
• Deterministic finite automaton
• Finite-state machine
• Regular language
• Reduction
• Algorithm
• Theoretical computer science
• Mathematics
• Cognitive science

Realistic Stereo Error Models and Finite Optimal Stereo Baselines Tao Zhang∗ Vision and Technology Lab University of Colorado at Colorado Springs Terry Boult†

Source URL: www.vast.uccs.edu

• Statistical theory
• Statistics
• 3D reconstruction
• Rotation matrix
• Propagation of uncertainty
• Mathematics
• Triangulation
• Error

Meta-Predicates for Rodin Sebastian Krings Institut f¨ ur Informatik, Universit¨ at D¨ usseldorf

Source URL: wiki.event-b.org

• Formal methods
• Theoretical computer science
• FO
• Finite model theory
• Model checking
• Linguistics
• B-Method
• Rodin
• Control
• Predicate
• Cognitive science

Central States Section Meeting | April 11–12, 2015 Society for Industrial and Applied Mathematics 1st Annual Meeting of SIAM Central States Section

Source URL: siamcentral.mst.edu

• Numerical analysis
• Calculus
• Mathematical analysis
• Partial differential equations
• Finite element method
• Computational fluid dynamics
• Discontinuous Galerkin method
• Spectral method
• Meshfree methods
• Galerkin method
• Differential equation
• Boris Galerkin

Model Theory of Finite Difference Fields and Simple Groups Mark Jonathan Ryten Submitted in accordance with the requirements of the degree of PhD The University of Leeds Department of Pure Mathematics

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

• Algebra
• Mathematics
• Abstract algebra
• Metalogic
• Model theory
• Claude Chevalley
• Simple group
• Asymptotic theory
• Field