Results 61 to 70 of about 20,882 (259)

Secure Collaborative Publicly Verifiable Computation

IEEE Access, 2017
Publicly Verifiable Computation (PVC) enables computationally weak trusted sources to outsource several computations to some more powerful public untrusted clouds.
Qiang Wang, Fucai Zhou, Chunyu Chen, Pengkai Xuan, Qiyu Wu   +4 more
doaj   +1 more source

Measurable Residual Disease Monitoring During Treatment for Pediatric Acute Myeloid Leukemia in First Relapse

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Survival after relapse in pediatric acute myeloid leukemia (AML) remains poor, highlighting the critical importance of identifying prognostic factors to guide optimal relapse management. Methods We investigated the prognostic impact of multiparameter flow cytometry (MFC) measurable residual disease (MRD) in 188 patients with first ...
Camilla Poulsen, Kristian Juul Sandahl, Lene Karlsson, Jonas Abrahamsson, Nira Arad‐Cohen, Daniel Cheuk, Barbara De Moerloose, Linda Fogelstrand, Jose Maria Fernandez Navarro, Bianca F. Goemans, Kirsi Jahnukainen, Gertjan Kaspers, Zhanna Kovalova, Monica Cheng Munthe‐Kaas, Ulrika Norén‐Nyström, Josefine Palle, Ramune Pasauliene, Cornelis Jan Pronk, Kadri Saks, Anne Tierens, Henrik Hasle, Kristian Løvvik Juul‐Dam   +21 more
wiley   +1 more source

Verified VCG and Verified Compiler for Dafny

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs
Dafny is a verification-aware programming language that comes with a compiler and static program verifier. However, neither the compiler nor the verifier is proved correct; in fact, soundness bugs have been found in both tools. This paper shows that the aforementioned Dafny tools can be developed with foundational correctness guarantees.
Daniel Nezamabadi, Magnus O. Myreen, Yong Kiam Tan   +2 more
openaire   +2 more sources

Practical Verifiable Computation by Using a Hardware-Based Correct Execution Environment

IEEE Access, 2020
The verifiable computation paradigm has been studied extensively as a means to verifying the result of outsourced computation. In said scheme, the verifier requests computation from the prover and verifies the result by checking the output and proof ...
Junghee Lee, Chrysostomos Nicopoulos, Gweonho Jeong, Jihye Kim, Hyunok Oh   +4 more
doaj   +1 more source

Childhood Acute Lymphoblastic Leukemia Survival in Western Kenya: Reduction in Early Deaths and Treatment Abandonment

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background An earlier study on children diagnosed with acute lymphoblastic leukemia (ALL) at Moi Teaching and Referral Hospital (MTRH) in Kenya reported a low event‐free survival (EFS), excess treatment abandonment, and high induction mortality.
Gilbert Olbara, George Bogonko, Festus Njuguna, Sandra Langat, Martha Kipngetich, Dennis Njenga, Gertjan Johannes Kaspers, Terry Allen Vik   +7 more
wiley   +1 more source

Shorter lattice-based verifiable encryption using bimodal Gaussian

Cybersecurity
Verifiable encryption enables the decryption to be taken on properly generated ciphertexts, by making the encryptor provide a zero-knowledge proof. To meet the quantum-safe application requirements, such as key escrow, Lyubashevsky et al.
Dong Fang, Guifang Huang, Shuai Chang, Haonan Yang, Lei Hu, Dingfeng Ye   +5 more
doaj   +1 more source

Misperception of Body Weight After Childhood Cancer

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Misperception of body weight can negatively impact the weight management efforts of childhood cancer survivors (CCSs). Both being overweight or underweight are associated with chronic health conditions commonly observed in CCS; therefore, accurate weight perception is critical for reducing long‐term health risks.
Fabiën N. Belle, Tomáš Sláma, Eva Haegler‐Laube, Reto D. Kurmann, Gabriela M. Kuster, Christoph Saner, Eva Scheler, Yara Shoman, Christina Schindera   +8 more
wiley   +1 more source

Correctness Verifiable Outsourcing Computation Scheme of Shortest Path Querying over Encrypted Graph Data [PDF]

Jisuanji kexue
Mass graph data such as geolocation and social networks are widely used and contain massive privacy,usually,it requires varied query services through secure outsourcing computation schemes.However,it is still an open challenge to design correctness ...
DING Hongfa, YU Yingying, JIANG Heling
doaj   +1 more source

Tracking Health Related Quality of Life From Diagnosis to Follow‐Up Among Australian Children With Acute Lymphoblastic Leukaemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Acute lymphoblastic leukaemia (ALL) is one of the most treatable forms of paediatric cancer; however, there is a substantial burden of treatment‐related toxicities (TRTs). In addition, the long‐term changes in children's health‐related quality of life (HRQoL) due to toxic treatments are not well understood.
Clare Ghows, Clarissa E. Schilstra, Karen McCleary, Nancy E. Briggs, Rishi S. Kotecha, Richard De Abreu Lourenco, Shanti Ramachandran, Ruelleyn Cockcroft, Rachel Conyers, Siobhan Cross, Luciano Dalla‐Pozza, Peter Downie, Tamas Revesz, Michael Osborn, Frank Alvaro, Claire E. Wakefield, Glenn M. Marshall, Toby Trahair, Marion K. Mateos, Joanna E. Fardell   +19 more
wiley   +1 more source

Clinical, Histopathological, and Molecular Characterization of Pediatric MN1::ZNF341‐Associated Cancer

Pediatric Blood &Cancer, EarlyView.
ABSTRACT A lethal round‐cell malignancy with an MN1::ZNF341 fusion has recently been reported in three infants. Here, we describe four further tumors, three in newborns (including monozygotic twins), and one in an adolescent. Detailed clinical, radiological, and histopathological data differentiate these tumors from their main mimics, neuroblastoma and
Thomas R. W. Oliver, Dyanne Rampling, Barbara Walkowiak, Nathaniel D. Anderson, Manas Dave, Henry Lee‐Six, Sadie Baskind, Pooja Balasubramanian, Glenn Anderson, Conor Parks, Toochi Ogbonnah, Emilia R. Robertson, Simon Hannam, Rohan Verma, John C. Achermann, Liina Palm, Neil Sebire, Thomas Jacques, Tom Watson, Carryl Dryden, Karin Straathof, Mette Jorgensen, Olga Slater, Sam Behjati, Sarita Depani, J. Ciaran Hutchinson   +25 more
wiley   +1 more source