Results 141 to 150 of about 1,612,573 (290)

Model checking quantum protocols [PDF]

This thesis describes model checking techniques for protocols arising in quantum information theory and quantum cryptography. We discuss the theory and implementation of a practical model checker, QMC, for quantum protocols. In our framework, we assume
Papanikolaou, Nikolaos K.
core  

Stable Neural Signal Recording Processed by Memristor‐Based Reservoir Computing System

Advanced Intelligent Systems, EarlyView.
This work introduces a memristor‐based reservoir computing (RC) system for real‐time, energy‐efficient processing of neural signals in brain‐machine interface (BMI). Combined with flexible mesh neural probes with tissue‐like flexibility and subcellular‐scale features that enable consistent, long‐term tracking of single‐cell neural activities, the ...
Soohyeon Kim, Yuting Wu, Finn Moore, Mingtao Hu, Xiaoyu Zhang, Sangmin Yoo, Eric Yeu‐Jer Lee, Hao Shen, Yichun He, Jia Liu, Wei D. Lu   +10 more
wiley   +1 more source

Neuromorphic Denoising with Fully Analog Memristive In‐Memory Computing

Advanced Intelligent Systems, EarlyView.
This article borrows the concepts of episodic memory in human brains to experimentally implement a memristor‐based neuromorphic denoising process. A homogeneous memristor processing unit is experimentally demonstrated for both temporal storage and neural network computation, imitating the synapses in the human brain.
Daijing Shi, Teng Zhang, Yuqi Li, Yaoyu Tao, Bonan Yan, Yuchao Yang   +5 more
wiley   +1 more source

Xstainer: A Novel Virtual Staining Tool Powered by Advanced Deep Learning Techniques

Advanced Intelligent Systems, EarlyView.
Xstainer is a deep learning–based virtual staining framework that converts hematoxylin and eosin‐stained whole slide images into multiple histochemical stains, including Masson's trichrome, Periodic acid‐Schiff, Jones methenamine silver, and Toluidine blue.
Fatma Nur Kinali, Derya Demir, Kutsev B. Ozyoruk, Yasin Almalioglu, Emre C. Kose, Drew F. K. Williamson, Gurdeniz Serin, G. Evren Keles, Banu S. Kumbaraci, Ceren Utku, Uguray P. Hacisalihoglu, Ilknur Turkmen, Figen Ozturk, Kayhan Basak, Yavuz Nuri Ertas, Mehmet Turan   +15 more
wiley   +1 more source

Incorporation of Novel Synthetic Glycolipids in Liposomal Nanoparticles Affects Opsonization and In Vivo Clearance

Angewandte Chemie, EarlyView.
We prepared five glycosylated liposomal nanoparticles (G‐LNPs) to investigate the role of glycosylation and protein corona in modulating the in vivo behavior of G‐LNPs. We show that IgG and complement C3 adsorption enhanced liposomal nanoparticle clearance, with IgG promoting subsequent C3 binding.
Yingjie Yu, Xuehan Li, Yu Gao, Shijia Tao, Xiaofei Li, Lemei Zhao, Wenshuai Han, Hao Fan, Ying Qiu, Man Wang, Luying Zhou, Xiaoyan Fang, Wenhua Yang, Haiyang Zhang, Volker Mailänder, Daniel Crespy, Katharina Landfester, Shuai Jiang, Xiangzhao Mao   +18 more
wiley   +2 more sources

An Integrated and Robust Deep Learning Framework for Denoising and Analyzing Single‐Cell Spatial Transcriptomics

Advanced Intelligent Systems, EarlyView.
Single‐cell Spatial Transcriptomics Analysis and Denoising Engine is introduced as a unified deep learning framework that jointly performs denoising, clustering, and gene prioritization in spatial transcriptomics. By integrating linear and nonlinear representations within a dual‐channel architecture, it improves robustness and accuracy, uncovers ...
Yaxuan Cui, Yang Cui, Ruheng Wang, Xin Zeng, Zheyong Zhu, Ding Yi, Ruihua Guo, Tetsuya Sakurai, Kenta Nakai, Xiucai Ye, Leyi Wei, Yong Chen   +11 more
wiley   +1 more source

Incorporation of Organic Counter‐Cations Into Poly(Heptazine Imide) Networks for Promoting Proton‐Coupled Electron Transfer During Photocatalytic H2O2 Evolution

Angewandte Chemie, EarlyView.
Incorporation of N‐based onium ions into the ionic framework of poly(heptazine imide) was obtained via protonation‐deprotonation of PHI frameworks arising from a parent Na‐containing analogue. Particularly, methylammonium moieties, through their small molecular size, hydrogen bonding capabilities and rotational mobility, appear to stabilize ...
Dingqiao Ji, Hikmat Binyaminov, Desiree Leistenschneider, Martin Oschatz, Paolo Giusto, Markus Antonietti, Horațiu Szalad   +6 more
wiley   +2 more sources

Exploiting Ferroelectric and Spintronic Dynamics for Neural Network Computation

Advanced Intelligent Systems, EarlyView.
Ferroelectric and spintronic devices, relying on the control of polarization and magnetization, offer intrinsically fast, durable, energy‐efficient, and low‐latency building blocks for analog in‐memory computing. The hysteretic dynamics of an order parameter are leveraged to provide nonvolatile, multistate memory and nonlinear switching. Brain‐inspired
Dashiell Harrison, Kevin Nadaud, Josquin Harrison, Guillaume F. Nataf, Laura Bégon‐Lours   +4 more
wiley   +1 more source

Synthesis of Cyclopropene‐Modified Fatty Acids Allows Single‐Cell Quantification of Uptake by Immune Cells

Angewandte Chemie, EarlyView.
Cyclopropene fatty acids have been made that allow the study of fatty acid uptake in complex mixtures of immune cells with single cell resolution and combined with metabolic and proteomic analysis so that for the first time nutrient uptake can be correlated to the phenotype of single immune cell.
Luuk Reinalda, Graham A. Heieis, Laura Bogue Edgerton, Kristine Bertheussen, Diana Torres‐García, Marouane el Boujadayni, Kas Steuten, Jeroen M. Punt, Wouter P. F. Driever, Connor Corrigan, Xinyuan Wang, Bart Everts, David Finlay, Mario van der Stelt, Sander I. van Kasteren   +14 more
wiley   +2 more sources

Management of Iron Overload in Infants and Toddlers With Diamond–Blackfan Anemia Syndrome: A French–Italian Study

American Journal of Hematology, EarlyView.
ABSTRACT Diamond–Blackfan Anemia Syndrome (DBAS) is a rare congenital anemia often requiring chronic red blood cell transfusions from infancy. Without appropriate chelation, iron overload develops early and may be severe; however, no data are available on chelation in patients under 3 years of age.
Francesca Torchio, Baptiste Lecalvez, Emanuela Garelli, Coralie Mallebranche, Adriana Carando, Marie‐Pierre Castex, Nathalie Garnier, Marco Zecca, Nathalie Aladjidi, Elisa Bertoni, Arthur Sterin, Maria Licciardello, Anne Sirvent, Antonella Sau, Isabelle Marie, Benedicte Bruno, Lydie M. Da Costa, Franca Fagioli, Paola Quarello, Thierry Leblanc   +19 more
wiley   +1 more source