Results 51 to 60 of about 3,646,013 (290)

A Lightweight Verification Method Based on Metamorphic Relation for Nuclear Power Software

Frontiers in Energy Research, 2022
The verification of nuclear design software commonly uses direct comparison methods. Benchmark questions, classical programs, experimental data, manual solutions, etc., would be used as expected results to compare with program outputs to evaluate the ...
Meng Li, Meng Li, Meng Li, Xiaohua Yang, Xiaohua Yang, Xiaohua Yang, Shiyu Yan, Shiyu Yan, Shiyu Yan, Jie Liu, Jie Liu, Jie Liu, Yusheng Liu, Jun Sun   +13 more
doaj   +1 more source

Enteropathogenic E. coli shows delayed attachment and host response in human jejunum organoid‐derived monolayers compared to HeLa cells

FEBS Letters, EarlyView.
Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi, Pilar Samperio Ventayol, Natalie Burkard, Nicolas Schlegel, Carmen Aguilar, Sina Bartfeld   +5 more
wiley   +1 more source

DIEANet: an attention model for histopathological image grading of lung adenocarcinoma based on dimensional information embedding

Scientific Reports
Efficient and rapid auxiliary diagnosis of different grades of lung adenocarcinoma is conducive to helping doctors accelerate individualized diagnosis and treatment processes, thus improving patient prognosis. Currently, there is often a problem of large
Zexin Wang, Jing Gao, Min Li, Enguang Zuo, Chen Chen, Cheng Chen, Fei Liang, Xiaoyi Lv, Yuhua Ma   +8 more
doaj   +1 more source

Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?

FEBS Letters, EarlyView.
This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes, Guilherme M. Azevedo, Amanda P. Barcellos, Diana Bahia   +3 more
wiley   +1 more source

Software Reliability for Agile Testing

Mathematics, 2020
It is known that quantitative measures for the reliability of software systems can be derived from software reliability models, and, as such, support the product development process.
Willem Dirk van Driel, Jan Willem Bikker, Matthijs Tijink, Alessandro Di Bucchianico   +3 more
doaj   +1 more source

Robust Dynamic Selection of Tested Modules in Software Testing for Maximizing Delivered Reliability [PDF]

, 2017
Software testing is aimed to improve the delivered reliability of the users. Delivered reliability is the reliability of using the software after it is delivered to the users. Usually the software consists of many modules. Thus, the delivered reliability
Cai, Kai-Yuan, Cao, Ping, Dong, Zhao, Liu, Ke   +3 more
core  

In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS

FEBS Letters, EarlyView.
We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka, Yuxi Liu, Stefano Maggi, Debnath Ghosal, Jue Wang, Prashant P. Damke, Stephen D. Carter, Wei Zhao, Sukhithasri Vijayrajratnam, Joseph P. Vogel, Carrie L. Shaffer, Grant J. Jensen   +11 more
wiley   +1 more source

Organ‐specific redox imbalances in spinal muscular atrophy mice are partially rescued by SMN antisense oligonucleotides

FEBS Letters, EarlyView.
We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley   +1 more source

Transferrin receptor 1‐mediated iron uptake supports thermogenic activation in human cervical‐derived adipocytes

FEBS Letters, EarlyView.
In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai, Mizuki Seo, Gyath Karadsheh, Fachrur Rizal Mahendra, Máté Á Demény, Ferenc Győry, János András Mótyán, László Fésüs, Endre Kristóf, Rini Arianti   +9 more
wiley   +1 more source

Some observations of near collision attacks on grain v1

Cybersecurity
Near collision attacks and fast near collision attacks on stream ciphers are controversial attack methods in the field of cryptography in recent years, and their attack results are based on reduced experimental observations and derivation of birthday ...
Shaoyu Du, Weiping Gu, Bin Zhang
doaj   +1 more source