Results 41 to 50 of about 672 (226)
Cu and combined Cu–P microalloying refine the microstructure and enhance the nanoindentation‐derived fracture resistance of CoNiAlSi ferromagnetic shape memory alloys without suppressing the martensitic transformation. Comparative SEM, DSC, and nanoindentation results reveal that the CuP‐containing alloy provides the most balanced response, achieving ...
Mehmet Demir
wiley +1 more source
Ontology-based data access with databases: a short course [PDF]
Ontology-based data access (OBDA) is regarded as a key ingredient of the new generation of information systems. In the OBDA paradigm, an ontology defines a high-level global schema of (already existing) data sources and provides a vocabulary for user ...
Roman Kontchakov +5 more
core +1 more source
Additively manufactured triply periodic minimal surface (TPMS) membranes offer an architecture‐driven alternative to hollow fiber bundles in artificial lungs. Multiphysics simulations and endothelialized prototypes show that the 3D‐printable membrane architecture improves gas exchange, blood flow distribution, and hemocompatibility, enabling ...
Michael Pflaum +14 more
wiley +1 more source
Single‐Particle FRET Probes Heterogeneity in the Ligand Shell of Colloidal Perovskite Quantum Dots
Single‐particle, single‐molecule Förster resonance energy transfer turns dye‐tagged ligands into nanorulers for the otherwise elusive organic shell of CsPbBr3 quantum dots. Distance variations within individual particles reveal pronounced local heterogeneity, while changes in the surrounding ligand chemistry shift the average dye–surface separation ...
Leon G. Feld +6 more
wiley +1 more source
A 4‐layer Kevlar‐based composite is fabricated by combining ultrasonic spraying and electrostatic flocking. Carbon black dispersion is first deposited onto Kevlar fabric to create a conductive electrode. Nylon fibers are then electrostatically flocked onto the coated fabric, forming a dielectric layer.
Mengdi Chen +7 more
wiley +1 more source
Towards a Theory of Tracing for Functional Programs based on Graph Rewriting [PDF]
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support program comprehension and debugging.
Luo, Yong +3 more
core
Multimodal Engagement Assessment in Children During Invented Story Paradigm With a Social Robot
A multimodal framework is proposed to assess children's engagement during storytelling interactions with a social robot. Gaze, physiological, and behavioral data are combined and validated against observer ratings. An automated gaze‐labeling strategy is introduced, and supervised classifiers achieve high accuracy. The study supports scalable engagement
Laura Fiorini +7 more
wiley +1 more source
LLM‐Integrated Human–Robot Interaction System for Microrobots
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley +1 more source
Underground Signals: The Ecological Power of Root Volatiles
Root volatiles mediate rhizosphere chemical communication, shaping interactions among plants, microbes, herbivores, and natural enemies. Their production, transport, and perception underpin ecological adaptation, multitrophic interactions, and plant resilience, offering opportunities for sustainable crop protection, resilient agroecosystems, and ...
Xueyao Cao +31 more
wiley +1 more source
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems [PDF]
By algorithmic metatheorems for a model checking problem P over infinite-state systems we mean generic results that can be used to infer decidability (possibly complexity) of P not only over a specific class of infinite systems, but over a large family ...
Leonid Libkin +3 more
core +1 more source

