Results 121 to 130 of about 7,704,065 (318)
Chiral separation of chloroalkanes with the chromatographic column onboard Martian rovers
Computer image of the Rosalind Franklin Rover of ESA's ExoMars mission. ExoMars is scheduled to land on planet Mars in Oxia Planum in 2029. This area represents an interesting spot to look for biosignatures. Investigations of ExoMars include measurement on molecular chirality. We show that chiral chloroalkanes, that have been identified on Mars, can be
Asma Merzougui +4 more
wiley +1 more source
Infinitary rewriting: meta-theory and convergence [PDF]
When infinitary rewriting was introduced by Kaplan et.al. at the beginning of the 1990s, its term universe was explained as the metric completion of a metric on finite terms.
Kahrs, Stefan
core +1 more source
On the geometry of metric measure spaces
We introduce and analyze lower (Ricci) curvature bounds $ \underline{{Curv}} {\left( {M,d,m} \right)} $ ⩾ K for metric measure spaces $ {\left( {M,d,m} \right)} $.
Karl-Theodor Sturm
semanticscholar +1 more source
The metric of visual space [PDF]
The geometric properties of visual space in the horizontal plane were measured by four different procedures. Five observers were asked to judge distances, angles, and areas defined by pairs and triplets of stakes, using magnitude estimation, category estimation, mapping, and perceptual matching.
openaire +2 more sources
Prospecting the protein design landscape
This review outlines the current state of various protein design approaches. We discuss the current possibilities enabled by recently released tools, highlight future avenues to pursue in protein design, and underscore the crucial role of key databases and resources for successful protein design workflows.
Jakob R. Riccabona +4 more
wiley +1 more source
Notes on separability in metric sets [PDF]
These notes consider the various topologies over metric sets generated by a selection of the metric axioms given below.
Matthews, Stephen G.
core
Dynamic Topological Logic of Metric Spaces [PDF]
Dynamic Topological Logic (DT L) is a modal framework for reasoning about dynamical systems, that is, pairs hX; fi where X is a topological space and f : X ! X a continuous function. In this paper we consider the case where X is a metric space.
Fernández Duque, David
core +1 more source
Multiplicative modular metric spaces and some fixed point results
This study aims to introduce a novel type of metric, defined as the w-multiplicative modular metric space, which becomes an expanded idea that includes two metric spaces. We present and demonstrate some of this new space’s topological properties. We also
Elif Kaplan +3 more
doaj +1 more source
In this paper, the concept of sequential p-metric spaces has been introduced as a generalization of usual metric spaces, b-metric spaces and specially of p-metric spaces. Several topological properties of such spaces have been discussed here.
Kushal Roy +3 more
doaj +1 more source
Let $X$ be an unbounded metric space, $B(x,r) = \{y\in X: d(x,y) \leqslant r\}$ for all $x\in X$ and $r\geqslant 0$. We endow $X$ with the discrete topology and identify the Stone-Čech compactification $βX$ of $X$ with the set of all ultrafilters on $X$.
openaire +3 more sources

