Results 111 to 120 of about 23,485 (319)

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

A quantitative security analysis of S-boxes in the NIST lightweight cryptography finalists

Discover Computing
Lightweight cryptography was primarily inspired by the design criteria of symmetric cryptography. It plays a vital role in ensuring the security, privacy, and reliability of microelectronic devices without compromising the overall functionality and ...
Mahnoor Naseer, Sundas Tariq, Naveed Riaz, Naveed Ahmed, Shah Fahd, Mureed Hussain, Sajid Ali Khan   +6 more
doaj   +1 more source

Lightweight Elliptic Curve Cryptography Accelerator Over 25519 Curves

IEEE Access
This paper presents a lightweight hardware accelerator optimized for elliptic curve cryptography (ECC), supporting three standardized curves over the prime field GF( $2^{255}-19$ ): Weierstrass, Montgomery, and Twisted Edwards.
Piljoo Choi, Dong Kyue Kim
doaj   +1 more source

Generating Dynamic Structures Through Physics‐Based Sampling of Predicted Inter‐Residue Geometries

Advanced Science, EarlyView.
While static structure prediction has been revolutionized, modeling protein dynamics remains elusive. trRosettaX2‐Dynamics is presented to address this challenge. This framework leverages a Transformer‐based network to predict inter‐residue geometric constraints, guiding conformation generation via physics‐based iterative sampling. The resulting method
Chenxiao Xiang, Wenkai Wang, Zhenling Peng, Jianyi Yang   +3 more
wiley   +1 more source

AI‐Based D‐Amino Acid Substitution for Optimizing Antimicrobial Peptides to Treat Multidrug‐Resistant Bacterial Infection

Advanced Science, EarlyView.
This study constructed the first D‐amino acid antimicrobial peptide dataset and developed an AI model for efficient screening of substitution sites, with 80% of candidate peptides showing enhanced activity. The lead peptide dR2‐1 demonstrated potent antimicrobial activity in vitro and in vivo, high stability, and low toxicity.
Yinuo Zhao, Qingzhou Kong, Haifan Gong, Lixiang Li, Jialu Fu, Boyao Wan, Peizhu Wang, Xiaojuan Li, Yue Wang, Jinghui Zhang, Yanbo Yu, Xiaoyun Yang, Xiuli Zuo, Haina Wang, Yanqing Li   +14 more
wiley   +1 more source

High‐Conductivity Electrolytes Screened Using Fragment‐ and Composition‐Aware Deep Learning

Advanced Science, EarlyView.
We present a new deep learning framework that hierarchically links molecular and functional unit attributions to predict electrolyte conductivity. By integrating molecular composition, ratios, and physicochemical descriptors, it achieves accurate, interpretable predictions and large‐scale virtual screening, offering chemically meaningful insights for ...
Xiangwen Wang, Muyang Chen, Gengyi Bao, Yan Lai, Jinghe Cao, Xinhua Liu, Rui Tan   +6 more
wiley   +1 more source

Session Initiation Protocol Attacks and Challenges

, 2012
In recent years, Session Initiation Protocol (SIP) has become widely used in current internet protocols. It is a text-based protocol much like Hyper Text Transport Protocol (HTTP) and Simple Mail Transport Protocol (SMTP).
Keshavarz, Hassan, Noor, Rafidah Md, Sattari, Mohammad Reza Jabbarpour   +2 more
core  

How AI Shapes the Future Landscape of Sustainable Building Design With Climate Change Challenges?

Advanced Science, EarlyView.
This review examines how artificial intelligence reshapes sustainable building design faced with climate change challenges. The authors synthesize existing studies to demonstrate AI's transformative potential across design lifecycle phases from climate‐aware form generation to performance optimization.
Pengyuan Shen, Xiaoni Gao, Shuai Lu, Yi Zhang, Xing Zheng, Matthaios Santamouris   +5 more
wiley   +1 more source

Conformal Reconfigurable Intelligent Surfaces: A Cylindrical Geometry Perspective

Advanced Electronic Materials, EarlyView.
Cylindrical reconfigurable intelligent surfaces are explored for low‐complexity beam steering using one‐bit meta‐atoms. A multi‐level modeling approach, including optimization‐based synthesis, demonstrates that even minimal hardware can support directive scattering.
Filippo Pepe, Ivan Iudice, Giuseppe Castaldi, Marco Di Renzo, Vincenzo Galdi   +4 more
wiley   +1 more source

Constructing S-boxes for Lightweight Cryptography with Feistel Structure [PDF]

, 2014
Yongqiang Li, Ming‐Sheng Wang
openalex   +1 more source