Results 91 to 100 of about 138,161 (315)
Remorphable Architectures: Reprogramming Global Bistability through Locally Bistable Metamaterials
Advanced Materials, EarlyView.Local bistable reconfiguration in mechanical metamaterials is leveraged in globally bistable architectures to enable in situ reprogrammable transition pathways through state flip of individual building blocks. The local‐to‐global correspondence of instabilities empowers soft robotic systems with on‐demand morphing traits, as well as aerospace ...
Lei Wu +3 more
wiley +1 more source
, 2015 We introduce two variants of computation tree logic CTL based on team semantics: an asynchronous one and a synchronous one. For both variants we investigate the computational complexity of the satisfiability as well as the model checking problem.
Krebs, Andreas +2 more
core +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
Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells
Advanced Materials, EarlyView.This study demonstrates 3D printing inside living cells by using two‐photon photo‐lithography. A bio‐compatible photoresist is injected into cells and selectively polymerized with a femtosecond laser, creating custom‐shaped intracellular structures with submicron resolution.
Maruša Mur +4 more
wiley +1 more source
Productive Corecursion in Logic Programming [PDF]
, 2017 Logic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task.
Komendantskaya, Ekaterina, Li, Yue
core +2 more sources
Dynamic Temporal Logic of Subjective Homophily
LogicsHomophily, which means similarity breeds association, is one of the most fundamental principles in social organization. However, in some cases, homophily is not significant, because actors’ perceptions of others differ from the real situation.
Xiling Luo
doaj +1 more source
E-Generalization Using Grammars [PDF]
, 2017 We extend the notion of anti-unification to cover equational theories and present a method based on regular tree grammars to compute a finite representation of E-generalization sets.
Burghardt, Jochen
core
Materials and System Design for Self‐Decision Bioelectronic Systems
Advanced Materials, EarlyView.This review highlights how self‐decision bioelectronic systems integrate sensing, computation, and therapy into autonomous, closed‐loop platforms that continuously monitor and treat diseases, marking a major step toward intelligent, self‐regulating healthcare technologies.
Qiankun Zeng +9 more
wiley +1 more source
Safety-Aware Apprenticeship Learning
, 2018 Apprenticeship learning (AL) is a kind of Learning from Demonstration techniques where the reward function of a Markov Decision Process (MDP) is unknown to the learning agent and the agent has to derive a good policy by observing an expert's ...
A Solar-Lezama +10 more
core +1 more source
Untethered Magnetic Microswimmers for Targeted Particle Transport and Flow Manipulation
Advanced Materials Technologies, EarlyView.This work introduces magnetically actuated microswimmers to dynamically reconfigure fluid flow within a single microfluidic device. Multiple homogeneous microswimmers are independently controlled by an external magnetic field to perform translational and rotational motions, thereby inducing real‐time flow manipulation.
Dineshkumar Loganathan +3 more
wiley +1 more source