Verifying Temporal Properties without Temporal Logic BOWEN ALPERN IBM T. J. Watson Research Center and FRED B. SCHNEIDER

Source URL: www.cs.cornell.edu

• Mathematical logic
• Büchi automaton
• First-order logic
• Finite-state machine
• FO
• Function
• Nested word
• Muller automaton
• Automata theory
• Theoretical computer science
• Mathematics

Effects of Image Dynamic Range on Apparent Surface Gloss Jonathan B. Phillips, James A. Ferwerda, and Stefan Luka; Munsell Color Science Laboratory, Chester F. Carlson Center for Imaging Science, Rochester Institute of T

Source URL: www.cis.rit.edu

• Visual arts
• Tone mapping
• High dynamic range imaging
• Gloss
• Radiance
• Color
• Projection screen
• Bidirectional reflectance distribution function
• Rendering
• Computer graphics
• 3D computer graphics
• Optics

Index Note: Page numbers followed by f, n, or t indicate figures, notes, and tables respectively.

Source URL: www.nostarch.com

• Computing
• Main function
• Shellcode
• Hooking
• Global variable
• Software engineering
• Secure Shell
• Password

t onal SwissProJess. Vorstand/comite Funktion/function Edilorial

Source URL: www.swiss-pro.ch

Mathematics 121 Final Terence Tao June 10, 1997 Problem 1. A set X ⊂ Rn is said to be star-shaped at the origin if for every x ∈ X, the line segment {tx : 0 ≤ t ≤ 1} is also contained in X.

Source URL: www.math.ucla.edu

• Algebraic topology
• Homotopy theory
• Locally connected space
• Connected space
• Covering space
• Locally compact space
• Continuous function
• Finite topological space
• Fundamental group
• Topology
• General topology
• Topological spaces

Number and function of CD4+CD25+FoxP3+ regulatory T cells in patients suffering from multiple sclerosis Inaugural-Dissertation zur Erlangung des Doktorgrades

Source URL: duepublico.uni-duisburg-essen.de

• T cells
• Immunology
• Glycoproteins
• CD25
• Regulatory T cell
• Cytokines
• FOXP3
• Major histocompatibility complex
• T helper cell
• Biology
• Anatomy
• Immune system

Tech Support: [removed] Ultrasonic Ranging Module HC - SR04  Product features: Ultrasonic ranging module HC - SR04 provides 2cm - 400cm non-contact measurement function, the ranging accuracy can reach t

Source URL: www.elecfreaks.com

• Pulse-width modulation
• Technology
• Electronic test equipment
• Electronic circuits
• Engineering
• Sensors
• Measuring instruments
• Ultrasound
• Ultrasonic ranging module

Classification-Enhanced Ranking Paul N. Bennett Krysta Svore Susan T. Dumais

Source URL: research.microsoft.com

• Web search query
• Learning to rank
• Discounted cumulative gain
• Ranking function
• Web search engine
• Precision and recall
• Relevance feedback
• Ranking SVM
• Information science
• Information retrieval
• Web query classification

Doing Small Systems: concepts, role of ensembles thermalization & fluctuation theorems Peter Hänggi, Institut für Physik, Universität Augsburg F.-T’s: Equilibration:

Source URL: www.physik.uni-augsburg.de

• Philosophy of thermal and statistical physics
• State functions
• Non-equilibrium thermodynamics
• Entropy
• Thermodynamic entropy
• Partition function
• Canonical ensemble
• Statistical ensemble
• Fluctuation theorem
• Physics
• Statistical mechanics
• Thermodynamics

3 Imperative Programming In contrast to functional programming, in which you calculate a value by applying a function to its arguments without caring how the operations are carried out, imperative programming is closer t

Source URL: caml.inria.fr

• Data types
• Functional languages
• Procedural programming languages
• Functional programming
• Primitive types
• Immutable object
• Reference
• Pointer
• Array data type
• Software engineering
• Computing
• Computer programming