Results 21 to 30 of about 1,720 (220)
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
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
Genetically Programmed Shape‐Morphing of Engineered Living Materials
Advanced Functional Materials, EarlyView.Here, bacterial and mammalian engineered living materials (ELMs) are presented, in which living cells direct genetically programmed and enzymatically mediated shape‐morphing. The resulting deformation and shape‐recovery can be actuated in a genetically controlled manner by an ELM incorporating out‐of‐equilibrium counteracting biochemical reactions with
Jan Becker +7 more
wiley +1 more source
Equivalence closure in the two-variable guarded fragment [PDF]
Journal of Logic and Computation, 2015 We consider the satisfiability and finite satisfiability problems for the extension of the two-variable guarded fragment in which an equivalence closure operator can be applied to two distinguished binary predicates. We show that the satisfiability and finite satisfiability problems for this logic are 2-ExpTime-complete.
Emanuel Kieronski +2 more
openaire +3 more sources
Advanced Healthcare Materials, EarlyView.Engineered red blood cell‐derived extracellular vesicles (eRBCEVs) are synthesized via controlled microfluidic assembly from native RBC lipids, enabling tunable encapsulation of proteins, nucleic acids, nanoparticles, and viral vectors. The platform demonstrates reproducible nanoscale architecture, preserved membrane composition, and functional cargo ...
Chiranth K. Nagaraj +23 more
wiley +1 more source
Advanced Science, EarlyView.This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong +7 more
wiley +1 more source
Cetatea Saschiz. Note istorice şi arheologice
Materiale și Cercetări Arheologice, 2010 The fortress from Saschiz, Mureş County, was built on a rocky slope, very close to the town of Saschiz, to its northwestern side. Typologically, the ensemble is a refuge fortress, a relatively close and easily protected safe shelter for the community, if
Marcu Istrate, D., Fedor, I.
doaj +1 more source
Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution
Advanced Science, EarlyView.Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley +1 more source
Drought Stress Mediated Changes in Food Crops: Mechanisms and Remediation Strategies
Advanced Science, EarlyView.This work presents a multi‐scale framework for flavonoid‐mediated drought tolerance in staple food crops, integrating ROS redox regulation, antioxidant defense, rhizosphere microbial interactions, and sustainable agronomic practices. This interdisciplinary model provides core insights to develop climate‐resilient cropping systems and enhance global ...
Xiaoyi Duan +5 more
wiley +1 more source
Conservative Extensions in Guarded and Two-Variable Fragments [PDF]
CoRR, 2017 We investigate the decidability and computational complexity of (deductive) conservative extensions in fragments of first-order logic (FO), with a focus on the two-variable fragment FO$^2$ and the guarded fragment GF. We prove that conservative extensions are undecidable in any FO fragment that contains FO$^2$ or GF (even the three-variable fragment ...
Jean Christoph Jung +4 more
openaire +6 more sources