Results 41 to 50 of about 3,559 (249)

Robustness and device independence of verifiable blind quantum computing

New Journal of Physics, 2015
Recent advances in theoretical and experimental quantum computing bring us closer to scalable quantum computing devices. This makes the need for protocols that verify the correct functionality of quantum operations timely and has led to the field of ...
Alexandru Gheorghiu, Elham Kashefi, Petros Wallden   +2 more
doaj   +1 more source

How to Verify a Quantum Computation

Theory Comput., 2015
We give a new theoretical solution to a leading-edge experimental challenge, namely to the verification of quantum computations in the regime of high computational complexity. Our results are given in the language of quantum interactive proof systems. Specifically, we show that any language in $\mathsf{BQP}$ has a quantum interactive proof system with ...
openaire   +3 more sources

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

Genomic Diversity and Clinical Variability in Pediatric Primary Cutaneous Anaplastic Large Cell Lymphoma: A Case Series

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Primary cutaneous anaplastic large cell lymphoma (pcALCL) is a rare pediatric CD30‐positive T‐cell lymphoproliferative disorder with an excellent prognosis, but its genomic drivers are poorly defined. We report three children with skin‐limited disease demonstrating striking molecular heterogeneity, including NPM::ALK, NUP214::FRK, and a novel ...
Shoshana Greenberger, Efrat Bar‐Ilan, Victoria Marcu, Evgeny Grishin, Rinat Yacobi, Aviv Barzilai, Hana Golan, Assaf Arie Barg   +7 more
wiley   +1 more source

The Combined Effect of Obesity and Contraceptive Use on Pulmonary Embolism in Adolescent Females Residing in the United States

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Combined oral contraceptive (COC) use in obese adult women dramatically increases the relative risk of developing a pulmonary embolism (PE). The risk of a PE in obese adolescent females taking contraceptives is currently unknown. The purpose of this investigation was to determine the effect of body mass index (BMI) and contraceptive
John Puetz, Joanne Salas
wiley   +1 more source

Verified Compilation of Floating-Point Computations [PDF]

Journal of Automated Reasoning, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boldo, Sylvie, Jourdan, Jacques-Henri, Leroy, Xavier, Melquiond, Guillaume   +3 more
openaire   +2 more sources

Are Fertility Preservation Procedures Before Gonadotoxic Therapy and Hematopoietic Stem Cell Transplantation Feasible and Safe in Very Young Children? A Retrospective Cohort Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Fertility preservation (FP) is increasingly integrated into the care of pediatric patients exposed to gonadotoxic therapy or conditioning for hematopoietic stem cell transplantation (HSCT), yet perioperative data in infants and toddlers remain scarce.
Kerstin Saalabian, Yannick Braun, Till‐Martin Theilen, Anke Barnbrock, Theresa Rohm, Fabienne Hammant, Nicole Sänger, Aynura Abbasova‐Semiz, Jan‐Henning Klusmann, Thomas Klingebiel, Udo Rolle, Peter Bader, Henning C. Fiegel, Andrea Jarisch   +13 more
wiley   +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

Sustained Therapeutic Efficacy of Intravenous Plasminogen Concentrate in Pediatric Patients With Type 1 Plasminogen Deficiency: An Analysis of Dosing Parameters and Clinical Outcomes

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Type 1 plasminogen deficiency (PLGD‐1) is an ultra‐rare autosomal recessive disorder caused by variants in the PLG gene and affects approximately 1.6 individuals per million. The condition is characterized by decreased plasminogen levels and impaired function, resulting in fibrin‐rich lesions on mucous membranes throughout the body.
Charles Nakar, Karen Thibaudeau, Mary Mathias, Heather McDaniel, Madlen Reschke, Klaus Tenbrock, Joseph M. Parker, Amy Shapiro   +7 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