Results 61 to 70 of about 2,887,711 (311)

Computable analysis for verified exact real computation [PDF]

, 2020
We use ideas from computable analysis to formalize exact real number computation in the Coq proof assistant. Our formalization is built on top of the Incone library, a Coq library for computable analysis. We use the theoretical framework that computable analysis provides to systematically generate target specifications for real number algorithms. First
Konečný, Michal, Steinberg, Florian, Thies, Holger   +2 more
openaire   +3 more sources

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

A Publicly Verifiable Multi-Secret Sharing Scheme With Outsourcing Secret Reconstruction

IEEE Access, 2018
A publicly verifiable secret sharing (PVSS) scheme enjoys the public verification and the lower cost of communication than VSS scheme. However, the existing PVSS schemes cannot be applied in the scenarios of the devices with low computation ability and ...
Changlu Lin, Huidan Hu, Chin-Chen Chang, Shaohua Tang   +3 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

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, Denis Butin, Schabhüser, Lucas, Demirel, Denise, Denise Demirel, Butin, Denis, Lucas Schabhüser, Johanens Buchmann, Buchmann, Johannes   +8 more
core   +1 more source

A Hardware-Based Correct Execution Environment Supporting Virtual Memory

IEEE Access
The rapid increase in data generation has led to outsourcing computation to cloud service providers, allowing clients to handle large tasks without investing resources.
Daehyeon Lee, Ohsuk Shin, Yeonghyeon Cha, Junghee Lee, Taisic Yun, Jihye Kim, Hyunok Oh, Chrysostomos Nicopoulos, Sang Su Lee   +8 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

Health‐Related Quality of Life and Symptom Severity Among Patients With PIK3CA‐Related Overgrowth Spectrum: A Mixed‐Methods Study to Understand Real‐World Experience With Alpelisib Treatment

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background PIK3CA‐related overgrowth spectrum (PROS) includes several rare overgrowth disorders resulting from somatic gain‐of‐function mutations in PIK3CA. Despite treatment advances, including the recent approval of alpelisib for PROS in the United States, literature detailing the patient experience with PROS is limited.
Vamsi Bollu, Kaitlin LaGasse, Cory D. Saucier, Kimberly Raymond, Miranda Lauher‐Charest, Lauren Crowder, Beilei Cai, Mary Lisha Paul, Denise Adams   +8 more
wiley   +1 more source

Unconditionally verifiable blind computation [PDF]

, 2014
Blind Quantum Computing (BQC) allows a client to have a server carry out a quantum computation for them such that the client’s input, output and computation remain private. A desirable property for any BQC protocol is verification, whereby the client can
Joseph F. Fitzsimons, Fitzsimons, Joseph F., Kashefi, Elham, Elham Kashefi, Fitzsimons, Joseph, Kashefi, E, Fitzsimons, J.F   +6 more
core   +1 more source

Verifiable Subgraph Matching With Cryptographic Accumulators in Cloud Computing

IEEE Access, 2019
Due to the rapid development of social networks, bio-informatics, internet-of-things etc., subgraph matching query can be found in various applications.
Yixiao Zhu, Hui Li, Jiangtao Cui, Yong Ma   +3 more
doaj   +1 more source