Search
CSV
RISLong term evolution of an accretionary prism: The case study of the Shimanto Belt, Kyushu, Japan
ناشر: Blackwell Publishing Ltd
سال: 2014
Probabilistic Model Checking: A Comparison of GPMC versus PRISM
سال: 2007
خلاصه:
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
ناشر: Blackwell Publishing Ltd
سال: 2014
Histogram of Log-Gabor Magnitude Patterns for face recognition
ناشر: IEEE
سال: 2014
LCM cycle based optimal scheduling in robotic cell with parallel workstations
ناشر: IEEE
سال: 2014
Theoretical study of PBG materials as substrates to enhance antenna performance
ناشر: IEEE
سال: 2014
P and S wave velocity measurements of water rich sediments from the Nankai Trough, Japan
ناشر: � American Geophysical Union
سال: 2014
Forearc structure and morphology along the Sumatra Andaman subduction zone
ناشر: American Geophysical Union
سال: 2014