DISCRETE APPLIED MATHEMATICS ELSEYIER Discrete Applied

Source URL: www.maths.lse.ac.uk

• Graph theory
• Mathematics
• NP-complete problems
• NP-hard problems
• Graph coloring
• Routing algorithms
• Search algorithms
• Hamiltonian path
• Bipartite graph
• Travelling salesman problem
• A* search algorithm
• Planar separator theorem

Proper Partial Geometries with Singer Groups and Pseudogeometric Partial Difference Sets Ka Hin Leung Department of Mathematics National University of Singapore 2 Science Drive 2, Singapore

Source URL: www.ntu.edu.sg

• Mathematical analysis
• Mathematics
• Fiber bundles
• Representation theory of Lie groups
• Functional analysis
• Connection
• Harmonic analysis
• Differential forms on a Riemann surface
• Plancherel theorem for spherical functions

Microsoft Word - hierarchical nash q learning in continuous games.docx

Source URL: www.csse.uwa.edu.au

• Game theory
• Nash equilibrium
• Strategy
• Bimatrix game
• Reinforcement learning
• Strategic dominance
• Stochastic game
• Economic equilibrium
• Potential game
• Folk theorem

TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore

Source URL: www.mathematik.tu-darmstadt.de

• Proof theory
• Computability theory
• Logic in computer science
• Mathematical logic
• Intuitionism
• Primitive recursive functional
• Dialectica interpretation
• Peano axioms
• Second-order arithmetic
• Reverse mathematics
• Combinatory logic
• Primitive recursive arithmetic

Statistics and clustering of extreme space climate events Alexander Ruzmaikin Statistics of Large Numbers: LLN, CLT, Gaussian Distribution

Source URL: www.spaceclimate.fi

• Probability distributions
• FisherTippettGnedenko theorem
• Generalized extreme value distribution
• Boris Vladimirovich Gnedenko
• L. H. C. Tippett
• Normal distribution
• Extreme value theory
• Stability postulate

Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT

Source URL: www.eecs.northwestern.edu

• Software engineering
• Theoretical computer science
• Computing
• Logic in computer science
• Formal methods
• Programming language semantics
• Control flow
• Eval
• Functional languages
• Operational semantics
• Robert Bruce Findler
• Racket

APPROXIMATING ORTHOGONAL MATRICES BY PERMUTATION MATRICES Alexander Barvinok October 2005 Abstract. Motivated in part by a problem of combinatorial optimization and in

Source URL: www.math.lsa.umich.edu

• Algebra
• Mathematics
• Linear algebra
• Matrices
• Orthogonal matrix
• Matrix
• Permutation matrix
• Normal distribution
• Permutation
• Positive-definite matrix
• Symmetric matrix
• Central limit theorem

WINDOWS, CORES AND SKINNING MAPS JEFF BROCK, KEN BROMBERG, DICK CANARY, AND YAIR MINSKY A BSTRACT. We give a generalization of Thurston’s Bounded Image Theorem for skinning maps, which applies to pared 3-manifolds with

Source URL: www.math.lsa.umich.edu

THE CHEBOTAREV DENSITY THEOREM IN SHORT INTERVALS AND SOME QUESTIONS OF SERRE Antal Balog and Ken Ono Appearing in the Journal of Number Theory

Source URL: www.mathcs.emory.edu

SS 201b, Homework 1 Due Tuesday, January 12th Collaboration on homework is encouraged, but individually written solutions are required. Please name all collaborators and sources of information on each assignment. Any suc

Source URL: people.hss.caltech.edu

• Game theory
• Mathematics
• Subgame
• Nash equilibrium
• Backward induction
• Human behavior
• Trembling hand perfect equilibrium
• Folk theorem
• Solution concept