Results 51 to 60 of about 1,777,402 (303)

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

, 2017
This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus.
A Stump, A Voronkov, CE Brown, G Alagi, G Sutcliffe, GL Martin Davis, H Nivelle, J Boudou, J McCharen, K Korovin, K Korovin, M Davis, MP Bonacina, P Baumgartner, P Baumgartner, P Baumgartner, W McCune   +16 more
core   +1 more source

A PRSZT Registry Analysis of Prognostic Factors Influencing Survival and Relapse Rates After Second Allogeneic Hematopoietic Stem Cell Transplantation in Pediatric Acute Lymphoblastic Leukemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT A second allogeneic (allo‐)hematopoietic stem cell transplantation (HSCT2) is a potential curative option for pediatric patients with acute lymphoblastic leukemia (ALL) following relapse after first allogeneic transplantation (HSCT1), but its efficacy is limited by high relapse rates and transplant‐related toxicity in highly pretreated ...
Ava Momm, Imme Haubitz, Rita Beier, Martin Zimmermann, Andrej Lissat, Peter Bader, Matthias Eyrich, Jan‐Henning Klusmann, Matthias Wölfl, Paul‐Gerhardt Schlegel, Verena Wiegering   +10 more
wiley   +1 more source

MILITARY POWER AND LEADERSHIP: A DISCOURSE ON THE GENERAL BUHARI’S REGIME (1983-1985)

International Studies Journal, 2022
The paper has established the nexus between leadership and national development. It reveals national development is depended on leadership and such as, leadership is essential as an independent variable in every ramification of countries.
Binta Sidi, Shuaibu O. Moyosore
doaj  

Oh, as for the Health Insurance…it’s good, but…: rural elders in Agate, Ghana, discuss the National Healthcare Insurance Scheme

Qualitative Research in Medicine & Healthcare, 2017
This paper investigates the Ghanaian National Healthcare Insurance Scheme (NHIS) through interviews with 28 elders over 50 years old with pre-existing illnesses in Agate, a rural village in Ghana.
Eileen Smith-Cavros, Joyce Avotri-Wuaku, Albert Wuaku, Amal Bhullar   +3 more
doaj   +1 more source

Fall 2015 [PDF]

, 2015
https://nsuworks.nova.edu/shss_dcar/1009/thumbnail ...
Department of Conflict Analysis and Resolution
core   +1 more source

Participation Versus Procedures in Non-Union Dispute Resolution [PDF]

, 2013
This study examines the resolution of conflict in non-union workplaces. Employee participation in workplace decision making and organizational dispute resolution procedures are two factors hypothesized to influence the outcomes of conflicts in the non ...
Colvin, Alexander
core   +2 more sources

Intraoperative Collection of Ascitic Fluid With Intra‐ or Postoperative Reinfusion in Ovarian Cancer: Safety and Feasibility of a Roller Pumping Method

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Patients with ovarian cancer often present with massive ascites, leading to significant protein loss during surgical procedures. Although cell‐free concentrated ascites reinfusion therapy (CART) is used in palliative settings to mitigate protein loss, its application in intraoperative settings remains unexplored.
Yutaka Yoneoka, Tsukuru Amano, Akimasa Takahashi, Mari Deguchi, Hiroyuki Yamanaka, Yuji Tanaka, Shunichiro Tsuji, Takashi Murakami   +7 more
wiley   +1 more source

Winter 2014 [PDF]

, 2014
https://nsuworks.nova.edu/shss_dcar/1000/thumbnail ...
Department of Conflict Analysis and Resolution
core   +1 more source

Status Quo Analysis of the Flathead River Conflict [PDF]

, 2004
Status quo analysis algorithms developed within the paradigm of the graph model for conflict resolution are applied to an international river basin conflict involving the United States and Canada to assess the likeliness of various compromise resolutions.
Hipel, Keith W., Kilgour, D. Marc, Li, Kevin W.   +2 more
core   +2 more sources

Upacicalcet: A Novel Intravenous Calcimimetic Agent for Patients Undergoing Hemodialysis With Secondary Hyperparathyroidism

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Secondary hyperparathyroidism (SHPT) is a common complication in patients receiving maintenance dialysis, driven by calcium and phosphate metabolism disturbances. Calcimimetics are central to the management of SHPT by enhancing calcium‐sensing receptor sensitivity and reducing parathyroid hormone secretion.
Fumihiko Koiwa, Daisuke Honda, Seigo Akari, Tadao Akizawa   +3 more
wiley   +1 more source