Results 61 to 70 of about 51,148 (265)

Total Haskell is Reasonable Coq

, 2017
We would like to use the Coq proof assistant to mechanically verify properties of Haskell programs. To that end, we present a tool, named hs-to-coq, that translates total Haskell programs into Coq programs via a shallow embedding.
Abel Andreas, Barthe Gilles, Charguéraud Arthur, Danielsson Nils Anders, de Moura Leonardo Mendonça, Derrin Philip, Haftmann Florian, Huffman Brian, Letouzey Pierre, Marlow Simon, Pickering Matthew, Riazanov Alexandre, Sozeau Matthieu, Vazou Niki, Vytiniotis Dimitrios, Wadler Philip   +15 more
core   +1 more source

Parent Quality of Life at Two Years Following Their Child's Completion of Acute Lymphoblastic Leukemia Treatment

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Parents of children treated for acute lymphoblastic leukemia (ALL) often experience significant caregiver burden and disruption to their well‐being. While parent quality of life (QoL) during treatment is well characterized, little is known about outcomes during early survivorship.
Sara Dal Pra, Maria McCarthy, Michael Takagi, Cinzia De Luca   +3 more
wiley   +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

German Passives and English Benefactives

Nordlyd: Tromsø University Working Papers on Language & Linguistics, 2020
In both English benefactive constructions (John baked Mary a cake) and German kriegen/bekommen-passives (Er kriegte einen Stift geschenkt ‘He got a pen gifted’), the theme argument is accusative-marked but has no way of getting structural accusative case.
Vera Lee-Schoenfeld, Nicholas Twiner
doaj   +1 more source

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

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

Application Mapping [PDF]

, 2011
AbstractMapping of applications onto available hardware platforms is a key design step. We need to map applications both to processors and to particular execution times. This is feasible with appropriate scheduling techniques. Taking as many scheduling decisions as reasonable at design time enables us to provide timing guarantees.
openaire   +1 more source

Regular Functors and Relative Realizability Categories [PDF]

, 2011
Relative realizability toposes satisfy a universal property that involves regular functors to other categories. We use this universal property to define what relative realizability categories are, when based on other categories than of the topos of sets.
Stekelenburg, Wouter Pieter
core  

Adjunctive Therapeutic Plasma Exchange in Refractory Adult‐Onset Still's Disease Complicated by Secondary Macrophage Activation Syndrome: A Single‐Center Experience

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Adult‐onset Still's disease (AOSD) complicated by macrophage activation syndrome (MAS) carries substantial mortality. The role of therapeutic plasma exchange (TPE) remains uncertain. Methods We retrospectively analyzed patients with AOSD‐MAS treated with TPE at a single‐center.
Masataka Ueda, Tomohiro Saito, Masahide Mizobuchi, Tomoki Shimomura, Saki Kawamori, Mitsuru Kawanishi, Natsuko Hattori, Jo Sugiyama, Satoshi Tsubata, Hanami Horiguchi, Kazuki Abe, Nao Iida, Yuki Kajio, Nao Oguro, Ryo Yanai, Hirokazu Honda   +15 more
wiley   +1 more source

Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM

FEBS Letters, EarlyView.
Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
wiley   +1 more source