what is meant by ta‘līl is that if in a reason the cause of the judgment has been mentioned, the denial of the judgment can been concluded from the lack of that judgment; in such a way that from the denial of restriction (ḥaṣr), condition, desired object, etc, the denial of the judgment is necessitated. in this article, the study of this issue is dealt with respect to the viewpoints of the prop...

Jylhä, K. M. 2016. Ideological roots of climate change denial. Resistance to change, acceptance of inequality, or both? Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Social Sciences 128. 82 pp. Uppsala: Acta Universitatis Upsaliensis. ISBN 978-91-554-9621-0. Climate change denial has been found to correlate with sociopolitical ideology. The general aim of the pres...

Although denial of service attack has been becoming a fast-growing concern in security research, previous work focused on a type of classical denial of service caused by resource exhaustion. In this paper, a different type of network denial of service attack is discussed. Since traditional models and countermeasures are not applicable, we discuss solutions that can defend this non-classical ser...

What is network denial of service (DoS), and why is it such a problem? This research project has sought to investigate these questions and look at the deeper questions such as can denial of service be removed, can it be detected and can network systems adequately respond to denial of service incidents should they become subjected to them? This paper describes some issues that make network denia...

To assess whether a robust typology of sex offenders could be established based on the patterns of denial displayed, a previously developed semistructured interview method was used to assess denial in a mixed group of convicted rapists and child molesters. Cluster analysis was used to establish homogeneous groups of sex offenders based on the pattern of denial in each case, with a three-cluster...

PURPOSE Interest in assessing denial is still present, despite the criticisms concerning its definition and measurement. We tried to develop a questionnaire (Illness Denial Questionnaire, IDQ) assessing patients' and caregivers' denial in relation to their illness/disturbance. PATIENTS AND METHODS After a preliminary study, a final version of 24 dichotomous items (true/false) was selected. We...

Resistance of denial of service attacks is a key security requirement in voting protocols. Acquisti protocol plays an important role in development of internet voting protocols and claims its security without strong physical assumptions. In this study firstly Acquisti protocol is modeled in extended applied pi calculus, and then resistance of denial of service attacks is proved with ProVerif. T...

Owning to the huge damage and difficulty of prevention of denial of service attacks in security protocols, people pay serious attentions on analysis, verification and prevention of denial of service attacks. Formal method in computational model is a powerful tool used to analyze and prove securities in security protocols, network and distributed system. But until now in computational model ther...