A Theory of Indirection via Approximation Aquinas Hobor ∗† Robert Dockins† Andrew W. Appel †

Source URL: www.cs.princeton.edu

• Mathematical logic
• Software engineering
• Logic
• Formal languages
• Computability theory
• Models of computation
• Lambda calculus
• Formal methods
• Interpretation
• Syntactic predicate
• System F
• Monad

i n t e r n a t i o n a l j o u r n a l o f m e d i c a l i n f o r m a t i c s581–591 journal homepage: www.ijmijournal.com Multi-disciplinary communication networks for skin risk assessment in nursi

Source URL: www.casos.cs.cmu.edu

• Health care
• Health
• Graph theory
• Network theory
• Caregiving
• Nursing
• Networks
• Centrality
• Betweenness centrality
• Unlicensed assistive personnel
• Social network analysis
• Nursing home care

Cubical Type Theory Free bounded distributive lattice The free distributive lattice on a set J can be described as the set of finite antichains in the poset of finite subsets of J, for the order L 6 M if, and only if, f

Source URL: www.cse.chalmers.se

Logistic regression example to accompany Hayes, A. F., & Matthes, JComputational procedures for probing interactions in OLS and logistic regression: SPSS and SAS implementations. Behavior Research Methods, 41,

Source URL: www.afhayes.com

• Regression analysis
• Data analysis
• Psychometrics
• Statistics
• Estimation theory
• Actuarial science
• Logistic regression
• Prediction
• Probability and statistics
• Moderation
• Emotion
• Interaction

MATH 592 SPRING 2010 TOPICS IN ERGODIC THEORY AND PROBABILITY PROBLEM SET 1 1. Let f : Fnp → C, let V be a subspace of Fnp , and write g = f · 1V . Show that gb(t) = Es∈V ⊥ fb(s + t)

Source URL: www.juliawolf.org

c Proceedings of the Edinburgh Mathematical Society, 343–362
DOI:S0013091504000902 Printed in the United Kingdom PRODUCTS OF IDEMPOTENT ENDOMORPHISMS OF

Source URL: www-users.york.ac.uk

• Lie algebras
• Ring theory
• Abstract algebra
• Algebraic structures
• Non-associative algebras
• Idempotent
• Ring
• Algebra over a field
• F-algebra
• Cartan subalgebra
• Approximately finite-dimensional C*-algebra
• Symmetric cone

Towards a Theory of Glue Simon Bliudze ´ Ecole Polytechnique F´ed´erale de Lausanne Rigorous System Design Laboratory

Source URL: www.bliudze.me

Ball Joints for Marker-less Human Motion Capture Gerard Pons Moll and Bodo Rosenhahn Institut f¨ur Informationsverarbeitung (TNT), Leibniz Universit¨at Hannover, Hannover, Germany {pons,rosenhahn}@tnt.uni-hannover.de

Source URL: www.tnt.uni-hannover.de

• Mechanics
• Physics
• Kinematics
• Geometry
• Rigid bodies
• Mechanical engineering
• Classical mechanics
• Robot kinematics
• Screw theory
• Revolute joint
• Degrees of freedom
• Rotation group SO

Finding Connected Subgraphs of Fixed Minimum Density: Implementation and Experiments? Christian Komusiewicz, Manuel Sorge, and Kolja Stahl Institut f¨ ur Softwaretechnik und Theoretische Informatik, TU Berlin, Germany

Source URL: fpt.akt.tu-berlin.de

• Graph theory
• NP-complete problems
• Graph operations
• Clique
• Degeneracy
• Tree
• Degree
• Vertex
• Neighbourhood
• Clique problem
• BronKerbosch algorithm

A symbolic labelled transition system for coinductive subtyping of Fµ types Alan Jeffrey DePaul University Extended Abstract

Source URL: ect.bell-labs.com

• Type theory
• Object-oriented programming
• Polymorphism
• Subtyping
• Base
• Mathematics
• Structure