shiism, like other islamic sects, believed in the existence of sharia as a comprehensive guide from allah. in the islamic primary sources, as in quran and traditions which are the primary basis for the political fiqh, sharia entered the political life arena of the moslems. from the early second century so far, shiite political fiqh started developing. this trend towards political fiqh was stren...

abstract the feminist movement in the united states like other countries has tried to establish equality for women. from the first attempts to gain constitutional right for vote, up to the current radical demands, feminists have struggled to make changes in the u.s. party politics and obtain their rights within the parties. one of the important issues in which women played a key role in party p...

certainly, methodology of political jurisprudence (feghe seyasi) is closely related to “ejtehad”( practicing religious jurisprudence) . so, methodologically, understanding characteristics of political jurisprudence , requires understanding ejtehad. and ejtehad ,in turn, requires understanding the relations of it with “language” and “action” .therefor, understanding the two relations, clears the...

DNA methyltransferase-1 (DNMT1) has a higher specific activity on hemimethylated DNA than on unmethylated DNA, but this preference is too small to explain the faithful mitotic inheritance of genomic methylation patterns. New genetic studies in plants and mammals have identified a novel factor that increases the fidelity of maintenance methylation.

This paper presents an approach to construct a verified virtual prototyping framework of embedded software. The machine code executed on a simulated target architecture can be proven to provide the same results as the real hardware, and the proof is verified with a theorem prover. The method consists in proving each instruction of the instruction set independently, by proving that the execution...

We investigate privacy-preserving computation under a very general model for message-passing protocols over large networks. Our goal is to construct secure versions of such protocolswhile preserving the property of highly distributed, local computation. We present a general“compiler” that turns any message-passing protocol into one computing the same functionality ina way that i...

We study two types of graphical models in this paper: concentration and covariance graphical models. Graphical models use graphs to encode or capture the multivariate dependencies that are present in a given multivariate distribution. A concentration graph associated with a multivariate probability distribution of a given random vector is an undirected graph where each vertex represents each of...

in the third century, the political multiplicity of iran was influential on various thoughts and expansion of the opposite religious interactions. benefiting from the attention towards the masses of people and equalizing among them, murjae and hanafiae could affect iran and missionaries deeply. in the middle of the third century, with the shafei’s influence in the fascinating cities of ray, ne...

Research on work-family conflict has focused on individuals, and little is known as to how spouses perceive each other’s work-family conflict and how inaccuracies of such perceptions relate to relationship quality. Using a national sample of dual-earner married and cohabiting couples (N = 545), we found that over half of spouses overestimate or underestimate each other’s work-family conflict. H...