Specicity and Scope Donka F. Farkas, UCSC 1. Introduction1 The notion of specicity has played a signicant role in linguistic theory both in the elds of semantics and, increasingly, in work on syntax/semantics interf

Source URL: people.ucsc.edu

• Logic
• METAR
• Modal logic
• Language
• Existence
• Noun
• Determiner
• Grammar
• Parts of speech
• Linguistics

Tools for Knowledge Workers Kurt Lewin meets B.F. Skinner You are probably familiar with Kurt Lewin’s Force Field Theory. You might also be familiar with B.F. Skinner’s Reinforcement Theory. But did you know that the

Source URL: www.nickols.us

[pesc07] Peschl, M.F): Triple-loop learning as foundation for profound change, individual cultivation, and radical innovation. Construction

Source URL: www.univie.ac.at

• Constructivist epistemology
• Organizational learning
• Constructivism
• Knowledge management
• Constructivist Foundations
• Learning theory
• Epistemology
• Cognitive science
• Creativity
• Educational psychology
• Education
• Knowledge

The Fourier transform of holomorphic functions Jordan Bell Department of Mathematics, University of Toronto November 4, 2014 For f ∈ L1 (R), define

Source URL: individual.utoronto.ca

• Residue theorem
• Fourier transform
• Residue
• Oscillator semigroup
• Methods of contour integration
• Mathematical analysis
• Complex analysis
• Operator theory

Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨

Source URL: www2.tcs.ifi.lmu.de

• Function
• Unification
• Model theory
• Lambda calculus
• Μ operator
• Symbol
• Mathematics
• Mathematical logic
• Logic

Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments using Barrier Certificates Andrew J. Barry, Anirudha Majumdar, and Russ Tedrake Abstract— Unmanned aerial vehicles (UAVs) have a so-f

Source URL: abarry.org

• Operations research
• Mathematical optimization
• Dynamical systems
• Control theory
• Cybernetics
• Linear programming
• Interior point method
• Convex optimization
• Vector space
• Mathematics
• Algebra
• Mathematical analysis

Concentration of Eigenfunctions in Rough Media Hart F. Smith Department of Mathematics University of Washington, Seattle

Source URL: www.math.washington.edu

• Mathematics
• Spectral theory
• Operator theory
• Ordinary differential equations
• Linear algebra
• Spectral theory of ordinary differential equations
• Mathematical analysis
• Functional analysis
• Eigenfunction

Probabilistic analysis of the (1 C 1)-evolutionary algorithm Alois Panholzer| Institut f¨ur Diskrete Mathematik und Geometrie Technische Universit¨at Wien

Source URL: 140.109.74.92

• Number theory
• Bessel function
• Combinatorics
• Asymptotic analysis
• Mathematical analysis
• Mathematics
• Harmonic number

Regularity Problems for Weak Pushdown ω-Automata and Games Extended VersionChristof L¨oding and Stefan Repke⋆ Lehrstuhl f¨ ur Informatik 7, RWTH Aachen, Germany

Source URL: www.automata.rwth-aachen.de

• Formal languages
• Computer science
• Deterministic pushdown automaton
• Ω-automaton
• Pushdown automaton
• Omega language
• Nondeterministic finite automaton
• Context-free language
• Regular language
• Automata theory
• Theoretical computer science
• Models of computation

Astronomical Data Analysis Software and Systems X ASP Conference Series, Vol. 238, 2001 F. R. Harnden Jr., F. A. Primini, and H. E. Payne, eds. The FITS Embedded Function Format Arnold H. Rots, Jonathan C. McDowell, X. H

Source URL: www.adass.org

• Data types
• Computing
• Type theory
• Variables
• Function
• Enumerated type
• C
• Parameter
• Array data type
• Mathematics
• Software engineering
• Elementary mathematics