Results 121 to 130 of about 2,243,371 (296)

An Approach of XML Query Evaluation Based Model Checking

Cybernetics and Information Technologies, 2016
In this paper, we show the process inspired by model checking which integrate temporal logic to the application of semi-structured data query. We investigate the potential ofatechnique based on CTL (Computation Tree Logic) model checking for evaluating ...
Yan-Mei Li, Shao-Bin Huang, Ya Li, Li Xu
doaj   +1 more source

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]

Sensors (Basel), 2022
Zbrzezny AM, Zbrzezny A.
europepmc   +1 more source

Topological Spin‐Texture Transitions in van der Waals Magnets Revealed by X‐Ray Fourier Transform Holography

Advanced Materials, EarlyView.
Applied here for the first time to a 2D material, high‐resolution synchrotron x‐ray Fourier transform holography directly images topological spin textures in Fe3GeTe2. Combined with atomistic tight‐binding simulations including itinerant electrons and Rashba spin‐orbit coupling, the approach reveals labyrinth, skyrmion, and mixed phases, and uncovers ...
Sourav Chowdhury, Soumyaranjan Dash, Michael Schneider, Christopher Klose, Chithra H. Sharma, Lisa‐Marie Kern, Tim A. Butcher, Josefin Fuchs, Santanu Pakhira, Samik DuttaGupta, Takashi Taniguchi, Kenji Watanabe, Sujit Das, Sanjeev Kumar, Bastian Pfau, Amir‐Abbas Haghighirad, Moritz Hoesch   +16 more
wiley   +1 more source

Restrictions for loop-check in sequent calculus for temporal logic

Lietuvos Matematikos Rinkinys, 2008
In this paper, we present sequent calculus for linear temporal logic. This sequent calculus uses efficient loop-check techinque. We prove that we can use not all but only several special sequents from the derivation tree for the loop-check.
Adomas Birštunas
doaj   +1 more source

Mapping Temporally Ordered Inputs to Binary Message Outputs with a DNA Temporal Logic Circuit. [PDF]

Nanomaterials (Basel), 2023
Zhao S, Liu Y, Zhang X, Qin R, Wang B, Zhang Q.   +5 more
europepmc   +1 more source

Descriptors to Dynamics: A Materials and Device Perspective on in‐Materio Physical Reservoir Computing for Neuromorphic Edge Intelligence

Advanced Materials, EarlyView.
Intrinsic material dynamics are harnessed as computational resources for neuromorphic in‐materio physical reservoir computing. Defects, ionic motion, interfaces, percolation, geometry, and biasing shape transient states that provide fading memory, nonlinearity, and high‐dimensional projection for simple readout. A descriptor‐to‐dynamics framework links
Kshitij RB Singh, Alif Syafiq Kamarol Zaman, Muzhen Xu, Yuki Usami, Saptarshi Das, Hirofumi Tanaka   +5 more
wiley   +1 more source

Temporal logic circuits implementation using a dual cross-inhibition mechanism based on DNA strand displacement. [PDF]

RSC Adv, 2023
Liu Y, Zhang X, Zhang X, Liu X, Wang B, Zhang Q, Wei X.   +6 more
europepmc   +1 more source

Recent Advances of Slip Sensors for Smart Robotics

Advanced Materials Technologies, EarlyView.
This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang, Liao Wu, Shuai He, Zhao Sha, Yuwan Huang, Shuying Wu, Dewei Chu, Chun H. Wang, Shuhua Peng   +8 more
wiley   +1 more source

Safe reinforcement learning under temporal logic with reward design and quantum action selection. [PDF]

Sci Rep, 2023
Cai M, Xiao S, Li J, Kan Z.
europepmc   +1 more source

Skin‐Like Tri‐Modal Sensors Based on Soft Piezoelectric and Ionic Composites

Advanced Materials Technologies, EarlyView.
Inspired by the multimodal perception of human skin, a soft, skin‐like tri‐modal sensor is presented. The device incorporates an ionically conductive, piezoelectric, elastic composite as its active layer, enabling independent detection of temperature, static strain, and dynamic strain within a single two‐terminal architecture.
Liren Wang, Peter Zalar, Vishva Bhate, Takeo Furukawa, Hidekazu Kodama, Yijun Liu, Yuanyuan Zhou, Chuang Hou, Siyuan Liu, Naoji Matsuhisa   +9 more
wiley   +1 more source