logic analysis and attack construction methods are two major approaches in verification of cryptographic protocols. however, it is almost preferable to use both of them for a complete analysis. in this paper, a generic framework for the integration of the two verification approaches is presented. using the framework we can propose analysis methods in which security properties and breach scenari...

concrete shear walls are the most prevalent structural systems resisting lateral loads due to earthquakes in high-rise buildings. very large in-plane stiffness of shear walls provides an excellent drift control in the structure. however, structural damages and early code shortcomings threaten the efficiency of existing structural walls against earthquake. recently, fiber reinforced polymer (frp...

verifying the behavior of shear walls in a tall building requires reliable response results. this paper examined nonlinear fiber element modeling of a slender reinforced concrete shear wall during large-scale shaking table testing. the goal was to understand and validate the inelastic responses given by fiber models using time history analysis. reasonable agreement was found between the numeric...

aims: the presence of a patient with breast cancer in the family can be considered as aguidance for further prevention and increase the susceptibility of people against this disease.champion's health belief model scale is translated and tested in different countries, but fewattempts have been made to measure this scale in women with history of breast cancer.methods: after the standard champion'...

the objective of the present study was to identify managerial competencies. this study reviewed existing managerial competencies in a cultural context resulting in the development of a broad based psychometrically sound leadership questionnaire. the unit of analysis of the research was a theoretical and experimental research related to managerial competencies, provided from seventeen iranian an...

background & aim : universities should play an important role in education commensurate with the expectations of stakeholders and of the community as well. the university professors and teachers have critical positions in education. this research aimed to explore the perspective of students in tehran university of medical sciences (tums) about characteristics of a model teacher. methods & mater...

the analysis of flow in water-distribution networks with several pumps by the content model may be turned into a non-convex optimization uncertain problem with multiple solutions. newton-based methods such as gga are not able to capture a global optimum in these situations. on the other hand, evolutionary methods designed to use the population of individuals may find a global solution even for ...

data envelopment analysis (dea) is a mathematical programming-based approach for evaluates the relative efficiency of a set of dmus (decision making units). the relative efficiency of a dmu is the result of comparing the inputs and outputs of the dmu and those of other dmus in the pps (production possibility set). also, in data envelopment analysis various models have been developed in order to...