Results 61 to 70 of about 51,070 (181)

Improved prediction of symptomatic type 1 diabetes using a luciferase‐based assay to measure (pro)insulin autoantibodies

Diabetic Medicine, EarlyView.
Abstract Introduction Insulin autoantibodies (IAA) are key predictors of type 1 diabetes, particularly in young children. Micro‐radiobinding assays (RBA) are the gold standard for IAA measurement but have limitations. We assessed whether a luciferase immunoprecipitation system (LIPS) assay improved diabetes risk assessment.
Rebecca C. Wyatt, Cristina Brigatti, Sian L. Grace, Claire L. Williams, Ilaria Marzinotto, Ben T. Gillard, Elena Bazzigaluppi, Deborah Shoemark, Michela A.‐M. Chandler, Peter Achenbach, Lorenzo Piemonti, BOX Study Group, Isabel Wilson, Rachel Aitken, Ilana Kelland, Clare Megson, Chitrabhanu Ballav, Atanu Dutta, Michelle Russell‐Taylor, Rachel Besser, James Bursell, Shanthi Chandran, Sejal Patel, Anne Smith, Manohara Kenchaiah, Gomathi Margabanthu, Foteini Kavvoura, Chandan Yaliwal, AWAF, Rachel Aitken, Olivia Pearce, Sarah Stollery, Elinor Balch, Hanah Batholomew, Zhara Hashmi, Kathleen M. Gillespie, Vito Lampasona, Alistair J. K. Williams, Anna E. Long   +38 more
wiley   +1 more source

Getting to the COR of Workarounds: A Resource Perspective on Deviating Usage of Critical Care Information Systems

Information Systems Journal, EarlyView.
ABSTRACT Workarounds in high‐hazard environments like intensive care units (ICUs) compromise safety and regulatory compliance. While prior research attributes these deviations to technology misfits and notes self‐reinforcing dynamics, the underlying mechanisms of aggravating workaround spirals remain understudied.
Pauline Kuss, Christian Meske, Martin Gersch, Stefan Schaller, Alica Thissen, Felix Balzer, Daniel Fürstenau   +6 more
wiley   +1 more source

Compositional properties of crypto-based components [PDF]

, 2014
This paper presents an Isabelle/HOL+Isar set of theories which allows to specify crypto-based components and to verify their composition properties wrt. cryptographic aspects.
Spichkova, Maria
core  

A Proof Strategy Language and Proof Script Generation for Isabelle/HOL

, 2017
We introduce a language, PSL, designed to capture high level proof strategies in Isabelle/HOL. Given a strategy and a proof obligation, PSL's runtime system generates and combines various tactics to explore a large search space with low memory usage ...
A Bundy, AP Martin, D Delahaye, D Matichuk, JC Blanchette, L Dixon, M Kaufmann, P Wadler, S Böhme, S Owre, T Nipkow   +10 more
core   +1 more source

The Ecology of Human Sleep (EcoSleep) Cohort Study: Protocol for a longitudinal repeated measurement burst design study to assess the relationship between sleep determinants and outcomes under real‐world conditions across time of year

Journal of Sleep Research, Volume 34, Issue 2, April 2025.
Summary The interplay of daily life factors, including mood, physical activity, or light exposure, influences sleep architecture and quality. Laboratory‐based studies often isolate these determinants to establish causality, thereby sacrificing ecological validity.
Anna M. Biller, Nayab Fatima, Chrysanth Hamberger, Laura Hainke, Verena Plankl, Amna Nadeem, Achim Kramer, Martin Hecht, Manuel Spitschan   +8 more
wiley   +1 more source

The Goldilocks Effect: How the “Just Right” Writing Styles of Global Corporate Responsibility Frameworks Shapes Their Use by Businesses

Regulation &Governance, EarlyView.
ABSTRACT The 21st century has witnessed a surge in the number of global corporate responsibility (GCR) frameworks issued by international organizations (IOs). Our study investigates whether and to what extent these frameworks shape businesses' Corporate Social Responsibility (CSR) communications.
Adam William Chalmers, Robyn Klingler‐Vidra   +1 more
wiley   +1 more source

Oxaliplatin‐induced neuropathy after total neoadjuvant therapy for rectal cancer: Dose–response relationship and impact on quality of life

International Journal of Cancer, Volume 159, Issue 1, Page 198-209, 1 July 2026.
What's New? Oxaliplatin serves a key role in the treatment of rectal cancer, though it is a significant cause of chemotherapy‐induced peripheral neuropathy. As total neoadjuvant therapy, in which all therapy is given before surgery, has become more common, understanding neuropathy has grown increasingly important. This study examined neuropathy and its
Georg W. Wurschi, Andreas Hinz, Melanie Schneider, Jan‐Niklas Becker, Bernd Frerker, Samuel M. Vorbach, Felix Ehret, Markus Diefenhardt, Fabian Schunn, Maria‐Elena von Gruben, Marcel Büttner, Elgin Hoffmann, Alexander Rühle, Josephine Beier, Simone Ferdinandus, Maike Trommer, Ezgi Ceren Sahin, Julian Hlouschek, Kynann Aninditha, Daphne Schepers von Ohlen, Justus Kaufmann, Alina Depardon, Hai Minh Ha, Christopher Kessler, Adrianna Cieslak, Simon Trommer, Alexander Fabian, Florian Rißner, Maximilian Römer, Klaus Pietschmann   +29 more
wiley   +1 more source

Three dimensional scattering center imaging techniques [PDF]

Two methods to image scattering centers in 3-D are presented. The first method uses 2-D images generated from Inverse Synthetic Aperture Radar (ISAR) measurements taken by two vertically offset antennas.
Burnside, W. D., Younger, P. R.
core   +1 more source

Fibroblast Transcriptomics in Molecular Diagnostics of a Comprehensive Dystonia Cohort

Annals of Neurology, Volume 99, Issue 6, Page 1363-1378, June 2026.
Objective Genomic sequencing leaves >50% of dystonia‐affected individuals without a diagnosis. Where DNA‐oriented approaches remain insufficient, integrating multiomics is essential to advance genome interpretation. Herein, we incorporated RNA sequencing (RNA‐seq) data from 167 patients with dystonia across a range of ages and presentations. Methods We
Alice Saparov, Ivana Dzinovic, Theresa Brunet, Vicente A. Yépez, Florian Hölzlwimmer, Elisabetta Indelicato, Birgit Assmann, Susann Badmann, Diana Ballhausen, Steffen Berweck, Felix Brechtmann, Melanie Brugger, Kevork Derderian, Felix Distelmaier, Philip Harrer, Denisa Harvanova, Petra Havrankova, Ann‐Kathrin Jaroszynski, Miriam Kolnikova, Robert Kopajtich, Anne Koy, Magdalena Krygier, Lukas Kunc, Katarina Kusikova, Oliver Maier, Maria Mazurkiewicz‐Bełdzińska, Christian Mertes, Ava Oberlack, Timo Roser, Alexandra Sitzberger, Ugo Sorrentino, Antonia M. Stehr, Katharina Vill, Matias Wagner, Holger Prokisch, Sylvia Boesch, Jan Necpal, Robert Jech, Juliane Winkelmann, Elisabeth Graf, Julien Gagneur, Matej Skorvanek, Michael Zech   +42 more
wiley   +1 more source

Exponentiable functors between quantaloid-enriched categories [PDF]

, 2006
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey some lax ...
Clementino, Maria Manuel, Hofmann, Dirk, Stubbe, Isar   +2 more
core   +2 more sources