Results 81 to 90 of about 1,494,052 (317)

Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data. [PDF]

PLoS One, 2023
Klein J, Phung H, Hajnal M, Šafránek D, Petrov T.   +4 more
europepmc   +1 more source

Earthing effects on mitochondrial function: ATP production and ROS generation

FEBS Open Bio, EarlyView.
In contrast to sham and naive controls, grounded mitochondria not only exhibit significantly enhanced energy production but also demonstrate a remarkable reduction in membrane potential and oxidative stress. This suggests a profound improvement in mitochondrial health, presenting a promising avenue for therapeutic interventions.
Cecilia Giulivi, Richard Kotz
wiley   +1 more source

Genetic diversity and population structure of the Taigan dog breed

FEBS Open Bio, EarlyView.
The Taigan is a rare sighthound from the mountains of Kyrgyzstan. We used DNA markers to study its genetic diversity and compare it with other sighthound breeds. Our findings show that the Taigan shares close genetic ties with the Kazakh Tazy, suggesting a common ancestry shaped by nomadic traditions and regional adaptation.
Kira Bespalova, Anastassiya Perfilyeva, Мamura Begmanova, Assel Zhaxylykova, Arailym Yerzhan, Kanagat Yergali, Almazbek Akunov, Marat Munarbek uulu, Anna Khamchukova, Almira Amirgaliyeva, Yelena Kuzovleva   +10 more
wiley   +1 more source

Formal methods: practical applications and foundations: Editorial. [PDF]

Form Methods Syst Des, 2022
Ter Beek MH, McIver A.
europepmc   +1 more source

Interaction of class III cellobiose dehydrogenase with lytic polysaccharide monooxygenase

FEBS Open Bio, EarlyView.
The activity of lytic polysaccharide monooxygenase (LPMO) is supported by its auxiliary enzyme cellobiose dehydrogenase (CDH). The catalytic activity of both enzymes is coupled by electron transfer and a cyclic cascade generating substrates for both enzymes – hydrogen peroxide for LPMO and oxidized and non‐oxidized cellobiose and cello‐oligosaccharide ...
Angela Giorgianni, Florian Csarman, Peicheng Sun, Mirjam Kabel, Roland Ludwig   +4 more
wiley   +1 more source

A Formal Design Method

Acta Polytechnica, 2000
In the first part of this article, there are described two ways out of the design process theory: metamodel as a basic principle of a design process description and non-standard logics as a feasible formal background of the design theory. In the second part, one possibility of the design process description is discussed by means of one type of ...
Ivan Jelínek, S. Hostomský
openaire   +3 more sources

Predicting risk of metastases and recurrence in soft-tissue sarcomas via Radiomics and Formal Methods. [PDF]

JAMIA Open, 2023
Casale R, Varriano G, Santone A, Messina C, Casale C, Gitto S, Sconfienza LM, Bali MA, Brunese L.   +8 more
europepmc   +1 more source

Formal Methods of Diagnosis in Engineering and Medicine [PDF]

, 1969
A. J. Lerner
openalex   +1 more source

Co‐overexpression of the caloric restriction‐induced mitochondrial factors PGC‐1α and MIPEP upregulates Phospho1 expression in adipocytes

FEBS Open Bio, EarlyView.
Caloric restriction that extends lifespan induces the expression of PGC‐1α and MIPEP in white adipose tissue. In this study, co‐overexpression of Pgc‐1α and Mipep upregulated the gene expression of PHOSPHO1. These findings provide new insights into mitochondria‐related mechanisms underlying the effects of caloric restriction in adipocytes.
Mamiko Ishimatsu, Kanari Taki, Asuka Hayami, Komachi Kato, Yuka Nozaki, Yuhei Mizunoe, Takumi Narita, Ryoichi Mori, Yoshikazu Higami, Masaki Kobayashi   +9 more
wiley   +1 more source

Formal methods: practical applications and foundations: Editorial. [PDF]

Form Methods Syst Des, 2021
Ter Beek MH, McIver A.
europepmc   +1 more source