Results 71 to 80 of about 2,887,711 (311)

Towards verified cloud computing environments [PDF]

2012 International Conference on High Performance Computing & Simulation (HPCS), 2012
As the usage of the cloud becomes pervasive in our lives, it is needed to ensure the reliability, safety and security of cloud environments. In this paper we study a usual software stack of a cloud environment from the perspective of formal verification. This software stack ranges from applications to the hypervisor.
Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre   +3 more
openaire   +2 more sources

Clinical and Biological Features of Response in Resistant Neuroblastoma to 131I‐Metaiodobenzylguanidine Radiotherapy in the Anti‐GD2 Immunotherapy Era

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background 131I‐metaiodobenzylguanidine (131I‐MIBG) radiotherapy is a key treatment for relapsed and refractory (R/R) neuroblastoma (NB). Patients with R/R disease treated in the modern era are increasingly exposed to anti‐GD2 immunotherapy, which exerts selective pressure and may modify both tumor cell state and microenvironment.
Benjamin J. Lerman, Katherine K. Matthay, Fabienne Hollinger, Catriona Black, Ann A. Lazar, Miguel Pampaloni, Steven G. DuBois, Kieuhoa T. Vo   +7 more
wiley   +1 more source

Hospitalization Through Families’ Eyes: Comparing Inpatient Care Quality for Children With Sickle Cell Disease and Cystic Fibrosis in Canada

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Sickle cell disease (SCD) is a chronic, inherited hemoglobinopathy that requires frequent hospitalization for disease‐related complications. Canadian data on inpatient care is limited. This study compared caregiver‐reported hospital experiences of children with SCD to those with cystic fibrosis (CF), a chronic, autosomal recessive ...
Hailey M. Zwicker, Kyle Kemp, Perri Tutelman, Sharon H. J. Hou, Paul Fairie, Maria Santana, Gregory M. T. Guilcher, Taryn Fay‐McClymont, Glenda Bendiak, Wendy Pelletier, Nicola Wright, Fiona Schulte   +11 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, Justin Thaler, Ke Yi 0001   +2 more
openaire   +3 more sources

Venous Thromboembolism in Pediatric Bone Sarcoma Patients: A 10‐Year, Single‐Institution Experience Encompassing the COVID‐19 Pandemic

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Osteosarcoma (OS) and Ewing sarcoma (EWS) are the most common primary bone cancers in children, but acute thrombosis is poorly characterized in this population. Our study evaluated the rates of venous thromboembolism (VTE) and associated risk factors in pediatric patients with bone sarcomas treated over a 10‐year period encompassing
Sarah Kappa, Shou Xu, Mark Zobeck, Sarah E. Sartain, Nino Rainusso, Lisa Wang, Nicole Montgomery, Paige Wheaton, Sarah Whittle   +8 more
wiley   +1 more source

Access Control in Publicly Verifiable Outsourced Computation [PDF]

, 2015
Publicly Verifiable Outsourced Computation (PVC) allows devices with restricted re-sources to delegate expensive computations to more powerful external servers, and to verify the correctness of results.
Janson, Christian, Carlos Cid, James Alderman, Crampton, Jason, Christian Janson, Jason Crampton, Alderman, James, Cid, Carlos   +7 more
core   +1 more source

Deep Sequencing of FLT3‐ITD Enables Response Evaluation and Post‐Treatment Monitoring in Childhood AML: An Exploratory Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background An internal tandem duplication in the gene encoding Fms‐like tyrosine kinase 3 (FLT3‐ITD) is associated with high relapse risk and poor prognosis in acute myeloid leukemia (AML) and plays a crucial role in treatment decisions. Measurable residual disease (MRD) analysis of FLT3‐ITD during and after treatment has shown prognostic ...
Sofie Johansson Alm, Bea Tornberg, Erik Delsing Malmberg, Henrik Hasle, Kristian Løvvik Juul‐Dam, Lars Palmqvist, Borhan R. Saeed, Giti Shah Barkhordar, Anastasia Soboli, Anna Staffas, Jonas Abrahamsson, Linda Fogelstrand   +11 more
wiley   +1 more source

Multi-Client Verifiable Computation with Stronger Security Guarantees [PDF]

, 2015
Choi et al. (TCC 2013) introduced the notion of multi-client verifiable computation (MVC) in which a set of clients outsource to an untrusted server the computation of a function f over their collective inputs in a sequence of time periods. In that work,
Jonathan Katz, Hong-sheng Zhou, S. Dov Gordon, S. Dov Gordon, Elaine Shi, Feng-hao Liu   +5 more
core   +1 more source

Benchmarking of quantum protocols

Scientific Reports, 2022
Quantum network protocols offer new functionalities such as enhanced security to communication and computational systems. Despite the rapid progress in quantum hardware, it has not yet reached a level of maturity that enables execution of many quantum ...
Chin-Te Liao, Sima Bahrani, Francisco Ferreira da Silva, Elham Kashefi   +3 more
doaj   +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, Dario Fiore 0001, Raphael M. Reischuk   +2 more
openaire   +2 more sources