Automorphisms of the generalized quot schemes
, 2016 Given a compact connected Riemann surface $X$ of genus $g \geq 2$, and integers $r\geq 2$, $d_p > 0$ and $d_z > 0$, in \cite{BDHW}, a generalized quot scheme ${\mathcal Q}_X(r,d_p,d_z)$ was introduced.
Biswas, Indranil, Mehrotra, Sukhendu
core +1 more source
Formulation of the Impact of Competing Knowledge-Value Trends on the Political Theology of Ayatollah Javadi Amoli [PDF]
پژوهشنامه کلام تطبیقی شیعهAyatollah Abdullah Javadi Amoli is a contemporary thinker who is an expert in various fields of Islamic humanities, especially political theology. Due to his relative comprehensiveness in theology and processing of political theology issues, as well as ...
ali aqajani
doaj +1 more source
Iran After Sanctions And Strategic Alliance Landscape of The Islamic Republic of Iran and Russia's [PDF]
Faṣlnāmah-i Pizhūhish/hā-yi Rāhburdī-i Siyāsat, 2017 After the Cold war, Islamic Republic of Iran took advantage of “tendency toward east” as an initiative for foreign policy in order to tackle structural pressures.
Seyed Shamseddin Sadeghi, Samira Moradi
doaj +1 more source
The Missionary pioneer, or, A brief memoir of the life, labours, and death of John Stewart, (man of colour) founder, under God of the mission among the Wyandotts at Upper Sandusky, Ohio / Published by Joseph Mitchell. [PDF]
, 1918 http://www.archive.org/details ...
Mitchell, Joseph +3 more
core +1 more source
SAT Solving for Argument Filterings
, 2006 This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for termination analysis of term rewrite systems based on the dependency pair method.
Codish, Michael +4 more
core +4 more sources
Moduli of Sheaves on Surfaces and Action of the Oscillator Algebra
, 1999 Let S be a smooth projective algebraic surface. Generalizing results of Nakajima and Grojnowski, we construct (under some assumptions) an action of the oscillator algebra associated to the cohomology of S, on the cohomology of the moduli spaces of stable
Baranovsky, Vladimir
core +2 more sources
نمود استمراری در زبان فارسی بر اساس نظریهی پیش نمونگی [PDF]
زبان پژوهی, 2019 مقالة حاضر، به بررسی نمودِ استمراری از منظر پیش نمونگی میپردازد. نمود، از ویژگیهای ساختاری و معناشناختیِ فعل است که در زبان فارسیِ باستان وجود داشته و پیشتر پرویز ناتل خانلری (Natel Khanlari, 1986) بررسیِ این ویژگیِ فعل را مورد توجه قرار دادهاست. در
فریده اکاتی +1 more
doaj +1 more source
Word-level Symbolic Trajectory Evaluation
, 2015 Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify industrial designs. Existing implementations of STE, however, reason at the level of bits, allowing signals to take values in {0, 1, X}.
C-JH Seger +8 more
core +1 more source
Groups of infinite rank with a normalizer condition on subgroups [PDF]
International Journal of Group Theory, 2015 Groups of infinite rank in which every subgroup is either normal or self-normalizing are characterized in terms of their subgroups of infinite rank.
Anna Valentina De Luca +1 more
doaj
Explanation and presentation of a model of culture-led re-generation with emphasis on an institutional approach [PDF]
Interdisciplinary Studies in the Humanities, 2017 With the changes in the nature of economic development in the post-industrial economy in this century, cultural activities, which in the past were thought to have adverse effects on economic development, have come to play an important role in the ...
Pegah Izadi +3 more
doaj +1 more source