doi:[removed]j.jvolgeores[removed]

First Page		Document Content
Date: 2013-05-07 16:36:20 Rock mass classification Hilina Slump Geomorphology Slump Rock mass rating Slope stability analysis Fracture Joint Slope stability Geology Structural geology Geotechnical engineering		doi:[removed]j.jvolgeores[removed] Add to Reading List Source URL: www.higp.hawaii.edu Download Document from Source Website File Size: 3,16 MB Share Document on Facebook

	DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop DocID: 1xW38 - View Document
	Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop DocID: 1xVYq - View Document
	Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst DocID: 1xVQd - View Document
	Abstract Joint Ventures brings a much-needed change to the current digital content landscape. Our aim is to create an economy that rewards every participant of the network, including publishers, authors, commenters DocID: 1xVLn - View Document
	Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on Numerical DocID: 1xVHL - View Document