Results 81 to 90 of about 2,766,744 (297)
Synthetic Active Liquid Crystals Powered by Acoustic Waves
A fully synthetic active liquid crystal, energized by an acoustic field, is presented. This system exhibits active nematic behavior, tunable topological defect dynamics, and persistent hydrodynamic vortices at high activity levels. The material maintains stable properties while enabling precise activity control in a wide range.
Andrey Sokolov+3 more
wiley +1 more source
Molecular Domino Toppling for Directed Self‐Erasing Information Transfer
An azobenzene‐based material with unprecedented light‐pumped directional charge‐transfer reminiscent of toppling dominoes is presented. After light‐induced trans→cis forward isomerization, electron hopping occurs in a sequential and propagating manner between the cis isomers along with an electrocatalytic cis→trans backward isomerization.
Ying Li+7 more
wiley +1 more source
Fuzzy Description Logic Programs [PDF]
Description Logic Programs (DLPs), which combine the expressive power of classical description logics and logic programs, are emerging as an important ontology description language paradigm. In this work, we present fuzzy DLPs, which extend DLPs by allowing the representation of vague/imprecise information.
openaire +5 more sources
An epistemic operator for description logics
AbstractDescription logics (also called terminological logics, or concept languages) are fragments of first-order logic that provide a formal account of the basic features of frame-based systems. However, there are aspects of frame-based systems—such as nonmonotonic reasoning and procedural rules—that cannot be characterized in a standard first-order ...
DONINI F. M.+4 more
openaire +4 more sources
Mechanical Resonant Sensing of Spin Texture Dynamics in a 2D Antiferromagnet
Detection of antiferromagnetic spin texture in a 2D magnetic crystal is achieved through nanomechanical resonators at radio frequencies. Sharp magnetic transitions that lead to abrupt changes in mechanical linear and nonlinear responses are assigned to antiferromagnetic domain motions.
S M Enamul Hoque Yousuf+10 more
wiley +1 more source
A Note on Higher Order and Variable Order Logic over Finite Models [PDF]
We show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or space is bounded by a finite tower of exponential. Hence we have a logical characterisation of ELEMENTARY.
arxiv
DNA‑Directed Assembly of Photonic Nanomaterials for Diagnostic and Therapeutic Applications
DNA‐directed assembly offers a powerful strategy for constructing structured photonic nanomaterials with precise spatial control. This review provides a comprehensive overview of recent advancements in DNA‐assembled photonic nanomaterials for diagnostics and therapeutics, highlighting key design principles, functionalization strategies, and optical ...
Longjiang Ding+5 more
wiley +1 more source
Descriptive Unions. A Fibre Bundle Characterization of the Union of Descriptively Near Sets [PDF]
This paper introduces an extension of descriptive intersection and provides a framework for descriptive unions of nonempty sets. Fibre bundles provide structures that characterize spatially near as well as descriptively near sets, their descriptive intersection and their unions. The properties of four different forms of descriptive unions are given.
arxiv
Controlling Frost Propagation on Polymeric Surfaces Using SI‐ATRP Chemical Micropatterning
Local wettability differences on the polymeric substrates grafted with hydrophilic stripes are linked to local variations in the presence and state of molecular water layer (MWL). The localized MWL results in fast‐propagating freezing events on the hydrophilic stripes followed by slower freezing propagation across the more hydrophobic substrate, thus ...
Miisa J. Tavaststjerna+2 more
wiley +1 more source
An Intuitionisticaly based Description Logic [PDF]
This article presents iALC, an intuitionistic version of the classical description logic ALC, based on the framework for constructive modal logics presented by Simpson \cite{simpson95} and related to description languages, via hybrid logics, by dePaiva \cite{depaiva2003}. This article correcta and extends the presentation of iALC appearing in \cite{PHR:
arxiv