Results 91 to 100 of about 2,533 (255)

A Verifiable Fully Homomorphic Encryption Scheme for Cloud Computing Security

Technologies, 2019
Performing smart computations in a context of cloud computing and big data is highly appreciated today. It allows customers to fully benefit from cloud computing capacities (such as processing or storage) without losing confidentiality of sensitive data.
Ahmed EL-YAHYAOUI, Mohamed Dafir ECH-CHERIF EL KETTANI   +1 more
doaj   +1 more source

Phase Angle as an Early Functional Biomarker of Cancer‐Related Fatigue in Pediatric Oncology: A Prospective Longitudinal Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Pediatric cancer remains a leading cause of morbidity and mortality worldwide, particularly in low‐and middle‐income countries. Cancer treatment may impair nutritional status, alter body composition, and exacerbate cancer‐related fatigue (CRF).
Luís Carlos Lopes‐Junior, Luiz Claudio Barreto Silva Neto, Fabiano Kenji Haraguchi, Letícia Batista de Azevedo, Marcelo Brenner Nascimento Carlini, Raphael Manhães Pessanha, Mariana Rabello Laignier, Wesley Rocha Grippa, Tania Mara Lopes Bitti Bortolini, Gláucia Zouain‐Figueiredo, Regina Aparecida Garcia de Lima, Liliana Vasquez   +11 more
wiley   +1 more source

Enabling Efficient Verifiable Fuzzy Keyword Search Over Encrypted Data in Cloud Computing

IEEE Access, 2018
Searchable encryption can support data user to selectively retrieve the cipher documents over encrypted cloud data by keyword-based search. Most of the existing searchable encryption schemes only focus on the exact keyword search.
Xinrui Ge, Jia Yu, Chengyu Hu, Hanlin Zhang, Rong Hao   +4 more
doaj   +1 more source

The Verifying Compiler: A Grand Challenge for Computing Research [PDF]

Journal of the ACM, 2003
This contribution proposes a set of criteria that distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the interest of scientists and engineers. As an example drawn from Computer Science, it revives an old challenge: the construction and application of a verifying ...
openaire   +7 more sources

Natural Killer Cells in Paediatric Soft Tissue Sarcomas: A Systematic Review

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Paediatric soft tissue sarcomas (pSTS) are a rare and heterogeneous group of malignant tumours arising in tissues of mesenchymal origin. The role of natural killer (NK) cells in pSTS remains poorly understood, with evidence fragmented across small preclinical studies and early‐phase clinical trials.
Raya Dean, Lara V. Graham, Christina Putnam, Rosa Gomes Alves Martins, Daniel T. Harding, Tim J. Underwood, Zoë S. Walters, Matthew D. Blunt   +7 more
wiley   +1 more source

More Efficient and Verifiable Privacy-Preserving Aggregation Scheme for Internet of Things-Based Federated Learning

Applied Sciences
As Internet of Things (IoT) technology continues to advance at a rapid pace, smart devices have permeated daily life. Service providers are actively collecting copious numbers of user data, with the aim of refining machine learning models to elevate ...
Rongquan Shi, Lifei Wei, Lei Zhang
doaj   +1 more source

Fast, Verified Computation for HOL ITPs

Journal of Automated Reasoning
Abstract We add an efficient function for computation to the kernels of higher-order logic interactive theorem provers. First, we develop and prove sound our approach for Candle. Candle is a port of HOL Light which has been proved sound with respect to the inference rules of its higher-order logic; we extend its implementation and soundness ...
Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Hrutvik Kanabar, Johannes Åman Pohjola   +4 more
openaire   +1 more source

Mapping Childhood Cancer Care Services in Oceania: Methodological Lessons From the SIOP Global Mapping Programme

Pediatric Blood &Cancer, EarlyView.
ABSTRACT The International Paediatric Oncology Society Global Mapping Programme aims to collect data on global paediatric oncology services by continent, with Africa and Latin America completed. This study reports on the methodology and lessons learned for Oceania, a unique continent with resource disparity across countries, multiple small island ...
Trisha Soosay Raj, Christy Noble, Amy Gray, Daniel C. Moreira, Jennifer Lowe, Maite Gorostegui, Gwenda Anga, Andrew Soma, Milena Lay Dos Santos, Siobhan Cross, Erin Luttrell, Michael Sullivan, Julie Cayrol, Julia Challinor, Neil Ranasinghe, Jordana McLoone, Claire E. Wakefield   +16 more
wiley   +1 more source

Animal‐Assisted Activities With Therapy Dogs in Pediatric Oncology: A Multicenter Survey of the Current Status, Implementation, and Challenges in Germany, Austria, and Switzerland

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Animal‐assisted activities (AAAs) with therapy dogs have shown positive effects on patient well‐being and quality of life in various areas of medicine, including pediatric oncology. However, research on this topic is limited. The aim of this study is to present the current status of AAA in pediatric oncology in Germany, Austria, and
Jan‐Marius Wedig, Birgit Burkhardt, Christof M. Kramm, Kira Ostermann, Sarah C. Goretzki, Uta Dirksen, Nico Kurpiers, Michael M. Schündeln   +7 more
wiley   +1 more source

Parallel remote state preparation for fully device-independent verifiable blind quantum computation

Physical Review Research
We introduce a device-independent two-prover scheme in which a classical verifier can use a simple untrusted quantum measurement device (the client device) to securely delegate a quantum computation to an untrusted quantum server.
Sean A. Adamson
doaj   +1 more source