Results 61 to 70 of about 3,559 (249)

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

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

Clinical, Histopathological, and Molecular Characterization of Pediatric MN1::ZNF341‐Associated Cancer

Pediatric Blood &Cancer, EarlyView.
ABSTRACT A lethal round‐cell malignancy with an MN1::ZNF341 fusion has recently been reported in three infants. Here, we describe four further tumors, three in newborns (including monozygotic twins), and one in an adolescent. Detailed clinical, radiological, and histopathological data differentiate these tumors from their main mimics, neuroblastoma and
Thomas R. W. Oliver, Dyanne Rampling, Barbara Walkowiak, Nathaniel D. Anderson, Manas Dave, Henry Lee‐Six, Sadie Baskind, Pooja Balasubramanian, Glenn Anderson, Conor Parks, Toochi Ogbonnah, Emilia R. Robertson, Simon Hannam, Rohan Verma, John C. Achermann, Liina Palm, Neil Sebire, Thomas Jacques, Tom Watson, Carryl Dryden, Karin Straathof, Mette Jorgensen, Olga Slater, Sam Behjati, Sarita Depani, J. Ciaran Hutchinson   +25 more
wiley   +1 more source

Publicly Verifiable and Efficient Fine-Grained Data Deletion Scheme in Cloud Computing

IEEE Access, 2020
Cloud storage, one of the most attractive services offered by cloud computing, can provide users with boundless storage capacity. Thus, users can outsource their data to the cloud server for greatly saving local storage overhead.
Changsong Yang, Yueling Liu, Xiaoling Tao, Feng Zhao   +3 more
doaj   +1 more source

Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan, Michael Abele, Calogero Virgone, Michaela Kuhlen, Ricardo Lopez‐Almarez, Tal Ben‐Ami, Ewa Bien, Maja Cesen, Malgorzata A. Krawczyk, Andrea Ferrari, Gianni Bisogno, Yves Reguerre, Dominik T. Schneider, Louise Galmiche, Jorg Fuchs, Sarah Braungart, Bilgehan Yalcin, Ines B. Brecht, Daniel Orbach   +18 more
wiley   +1 more source

Admixture Mapping Reveals Candidate Regions for Methotrexate Neurotoxicity Susceptibility: A Reducing Disparities in Acute Leukemia Consortium Report

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Neurotoxicity is a rare, often dose‐limiting adverse effect of methotrexate (MTX) therapy that disproportionally affects Latino children. Factors contributing to the observed disparity are not well understood. This study leveraged admixture mapping to identify genetic regions associated with MTX‐related neurotoxicity susceptibility ...
Rachel D. Harris, Priya B. Shetty, Olga A. Taylor, Elizabeth G. Atkinson, Melissa A. Richard, M. Monica Gramatges, Mark Zobeck, Sandi Pruitt, Amy Hughes, M. Brooke Bernhardt, Ashley Chavana, Van Huynh, Kathleen Ludwig, Laura Klesse, Kenneth Heym, Timothy Griffin, Rodrigo Erana, Juan Carlos Bernini, Han Chen, Bing Yu, Philip J. Lupo, Karen R. Rabin, Michael E. Scheurer, Austin L. Brown, The REDIAL Consortium   +24 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

Sociodemographic Factors Associated With Later Stage at Diagnosis of Pediatric Germ Cell Tumors: A Report From Children's Oncology Group Registries ACCRN07 and APEC14B1

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Germ cell tumors (GCTs) often arise in the ovaries and testes (extracranial) but can also develop in the brain (intracranial). We examined the relationship of individual, family, and community‐level socioeconomic status (SES) with stage of disease at diagnosis in a cohort of pediatric patients with GCT from Children's Oncology Group
Heydon K. Kaddas, Judy Y. Ou, Todd Alonzo, Logan G. Spector, Negar Fallahazad, Emily Owens, Anne C. Kirchhoff, Adam L. Green   +7 more
wiley   +1 more source

Verifiable access control scheme based on unpaired CP-ABE in fog computing

Tongxin xuebao, 2021
Fog computing extends computing power and data analysis applications to the edge of the network, solves the latency problem of cloud computing, and also brings new challenges to data security.Attribute encryption based on ciphertext strategy (CP-ABE) is ...
Jiangtao DONG, Peiwen YAN, Ruizhong DU
doaj   +2 more sources