Intuitive Direction Concepts Alexander Klippel1 , Jan Oliver Wallgr¨ un1 , Jinlong Yang2 , and 1 Kevin Sparks 1

Source URL: cognitivegiscience.psu.edu

• Cognitive science
• Cognition
• Philosophy
• Spatialtemporal reasoning
• Calculus
• Concept
• Psychology
• Reason

Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc.

Source URL: homes.soic.indiana.edu

• Software engineering
• Computing
• Computer programming
• Data types
• Type theory
• Subroutines
• Functional programming
• Lambda calculus
• Type system
• Gradual typing
• Anonymous function
• Type safety

SummerCalculus I (Math 226) Week: Introduction, real numbers;

Source URL: userwww.sfsu.edu

I’m leaking oil and looking for a garage: Testing conditions on meaning transfer Sam Featherston, Klaus von Heusinger & Hanna Weiland∗ July 13, 2011 Abstract

Source URL: gerlin.phil-fak.uni-koeln.de

• Linguistics
• Logic
• Lexical semantics
• Psycholinguistics
• Grammar
• Semantics
• Propositional calculus
• Control
• Polysemy
• Argument
• Predicate transfer
• Predicate

PROGRAMS WITH COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305

Source URL: www-formal.stanford.edu

• Logic
• Reasoning
• Logic programming
• Logical truth
• Propositional calculus
• Logical consequence
• Advice taker
• Logic Theorist
• Argument
• Rule of inference
• Substitution
• First-order logic

Introduction Bio-PEPA Bio-PEPAd

Source URL: homepages.inf.ed.ac.uk

• PEPA
• Process calculi
• Jane Hillston
• Process calculus

The Principle of Least Action Based on part of Chapter 19, Volume II of The Feynman Lectures on Physics Addison-Wesley, 1964: pages 19-1 thru 19-3 & 19-8 thruEdwin F. Taylor July 2000

Source URL: www.eftaylor.com

• Physics
• Calculus of variations
• Dynamics
• Forms of energy
• Special relativity
• Lagrangian mechanics
• Work
• Minkowski diagram
• Action
• Potential energy
• World line
• Principle of least action

Computer Algebra Applied to Solitary Waves

Source URL: www.issac-symposium.org

• Water waves
• Calculus
• Physics
• Fluid dynamics
• Partial differential equations
• Euler equations
• Differential equation
• Shallow water equations
• Gravity wave
• Mathematical analysis

DEPARTMENT OF MATHEMATICS, UNIVERSITY OF TEXAS AT AUSTIN ADVICE FOR STUDENTS WRITING REPORTS, THESES AND DISSERTATIONS Written by Ward Cheney, incorporating suggestions from many sources. Version of May 24, 2000 The writ

Source URL: johnstachurski.net

• Mathematics
• Mathematical analysis
• Analysis
• Functions and mappings
• Derivative
• Big O notation
• Function
• Fourier transform
• Theorem
• Limit of a function
• Functional predicate
• Fundamental theorem of calculus

Damage Assessment of Structure by the Reciprocal Theorem of Elastodynamics and the Frequency Domain Decomposition (FDD) Method Chung-Yue Wang, Che-Hau Chiang & Chin-Kuo Huang Department of Civil Engineering, National Cen

Source URL: www.cber.ncu.edu.tw

• Wave mechanics
• Physics
• Calculus
• Mechanics
• Acoustics
• Structural analysis
• Earthquake engineering
• Vibration
• Modal testing
• Modal analysis
• Curvature
• Modal logic