Results 171 to 180 of about 2,243,371 (296)

Transfer of Temporal Logic Formulas in Reinforcement Learning. [PDF]

IJCAI (U S), 2019
Xu Z, Topcu U.
europepmc   +1 more source

Multiferroic‐Centric Materials and Systems Engineering for Battery Applications: An Insight Into Mechanisms, Strategies, and Characterizations

Advanced Science, EarlyView.
Multiferroic order parameters – polarization, magnetization, and ferroelastic strain – are positioned as dynamic design variables for batteries. Their mechanistic roles, practical tuning through fabrication and external fields, and ferroic‐resolved characterization routes are unified into a closed‐loop framework, revealing how coupled ferroic responses
Jiaqi Su, Yanda Zhu, Hao Peng, Manman Li, Xuzihan Zhang, Meixiao Wu, Siyuan Zhang, Yuhan Zeng, Jiwen Liao, Ming Luo, Hetaishan Huang, Yutong Wang, Sean Li, Wenxian Li   +13 more
wiley   +1 more source

Pareto-Optimal Interventions in Gene Regulatory Networks using Signal Temporal Logic. [PDF]

Proc Am Control Conf
Hosseini SH, Aksaray D, Imani M.
europepmc   +1 more source

Synthesizing adaptive test strategies from temporal logic specifications. [PDF]

Form Methods Syst Des, 2019
Bloem R, Fey G, Greif F, Könighofer R, Pill I, Riener H, Röck F.   +6 more
europepmc   +1 more source

Rod Origami (RodOri) Spring Metamaterials for Tunable Vibration Control via Tailored Structural Instabilities

Advanced Science, EarlyView.
Rod Origami (RodOri) springs harness snap‐through instabilities of pre‐stressed curved rods with geometrically programmable buckling behavior. Integrating RodOri springs with distinct geometries yields multistable metamaterials that undergo stepwise reconfiguration via sequential snapping, achieving wide‐range tunability of stiffness and resonance ...
Jeseung Lee, Sophie Leanza, Ruike Renee Zhao   +2 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

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, Ri He, Junxian Liu, Liangzhi Kou   +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, Mandow A, Martínez MA, García-Cerezo AJ.   +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, Hori Y, Rothemund PW, Murray RM.   +3 more
europepmc   +1 more source