Results 71 to 80 of about 41,558 (198)

Cut elimination theorem for second order arithmetic with the $\Pi_{1}^{1}$ -comprehension axiom and the $\omega$ -rule [PDF]

, 1970
Mariko Yasugi
openalex   +1 more source

Optical Neuromorphic Technology Catalyzes the Next‐Generation Mobile Communication Technology

Advanced Intelligent Systems, EarlyView.
Advancements in optical computing could revolutionize next‐generation wireless communication. The review highlights the role of photonic integrated circuits in implementing neural network operations and discusses their benefits, such as high computational density.
Xiaoxiong Song, Ziling Fu, Jiajia Wang, Dapeng Wang, Nan Li, Zhenping Hu, Xingyuan Xu   +6 more
wiley   +1 more source

Harnessing Nonidealities in Analog In‐Memory Computing Circuits: A Physical Modeling Approach for Neuromorphic Systems

Advanced Intelligent Systems, EarlyView.
This work harnesses nonidealities in analog in‐memory computing (IMC) by training physical neural networks modeled with ordinary differential equations. A differentiable spike‐time discretization accelerates training by 20× and reduces memory usage by 100×, enabling large IMC‐equivalent models to learn the CIFAR‐10 dataset.
Yusuke Sakemi, Yuji Okamoto, Takashi Morie, Sou Nobukawa, Takeo Hosomi, Kazuyuki Aihara   +5 more
wiley   +1 more source

Introducing Dimensional Analysis on Soft Inflatable Fabric Actuators

Advanced Intelligent Systems, EarlyView.
This study demonstrates the effectiveness of dimensional analysis in generalizing the performance of soft inflatable fabric actuators, addressing scalability and universality challenges. The proposed framework provides global performance maps generated using high‐fidelity finite element method models validated with experiments.
Odysseas Simatos, Panagiotis Polygerinos
wiley   +1 more source

A Robotic Urinary Bladder Enabling Volume Monitoring and Assisted Micturition

Advanced Intelligent Systems, EarlyView.
An implantable robotic bladder is presented that can store urine in an origami‐designed enclosure. An inductance sensing principle can monitor and transfer the urine volume in real‐time. It can actively expand based on the amount of urine collected from kidneys and apply on‐demand mechanical compression to assist urination.
Izadyar Tamadon, Michele Ibrahimi, Federica Semproni, Veronica Iacovacci, Arianna Menciassi   +4 more
wiley   +1 more source

Excited States of Coherent Harmonic Qubits With Long‐Range Photon Coupling and Dissipation

Annalen der Physik, EarlyView.
When N qubits are strongly coupled with photons in a cavity, they can condense into a ground state with negative energy gap. Some new information is found on coherent transitions among excited states of this system, by simulating them numerically for small N.
L. Gamberale, G. Modanese
wiley   +1 more source

Critical System Size for the Recovery of Topological Zero Modes in Finite Non‐Hermitian Systems

Annalen der Physik, EarlyView.
A generalized non‐Hermitian SSH model on a topolectrical circuit reveals size‐dependent topological zero modes. Non‐Hermiticity enables exact zero‐admittance edge states at a critical system size, tunable via asymmetric coupling and gain/loss. Large impedance peaks signal these modes, offering insights for designing robust topological devices with ...
S M Rafi‐Ul‐Islam, Zhuo Bin Siu, Md. Saddam Hossain Razo, Mansoor B.A. Jalil   +3 more
wiley   +1 more source

Quantitative Analysis of Fluorescent Sensor Arrays

Analysis &Sensing, EarlyView.
Fluorescent sensor arrays have great potential for the quantification of analytes in complex systems. Herein, statistical multivariate techniques and deep learning models to provide quantitative information from such arrays are reviewed. Fluorescent sensor arrays address the limitations of a single sensor by leveraging multiple sensing elements to ...
Karandeep Grover, Muhammad Tahir Waseem, Haobo Guo, Elizabeth J. New   +3 more
wiley   +1 more source

A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization

, 2015
We prove the syntactic soundness of classical tableaux with free variables and on-the-fly Skolemization. Soundness proofs are usually built from semantic arguments, and this is to our knowledge, the first proof that appeals to syntactic means.
Bonichon, Richard, Hermant, Olivier
core   +2 more sources

Steerable High‐Resolution Ultrasound Focusing via Phase‐Array‐Activated Acoustic Meta‐Lenses

Advanced Physics Research, EarlyView.
Conventional phased arrays face a trade‐off between performance and complexity. Here, a unique approach is proposed by decoupling the functions into two steps. In step 1, a sparse phased array generates a steerable plane wave with little distortion. In step 2, the steerable plane wave is reshaped into high‐resolution acoustic focusing or holographic ...
Xin‐Yu Cui, Xiu‐Zheng Liu, Peng Wu, Jie Yang, Zu‐Biao Zhang, Yu‐Gui Peng, Shi‐Chun Bao, Xue‐Feng Zhu   +7 more
wiley   +1 more source