Results 151 to 160 of about 132,970 (251)

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic

International Journal of Distributed Sensor Networks, 2009
Jihong Han, Zhiyong Zhou, Yadi Wang
doaj   +1 more source

Sketchbook: logical model inference from Boolean network sketches. [PDF]

Bioinform Adv
Huvar O, Beneš N, Brim L, Pastva S, Šafránek D.   +4 more
europepmc   +1 more source

Interfacial Synergy in a Band‐Aligned Low‐Dimensional Heterojunction Toward Broadband Photodetection

Advanced Science, EarlyView.
Monolithically integrating sensing and communication, a Ta2NiSe5/Sb2Te3 heterojunction achieves visible‐to‐near‐infrared photovoltaics with high‐speed terahertz photo‐thermoelectric detection at room temperature. By engineering a Type‐II van der Waals heterojunction, we overcome the intrinsic spectral limitations and disparate physical requirements of ...
Yuanfeng Wen, Kening Xiao, Yao Yang, Mengjie Jiang, Libo Zhang, Shicong Hou, Hang Ma, Yunduo Zhang, Wenqi Mo, Yiran Tan, Bolang Peng, Jinqiu Huang, Xueyuan Wei, Chunming Liu, Bangjian Zhao, Jiale He, Qing Li, Songyuan Ding, Yi Zhou, Guanhai Li, Xiaoshuang Chen   +20 more
wiley   +1 more source

Dynamic adaptation of non standard service tasks through reinforcement learning driven task technology fit and service interaction. [PDF]

Sci Rep
Sun Y, Gao J, Han K, Hwang CH, Jung H.
europepmc   +1 more source

Integrated Ultrasound Device for Precision Bladder Volume Monitoring via Acoustic Focusing and Machine Learning

Advanced Science, EarlyView.
We present a conformable wearable ultrasound patch for noninvasive bladder volume monitoring. A flexible PZT array combined with a concave acoustic lens concentrates acoustic energy and improves depth selectivity through the anterior pelvic wall.
Long Long Cao, Feng Wen Wang, Jingwei Xue, Fulei Liu, Ming Liang Jin   +4 more
wiley   +1 more source

Power management of hybrid fuel cell fixed wing UAVs using a fuzzy reinforcement learning system optimized with meta-heuristic methods. [PDF]

Sci Rep
Rostami M, Farajollahi A, Habibi P.
europepmc   +1 more source

Emerging Device Applications From Strong Light–Matter Interactions in 2D Materials

Advanced Science, EarlyView.
Two‐dimensional semiconductors enable extremely compact optoelectronic devices such as solar cells, sensors, LEDs, and lasers. Their strong light–matter interactions allow efficient light emission, detection, and energy conversion. This review article discusses the recent progress in integrating these materials with optical cavities and nanostructures ...
Janani Archana K, Kumar Shwetabh, Reyas Ali, Ramji Velayutham, Koustav Das, Abhishek Mondal, Prashant Kumar, Surendra B. Anantharaman   +7 more
wiley   +1 more source

Causal dynamic decision-making for robotic systems in non-Markovian high-difficulty surgery. [PDF]

Front Neurol
Na G, Minghui T, Tiantian L, Yang L, Qinjian Z, Yuanxin L, Tianlei X, Fuchun S.   +7 more
europepmc   +1 more source

Persistently Increased Expression of PKMzeta and Unbiased Gene Expression Profiles Identify Hippocampal Molecular Traces of a Long‐Term Active Place Avoidance Memory and “Shadow” Proteins

Advanced Science, EarlyView.
Protein complexes like KIBRA‐PKMζ are crucial for maintaining memories, forming month‐long protein traces in memory‐tagged neurons, but conventional RNA‐seq analysis fails to detect their transcript changes, leaving memory molecules undetected in the shadows of abundantly‐expressed genes.
Jiyeon Han, Alejandro Grau‐Perales, Rayna M. Harris, Edith Lesburguères, Hsin‐Yi Kao, Asit Pal, Juan Marcos Alarcon, Todd C. Sacktor, Stefano Martiniani, Hans A. Hofmann, André A. Fenton   +10 more
wiley   +1 more source

Quantum suppression of cold reactions far from the s-wave energy limit. [PDF]

Nat Commun
Katz O, Pinkas M, Akerman N, Li M, Ozeri R.   +4 more
europepmc   +1 more source