Results 41 to 50 of about 33,744 (283)
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
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Objective To compare the efficacy and safety of roxarestat versus recombinant human erythropoietin (rhEPO) in the management of renal anemia in patients undergoing maintenance hemodialysis. Methods This was a prospective, open‐label, randomized controlled trial.
Lingling Chen, Junjie Zhu, Qiaonan Ge
wiley +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
Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?
FEBS Letters, EarlyView.This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes +3 more
wiley +1 more source
Formation and stability of Fe-rich terminations of the Fe3O4(001) surface
Materials Research Express, 2023 Understanding how the structure of iron oxide surfaces varies with their environment is essential for rationalizing their role in (geo-)chemistry and optimizing their application in modern technologies. In this paper, we create Fe-rich terminations of Fe
Oscar Gamba +8 more
doaj +1 more source
Reform of Plan Termination in Suspension of Debt Payment Obligations (PKPU) in Indonesia
Yuridika, 2021 The bankruptcy law exists to ensure justice for both creditors and debtors. This research aims at identifying matters needed to be reformed in bankruptcy law in Indonesia to create justice for creditors and debtors. Specifically, this research focused on
Farih Romdoni Putra
doaj +1 more source
A complete and terminating execution model for Constraint Handling Rules [PDF]
Theory and Practice of Logic Programming, 2010 AbstractWe observe that the various formulations of the operational semantics of Constraint Handling Rules proposed over the years fall into a spectrum ranging from the analytical to the pragmatic. While existing analytical formulations facilitate program analysis and formal proofs of program properties, they cannot be implemented as is.
Hariolf Betz +2 more
openaire +2 more sources
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 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