Results 31 to 40 of about 20,882 (259)

Training verified learners with learned verifiers

CoRR, 2018
This paper proposes a new algorithmic framework, predictor-verifier training, to train neural networks that are verifiable, i.e., networks that provably satisfy some desired input-output properties. The key idea is to simultaneously train two networks: a predictor network that performs the task at hand,e.g., predicting labels given inputs, and a ...
Krishnamurthy Dvijotham, Sven Gowal, Robert Stanforth, Relja Arandjelovic, Brendan O'Donoghue, Jonathan Uesato, Pushmeet Kohli   +6 more
openaire   +2 more sources

Plausibility: A Verbal Cue to Veracity worth Examining?

European Journal of Psychology Applied to Legal Context, 2021
Truth tellers sound more plausible than lie tellers. Plausibility ratings do not require much time or cognitive resources, but a disadvantage is that it is measured subjectively on Likert scales.
Aldert Vrij, Haneen Deeb, Sharon Leal, Pär-Anders Granhag, Ronald P. Fisher   +4 more
doaj   +1 more source

Cup‐Like Nuclei Is a Hallmark of DUX4/ERG Acute Lymphoblastic Leukemia and Reveals Cytoplasmic Mitochondria Accumulation

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Cup‐like nuclei are a distinctive morphological feature observed in certain cases of acute lymphoblastic leukemia (ALL). We provide evidence that they characterize DUX4/ERG ALL independently of IKZF1 deletion and reveal marked mitochondrial accumulation in this ALL subset.
Chloé Arfeuille, Hugo Roux, Odile Fenneteau, Aurélie Caye‐Eude, Alexia Kinoo, Yoann Vial, André Baruchel, Marion Strullu, Elodie Lainey, Hélène Cavé   +9 more
wiley   +1 more source

Incentivizing Verifiable Privacy-Protection Mechanisms for Offline Crowdsensing Applications

Sensors, 2017
Incentive mechanisms of crowdsensing have recently been intensively explored. Most of these mechanisms mainly focus on the standard economical goals like truthfulness and utility maximization.
Jiajun Sun, Ningzhong Liu
doaj   +1 more source

Genomic Diversity and Clinical Variability in Pediatric Primary Cutaneous Anaplastic Large Cell Lymphoma: A Case Series

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Primary cutaneous anaplastic large cell lymphoma (pcALCL) is a rare pediatric CD30‐positive T‐cell lymphoproliferative disorder with an excellent prognosis, but its genomic drivers are poorly defined. We report three children with skin‐limited disease demonstrating striking molecular heterogeneity, including NPM::ALK, NUP214::FRK, and a novel ...
Shoshana Greenberger, Efrat Bar‐Ilan, Victoria Marcu, Evgeny Grishin, Rinat Yacobi, Aviv Barzilai, Hana Golan, Assaf Arie Barg   +7 more
wiley   +1 more source

The Combined Effect of Obesity and Contraceptive Use on Pulmonary Embolism in Adolescent Females Residing in the United States

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Combined oral contraceptive (COC) use in obese adult women dramatically increases the relative risk of developing a pulmonary embolism (PE). The risk of a PE in obese adolescent females taking contraceptives is currently unknown. The purpose of this investigation was to determine the effect of body mass index (BMI) and contraceptive
John Puetz, Joanne Salas
wiley   +1 more source

Verifying the Verifiers: Unveiling Pitfalls and Potentials in Fact Verifiers

CoRR
Fact verification is essential for ensuring the reliability of LLM applications. In this study, we evaluate 12 pre-trained LLMs and one specialized fact-verifier, including frontier LLMs and open-weight reasoning LLMs, using a collection of examples from 14 fact-checking benchmarks.
Wooseok Seo, Seungju Han 0002, Jaehun Jung, Benjamin Newman, Seungwon Lim, Seungbeen Lee, Ximing Lu, Ye Jin Choi 0001, Youngjae Yu   +8 more
openaire   +2 more sources

A Secure and Verifiable Blockchain-Based Framework for Personal Data Validation

Computers
The online services provided by the Service Provider (SP) have brought significant convenience to people’s lives. Nowadays, people have grown accustomed to obtaining diverse services via the Internet. However, some SP utilize or even tamper with personal
Junyan Yu, Ximing Li, Yubin Guo
doaj   +1 more source

Are Fertility Preservation Procedures Before Gonadotoxic Therapy and Hematopoietic Stem Cell Transplantation Feasible and Safe in Very Young Children? A Retrospective Cohort Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Fertility preservation (FP) is increasingly integrated into the care of pediatric patients exposed to gonadotoxic therapy or conditioning for hematopoietic stem cell transplantation (HSCT), yet perioperative data in infants and toddlers remain scarce.
Kerstin Saalabian, Yannick Braun, Till‐Martin Theilen, Anke Barnbrock, Theresa Rohm, Fabienne Hammant, Nicole Sänger, Aynura Abbasova‐Semiz, Jan‐Henning Klusmann, Thomas Klingebiel, Udo Rolle, Peter Bader, Henning C. Fiegel, Andrea Jarisch   +13 more
wiley   +1 more source

VeriFi: Towards Verifiable Federated Unlearning

IEEE Transactions on Dependable and Secure Computing
Federated learning (FL) is a collaborative learning paradigm where participants jointly train a powerful model without sharing their private data. One desirable property for FL is the implementation of the right to be forgotten (RTBF), i.e., a leaving participant has the right to request to delete its private data from the global model.
Xiangshan Gao, Xingjun Ma, Jingyi Wang 0004, Youcheng Sun, Bo Li 0026, Shouling Ji, Peng Cheng 0001, Jiming Chen 0001   +7 more
openaire   +2 more sources