Results 101 to 110 of about 115,357 (261)

Applicability of mitotic figure counting by deep learning: a development and pan‐cancer validation study

FEBS Open Bio, EarlyView.
In this study, we developed a deep learning method for mitotic figure counting in H&E‐stained whole‐slide images and evaluated its prognostic impact in 13 external validation cohorts from seven different cancer types. Patients with more mitotic figures per mm2 had significantly worse patient outcome in all the studied cancer types except colorectal ...
Joakim Kalsnes, Maria X. Isaksen, Frida Julbø, Manohar Pradhan, Andreas Kleppe, Sepp De Raedt, Ole‐Johan Skrede, Turid Torheim, John Arne Nesheim, Hans Martin Mohn, Hanne A. Askautrud, Karolina Cyll, Wanja Kildal, Emma Rewcastle, Melinda Lillesand, Vebjørn Kvikstad, Emiel Janssen, Robert Jones, Odd Terje Brustugun, Bjørn Brennhovd, Erik Skaaheim Haug, Lill‐Tove Rasmussen Busund, Elin Richardsen, Sigve Andersen, Tom Dønnem, Kristina Lindemann, Gunnar Kristensen, Neil A. Shepherd, Marco Novelli, Knut Liestøl, David Kerr, Håvard E. Danielsen, Tarjei S. Hveem   +32 more
wiley   +1 more source

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]

Sensors (Basel), 2020
Chouhan AP, Banda G.
europepmc   +1 more source

Establishing an assay to evaluate d‐amino acid oxidase enzyme kinetics and inhibition using WST‐8 redox dye

FEBS Open Bio, EarlyView.
This study investigated a novel WST‐8‐based assay for evaluating d‐Amino acid oxidase (DAO) inhibitors. We confirmed its effectiveness using known inhibitors and found that uremic toxins possess relatively weak inhibitory activity compared to existing drugs.
Kahoko Miyake, Yuki Enoki, Yuka Nakazawa, Kazuaki Taguchi, Kazuaki Matsumoto   +4 more
wiley   +1 more source

Quantitative proteomic analysis reveals different characteristics of bladder cancer cells after exposure to bisphenol A

FEBS Open Bio, EarlyView.
Bisphenol A (BPA), a common chemical in plastics, exerts dual effects on bladder cancer cells: low doses promote growth and migration, while high doses suppress growth and migration. Multi‐omics and bioinformatics reveal BPA acts via MAPK and inflammatory pathways.
Shaomin Niu, Lanlan Li, Wenjuan Jia, Hanzhong Feng, Xiaoquan Yu, Youli Zhao, Fengzhi Yuan, Hui Ding, Junqiang Tian, Yong‐Xing He, Zhiping Wang   +10 more
wiley   +1 more source

Formal verification of a concurrent file system based on lock guarantee conditions extended concurrent separation logic

Tongxin xuebao
During the formal verification, logic is relied to formally specify and reason about the properties that the file system must satisfy. Concurrent separation logic (CSL) is used in the formal verification of concurrent file systems and to prove the ...
ZHENG Xinmin, LI Mingshu, YANG Qiusong, LI Wenbo   +3 more
doaj  

Invulnerability invariants for software controlled speculation

Electronics Letters
Spectre class of transient execution security attacks on modern microprocessors rely on speculative execution. Software Controlled Speculation (SCS) was proposed as a microarchitecture‐level defense in the original Spectre paper and has also been adopted
Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti   +2 more
doaj   +1 more source

Iron homeostasis disruption and lipid peroxidation in skeletal muscle during short‐term immobilization

FEBS Open Bio, EarlyView.
14‐day casting‐induced immobilization reduced gastrocnemius muscle mass and increased non‐heme iron and ferritin heavy chain levels. Despite iron accumulation, transferrin receptor 1 and iron regulatory protein 2 were paradoxically upregulated. Lipid peroxidation was elevated without compensatory antioxidant responses.
Haruka Yokogawa, Kazuhiko Higashida, Naoya Nakai   +2 more
wiley   +1 more source

Automatic construction and verification algorithm for smart contracts based on formal verification

AIP Advances
As an emerging technology, blockchain demonstrates strong potential for applications in digital finance. As a core component of blockchain, the security and reliability of smart contracts is crucial.
Rui Xie, Xuejiao Zhong, Xin Chen, Shaohui Xu, Haiyang Yu, Xinyuan Guo   +5 more
doaj   +1 more source

Evolutionarily divergent DUF4465 domains have a common vitamin B12‐binding function

FEBS Open Bio, EarlyView.
We show that DUF4465 family proteins, widespread across bacteria from gut microbiomes, hydrothermal vents, and soil, share a common vitamin B12‐binding function. These augmented β‐jellyroll proteins bind vitamin B12 via extended loops. Our findings establish sequence‐diverse DUF4465 proteins as a widespread class of B12‐binding proteins, highlighting ...
Charlea Clarke, Michal Banasik, Rokas Juodeikis, Martin J. Warren, Richard W. Pickersgill   +4 more
wiley   +1 more source

Suppression of lung adenocarcinoma migration through organelle alkalization by human lactoferrin – albumin fusion

FEBS Open Bio, EarlyView.
This paper reveals how human lactoferrin–albumin fusion (hLF‐HSA) potently suppresses lung adenocarcinoma cell migration. hLF‐HSA upregulates NHE7, leading to Golgi alkalization, disruption of the Golgi secretome, downregulation of MMP1, and reversal of EMT. These findings suggest a novel Golgi‐targeting strategy to suppress cancer cell migration.
Hana Nopia, Masahiro Kimura, Daisuke Kurimoto, Atsushi Sato   +3 more
wiley   +1 more source