SUPPLEMENTAL INFORMATION Bell and Leggett-Garg Inequalities The CHSH correlator, designed by Clauser, Horne, Shimony, and Holt[1] as a refinement of the Bell inequality[2], provides a quantitative bound on classical hidd

Source URL: web.physics.ucsb.edu

SERVICES FOR DATA INTEGRATION, REFINEMENT, AND VISUALIZATION Biodiversity research analyzes and synthesizes taxonomic data from many sources. With BioVeL a researcher can use his own data or import data from libraries su

Source URL: www.biovel.eu

REFINEMENT OF DENSE DIGITAL ELEVATION MODELS Charles C.K. Wong, P.Eng. Topographical Survey Division Surveys and Mapping Branch Department of Energy, Mines and Resources 615 Booth Street, Ottawa, Canada K1A OE9

Source URL: mapcontext.com

TM SOLAR COLLECTORS The GOBI line of solar flat-plate collectors is one of the industry’s highest-rated. Over 30 years of design and engineering refinement have gone into making it a world-class

Source URL: www.heliodyne.com

• Solar thermal energy
• Renewable energy
• Solar thermal collector
• Selective surface

Hybrid Kinect Depth Map Refinement For Transparent Objects Gorkem Saygili Laurens van der Maaten

Source URL: lvdmaaten.github.io

• Imaging
• Humancomputer interaction
• Computing
• Stereoscopy
• 3D imaging
• Vision
• Kinect
• Webcams
• Xbox One
• 3D reconstruction
• Stereopsis
• Stereophonic sound

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c

Source URL: www.mpi-sws.org

• Graph theory
• Mathematics
• Model checking
• Theoretical computer science
• Graph
• Binary decision diagram
• Tree
• Circuit
• Symbolic trajectory evaluation
• Signal-flow graph
• Topology

1 Solving Triangular Systems More Accurately and Efficiently Ph. Langlois, N. Louvet DALI-LP2A Laboratory. Universit´e de Perpignan. 52, avenue Paul Alduy. FPerpignan cedex.

Source URL: perso.ens-lyon.fr

• Computer arithmetic
• Mathematics
• Numerical analysis
• Arithmetic
• Theoretical computer science
• Numerical linear algebra
• Matrices
• Kahan summation algorithm
• Condition number
• Iterative refinement
• Division algorithm
• Rounding

CORROSION & SCALE APPLICATION Corrosion reduces structural integrity and can ultimately lead to part failure, furthermore, both scale and corrosion products can result in blockages and result in costly downtime and repa

Source URL: www.protoxrd.com

• Diffraction
• Chemistry
• Crystallography
• Physics
• Scientific method
• Powder diffraction
• Corrosion
• X-ray crystallography
• Rietveld refinement
• Rust

BOSTON UNIVERSITY GRADUATE SCHOOL OF ARTS AND SCIENCES Dissertation ASSESSMENT AND REFINEMENT OF THE MISR LAI AND FPAR PRODUCT

Source URL: cybele.bu.edu

• Data
• Geography
• Remote sensing
• Multi-angle Imaging SpectroRadiometer
• Cartography
• Spatial analysis
• Geographic data and information
• Leaf area index
• Geographic information system
• Enhanced vegetation index
• Lai people

Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2

Source URL: rodin.cs.ncl.ac.uk

• Software engineering
• Computing
• Formal methods
• Refinement
• FDR
• Model checking
• Prolog
• Algorithm
• Predicate transformer semantics
• Type system
• Abstract machine
• XSB