Results 121 to 130 of about 1,932,015 (306)

On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis. [PDF]

Diagnostics (Basel), 2021
Santone A, Belfiore MP, Mercaldo F, Varriano G, Brunese L.   +4 more
europepmc   +1 more source

Definition, Semantics, and Analysis of Multirate Synchronous AADL

, 2014
1
배경민
core  

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

Early Diagnosis of Liver Metastases from Colorectal Cancer through CT Radiomics and Formal Methods: A Pilot Study. [PDF]

J Clin Med, 2021
Rocca A, Brunese MC, Santone A, Avella P, Bianco P, Scacchi A, Scaglione M, Bellifemine F, Danzi R, Varriano G, Vallone G, Calise F, Brunese L.   +12 more
europepmc   +1 more source

Experiences of teaching a lightweight formal method [PDF]

, 2008
This paper reports our experience of using a "lightweight" formal approach, Alloy, and its associated tool support for teaching a core undergraduate module introducing formal methods.
Boyatt, Russell, Sinclair, Jane
core  

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

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

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

The skills required for transition to university and study in biological sciences: A student perspective

FEBS Open Bio, EarlyView.
Bioscience students were asked for their opinions on the value and teaching of skills. 204 responded that teamwork, time management and study skills are necessary to reach University, that scientific writing, research, laboratory and presentation skills are taught effectively during their studies, while other skills are gained inherently through study ...
Janella Borrell, Susan Crennell
wiley   +1 more source

Deep Learning-Enhanced Sampling-Based Path Planning for LTL Mission Specifications

Sensors
The presented paper introduces a novel path planning algorithm designed for generating low-cost trajectories that fulfill mission requirements expressed in Linear Temporal Logic (LTL).
Changmin Baek, Kyunghoon Cho
doaj   +1 more source