Results 191 to 200 of about 71,669 (311)
Polarization Dynamics in Ferroelectrics: Insights Enabled by Machine Learning Molecular Dynamics
Advanced Science, EarlyView.Machine learning molecular dynamics is presented as a route to capture polarization switching, domain wall kinetics, topological polar textures, and polar mechanical coupling beyond the limits of conventional atomistic methods. This Perspective surveys recent progress and identifies key methodological directions, including long‐range electrostatics ...
Dongyu Bai +3 more
wiley +1 more source
Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications. [PDF]
Sensors (Basel)Im E, Choi M, Cho K.
europepmc +1 more source
Model Checking Temporal Logic Formulas Using Sticker Automata. [PDF]
Biomed Res Int, 2017 Zhu W, Feng C, Wu H.
europepmc +1 more source
Advanced Science, EarlyView.Described herein is the development of an organic eutectic gel based on a deep eutectic mixture of naturally derived betaine and lactic acid. The eutectic gels exhibit reversible color‐switching in response to multiple stimuli including strain, UV light, and temperature, enabling advanced applications in information security, intelligent wearable ...
Zhiang Bai +3 more
wiley +1 more source
SPIN-Based Linear Temporal Logic Path Planning for Ground Vehicle Missions with Motion Constraints on Digital Elevation Models. [PDF]
Sensors (Basel)Toscano-Moreno M +3 more
europepmc +1 more source
A population-based temporal logic gate for timing and recording chemical events. [PDF]
Mol Syst Biol, 2016 Hsiao V +3 more
europepmc +1 more source
Robust probabilistic temporal logics
Information Processing LettersWe robustify PCTL and PCTL*, the most important specification languages for probabilistic systems, and show that robustness does not increase the complexity of their model-checking problems.
openaire +3 more sources
Advanced Science, EarlyView.Here, we present an optoelectronic synaptic memtransistor (OSMT) integrating photoresponsive IGZO with contact‐engineered HfO2, enabling electrically and optically tunable synaptic weights. The device demonstrates broad range of tunable conductance states and array‐level image processing, highlighting its potential for intelligent machine vision ...
Donghyun Kang +6 more
wiley +1 more source
Fast and Adaptive Multi-Agent Planning under Collaborative Temporal Logic Tasks via Poset Products. [PDF]
Research (Wash D C)Liu Z, Guo M, Bao W, Li Z.
europepmc +1 more source
Autonomous High‐Throughput Characterization of Liquid‐Liquid Phase Behavior
Advanced Science, EarlyView.This study introduces an automated dual modality platform, combining asymmetric capacitance deviation and multiangle turbidimetry, for high‐throughput characterization of liquid‐liquid phase behavior across chemically diverse fluid systems. The platform enables miscibility classification, resolution of phase separation kinetics and emulsion stability ...
Tarek Eid +3 more
wiley +1 more source