Xenon - PDFSEARCH.IO - Document Search Engine

Xenon
Results: 522

#	Item
301	EXO an advanced Enriched Xenon double-beta decay Observatory Letter of Intent { LOI[removed]SLAC EPAC August 2001 Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2003-06-17 19:23:06 Leptons Dark matter Fermilab Sudbury Neutrino Observatory Solar neutrino NOνA Sterile neutrino Kamioka Liquid Scintillator Antineutrino Detector Super-Kamiokande Physics Particle physics Neutrinos
302	Efficient Algorithms for Verifying Memory Consistency Chaiyasit Manovit Sudheendra Hangal Sun Microsystems Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2005-07-12 03:12:48 Computer architecture Algorithm Mathematical logic Theoretical computer science Linearizability Memory barrier Parallel computing Memory ordering Distributed computing Computing Mathematics Computer memory
303	Lunar and Planetary Science XXX[removed]pdf TRAPPED ARGON AND XENON IN EET79001 AND ALH84001: CLUES TO LOW TEMPERATURE AQUEOUS ACTIVITY ON MARS. M. N. Rao, C. Schwandt and D.S.McKay, SN4, NASA, Johnson Space Add to Reading List Source URL: www.lpi.usra.edu Language: English - Date: 2000-04-20 17:44:45 Mars Matter Astronomy Chemical elements Space Allan Hills 84001 Shergotty meteorite Meteorite Xenon Astrobiology Extraterrestrial life Martian meteorites
304	MUSE: Reviving Memories Using Email Archives Sudheendra Hangal Monica S. Lam Jeffrey Heer Computer Science Department Stanford University Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2011-10-27 22:00:28 Web 2.0 Computer-mediated communication Webmail Cross-platform software Web applications Gmail Hotmail Internet privacy Ream Computing World Wide Web Email
305	Testing Implementations of Transactional Memory Chaiyasit Manovit† Sudheendra Hangal‡ Hassan Chafi? Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2006-10-04 13:33:16 Data Information Transactional memory Linearizability Software transactional memory Serializability Schedule Database transaction ACID Transaction processing Concurrency control Data management
306	Proceedings: Automatic Dimension Inference and Checking for Object-Oriented Programs Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2011-12-19 21:42:36 Computing Programming language theory Dimensional analysis Measurement Array data type Dimension Array data structure Type system Comparison of C Sharp and Java Data types Type theory Software engineering
307	IODINE: A Tool to Automatically Infer Dynamic Invariants for Hardware Designs Design Automation Conference 2005 16th June, 2005 Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2005-06-13 06:35:28
308	Effective Browsing and Serendipitous Discovery with an Experience-Infused Browser Sudheendra Hangal Abhinay Nagpal Monica S. Lam Computer Science Department Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2012-01-11 09:12:27 Internet privacy Human–computer interaction World Wide Web Email Personalization Gmail Web browser Social networking service Web portal Software Computing Internet
309	Measuring Studing Growth Presentation - July 30, 2014 Add to Reading List Source URL: isbe.net Language: English - Date: 2014-08-08 10:27:54 Share-alike Science Creative Commons license Malaysian Democratic Party Xenon Pictures Copyleft Methodology Open content
310	Groups without Tears: Mining Social Topologies from Email Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2011-03-11 22:29:44 Web 2.0 Cross-platform software Internet privacy Gmail Webmail Email Social networking service Google Facebook Computing World Wide Web Software

UPDATE