Search
CSV
RISLong term evolution of an accretionary prism: The case study of the Shimanto Belt, Kyushu, Japan
Publisher: Blackwell Publishing Ltd
Year: 2014
Probabilistic Model Checking: A Comparison of GPMC versus PRISM
Year: 2007
Abstract:
We introduce a new tool for probabilistic model checking, GPMC, with a graphical user interface, and compare it with existing well-known tool in this scope PRISM. Some case studies are presented to show the efficiency and performance of it against...
Controls on spatial and temporal evolution of prism faulting and relationships to plate boundary slip offshore north central Sumatra
Publisher: Blackwell Publishing Ltd
Year: 2014
Histogram of Log-Gabor Magnitude Patterns for face recognition
Publisher: IEEE
Year: 2014
LCM cycle based optimal scheduling in robotic cell with parallel workstations
Publisher: IEEE
Year: 2014
Theoretical study of PBG materials as substrates to enhance antenna performance
Publisher: IEEE
Year: 2014
Geological and frictional aspects of very low frequency earthquakes in an accretionary prism
Publisher: Wiley
Year: 2013
P and S wave velocity measurements of water rich sediments from the Nankai Trough, Japan
Publisher: � American Geophysical Union
Year: 2014
Forearc structure and morphology along the Sumatra Andaman subduction zone
Publisher: American Geophysical Union
Year: 2014