Results 71 to 80 of about 644,385 (252)

The human gut microbiome across the life course

FEBS Letters, EarlyView.
Despite significant individual variation and continuous change throughout life, the human gut microbiome follows some life stage‐specific trends. This article provides a brief overview of how gut microbiome composition shifts across different phases of life. Created in BioRender. Özkurt, E. (2026) https://BioRender.com/8q4nrnc.
Alise J. Ponsero, Basak Bahcivanci, Antonietta Hayhoe, Animesh Acharjee, Ezgi Özkurt   +4 more
wiley   +1 more source

Abstract Interpretation-based verification/certification in the ciaoPP system

, 2005
CiaoPP is the abstract interpretation-based preprocessor of the Ciao multi-paradigm (Constraint) Logic Programming system. It uses modular, incremental abstract interpretation as a fundamental tool to obtain information about programs.
Albert Albiol, Elvira, Hermenegildo, Manuel V., Puebla Sánchez, Alvaro Germán   +2 more
core  

Acquiring data designs from existing data-intensive programs [PDF]

, 1994
The problem area addressed in this thesis is extraction of a data design from existing data intensive program code. The purpose of this is to help a software maintainer to understand a software system more easily because a view of a software system at a ...
Yang, Hongji
core  

An unexpected alternative viologen electron mediator site in tungsten‐containing formate dehydrogenase

FEBS Letters, EarlyView.
An unexpected alternative interaction site for ethyl viologen was identified in formate dehydrogenase 1 from Methylorubrum extorquens. Combined mutagenesis, kinetic analysis, and docking revealed that aromatic residues near an iron–sulfur cluster enable flavin mononucleotide‐independent electron transfer, offering a framework for engineering improved ...
Eleni G. Poloniataki, Yong Hwan Kim
wiley   +1 more source

Program development using abstract interpretation (and the ciao system preprocessor)

, 2003
The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical.
Hermenegildo, Manuel V., Bueno Carrillo, Francisco, López García, Pedro, Puebla Sánchez, Alvaro Germán   +3 more
core  

Construction and validation of a hypoglycemia risk prediction model for hospitalized type 2 diabetes patients based on machine learning

BMC Endocrine Disorders
Background To compare three machine learning algorithms for constructing a hypoglycemia risk prediction model in hospitalized type 2 diabetes patients, identify the optimal model, and validate it to provide decision-making support for early clinical ...
Caixia Liu, Zhaoxu Huang, Tuonan Liu, Yangyuan Ge, Jie Yuan, Yue Lin, Chunli Wang, Jinjuan Zhang, Xiaoli Wang, Yan Hua, Rui Qi   +10 more
doaj   +1 more source

Electron transfer between complexes III and IV in S. cerevisiae mitochondrial membranes

FEBS Letters, EarlyView.
Mitochondrial oxidative phosphorylation in S. cerevisiae mitoplasts is limited by complex IV catalytic capacity, rather than two‐dimensional cytochrome c diffusion. At physiological cytochrome c : supercomplex ratios at salinity equivalent to that of 20 mm monovalent salt, activity is maximized, indicating that this low ionic strength accurately mimics
Ana Paula Lobez, Mikael Oliveberg, Peter Brzezinski   +2 more
wiley   +1 more source

First order optimality conditions in set-valued optimization [PDF]

A a set-valued optimization problem minC F(x), x 2 X0, is considered, where X0 X, X and Y are Banach spaces, F : X0 Y is a set-valued function and C Y is a closed cone.
Rocca Matteo, Ginchev Ivan, Crespi Giovanni P.   +2 more
core  

Phosphoinositides and inositol phosphates as molecular glues

FEBS Letters, EarlyView.
Inositol phosphates (IPs) and phosphoinositides (PIPs) regulate diverse eukaryotic processes. Beyond recruiting signaling proteins or acting as structural cofactors, recent studies suggest they mediate protein–protein interactions as natural molecular glues.
Aleshia Seaton‐Terry, Alexander J. Cutright, Mong Na Claire Loi, Jessica Martin, Joseph W. Gilligan, Jakub N. Kubina, Michael J. Arambula, Susanna Tanada Palmu, Daniella Zhou, Raymond D. Blind   +9 more
wiley   +1 more source

Space cost analysis using sized types

, 2008
Programming resource-sensitive systems, such as real-time embedded systems, requires guaranteeing both the functional correctness of computations and also that time and space usage fits within constraints imposed by hardware limits or the environment ...
Vasconcelos, Pedro B.
core