Results 61 to 70 of about 13,404,605 (326)

Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system

FEBS Letters, EarlyView.
Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley   +1 more source

Proof theory in the abstract

Annals of Pure and Applied Logic, 2002
This paper gives a purely categorical view of proof theory. The author presents detailed categorical approaches to the Dialectica interpretation and the Diller-Nahm interpretation. The last two sections deal with the problem of coding classical proofs and classical proof theory from a categorical point of view.
openaire   +2 more sources

Modelling stem cell differentiation related processes—A practical overview for biologists

FEBS Letters, EarlyView.
Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar, Xinqi Yan, Lucas F. Jansen Klomp, Stefano Schivo, Janine N. Post   +4 more
wiley   +1 more source

Practical Theory Extension in Event-B [PDF]

, 2013
. The Rodin tool for Event-B supports formal modelling and proof using a mathematical language that is based on predicate logic and set theory. Although Rodin has in-built support for a rich set of operators and proof rules, for some application areas ...
Butler, Michael, Issam Maamria, Maamria, Issam, Michael Butler   +3 more
core   +1 more source

An epithelial GPR35 isoform supports tumor‐associated transcriptional and metabolic phenotypes

FEBS Letters, EarlyView.
GPR35 generates two functionally distinct isoforms with previously unresolved roles. GPR35‐short mediates immune‐cell chemotaxis, while GPR35‐long is enriched in colorectal cancer epithelium, where it supports increased metabolism, proliferation, and tumor‐associated transcriptional programs.
Jørgen D. Rønneberg, Martine Hjeltnes, Josephine Krieger, Joshua E. Elias, Maria Stensland, Kristian Holm, Xiaojun Jiang, Chuki Khangsar, Tuula A. Nyman, Arthur Kaser, Johannes R. Hov, Tom H. Karlsen, Nicole C. Kaneider, Frode L. Jahnsen, Georg Schneditz   +14 more
wiley   +1 more source

Gentzen systems and Beth tableaux

The Reasoner
This paper provides an expository comparison of two foundational proof systems in classical propositional logic: Gentzen's sequent calculus and Beth's semantic tableaux.
Zuzanna Rygiewicz Rygiewicz
doaj   +1 more source

Translophagy—A potential link between autophagy impairment and translational errors

FEBS Letters, EarlyView.
Neurodegenerative diseases are characterised by the accumulation of abnormal proteins and protein aggregates, but their origin often remains unknown. We propose that selective autophagy removes damaged protein‐making machinery, preventing errors during protein synthesis.
Mykola V. Korolchuk, Gailing Ma, Robin Antrobus, Diego Manni, Marco Trevisan‐Herraz, Mustafa Khwaja, Max Brown, Gavin D. Richardson, Masaaki Komatsu, Daniel Erskine, Viktor I. Korolchuk, Tetsushi Kataura   +11 more
wiley   +1 more source

Proof mining and probability theory

Forum of Mathematics, Sigma
We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie “noncomputational” proofs from probability theory, thereby unlocking ...
Morenikeji Neri, Nicholas Pischke
doaj   +1 more source

Interpolation in Proof Theory

CoRR
The article will appear in Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, editors. Theory and Applications of Craig Interpolation.
Iris van der Giessen, Raheleh Jalali, Roman Kuznets   +2 more
openaire   +2 more sources

In vitro and in silico modelling of ROS1‐positive non‐small cell lung cancer reveals fusion‐dependent tyrosine kinase inhibitor responses

Molecular Oncology, EarlyView.
Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq, Marc Terrones, Felicia Rodrigues Fortes, Anne Schepers, Alessia Denis, Christophe Deben, Ken Op de Beeck, Guy Van Camp, Geert Vandeweyer   +8 more
wiley   +1 more source