Results 121 to 130 of about 148,259 (301)
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition [PDF]
Computer Science Journal of Moldova, 2019 Partial quasiary predicates are used in programming for representing program semantics and in logic for formalizing predicates over partial variable assignments.
Mykola Nikitchenko +3 more
doaj
The Clone of K*(n, r)-Full Terms
Discussiones Mathematicae - General Algebra and Applications, 2019 Let τn be a type of algebras in which all operation symbols have arity n, for a fixed n ≥ 1. For 0 < r ≤ n, this paper introduces a special kind of n-ary terms of type τn called K*(n, r)-full terms. The set of all K*(n, r)-full terms of type τn is closed
Wattanatripop Khwancheewa +1 more
doaj +1 more source
Controllable Dynamic Mechanical Cell Stimulation using Magnetically Actuated Artificial Cilia
Advanced Healthcare Materials, EarlyView.This paper introduces a platform based on magnetic artificial cilia for providing controllable dynamic mechanical stimulation to single cells, suitable for investigating large cell populations and enabling live cell imaging. Proof‐of‐principle experiments show that cell morphology is strongly influenced by the artificial cilia, that cellular forces can
Roel Kooi +5 more
wiley +1 more source
Crystal Growth Engineering for Dendrite‐Free Zinc Metal Plating
Advanced Materials, EarlyView.This research employed the rare‐earth ion dysprosium (Dy) to modulate aqueous zinc (Zn) metal plating. Integrated multiscale experiments and computational modeling unveiled the preferential adsorption of Dy on specific crystal facets, which activated screw dislocation‐driven Zn growth.
Guifang Zeng +10 more
wiley +1 more source
A Reappraisal of Dependency Length Minimization as a Linguistic Universal. [PDF]
Open Mind (Camb), 2022 Yadav H, Mittal S, Husain S.
europepmc +1 more source
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Advanced Materials, EarlyView.Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
Advanced Materials, EarlyView.Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley +1 more source
General ω-hyperstructures and certain applications of those
Ratio Mathematica, 2012 The aim of this paper is to investigate general hyperstructures construction of which is based on ideas of A. D. Nezhad and R. S. Hashemi. Concept of general hyperstructures considered by the above mentioned authors is generalized on the case of ...
Jan Chvalina, Sarka Hoskova-Mayerova
doaj
Learning and reasoning with graph data. [PDF]
Front Artif Intell, 2023 Jaeger M.
europepmc +1 more source
Advanced Materials, EarlyView.Precursor carbon stoichiometry programs internal strain and oxygen substitution in Ti3AlCxO2‐x, deterministically switching Ti3CxO2‐xTz MXenes between highly aligned 2D nanosheets and spontaneous 1D nanoscrolls. This synthesis‐stage architecture control enables ultrathin X/W‐band EMI shielding with outstanding mass‐normalized performance and bending ...
Jaeeun Park +12 more
wiley +1 more source