Results 11 to 20 of about 50 (50)

Hardware acceleration of number theoretic transform for zk‐SNARK

Engineering Reports, EarlyView., 2023
An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao, Dong Ding, Feng Wang, Pengcheng Hua, Ning Wang, Qin Wu, Zhilei Chai   +6 more
wiley   +1 more source

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

Advanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source

Synchronization‐Dissipation in the Cardiorespiratory System

Advanced Science, EarlyView.
By modeling central nervous coupling and viscoelastic interactions in the cardiorespiratory system we show that synchronization produces a 10% gain in cardiac efficiency in humans. It is surmised that respiratory sinus arrhythmia improves cardiac pumping efficiency by reducing dynamic stress and power dissipation in the pulmonary vasculature.
Joshua R. Border, Alain Nogaret, Andrew Lefevre, Vishal Jain   +3 more
wiley   +1 more source

Metasurface‐Based Multidimensional Light‐Field Manipulation: From Technologies to Applications

Advanced Science, EarlyView.
Multidimensional metasurfaces enable versatile manipulation of multiple optical degrees of freedom, including phase, amplitude, polarization, wavelength, and orbital angular momentum. This review summarizes their fundamental mechanisms, emerging strategies for multidimensional light‐field control, and key applications in optical computing, imaging ...
Heliang Yin, Shuo Sun, Jiahao Zhang, Jianuo Hu, Yubin Qiao, Liang Chen, Jin Li   +6 more
wiley   +1 more source

Recent Advances in Programmable Metasurfaces and Meta‐Devices

Advanced Electronic Materials, EarlyView.
Programmable metasurfaces enable various novel functionalities by dynamically tuning electromagnetic wavefronts. This article provides a comprehensive review of recent advances in microwave and terahertz programmable metasurfaces, covering electrical, thermal, optical, and mechanical control mechanisms.
Linda Shao, Chong He, Nan Wang, Liming Si, Weiren Zhu   +4 more
wiley   +1 more source

Compact Manifolds With Unbounded Nilpotent Fundamental Groups and Positive Ricci Curvature

Communications on Pure and Applied Mathematics, EarlyView.
ABSTRACT It follows from the work of Kapovitch and Wilking that a closed manifold with nonnegative Ricci curvature has a uniformly almost nilpotent fundamental group. Leftover questions and conjectures, have asked if in this context the fundamental group is actually uniformly almost abelian. The main goal of this work is to construct examples (Mk9,gk)$(
Elia Bruè, Aaron Naber, Daniele Semola
wiley   +1 more source

Toward Encrypted OPF Across Transmission and Distribution—Prospects and Open Problems of Encrypted Quadratic Programming

International Journal of Robust and Nonlinear Control, EarlyView.
ABSTRACT The increasing integration of distributed energy resources demands enhanced coordination between transmission system operators (TSOs) and distribution system operators (DSOs) to maintain reliable grid operation. Traditional approaches rely on hierarchical or distributed optimization schemes for power flow management, but these methods either ...
Janis Adamek, Philipp Binfet, Maísa Beraldo Bandeira, Timm Faulwasser, Moritz Schulze Darup   +4 more
wiley   +1 more source

An Innovative Approach to Multi‐Valued Logic

IEEJ Transactions on Electrical and Electronic Engineering, EarlyView.
The current generation of computer systems operates on the principles of binary logic, which encompasses both logical and arithmetic operations. However, silicon technology has reached its peak performance, prompting researchers to explore alternative methods for enhancing computational efficiency. One such method is the adoption of Multi‐Valued Logic (
Ali Mokhtari, Peyman Kabiri
wiley   +1 more source

Intelligent Real‐Time Medical Image Transmission for Healthcare‐IoT via Dual‐Stage Probabilistic Restoration and Lightweight Nonlinear Encryption

CAAI Transactions on Intelligence Technology, EarlyView.
ABSTRACT Telemedicine and healthcare‐IoT require medical image transmission that preserves diagnostic quality and confidentiality under noise, packet loss and cyber threats. Existing methods often separate restoration from security and lack real‐time efficiency.
Mohamed Amine Midoun, Meryem Hamidaoui, Mohamed Zakariya Talhaoui, Abdelkarim Smaili, Djamel Eddine Mekkaoui, Ling‐Ping Cen   +5 more
wiley   +1 more source

Learning lattice parameters from powder X‐ray diffraction data using invariants

Acta Crystallographica Section A, EarlyView.
We introduce a smooth, invariant representation of the reciprocal lattice which avoids the discontinuities of unit‐cell parameterizations, and show it improves machine‐learned lattice parameter prediction from powder X‐ray diffraction data.We present a machine learning (ML) method to determine unit‐cell parameters from powder X‐ray diffraction (XRD ...
Elyssa Hofgard, Kyucheol Min, Nofit Segal, David W. Mittan-Moreau, Aria Mansouri Tehrani, Vanessa Oklejas, Rafael Gómez-Bombarelli, Jigyasa Nigam, Daniel W. Paley, Aaron S. Brewster, Tess Smidt   +10 more
wiley   +1 more source