Results 41 to 50 of about 1,170,843 (247)
Infinitary rewriting: meta-theory and convergence [PDF]
, 2007 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
A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science
Advanced Engineering Materials, EarlyView.We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann +8 more
wiley +1 more source
Some Fixed Point Theorems in Fuzzy n-Normed Spaces [PDF]
, 2010 The main purpose of this paper is to study the existence of a fixed points in fuzzy n-normed spaces. we proved our main results, a fixed point theorem for a self mapping and a common fixed point theorem for a pair of weakly compatible mappings on fuzzy n-
Rahmat, Mohamad Rafi Segi +1 more
core +1 more source
Metric Relations in the Fuzzy Right Triangle
, 2023 The study of fuzzy geometry and its different components has grown in recent years, establishing the formal foundations for its development. This paper is devoted to addressing some metric relations in the fuzzy right triangle; in particular, a version ...
Ronald Manríquez
core +1 more source
Advanced Engineering Materials, EarlyView.Low‐voltage FIB‐SEM tomography combined with a image preprocessing pipeline improves phase contrast and enables reliable machine‐learning segmentation of conductive networks in lithium‐ion battery electrodes. Structural descriptors are extracted from segmented images, done semimanually and automated, and compared.
Lisa Beran +6 more
wiley +1 more source
Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation [PDF]
, 2003 This paper identifies a generic axiom framework for prioritised fuzzy constraint satisfaction problems (PFCSPs), and proposes methods to instantiate it (i.e., to construct specific schemes which obey the generic axiom framework).
Luo, X. +14 more
core +1 more source
Advanced Engineering Materials, EarlyView.The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ +19 more
wiley +1 more source
On fixed figure problems in fuzzy metric spaces [PDF]
, 2023 summary:Fixed circle problems belong to a realm of problems in metric fixed point theory. Specifically, it is a problem of finding self mappings which remain invariant at each point of the circle in the space.
Martínez-Moreno, Juan +2 more
core +1 more source
Advanced Engineering Materials, EarlyView.The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling +15 more
wiley +1 more source
Intuitionistic Fuzzy Metric-like Spaces and Fixed-Point Results
, 2023 The objective of this paper is to describe the concept of intuitionistic fuzzy metric-like spaces. This space is an extension of metric-like spaces and fuzzy metric spaces, and intuitionistic fuzzy metric spaces.
Banu Pazar Varol, Şuara Onbaşıoğlu
core +1 more source