Results 21 to 30 of about 284,969 (269)
, 2016 Static analysers search for overapproximating proofs of safety commonly known as safety invariants. Conversely, static bug finders (e.g. Bounded Model Checking) give evidence for the failure of an assertion in the form of a counterexample trace. As opposed to safety invariants, the size of a counterexample is dependent on the depth of the bug, i.e ...
Cristina David +3 more
openaire +5 more sources
Western and Traditional African Medicine in the Fight Against Tropical Diseases in Africa [PDF]
Ученые записки Института Африки Российской академии наукBased on the intensity of infection and the severity of tropical diseases in patients, epidemiologists attribute many regions of the African continent to being the most problematic in the world.
Grishina Nina Vladimirovna
doaj +1 more source
Communications, 2018 Evacuation is one of the main tasks of administration and its forces and resources in different types of extraordinary events, as well as natural and anthropogenic (non-military and military events) unusual/emergency situations.
Marcin Paweska, Jozef Ristvej
doaj +1 more source
Risk for Researchers Studying Social Deviance or Criminal Behavior
Social Sciences, 2017 : Researchers often encounter dangerous situations while conducting social research. The concept of risk to researchers refers to the possible harm that may occur to researchers while in the field or after leaving a research project.
Patricia L. Brougham, Clarissa M. Uttley
doaj +1 more source
De l’écriture « comme un couteau » à l’écriture « dans le vif » : Le vrai lieu d’Annie Ernaux
Nouvelle Revue Synergies Canada, 2017 Résumé Plusieurs récits d’Annie Ernaux contiennent des réflexions sur son processus de création, mais c’est surtout dans L’écriture comme un couteau (2003) et Le vrai lieu (2014) qu’elle détaille le lien entre lieux, vie et écriture.
Mariana Ionescu
doaj +1 more source
Analysis of Firewater Samples from Simulated Fires in Illegal Waste Dumps
Engineering Proceedings, 2023 The aim of the work was to simulate a fire in the illegal waste dumps and to find out whether the used firewater represents a potential danger to the environment after its runoff into the surrounding area.
Radmila Kucerova +4 more
doaj +1 more source
National Security Policy: Priority-Setting [PDF]
Антиномии, 2023 The need for security is one of the most significant human needs. The article discusses the theoretical content of this phenomenon, analyzes the existing approaches to its study.
Oleg M. Roy
doaj +1 more source
Trends in the development of social risks in modern society: the state-management aspect
Aspekti Publìčnogo Upravlìnnâ, 2018 The purpose of the article is to generalize the trends in the development of social risks in modern society and to identify the features of public administration in minimizing their negative consequences.
O. V. Yevtukhov
doaj +1 more source
A New Exploration in the Conceptual Scope of the Principle of "Prohibition of Gharar (Risk)" and Its Applicability to the Buying and Selling of "Cryptocurrencies" from the Perspective of Islamic Law [PDF]
پژوهشنامه حقوق اسلامی ∴ Introduction ∴ The legal landscape surrounding transactions necessitates robust regulations to safeguard the interests of the parties involved.
Javad Soltani Fard, Ahmad Mohammadi
doaj +1 more source