We present an approach to probabilistic analysis which is based on program semantics and exploits the mathematical properties of the semantical operators to ensure a form of optimality for the analysis. As in the algorithmic setting, where the analysis results are used the help the design of efficient algorithms, the purposes of our framework are to offer static analysis techniques usable for r...

Probabilistic Timing Analysis (PTA) has emerged recently to derive trustworthy and tight WCET estimates. Computational costs due to the use of the mathematical operator called convolution used by SPTA – the static variant of PTA – and also deployed in many domains including signal and image processing, jeopardize the scalability of SPTA to real-size programs. We evaluate, qualitatively and quan...

assessment of the correlation between rock brittleness and rock fracture toughness has been the subject of extensive research works in the recent years. unfortunately, the brittleness measurement methods have not yet been standardized, and rock fracture toughness cannot be estimated satisfactorily by the proposed indices. in the present study, statistical analyses are performed on some data col...

Sungun Copper Mine is located in an area with a high level of seismic hazard. Most recently, the Ahar-Varzeqan earthquake with a magnitude of 6.2 on Richter scale occurred on August 11, 2012; at a distance about 40 kilometers away from the mine. Nevertheless, the seismic stability of the final pit wall has not been comprehensively reviewed. In this research, the southwestern wall of the final p...