Results 151 to 160 of about 1,426,154 (240)

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

Genetic Diagnosis and Discovery Enabled by Large Language Models

Advanced Science, EarlyView.
We demonstrate that large language models (LLMs) can facilitate genetic diagnosis and discovery. LLMs were used to solve four types of genetic problems of sequentially increased complexity. An LLM‐based pipeline could analyze genetic variants in the genomic sequences of human hearing loss or rare genetic disease patients and assist in identifying ...
Tao Tu, Khaled Saab, Weida Liu, Zhouqing Fang, Zhuanfen Cheng, Svetolik Spasic, Maja Djurisic, Hiroaki Mohri, Wenlong Ren, Anil Palepu, Juraj Gottweis, Alan Karthikesalingam, Kavita Kulkarni, Annalisa Pawlosky, Devon Bonner, Elijah Kravets, Shruti Marwaha, Hector R. Mendez, Matthew T. Wheeler, Jonathan A. Bernstein, Undiagnosed Diseases Network, Cheng‐Yu Tsai, Chen‐Chi Wu, Konstantina M. Stankovic, Vivek Natarajan, Gary Peltz   +25 more
wiley   +1 more source

Pan‐3D Genome Analysis Reveals the Roles of Structural Variation in Chicken Chromatin Architectures, Domestication and Production Traits

Advanced Science, EarlyView.
This study firstly presents a comprehensive and high‐resolution pan‐3D genome resource in chicken. Our findings reveal the role of structural variations in 3D genome architectures, and how they influence the domestication process and production traits at the 3D genome level.
Zhen Zhou, Danfeng Cai, Changbin Zhao, Siyu Zhang, Jiahao Li, Zhaofeng Zhang, Shaofen Kong, Xin Yang, Xiaoli Zhou, Farhad Bordbar, Fayi Chen, Yaohuan Xu, Zhe Zhang, Lihong Gu, Zhenhui Li, Xiquan Zhang, Wen Luo, Jingting Shu, Bolin Cai, Qinghua Nie   +19 more
wiley   +1 more source

Ultrafast Multilevel Switching and Synaptic Behavior in a Planar Quantum Topological Memristor

Advanced Science, EarlyView.
Dry‐transferred Bi2Te3 layers enable a planar quantum topological memristor framework. In‐plane topological surface states facilitate ultrafast & low‐power operations. Coexisting analog and digital modes support current‐controlled multilevel states. PQTM exhibits 105 s retention, 103 cycles endurance, and reproducibility across 24 devices.
Mamoon Ur Rashid, Usman Safder, Sobia Ali Khan, Anh‐Tuan Pham, Muhammad Sheeraz, Nguyen‐Hoang Dang, Duy Le Thanh, Zeeshan Tahir, Faisal Maqbool, Koo‐Hyun Chung, Sunglae Cho, Jungdae Kim, Yong Soo Kim   +12 more
wiley   +1 more source

Recent Advances in Laser‐Induced Graphene‐Based Gas Sensors: From Sensing Mechanisms to Biomedical Applications

Advanced Science, EarlyView.
Laser‐induced graphene (LIG) provides a scalable, laser‐direct‐written route to porous graphene architecture with tunable chemistry and defect density. Through heterojunction engineering, catalytic functionalization, and intrinsic self‐heating, LIG achieves highly sensitive and selective detection of NOX, NH3, H2, and humidity, supporting next ...
Md Abu Sayeed Biswas, Ankan Dutta, Shuvendu Das, Abu Musa Abdullah, Wanqing Zhang, Fatema Tuz Zohra, Huanyu Cheng   +6 more
wiley   +1 more source

Smart Energy–Harvesting Coating for Moisture–Droplets Based on Ionic Diodes and Transistor–Like Structures

Advanced Science, EarlyView.
A smart power‐generating coating is developed to harvest energy from both ambient humidity and impacting liquid droplets. The integrated system delivers sustained open‐circuit voltages of 0.85 V from moisture and up to 36 V from droplets. Its scalable coating architecture enables a continuous power supply for low‐power electronic devices.
Liang Ma, Mengdi Liu, Yuxi Yang, Zehao Wang, Lan Shi, Limin Wu   +5 more
wiley   +1 more source

Internet Protocol, Version 6 (IPv6) Specification

Request for Comments, 1995
S. Deering, R. Hinden
semanticscholar   +1 more source

Neural Network‐Based Permittivity Engineering of Magnetic Absorbers for Customizable Microwave Absorption

Advanced Science, EarlyView.
A neural network‐enabled permittivity engineering paradigm is introduced, transcending traditional trial‐and‐error design. By decoupling electromagnetic parameters and screening a high‐throughput feature space, an ultrathin (1.0 mm) magnetic absorber is inversely designed, experimentally achieving a superior and customizable 5.1 GHz bandwidth and ...
Chenxi Liu, Jinzhe Li, Sen Li, Zhongqiu Guo, Yao Chen, Tian Li, Renchi Qin, Jiaxu Sun, Yongxi Lu, Fanbin Meng   +9 more
wiley   +1 more source

XOR‐Logic Phase Coding Programmable Metasurface for Low Power‐Consumption Systems

Advanced Science, EarlyView.
By leveraging XOR logic, the biasing‐network complexity of 2D programmable metasurfaces is reduced from m×n to m+n through efficient row‐column control. This enables versatile functions including beam deflection and beamforming, facilitating applications in wireless communications and beyond.
Ruichao Zhu, Sai Sui, Junyan Dai, Qunyan Zhou, Yuxiang Jia, Yajuan Han, Yuxi Li, Shaojie Wang, Qiang Cheng, Jiafu Wang, Tie Jun Cui   +10 more
wiley   +1 more source

Relationship Between the use of Mobile Applications and Social Functioning in Patients with Schizophrenia. [PDF]

Turk Psikiyatri Derg
Hoşgelen EI, Akdede BB, Alptekin K.
europepmc   +1 more source