Results 191 to 200 of about 7,704,065 (318)
The cycle contraction mapping theorem [PDF]
This report lays the foundation for a theory of total correctness for programs not based upon termination. The Cycle Contraction Mapping Theorem is both an extension of Wadge's cycle sum theorem for Kahn data flow and a generalisation of Banach's ...
Matthews, Stephen G.
core
MANIFOLD LEARNING IN METRIC SPACES. [PDF]
Xu L, Singer A.
europepmc +1 more source
Evolution‐guided yeast complementation reveals functional differences in human PSPH variants
Ancient genomes can help guide which human genetic variants are tested experimentally. This study applies that idea to PSPH, a gene involved in serine biosynthesis, and uses high‐throughput yeast complementation to compare variant function. The findings reveal measurable differences among selected alleles and illustrate the value of evolution‐guided ...
Mauricio Campa‐Álvarez +6 more
wiley +1 more source
"Uniform Measures On Inverse Limit Spaces" [PDF]
Motivated by problems from dynamic economic models, we consider the problem of defining a uniform measure on inverse limit spaces. Let f be a function from a compact metric space X into itself where f is continuous, onto and piecewise one-to-one.
David R. Stockman
core
Protein Representation in Metric Spaces for Protein Druggability Prediction: A Case Study on Aspirin. [PDF]
Xu J, He S, Chen Y, Chen X.
europepmc +1 more source
We report the first β‐glucosidase with demonstrated hydrolytic activity on an N‐linked glycopyranoside. The enzyme, native to maize, was biochemically characterised for this novel reaction, and structural modelling of the enzyme–substrate complex revealed several clues to the underlying reduced catalytic rate relative to its native O‐glycopyranoside ...
Hani Gharabli +3 more
wiley +1 more source
The separation and compactness on fuzzy partial metric spaces. [PDF]
Wang H, Shen C, Jin Z.
europepmc +1 more source
Biophysical characterisation shows that NanX, a membrane transport protein from the major facilitator superfamily (MFS), forms both monomers and dimers after purification. AlphaFold modelling and substrate docking provide information on residues likely involved in substrate recognition for NanX and another MFS member, NanT.
Michael C. Newton‐Vesty +13 more
wiley +1 more source
Coarse entropy of metric spaces. [PDF]
Geller W, Misiurewicz M, Sawicki D.
europepmc +1 more source

