Results 101 to 110 of about 28,680 (263)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Study of Free‐Space Optical Quantum Network: Review and Prospectives

Advanced Science, EarlyView.
Free from the constraints of fiber connections, free‐space quantum network enables longer and more flexible quantum network connections. This review summarizes and comparatively analyzes free‐space quantum network experiments based on ground stations, satellites, and mobile platforms.
Hua‐Ying Liu, Zhenda Xie, Shining Zhu
wiley   +1 more source

Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy

Advanced Science, EarlyView.
Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu, Mengtao Sun, Lusheng Li, Jieqiong Wang, Shibiao Wan   +4 more
wiley   +1 more source

Entanglement-assisted codeword-stabilized quantum codes with imperfect ebits

ICT Express, 2016
In quantum communication systems, quantum error-correcting codes (QECCs) are known to exhibit improved performance with the use of error-free entanglement bits (ebits).
Byungkyu Ahn, Jeonghwan Shin, Jun Heo
doaj   +1 more source

Entanglement-assisted quantum error-correcting codes [PDF]

, 2013
This is a chapter in the book "Quantum Error Correction", edited by Daniel A. Lidar and Todd A. Brun, (Cambridge University Press, 2013)
Brun, Todd, Hsieh, Min-Hsiu
openaire   +2 more sources

Fabrication of High‐Density Multimodal Neural Probes Based on Heterogeneously Integrated CMOS

Advanced Science, EarlyView.
A chiplet‐based methodology democratizes active neural probe development on standard bulk CMOS services. This yields the first probe combining high‐density electrophysiology (416 electrodes) with calcium imaging (832 photodiodes) and complete on‐chip signal processing across 13 shanks.
Ju Hee Mun, Miji Kim, Wooyeon Shin, Yongjun Park, Kanghwan Kim, Il‐Joo Cho, Jae Won Shim, Min Soo Kim, Sunwoo Lee, Jeongjin Kim, Changhyuk Lee   +10 more
wiley   +1 more source

Permutationally invariant codes for quantum error correction

Linear Algebra and its Applications, 2004
A permutationally invariant n-bit code for quantum error correction can be realized as a subspace stabilized by the non-Abelian group S_n. The code corresponds to bases for the trivial representation, and all other irreducible representations, both those of higher dimension and orthogonal bases for the trivial representation, are available for error ...
Pollatsek, Harriet, Ruskai, Mary Beth
openaire   +2 more sources

Ferroelectric Devices for In‐Memory and In‐Sensor Computing

Advanced Science, EarlyView.
Inspired by biological systems, in‐memory and in‐sensor computing overcome von Neumann bottlenecks. Ferroelectric devices can mimic synaptic functions and sense stimuli like light or force, therefore are ideal for these paradigms. This review introduces the ferroelectric devices applied for in‐memory and in‐sensor computing, covering their structures ...
Hong Fang, Ronghuan Xie, Qiang Cao, Shishen Yan, Xiaolin Wang, Limei Zheng   +5 more
wiley   +1 more source

Mathematical models of message authentication in the post-quantum cryptosystems based on error-correcting coding

Наука. Инновации. Технологии, 2022
The paper discusses possibilities for use of message authentication signatures schemes based on error-correcting coding which may be candidates for use in post-quantum cryptography.
Aleksandr Aleksandrovich Kuznetsov, Igor Ivanovich Svatovskiy, Aleksey Vladimirovich Shevtsov   +2 more
doaj  

Discovery of a Potent Fluorescence Polarization Probe for Identifying USP1 Allosteric Inhibitors

Advanced Science, EarlyView.
This study presents the first ubiquitin‐specific protease 1 (USP1) allosteric fluoroprobe and fluorescence polarization assay, enabling the differentiation of allosteric and catalytic site inhibitors. Further, a novel class of tetrahydroisoquinoline‐based USP1 inhibitors is designed, with compound 14a (USP1 IC50 = 29.9 nM) showing strong selectivity ...
Jiawei Cheng, Peipei Wang, Pengfei Wang, Jiamin Wang, Baiyang Li, Daqing Fang, Jian He, Xiaobei Hu, Weijuan Kan, Yubo Zhou, Chunpu Li, Jia Li, Hong Liu   +12 more
wiley   +1 more source