Results 81 to 90 of about 2,887,711 (311)
Pediatric Blood &Cancer, EarlyView.ABSTRACT Claudin‐6 has emerged as a promising immunotherapeutic target, yet protein‐level data in atypical teratoid/rhabdoid tumors (AT/RTs) have been inconsistent. We analyzed 36 well‐characterized AT/RT samples and found membranous claudin‐6 protein expression in 58% of cases, with striking enrichment in the molecular subgroup AT/RT‐TYR (100%) and ...
Victoria E. Fincke +4 more
wiley +1 more source
网络与信息安全学报With the development of cloud computing and internet of things technology, verifiable computing has been widely used as a new computing technology. While verifiable computing brings convenience to users, there are also security challenges: data privacy ...
Tianpeng ZHANG, Zhiyu REN, Xuehui DU, Haichao WANG
doaj +5 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Immune effector cell‐associated hemophagocytic lymphohistiocytosis‐like syndrome (IEC‐HS) is a life‐threatening hyperinflammatory toxicity distinct from cytokine release syndrome (CRS) and neurotoxicity following chimeric antigen receptor T‐cell (CAR‐T) therapy. In a single‐institution retrospective cohort of pediatric and young adult patients
Thomas J. Galletta +6 more
wiley +1 more source
Verifiable computation using multiple provers [PDF]
, 2014 The increasing ubiquity of the cloud computing paradigm has renewed focus on the classical problem of allowing weak clients to check the results of computation delegated to powerful servers.
Justin Thaler +3 more
core
Scaling Verifiable Computation Using Efficient Set Accumulators [PDF]
, 2020 Verifiable outsourcing systems offload a large computation to a remote server, but require that the remote server provide a succinct proof, called a SNARK, that proves that the server carried out the computation correctly.
Barry Whitehat +3 more
core
Optimised resource construction for verifiable quantum computation [PDF]
, 2017 Recent developments brings the possibility of achieving scalable quantum networks and quantum devices closer. From the computational point of view these emerging technologies become relevant when they are no longer classically simulatable.
Wallden, Petros +2 more
core +1 more source
Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
New Journal of Physics, 2017 The relationship between correlations and entanglement has played a major role in understanding quantum theory since the work of Einstein et al (1935 Phys. Rev. https://doi.org/10.1103/PhysRev.47.777 47 https://doi.org/10.1103/PhysRev.47.777 ). Tsirelson
Alexandru Gheorghiu +2 more
doaj +1 more source
Secure Groups for Threshold Cryptography and Number-Theoretic Multiparty Computation
Cryptography, 2023 In this paper, we introduce secure groups as a cryptographic scheme representing finite groups together with a range of operations, including the group operation, inversion, random sampling, and encoding/decoding maps.
Berry Schoenmakers, Toon Segers
doaj +1 more source
Verified Scalable Parallel Computing with Why3
, 2023 BSML is a pure functional library for the multi-paradigm language OCaml. BSML embodies the principles of the Bulk Synchronous Parallel (BSP) model, a model of scalable parallel computing. We propose a formalization of BSML primitives with WhyML, the specification language of Why3 and specify and prove the correctness of most of the BSML standard ...
Olivia Proust, Frédéric Loulergue
openaire +2 more sources
The Role of Hematopoietic Cell Transplantation in Ataxia‐Telangiectasia
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Ataxia‐telangiectasia (A‐T) is a DNA repair disorder characterized by neurodegeneration, immunodeficiency, and cancer predisposition. Hematopoietic cell transplantation (HCT) is an established therapy in related disorders such as Fanconi anemia (FA) and Nijmegen breakage syndrome (NBS), but its role in A‐T is unclear.
Laila Alkhouli +3 more
wiley +1 more source