BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation

Source URL: www.brics.dk

• Functional languages
• Type theory
• Data types
• Lambda calculus
• Logic in computer science
• Type system
• ML
• OCaml
• Partial evaluation
• Software engineering
• Programming language theory
• Computing

Asymmetric (S)tops Jessie Shelton Harvard University work in progress with M. Graesser work in progress with M. Gresham, K. Zurek Fermilab, October 25, 2012

Source URL: theory.fnal.gov

• Top quark
• Electronvolt
• R-hadron
• Large Electron–Positron Collider
• ATLAS experiment
• Tevatron
• Fermilab
• Supersymmetry
• Technicolor
• Physics
• Particle physics
• Large Hadron Collider

A STRATEGIC APPROACH TO COLLECTIVE ACTION: LOOKING FOR AGENCY IN SOCIAL-MOVEMENT CHOICES* James M. Jasper† In theories of social movements, the structural models of the last thirty years may have

Source URL: www.jamesmjasper.org

• Knowledge
• Dilemmas
• Sociological terms
• Social movement theory
• Social movement
• James M. Jasper
• Resource mobilization
• Identity
• Contentious politics
• Sociology
• Science
• Social movements

Ergodic theory for Stochastic PDEs July 10, 2008 M. Hairer Mathematics Institute, The University of Warwick Email:

Source URL: www.hairer.org

PHYSICAL REVIEW B 86, Quantum torus chain M. P. Qin,1 J. M. Leinaas,2 S. Ryu,3 E. Ardonne,4,5 T. Xiang,1,6 and D.-H. Lee7,8 1

Source URL: www.fysik.su.se

• Statistical mechanics
• Quantum phases
• Philosophy of thermal and statistical physics
• Topological order
• Spontaneous symmetry breaking
• Dimensional analysis
• T-symmetry
• Entropy
• Physics
• Quantum field theory
• Symmetry

Ph 12b Final Exam Solution J. Preskill – Wednesday, 17 MarchBound states of two narrow wells — 30 total points A particle with mass m moves in one dimension, governed by the potential V (x) =

Source URL: www.theory.caltech.edu

• Hyperbolic function
• Transcendental number
• Geometry
• Mathematics
• Mathematical analysis
• Quantum harmonic oscillator

Final Exam Economic 210A, Fall 2009 Answer any 7 questions. For a person with income m, let us define the compensating variation of a price change from price vector p to price vector p0 to be the amount of additional inc

Source URL: econ.ucsb.edu

• Microeconomics
• Mathematical analysis
• Demand
• Compensating variation
• Gorman polar form
• Marshallian demand function
• Indifference curve
• Derivative
• Py
• Consumer theory
• Utility
• Economics

Summer 2014 Schedule: Session 1 Week 1 10::00 a.m. 11:00 - Noon

Source URL: www.themathcenter.com

• Algebraic structures
• Ring theory
• Algebra
• ACT
• Education in New York

Approximate Parameter Learning in Discriminative Fields Sanjiv Kumar and Martial Hebert The Robotics Institute Carnegie Mellon University Pittsburgh, PA 15213

Source URL: www.sanjivk.com

• M-estimators
• Econometrics
• Bayesian statistics
• Maximum likelihood
• Likelihood function
• Loss function
• Statistics
• Estimation theory
• Statistical theory

On the Density of Sequences of Integers the Sum of No Two of Which is a Square II. General Sequences J. C. Lagarias A. M. Odlyzko J. B. Shearer*

Source URL: www.dtc.umn.edu

• Symbol
• Continuous function
• Integer sequences
• Binomial coefficient
• Central limit theorem
• Mathematics
• Mathematical analysis
• Number theory