Results 151 to 160 of about 174,815,442 (248)
The place of own variables in programming language theory [PDF]
The Computer Journal, 1976 openaire +3 more sources
Breaking Bottlenecks in Solid Electrolyte Discovery With Large Artificial Intelligence Models
Advanced Materials, EarlyView.Large AI models are presented as a route to break key bottlenecks in solid electrolyte discovery by linking materials databases, machine‐learning interatomic potentials, large language models, and autonomous experiments. This perspective highlights how AI can accelerate the identification of solid electrolytes with fast ion transport, stable interfaces,
Eric Jianfeng Cheng +24 more
wiley +1 more source
Theories of programming languages
Computers & Mathematics with Applications, 1999 openaire +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 +12 more
wiley +1 more source
Vitamin C‐Induced Photo‐Redox Threshold Enables High‐Fidelity Volumetric Printing of Collagen
Advanced Materials, EarlyView.Tomographic volumetric printing (TVP) of native proteins is limited by uncontrolled background crosslinking. Here, vitamin C is introduced as a biocompatible redox regulator to establish a tunable nonlinear polymerization threshold response for TVP.
Bin Wang +5 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.Graphical abstract illustrating the fabrication of Ni–P–O–C porous carbon microlattice electrodes by DLP printing of Ni/P precursor‐containing resin followed by high‐temperature carbonization. The resulting conductive microlattice acts directly as the HER cathode in alkaline electrolyte, where in situ formed Ni–P–O–C interfaces provide active sites for
Muzahir Ali +6 more
wiley +1 more source
Information Transmission Strategies for Self‐Organized Robotic Aggregation
Advanced Robotics Research, EarlyView.In this review, we discuss how information transmission influences the neighbor‐based self‐organized aggregation of swarm robots. We focus specifically on local interactions regarding information transfer and categorize previous studies based on the functions of the information exchanged.
Shu Leng +5 more
wiley +1 more source
Auditory–Tactile Congruence for Synthesis of Adaptive Pain Expressions in RoboPatients
Advanced Robotics Research, EarlyView.In this work, we explore auditory–tactile congruence for synthesizing adaptive vocal pain expressions in robopatients. Using a robopatient platform that integrates vocal pain sounds with palpation forces, we conducted 7680 trials across 20 participants.
Saitarun Nadipineni +4 more
wiley +1 more source
Multimodal Engagement Assessment in Children During Invented Story Paradigm With a Social Robot
Advanced Robotics Research, EarlyView.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
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source