Results 51 to 60 of about 2,186 (279)

Remote Activation of Wnt Signaling and Cell Proliferation by E‐Cadherin Magnetomechanical Stimulation

Advanced Functional Materials, EarlyView.
A pioneering magnetogenetic toolkit enables non‐invasive, precise spatiotemporal modulation of intracellular Wnt/β‐catenin signaling. Functionalized magnetic nanoparticles (MNPs@E/EC15) target cellular E‐cadherins to generate localized magnetomechanical forces under low‐intensity magnetic fields.
Christian Castro‐Hinojosa, Pablo Martínez‐Vicente, Lucía G. Recaredo, Susel Del Sol‐Fernández, Pilar Gomollón‐Zueco, Yilian Fernández‐Afonso, Raluca M. Fratila, María Moros   +7 more
wiley   +1 more source

Regular Cost Functions, Part I: Logic and Algebra over Words [PDF]

Logical Methods in Computer Science, 2013
The theory of regular cost functions is a quantitative extension to the classical notion of regularity. A cost function associates to each input a non-negative integer value (or infinity), as opposed to languages which only associate to each input the ...
Thomas Colcombet
doaj   +1 more source

Thickness‐Defined Transport Regime Toward Near‐Ideal Area‐Type Switching

Advanced Materials, EarlyView.
By thinning the oxide layer, memristors pass from diode‐like and battery‐effect‐dominated behavior toward eventual short‐circuit failure. Within the intermediate 5–6 nm window, they reach a near‐ideal analog area‐type switching regime, featuring symmetric hysteresis, area‐dependent conductance, and continuous linear programming of HRS and LRS with ...
Cuo Wu, Junjie Zhao, Richard Schroedter, Jason Vincent, Hampus Hoffman, Leif Riemenschneider, Abdallh Herbawe, Hao Shen, Ronald Tetzlaff, Stefan Slesazeck, Gianaurelio Cuniberti, Thomas Mikolajick, Benjamin Max   +12 more
wiley   +1 more source

Automatic functions, linear time and learning [PDF]

Logical Methods in Computer Science, 2013
The present work determines the exact nature of {\em linear time computable} notions which characterise automatic functions (those whose graphs are recognised by a finite automaton). The paper also determines which type of linear time notions permit full
John Case, Sanjay Jain, Frank Stephan, Frank Stephan   +3 more
doaj   +1 more source

Intelligent Maintenance Review for Robots: Multimodal Information, Deep Diagnosis and Embodied Artificial Intelligence

Advanced Robotics Research, EarlyView.
This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao, Hongbo Wang, Naipeng Li, Shuo Wang, Yaguo Lei, Tonghai Wu, Junyi Cao   +6 more
wiley   +1 more source

A Robust Class of Context-Sensitive Languages

, 2007
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolean operations.
MADHUSUDAN P, Torre, Salvatore La, Parlato, Gennaro, SALVATORE LA TORRE, P. MADHUSUDAN, Parthasarathy Madhusudan, Gennaro Parlato, Madhusudan, Parthasarathy, LA TORRE, Salvatore   +8 more
core   +2 more sources

Robotic Assistants in the Operating Room: A Systematic Review of Vision‐Based Systems for Nonoperative Tasks

Advanced Robotics Research, EarlyView.
This review brings together 20 publications describing 11 robotic system families developed for instrument handling, sterile‐package opening, supply delivery, and operating room logistics. Perception is becoming more capable through deep learning and language‐guided control, but autonomy remains limited, evidence is largely laboratory‐based, and no ...
Eugenia Mawuenya Akpo, Pietro Falco, Nicholas Raison, Christos Bergeles, Letizia Gionfrida   +4 more
wiley   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Sustainable Materials Design With Multi‐Modal Artificial Intelligence

Advanced Science, EarlyView.
Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu, Tianshuo Wei, Yan Ge, Bo Peng, Yue Li, Maolin Wang, Peng Wen, Chao Yang, Ye Wei   +8 more
wiley   +1 more source

Automating Chemical Reasoning in High‐Throughput Phase Identification With a Probabilistic, LLM‐Guided Framework

Advanced Science, EarlyView.
Autonomous laboratories can now synthesize materials faster than experts can interpret the resulting diffraction data. A probabilistic framework combines refinement‐fit metrics with large language model‐derived chemical reasoning to rank competing phase interpretations and flag those unsuitable for autonomous use.
Olympia Dartsi, Lauren N. Walters, Amalie E. Trewartha, Steven B. Torrisi, Amanda Volk, Liam Joyce, Gerbrand Ceder, Anubhav Jain   +7 more
wiley   +1 more source