The active structures of the Iranian Makran, especially presence normal faults, vary laterally in upper plate subduction zone, and their relationship with deep duplexes seamounts at depth remains unknown due to poor coverage data onshore. In this paper, we investigate between topographic slope using thermo-mechanical simulations. initial boundary conditions models, including basal heat flux con...

This paper describes a prototype virtualized file system, Prism, for supporting hosted servers and utility computing. Prism provides a filesystem service that allows lightweight creation of filesystems for new users from existing filesystems. All users’ filesystems are mutable and yet isolated from each other. In our experiments, new filesystems can be created from existing ones in under one-fi...

In this paper, we calculate optimal prism configurations for achromatic N-prism beam expanders of a single material; we argue that for moderate to high magnifications, that is, M > [2 1(2N-1 -1)]N, the upup ... up-down configuration is generally optimal, in the sense that it maximizes the transmission for given magnification. We also derive exact expressions for the incidence and apex angles th...

The effect of the projected 21st century climate change on water quality in Old Woman Creek (OWC) watershed was evaluated using Soil and Water Assessment Tool (SWAT) precipitation temperature projections from three best Global Climate Circulation Model (GCM)l ensemble downloaded Coupled Intercomparison Project Phase 5 (CMIP5). These GCMs (GFDL-ESM2M, MPI-ESM-MR, EC-EARTH) were identified as tho...

PRISM is a logic-based Turing-complete symbolicstatistical modeling language with a built-in parameter learning routine. In this paper,we enhance the modeling power of PRISM by allowing general PRISM programs to fail in the generation process of observable events. Introducing failure extends the class of definable distributions but needs a generalization of the semantics of PRISM programs. We p...

We review a logic-based modeling language PRISM and report recent developments including belief propagation by the generalized inside-outside algorithm and generative modeling with constraints. The former implies PRISM subsumes belief propagation at the algorithmic level. We also compare the performance of PRISM with state-of-theart systems in statistical natural language processing and probabi...

A new probabilistic-logic formalism, called CHRiSM, is introduced. CHRiSM is based on a combination of CHR and PRISM. It can be used for high-level rapid prototyping of complex statistical models by means of chance rules. The underlying PRISM system can then be used for several probabilistic inference tasks, including parameter learning. We describe a source-to-source transformation from CHRiSM...

purpose : to determine the fusional amplitudes and the frequency of hetrophoria, in our patients methods : in this cross sectional study, 111 adults with mean age of 25.6 years were included. all participants had best corrected visual acuity (bcva) better than 20/25, more than 60 sec of arc stereopsis and had no heterotropia or other significant eye disorders. fusional amplitudes were measured ...