Results 71 to 80 of about 2,502,460 (317)
Normal forms for a class of formulas
Journal of Symbolic Computation, 1991 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
H.M.M. ten Eikelder, J. C. F. Wilmont
openaire +2 more sources
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 +5 more
wiley +1 more source
FEBS Letters, EarlyView.Angiotensin II (AngII), a neuropeptide, interacts with amyloid‐β (Aβ), a key player in Alzheimer's disease. This study reveals that AngII reduces Aβ aggregation and membrane disruption in vitro. Biophysical assays and molecular modeling suggest AngII binds disordered Aβ forms, potentially modulating early amyloidogenic events and contributing to ...
Mohsen Habibnia +5 more
wiley +1 more source
Stability and Hopf bifurcation in a symmetric Lotka-Volterra predator-prey system with delays
Electronic Journal of Differential Equations, 2013 This article concerns a symmetrical Lotka-Volterra predator-prey system with delays. By analyzing the associated characteristic equation of the original system at the positive equilibrium and choosing the delay as the bifurcation parameter, the local ...
Jing Xia, Zhixian Yu, Rong Yuan
doaj
FEBS Letters, EarlyView.Cells must clear mislocalized or faulty proteins from membranes to survive. The AAA+ ATPase Msp1 performs this task, but dissecting how its six subunits work together is challenging. We engineered linked dimers with varied numbers of functional subunits to reveal how Msp1 subunits cooperate and use energy to extract proteins from the lipid bilayer ...
Deepika Gaur +5 more
wiley +1 more source
A Formalization of the Smith Normal Form in Higher-Order Logic. [PDF]
J Autom Reason, 2022 Divasón J, Thiemann R.
europepmc +1 more source
Effectful Normal Form Bisimulation [PDF]
, 2019 Normal form bisimulation, also known as open bisimulation, is a coinductive technique for higher-order program equivalence in which programs are compared by looking at their essentially infinitary tree-like normal forms, i.e. at their Böhm or Lévy-Longo trees.
Ugo Dal Lago +3 more
openaire +4 more sources
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Electronic Journal of Differential Equations, 2017 We show that any germ of smooth hyperbolic diffeomophism at a fixed point is conjugate to its linear part, using a transformation with a Mourtada type functions, which (roughly) means that it may contain terms like $x \log |x|$.
Patrick Bonckaert, Vincent Naudot
doaj
Random Integer Lattice Generation via the Hermite Normal Form. [PDF]
Entropy (Basel), 2021 Hu G, You L, Li L, Hu L, Wang H.
europepmc +1 more source