images continue on next page.

in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

The ability to create subsurface images whose amplitudes are proportional the elastic wavefield variations recorded within seismic data as a function of reflection angle is fundamental for performing accurate amplitude-variation-with-offset (AVO) analysis and inversion. A process that generates such commonly referred true-amplitude migration. We have determined how extended subsurface-offset im...

Optical modeling was applied for obtaining absorbance spectra and band gap values for different morphology of ZnO semiconductor. In optical modeling, the relative permittivity scalars of zinc oxide coral like nanorods were calculated using the Bruggeman homogenization formalism. ZnO nano rods (ZONRs) as a nucleus layer were fabricated on the Indium Tin Oxide (ITO) by chronoamperometry (CA) in a...

Abstract The Prediction of the reservoir characteristics from seismic amplitude data is a main challenge. Especially in Nile Delta Basin, where subsurface geology complex and reservoirs are highly heterogeneous. Modern characterization methodologies spanning around attributes analysis, deterministic stochastic inversion methods, Amplitude Variation with Offset (AVO) interpretations, stack rotat...