Results 91 to 100 of about 147,564 (269)
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
Advanced Engineering Materials, EarlyView.Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter +10 more
wiley +1 more source
Small models of hybrids for special subclasses of Jonsson theories
Қарағанды университетінің хабаршысы. Математика сериясы, 2019 This article presents the result related to the model - theoretic properties of special subsets of the semantic model of some fixed Jonsson theory. The specialty of these sets is due to their definability and closure.
A.R. Yeshkeyev, N.M. Mussina
doaj +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
Game Semantics in the Nominal Model
Electronic Notes in Theoretical Computer Science, 2012 AbstractWe present a model of games based on nominal sequences, which generalise sequences with atoms and a new notion of coabstraction. This gives a new, precise, and compositional mathematical treatment of justification pointers in game semantics.
Murdoch Gabbay, Dan R. Ghica
openaire +1 more source
Advanced Functional Materials, EarlyView.Wafer‐scale two‐dimensioanl In2Se3 oxidized into InOx on sodium‐embedded beta‐alumina enables multifunctional reconfigurable electronics. Sodium ions accumulate within distinct spatial distribution under drain‐controlle and gate‐controlled operation. Drain‐control operation gives controllability of ultraviolet‐driven optoelectronic synaptic conductance
Jinhong Min +13 more
wiley +1 more source
Bioinspired Adaptive Sensors: A Review on Current Developments in Theory and Application
Advanced Materials, EarlyView.This review comprehensively summarizes the recent progress in the design and fabrication of sensory‐adaptation‐inspired devices and highlights their valuable applications in electronic skin, wearable electronics, and machine vision. The existing challenges and future directions are addressed in aspects such as device performance optimization ...
Guodong Gong +12 more
wiley +1 more source
Summarizing Semantic Model Differences
CoRR, 2014 10 pages, 7 figures. ME 2011 - Models and Evolution, Wellington, New Zealand. Ed: B. Sch\"atz, D. Deridder, A. Pierantonio, J. Sprinkle, D.
Shahar Maoz +2 more
openaire +2 more sources
Advanced Materials, EarlyView.Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam +6 more
wiley +1 more source
Closed‐Loop Solid‐State Synthesis Planning for Materials Discovery With Large Language Models
Advanced Materials, EarlyView.Leveraging literature data, we build a large‐language‐model‐driven workflow that extracts synthesis steps from 4407 papers, retrieves similar precedents, and generates candidate solid‐state synthesis recipes. The system benchmarks against ground‐truth and then operates in a closed loop with experiments to synthesize oxy‐selenide electrolyte materials ...
Dong Won Jeon +9 more
wiley +1 more source