Results 61 to 70 of about 2,533 (255)

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

Verifying Kottwitz’ conjecture by computer

Representation Theory, 2000
In these notes I will discuss the computations that were used to verify the main conjecture of Kottwitz (1997) for the groups E 6
openaire   +2 more sources

Verified Scalable Parallel Computing with Why3

, 2023
BSML is a pure functional library for the multi-paradigm language OCaml. BSML embodies the principles of the Bulk Synchronous Parallel (BSP) model, a model of scalable parallel computing. We propose a formalization of BSML primitives with WhyML, the specification language of Why3 and specify and prove the correctness of most of the BSML standard ...
Olivia Proust, Frédéric Loulergue
openaire   +2 more sources

Health Literacy, Self‐Efficacy and Knowledge of Sickle Cell Disease Among Caregivers

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Sickle cell disease (SCD) is a hereditary blood disorder in which abnormal haemoglobin leads to severe anaemia, painful crises and organ failure. Caregivers’ health literacy (HL) – their ability to assess, understand and apply information, and interact with healthcare professionals – is crucial for managing children with SCD, yet ...
Melanie Bruinooge, Maite E. Houwing, Rowena L. Grohssteiner, Ferdows Atiq, Sonja A. M. C. Teuben, Mirjam P. Fransen, Marjon H. Cnossen   +6 more
wiley   +1 more source

Leukemia and Exposure to Potential Benzene Sources in Children From the Mexico City Metropolitan Area, 2010–2021: A Geospatial Analysis

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Leukemia is the most common childhood cancer in Mexico, and acute lymphoblastic leukemia (ALL) is the most frequent subtype. Exposure to high concentrations of benzene has been associated with ALL incidence, particularly in urban areas. This study evaluated the relationship between distance to benzene emission sources and the number
Orlando Rivera Zurita, Norma Candelaria López Santiago, Claudia Maria García Cuellar, Karla Maldonado Silva, Nancy Reynoso Noverón, Leticia Hernández Cadena   +5 more
wiley   +1 more source

Early Impact of Childhood Opportunity on Neurocognitive Outcomes in Sickle Cell Disease

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Neurocognitive impairment is a well‐recognized complication of sickle cell disease (SCD) that begins early in childhood and persists across development. While cerebrovascular injury contributes substantially to risk, neurocognitive deficits are also observed in children without overt or silent cerebral infarctions, suggesting ...
Julia E. LaMotte, Hannah Koch, Olivia A. Coughlin, Jillian R. Bouck, Allie Carter, Seethal A. Jacob   +5 more
wiley   +1 more source

Pinocchio [PDF]

Communications of the ACM, 2013
To instill greater confidence in computations outsourced to the cloud, clients should be able to verify the correctness of the results returned. To this end, we introduce Pinocchio, a built system for efficiently verifying general computations while relying only on cryptographic assumptions.
Bryan Parno, Craig Gentry, Jon Howell, Mariana Raykova 0001   +3 more
openaire   +2 more sources

Psychosocial Functioning After Pediatric Bone Sarcoma: Generic and Survivor‐Specific Outcomes in Adolescent and Young Adult Patients

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Pediatric bone sarcoma patients and survivors may experience psychosocial challenges related to childhood cancer after their intensive, body‐altering treatment. This cross‐sectional study aimed to evaluate generic and survivor‐specific psychosocial outcomes in a national cohort of pediatric bone sarcoma patients and survivors, and ...
Hinke van der Hoek, Heleen Maurice‐Stam, Laura R. Beek, Jennifer van Dijk, Marjolein E. M. Langemeijer, Relinde W. Slooff‐Lentink, Alied M. van der Aa‐van Delden, Anne Westerweel, Marloes van Gorp, Hendrik W. B. Schreuder, Lianne M. Haveman, W. Peter Bekkering, Leonie G. Tigelaar, Johannes H. M. Merks, Martha A. Grootenhuis   +14 more
wiley   +1 more source

Verifiable geometric homomorphic secret sharing for outsourced polynomial evaluations

Journal of King Saud University: Computer and Information Sciences
Homomorphic Secret Sharing (HSS) enables a client to outsource the evaluation of a function f on a private input $$\textbf{x}$$ x to multiple servers.
Minghao Yang, Liang Feng Zhang
doaj   +1 more source

Context-Aware Verifiable Cloud Computing

IEEE Access, 2017
Internet of Things (IoTs) has emerged to motivate various intelligent applications based on the data collected by various “things.” Cloud computing plays an important role for big data processing by providing data computing and processing services.
Yu, Xixun, Ding, Wenxiu, Yan, Zheng
openaire   +4 more sources