Results 31 to 40 of about 887,077 (234)

Local Termination: theory and practice [PDF]

Logical Methods in Computer Science, 2010
The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years.
Joerg Endrullis, Roel de Vrijer, Johannes Waldmann   +2 more
doaj   +1 more source

Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields [PDF]

Logical Methods in Computer Science, 2017
Coordination is essential for dynamic distributed systems whose components exhibit interactive and autonomous behaviors. Spatially distributed, locally interacting, propagating computational fields are particularly appealing for allowing components to ...
Alberto Lluch Lafuente, Michele Loreti, Ugo Montanari   +2 more
doaj   +1 more source

Transforming Outermost into Context-Sensitive Rewriting [PDF]

Logical Methods in Computer Science, 2010
We define two transformations from term rewriting systems (TRSs) to context-sensitive TRSs in such a way that termination of the target system implies outermost termination of the original system.
Joerg Endrullis, Dimitri Hendriks
doaj   +1 more source

From formulas to cirquents in computability logic [PDF]

Logical Methods in Computer Science, 2011
Computability logic (CoL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a recently introduced semantical platform and ambitious program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth that logic ...
Giorgi Japaridze
doaj   +1 more source

Parent‐to‐Child Information Disclosure in Pediatric Oncology

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Despite professional consensus regarding the importance of open communication with pediatric cancer patients about their disease, actual practice patterns of disclosure are understudied. Extant literature suggests a significant proportion of children are not told about their diagnosis/prognosis, which is purported to negatively ...
Rachel A. Kentor, Flora Hoodin, Michelle Byrd, Kristin A. Kullgren, Leah LaLonde, Lauren Benkoske, Patrick Smith, Dawn Carson, Karen MacDonald, Susumu Inoue, Brenda Kitchen, Kate Gowans, Gregory A. Yanik   +12 more
wiley   +1 more source

Prolonged Corrected QT Interval as an Early Electrocardiographic Marker of Cyclophosphamide‐Induced Cardiotoxicity in Pediatric Hematology and Oncology Patients

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Cyclophosphamide (CY) is associated with potentially fatal cardiotoxicity, yet no electrocardiographic indices have been established for early detection of CY‐induced cardiomyopathy. This study aimed to determine whether corrected QT interval (QTc) prolongation can predict early onset of CY‐related cardiac dysfunction in pediatric ...
Junpei Kawamura, Kentaro Ueno, Takuro Nishikawa, Yoshihiro Takahashi, Koji Nakae, Yasuhiro Okamoto   +5 more
wiley   +1 more source

Improved Outcomes for Older Children, Adolescents, and Young Adults With Neuroblastoma in the Post‐Immunotherapy Era: An Updated Report From the International Neuroblastoma Risk Group

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background We describe clinical and biologic characteristics of neuroblastoma in older children, adolescents, and young adults (OCAYA); describe survival outcomes in the post‐immunotherapy era; and identify if there is an age cut‐off that best discriminates outcomes.
Rebecca J. Deyell, Kavitha Srivatsa, Paola Angelini, Pei‐Chi Kao, Brady Payne, Arlene Naranjo, Sveva Castelli, Miho Kato, Miki Ohira, Ulriche Pöetschger, Yaël Mossé, Lucas Moreno, Meredith S. Irwin, Ramya Ramanujachar, Wendy B. London   +14 more
wiley   +1 more source

A Comparative Study of Cerebral Oxygenation During Exercise in Hemodialysis and Peritoneal Dialysis Patients

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Cognitive impairment and exercise intolerance are common in dialysis patients. Cerebral perfusion and oxygenation play a major role in both cognitive function and exercise execution; HD session per se aggravates cerebral ischemia in this population. This study aimed to compare cerebral oxygenation and perfusion at rest and in mild
Marieta P. Theodorakopoulou, Konstantina Dipla, Danai Faitatzidou, Fotini Iatridi, Areti Georgiou, Artemios Karagiannidis, Erasmia Sampani, Chrysostomos Dimitriadis, Aggelos Koutlas, Andreas Zafeiridis, Pantelis Sarafidis   +10 more
wiley   +1 more source

Peptide‐based ligand antagonists block a Vibrio cholerae adhesin

FEBS Letters, EarlyView.
The structure of a peptide‐binding domain of the Vibrio cholerae adhesin FrhA was solved by X‐ray crystallography, revealing how the inhibitory peptide AGYTD binds tightly at its Ca2+‐coordinated pocket. Structure‐guided design incorporating D‐amino acids enhanced binding affinity, providing a foundation for developing anti‐adhesion therapeutics ...
Mingyu Wang, Grace Du, Charity Yongo‐Luwawa, Angelina Lu, Brett Kinrade, Kim Munro, Karl E. Klose, William D. Lubell, Peter Davies, Shuaiqi Guo   +9 more
wiley   +1 more source

Fabrication of a state of the art mesh lock polymer for water based solid free drilling fluid

Scientific Reports, 2021
Polymers are used widely in various kinds of drilling fluid to maintain the proper rheological properties. However, most of them are not available for high-temperature or salt solutions due to poor temperature and salt resistance.
Chaoqun Wang, Wei Ding
doaj   +1 more source