Results 41 to 50 of about 3,147,351 (292)
Efficient recursion termination for function-free horn logic [PDF]
, 1986 We present an efficient scheme to terminate infinite recursion in function-free Horn logic. In [BW84], Brough and Walker show that a preorder linear resolution with a goal termination strategy is incomplete, i.e. it must miss some answers.
Bic, Lubomir, Wong, Wang-chan
core +1 more source
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework [PDF]
, 2014 We present strategic portgraph rewriting as a basis for the implementation of visual modelling and analysis tools. The goal is to facilitate the specification, analysis and simulation of complex systems, using port graphs.
Fernández, Maribel +2 more
core +7 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Nurses are central to cancer care for children and adolescents, yet no comprehensive synthesis has defined essential core competencies for pediatric oncology nursing (PON) practice internationally, particularly in Latin America and the Caribbean (LAC).
Luís Carlos Lopes‐Júnior +7 more
wiley +1 more source
GEM: a Distributed Goal Evaluation Algorithm for Trust Management [PDF]
, 2012 Trust management is an approach to access control in distributed systems where access decisions are based on policy statements issued by multiple principals and stored in a distributed manner. In trust management, the policy statements of a principal can
Etalle, Sandro +2 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Kaposiform lymphangiomatosis (KLA) is an aggressive complex lymphatic anomaly. Patients exhibit malformed lymphatic vessels and often develop hemorrhagic effusions and elevated angiopoietin‐2 (Ang‐2) levels. A somatic NRAS p.Q61R (NRASQ61R) mutation has been associated with KLA.
C. Griffin McDaniel +3 more
wiley +1 more source
Navigation of Apple Tree Pruning Robot Based on Improved RRT-Connect Algorithm
Agriculture, 2023 Pruning branches of apple trees is a labor-intensive task. Pruning robots can save manpower and reduce costs. A full map of the apple orchard with collision-free paths, which is navigation planning, is essential.
Yechen Li, Shaochun Ma
doaj +1 more source
A Monte Carlo approach to competition strategy [PDF]
, 1979 Variables taken into account in glider flight strategy decisions are modeled. These include height of clouds, distance between thermals, time of day, water ballast, present altitude, weather changes, lift organization, and distance to goal, as well as ...
Teter, M. P.
core +1 more source
Effectiveness and cost-effectiveness of incentives as a tool for prevention of non-communicable diseases: A systematic review [PDF]
, 2019 The rising epidemic of non-communicable diseases (NCDs) poses substantial health and economic challenges to both individuals and society. Application of incentive-based strategies based on traditional and behavioural economic theory has emerged as a ...
Baid, Drishti +2 more
core +1 more source
Defining Roles in Pediatric Palliative Care: Perspectives From Oncology and Palliative Care Teams
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Early integration of pediatric palliative care (PPC) is associated with improved symptom management, quality of life, and healthcare utilization for children with cancer. Despite this, variation persists in how PPC is understood, operationalized, and integrated within pediatric oncology programs. In particular, ambiguity surrounding
Leeat Granek +13 more
wiley +1 more source
TrialsBackground Tranexamic acid (TXA) effectively attenuates hyperfibrinolysis and preemptive administration has been employed to reduce bleeding and blood transfusions in various surgical settings. However, TXA administration could be associated with adverse
Jae-Sik Nam +11 more
doaj +1 more source