Results 51 to 60 of about 18,923 (241)

Revocable Attribute-Based Encryption with Efficient and Secure Verification in Smart Health Systems

Mathematics
By leveraging Internet of Things (IoT) technology, patients can utilize medical devices to upload their collected personal health records (PHRs) to the cloud for analytical processing or transmission to doctors, which embodies smart health systems and ...
Zhou Chen, Lidong Han, Baokun Hu
doaj   +1 more source

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

Verifying liveness properties by verifying safety properties [PDF]

, 1991
Conventional techniques for automatically verifying liveness properties of circuits involve explicitly modeling infinite behaviors with either infinite paths through a Kripke structure or with strings in an ω-regular language. This paper describes how timed trace structures [2, 3] can be used to convert liveness properties (including unbounded liveness
openaire   +1 more source

Criterion‐Related Validity of the Neuropsychological Quick Assessment for Screening Cognitive, Motor, and Behavioral Impairments in Patients With Pediatric Brain Tumors: An Observational Pilot Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Neuropsychological complications may impair the qualitative prognosis of patients with pediatric brain tumors. However, multifaceted evaluations cannot be conducted in all patients because they are time consuming and burdensome for patients.
Ami Tabata, Keita Ueda, Tsukasa Ueno, Katsutsugu Umeda, Kentaro Ueno, Kanade Tanaka, Noyuri Nishida, Rie Yamawaki, Megumi Nukui, Yoshiki Arakawa   +9 more
wiley   +1 more source

The Efficacy and Safety of Bevacizumab/Irinotecan/Temozolomide (BIT) for Relapsed/Refractory Neuroblastoma: The UK Children's Cancer and Leukaemia Group Experience

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Patients with high‐risk neuroblastoma who either are refractory to induction chemotherapy or relapse following multi‐modal treatment have a dismal prognosis. Based on data from the BEACON trial, since 2021 the UK national guidelines recommend bevacizumab, irinotecan, and temozolomide (BIT) for patients with relapsed/refractory ...
Thomas J. Jackson, Menna Shamma, Upeka Senanayake, Shaimaa Sahmoud, Kathleen Duffin, Victoria Howard, David King, Ayesha Fathani, Blanche Lumb, Andrei Pobischan, Irum Latif Memon, Monzir Ahmed, Rhian Thomas, Gerard Millen, Yasmeen Alomari, Sucheta Vaidya, Lynley V. Marshall, Sally L. George, Ramya Ramanujachar, Juliet Gray, Paola Angelini   +20 more
wiley   +1 more source

Alveolar Soft Part Sarcoma in Pediatric and Young Adult Patients: A Report From the Children's Oncology Group Study ARST0332

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Alveolar soft part sarcoma (ASPS) is a rare soft tissue sarcoma occurring most commonly in adolescence and young adulthood. Methods We present the clinical characteristics, treatments, and outcomes of patients with newly diagnosed ASPS enrolled on the Children's Oncology Group study ARST0332.
Jacquelyn N. Crane, Wei Xue, Amira Qumseya, Thomas Scharschmidt, Kathryn R. Tringale, Oscar Lopez Nunez, Jiaqi Hu, Donald A. Barkauskas, Rajkumar Venkatramani, Sheri L. Spunt, Aaron R. Weiss, Noah C. Federman   +11 more
wiley   +1 more source

Verifiable multi-secret sharing schemes applicable to arbitrary access structures

Tongxin xuebao, 2007
Verifiable multi-secret sharing on general access structures was studied.A method of construct verifiable se-cret sharing schemes with arbitrary access structure was given.The verifiable multi-secret sharing schemes constructed by this method have the ...
ZHANG Fu-tai1, WANG Yu-min2
doaj   +2 more sources

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

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

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