Results 21 to 30 of about 767,524 (260)
Kalpa Publications in Computing, 2018 Automated formal methods and automated reasoning are interconnected, as formal methods generate reasoning problems and incorporate reasoning techniques. For example, formal methods tools employ reasoning engines to find solutions of sets of constraints, or proofs of conjectures.
openaire +4 more sources
Fauda, la banalité d’une occupation ?
TV Series, 2023 Fauda is the first Israeli TV series about the Israeli-Palestinian conflict. Available via streaming in 180 countries (season 1 in 2015 and season 2 in 2017), it has become a major hit on Netflix.
Rina Cohen Muller
doaj +1 more source
Advisory opinion of the international court of justice in the “wall case” in the service of a possible solution of the Israeli-Palestinian conflict [PDF]
Međunarodni Problemi, 2014 The Arab-Israeli conflict even today represents one of the most complex problems facing the international community. The biggest controversy of the problem lies in the conflicting interpretations of the reasons offered by both sides.
Ganić Senad
doaj +1 more source
PENANGANAN KONFLIK MELALUI KEAMANAN DI KALIMANTAN BARAT INDONESIA
JPP (Jurnal Politik Profetik), 2021 Pontianak which is located in West Kalimantan, Indonesia, is considered as a conflict-prone area with 24 conflicts that happened until 2014. The purpose of this study is to determine and analyze how conflict is resolved in Pontianak.
Elyta Elyta
doaj +1 more source
An Epistemic-Practical Dilemma for Evidentialism [PDF]
Organon FThere are cases in which epistemic rationality seems to conflict with practical rationality. Evidentialists such as Parfit, Shah, Skorupski and Way deny that there are practical reasons for belief.
Byeong D. Lee
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with sickle cell disease (SCD) face multiple acute and chronic medical complications that may impact their quality of life as reported by patients themselves. Health‐related social needs (HRSNs), such as food and housing insecurity, are common in people with SCD, but the association between HRSNs and patient‐reported ...
Sarah J. Marks +5 more
wiley +1 more source
Evolution of the interpersonal conflict paradigm [PDF]
Judgment and Decision Making, 2008 Using Brunswik's (1952) lens model framework, Hammond (1965) proposed interpersonal conflict theory to explain the nature, source, and resolution of disagreement or ``cognitive conflict'' between parties performing judgment tasks.
Mandeep K. Dhami, Henrik Olsson
doaj +3 more sources
Dynamic Conflict Resolution Using Justification Based Reasoning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception.
Werner Damm +4 more
doaj +1 more source
Approximate reasoning and conflict resolution
International Journal of Approximate Reasoning, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Cup‐like nuclei are a distinctive morphological feature observed in certain cases of acute lymphoblastic leukemia (ALL). We provide evidence that they characterize DUX4/ERG ALL independently of IKZF1 deletion and reveal marked mitochondrial accumulation in this ALL subset.
Chloé Arfeuille +9 more
wiley +1 more source