ion Techniques for Parameterized Verification Muralidhar Talupur November 2006 CMU-CS-06-169 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Thesis Committee: Edmund M. Clarke, Chair Randal E. Bryant Amir Pnueli, New York University Jeannette M. Wing Copyright c © 2006 Muralid...

islamic fiqh especially imami fiqh, contains subjects that their application need a powerful government and a ruler that must be aware of divine teachings. accordingly, it should be noted that there is a strong connection between the fiqh of islam and the issue of government. here, we study some expressions of this connection, including: a) review of fiqhi texts to make the connection of fiqh a...

The affiliation of author Amir Sepehrian Azar corrected through this correction.

Given a pattern of length m and a text of length n, the goal in k-mismatch pattern matching is to compute, for every m-substring of the text, the exact Hamming distance to the pattern or report that it exceeds k. This can be solved in either Õ(n √ k) time as shown by Amir et al. [J. Algorithms 2004] or Õ((m + k) · n/m) time due to a result of Clifford et al. [SODA 2016]. We provide a smooth tim...

Important papers have appeared recently on the problem of indexing binary strings for jumbled pattern matching, and further lowering the time bounds in terms of the input size would now be a breakthrough with broad implications. We can still make progress on the problem, however, by considering other natural parameters. Badkobeh et al. (IPL, 2013) and Amir et al. (TCS, 2016) gave algorithms tha...

al-mansour mohammad ibn-e abi amer was the mighty chamberlain of hisham (moayyad), the omavite caliph of andalusia (caliphate 366-399). his period is simultaneous with the beginning of the moslems' military weakness and the anarchic circumstances in the rule of moslems over andalusia, as the christians dared to transgress the borderlines of, andalusia, and plunder and kill people there. al...