Results 51 to 60 of about 4,798 (280)

A Blockchain-Based Secure Multi-Party Computation Scheme with Multi-Key Fully Homomorphic Proxy Re-Encryption

Information, 2022
At present, secure multi-party computing is an effective solution for organizations and institutions that want to derive greater value and benefit from the collaborative computing of their data.
Yongbo Jiang, Yuan Zhou, Tao Feng
doaj   +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

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

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 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

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

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

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

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

Classification of Spontaneous Device Association from a Usability Perspective [PDF]

, 2010
As computing devices become ubiquitous, devices are expected to encounter and associate with one another spontaneously to form ad hoc networks for sharing resources.
Chong, Ming Ki, Gellersen, Hans
core