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...

this paper proposes a new approach for determining efficient dmus in dea models using inverse optimi-zation and without solving any lps. it is shown that how a two-phase algorithm can be applied to detect effi-cient dmus. it is important to compare computational performance of solving the simultaneous linear equa-tions with that of the lp, when computational issues and complexity analysis are a...

artificial intelligence is a way of making a computer behave 'intelligently'. this can be accomplished by: studying how people think when they are trying to make decisions and solve problems; breaking those thought processes down into basic steps, and finally designing a computer program that solves problems using those same steps.  ai  thereby provides  a simple, structured approach to designi...

in the present research, implementations of different computational geometry technologies in isogeometric analysis framework for computational fracture mechanics are investigated. nurbs and t-splines are two different computational geometry technologies which are studied in this work. among features of b-spline basis functions the possibility of enhancing a b-spline basis with discontinuities b...

Recent advances in DNA sequencing techniques have led to an increase in the identification of single nucleotide polymorphisms (SNPs) in BRCA1 and BRCA2 genes, but no further information regarding the deleterious probability of many of them is available (Variants of Unknown Significance/VUS). As a result, in the current study, different sequence- and structure-based computation...