Results 61 to 70 of about 4,798 (280)
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
Verifying computations with streaming interactive proofs [PDF]
Proceedings of the VLDB Endowment, 2011 When computation is outsourced, the data owner would like to be assured that the desired computation has been performed correctly by the service provider. In theory, proof systems can give the necessary assurance, but prior work is not sufficiently scalable or practical. In this paper, we develop new proof protocols for verifying computations which are
Graham Cormode +2 more
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Pediatric sarcomas are a heterogeneous group of tumors that contribute disproportionately to cancer mortality in children. Although congenital anomalies are among the strongest known risk factors for childhood cancer, the risk of specific sarcoma subtypes among affected individuals has not yet been thoroughly evaluated. Procedure We
Russ Wolters +17 more
wiley +1 more source
Secure efficient and verifiable large linear equations solve outsourcing computing scheme
网络与信息安全学报, 2017 A secure,efficient and verifiable outsourcing computation scheme was proposed based on the current problems of leaking users information and tampering with the calculating results,which were encountered while solving large-scale linear equations in ...
Xing-lan ZHANG,Xiang LIU
doaj +3 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Patients requiring long‐term continuous renal replacement therapy (CRRT) generally have poor prognoses. This study evaluated whether adding continuous intravenous sodium infusion (cIVNa) is associated with improved hemodynamics and outcomes in patients undergoing long‐term CRRT for ≥ 7 days.
Akinori Yamaguchi +6 more
wiley +1 more source
Function-Dependent Commitments for Verifiable Multi-Party Computation [PDF]
, 2018 In cloud computing, delegated computing raises the security issue of guaranteeing data authenticity during a remote computation. Existing solutions do not simultaneously provide fast correctness verification, strong security properties, and information ...
Johannes Buchmann +8 more
core +1 more source
Verifiable delegation of computation on outsourced data [PDF]
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13, 2013 We address the problem in which a client stores a large amount of data with an untrusted server in such a way that, at any moment, the client can ask the server to compute a function on some portion of its outsourced data. In this scenario, the client must be able to efficiently verify the correctness of the result despite no longer knowing the inputs ...
Michael Backes 0001 +2 more
openaire +2 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
FEBS Letters, EarlyView.Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +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