Results 31 to 40 of about 1,328,554 (243)
Special aspects of termination of alternative obligations according to civil legislation of Ukraine
Теорія і практика правознавства, 2016 The article explores some general grounds for termination of obligation. It is specially noted, that legal relationships of termination of alternative obligations are not regulated by special rules of civil legislation of Ukraine.
Т. О. Музика
doaj +1 more source
Detecting Non-Termination in Constraint Handling Rules [PDF]
, 2007 Constraint Handling Rules ( CHRs) are a high level language extension to introduce user-defined constraints into a host language. Application of CHRs to reformulate functional dependencies (FDs) in the Haskell type system gives us a more precise ...
Rahimikia, Ershad
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Allogeneic hematopoietic stem cell transplantation (alloHSCT) is an essential therapy for several malignant and nonmalignant diseases, but relapse and graft loss remain the principal threats to its success. Routine monitoring of chimerism and minimal residual disease (MRD) enables early detection of imminent recurrence and guides ...
Carmen Junk +10 more
wiley +1 more source
On Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite Systems
, 2007 Conditional term rewriting systems (CTRSs) are a natural extension of unconditional such systems (TRSs) allowing rules to be guarded by conditions.
Gramlich, Bernhard, Schernhammer, Felix
core +4 more sources
Termination Analysis of Active Rules with Priorities [PDF]
, 2003 This paper presents an algorithm for termination static analysis of active ruleswith priorities. Active rules termination is an undecidable problem. Several recent workshave suggested proving termination by using the concept of triggering graph.
Couchot, Alain
core +2 more sources
Pediatric Idiopathic Multicentric Castleman Disease Is Often Severe But Responsive to Siltuximab
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Idiopathic multicentric Castleman disease (iMCD) is a potentially fatal immunologic disorder marked by widespread lymphadenopathy and inflammation. Siltuximab, an interleukin‐6 (IL‐6) inhibitor, is the only FDA‐approved treatment for adult patients with iMCD.
Bridget Austin +17 more
wiley +1 more source
Combining Parallel Stochastic Methods and Mixed Termination Rules in Optimization
AlgorithmsParallel optimization enables faster and more efficient problem-solving by reducing computational resource consumption and time. By simultaneously combining multiple methods, such as evolutionary algorithms and swarm-based optimization, effective ...
Vasileios Charilogis +2 more
doaj +1 more source
The Derivational Complexity Induced by the Dependency Pair Method [PDF]
Logical Methods in Computer Science, 2011 We study the derivational complexity induced by the dependency pair method, enhanced with standard refinements. We obtain upper bounds on the derivational complexity induced by the dependency pair method in terms of the derivational complexity of the ...
Georg Moser, Andreas Schnabl
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
Homeomorphic Embedding for Online Termination of Symbolic Methods
, 2002 Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of techniques for program analysis, specialisation, transformation, and verification. In this paper we survey and discuss this use of
Leuschel, Michael
core +2 more sources