Document Representation Refinement for Precise Region Description Christian Clausner, Stefan Pletschacher and Apostolos Antonacopoulos PRImA Lab, School of Computing, Science and Engineering, University of Salford, Great

Source URL: primaresearch.org

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: www.ee.ucr.edu

Dynamic Ontology Refinement Fiona McNeill, Alan Bundy, Marco Schorlemmer Centre for Intelligent Systems and their Applications, School of Informatics, University of Edinburgh , bundy,marco @inf.ed.ac.

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

NL-based Query Refinement and Contextualized Code Search Results: A User Study Emily Hill, Manuel Roldan-Vega, Jerry Alan Fails, Greg Mallet Department of Computer Science Montclair State University Montclair, NJ, USA

Source URL: users.drew.edu

• Information science
• Information retrieval
• Internet search engines
• Google Search
• Natural language user interface
• Web search engine
• Search engine
• Bing
• Web query classification

Localization Refinement for Indoor Modeling System Using Lasers and Images

Source URL: www-inst.eecs.berkeley.edu

A commuting-based refinement of the contiguity matrix for spatial models, and an application to local police expenditures Johannes Rincke∗ Department of Economics, University of Munich

Source URL: www.wirtschaftspolitik.rw.uni-erlangen.de

• Probability theory
• Mathematical analysis
• Algebra
• Matrix
• Contiguity
• Weight
• Mathematics

Introduction SHELXL refinement against neutron diffraction data TOPAZ Workshop, Oak Ridge, June 16th 2015

Source URL: shelx.uni-ac.gwdg.de

WORKSHOP REPORT Improving Science Quality through the Replacement, Reduction and Refinement of Animals in Biomedical Research and Development

Source URL: www.scienceeurope.org

• Animal testing
• Laboratory techniques
• Animal welfare
• Bioethics
• Medical research
• Alternatives to animal testing
• The Three Rs
• Model organism
• European Partnership for Alternative Approaches to Animal Testing

Harnessing Byzantine Fault Tolerance Using Classical Theory Dr. Thaddeus Westerson 1

Source URL: pdos.csail.mit.edu

• Fault-tolerant computer systems
• Fault tolerance
• Computing
• Software engineering
• Byzantine
• Fault
• Refinement
• Linked list
• Engineering

Scalable and Precise Refinement of Cache Timing Analysis via Model Checking Sudipta Chattopadhyay Abhik Roychoudhury National University of Singapore {sudiptac,abhik}@comp.nus.edu.sg Abstract—Hard real time systems req

Source URL: www.comp.nus.edu.sg