Results 161 to 170 of about 1,174,960 (285)

Olympiad-level formal mathematical reasoning with reinforcement learning. [PDF]

Nature
Hubert T, Mehta R, Sartran L, Horváth MZ, Žužić G, Wieser E, Huang A, Schrittwieser J, Schroecker Y, Masoom H, Bertolli O, Zahavy T, Mandhane A, Yung J, Beloshapka I, Ibarz B, Veeriah V, Yu L, Nash O, Lezeau P, Mercuri S, Sönne C, Mehta B, Davies A, Zheng D, Pedregosa F, Li Y, von Glehn I, Rowland M, Albanie S, Velingker A, Schmitt S, Lockhart E, Hughes E, Michalewski H, Sonnerat N, Hassabis D, Kohli P, Silver D.   +38 more
europepmc   +1 more source

Some methods of formal proofs. III.

Notre Dame Journal of Formal Logic, 1971
openaire   +4 more sources

Physical Implementation of Optical Material‐Based Neural Networks Processing Enabled by Long‐Persistent Luminescence

Advanced Science, EarlyView.
This study reports on the physical implementation of optical material‐based neural processing using long‐persistent luminescence as memory‐retention and nonlinear optical material. The system performs optical‐domain preprocessing with opto‐electronic interfaces for stimulus delivery and readout, enabling real‐time demonstrations including Pong gameplay
Sangwon Wi, Yunsang Lee
wiley   +1 more source

Structural Characterization of Cardiac Free-Running Purkinje Fibers Using Inhomogeneous Magnetization Transfer (ihMT): A Proof of Concept MRI-Histology Approach. [PDF]

NMR Biomed
Forodighasemabadi A, Kornaropoulos EN, Constantin M, Soustelle L, Vaillant F, Leury J, Walton R, Bernus O, Quesson B, Girard OM, Duhamel G, Magat J.   +11 more
europepmc   +1 more source

Sono‐Mechanogenetics: Linking Ultrasound Physics With Cellular Mechanobiology

Advanced Science, EarlyView.
Sono‐mechanogenetics links ultrasound physics with cellular mechanotransduction to enable noninvasive control of engineered biological systems. Acoustic forces generate distinct deformation modes that activate intracellular signaling pathways, which can be coupled to synthetic gene circuits to regulate diverse cellular functions, including gene ...
Yunjia Qu, Fan Wei, Chi Woo Yoon, Qifa Zhou, Yingxiao Wang   +4 more
wiley   +1 more source

Modeling of fractional order DPG model insight global warming and pollution effect on desertification for control mechanism. [PDF]

Sci Rep
Farman M, Jamil K, Jamil S, Padder A, Ahmad H, Dehingia K, Bayram M.   +6 more
europepmc   +1 more source

A Dual‐Functional Biohybrid Nanorobot to Synergistically Eradicate Biofilm and Degrade Antibiotic Resistance Genes

Advanced Science, EarlyView.
A biohybrid nanorobot integrating lytic bacteriophage N4 with Pd nanozymes is developed for targeted eradication of multidrug‐resistant E. coli biofilms. Synergistic bacterial lysis and ROS‐mediated oxidation enable simultaneous biofilm removal and antibiotic resistance genes degradation, maintaining high efficacy in complex wastewater environments ...
Junzheng Zhang, Tong Dou, Luokai Wang, Jingxian Yang, Wenrui Wang, Shuaitian Guo, Xiangyu Li, Xuefang Huang, Yunlei Xianyu, Dongsheng Wang   +9 more
wiley   +1 more source

A conjecture of Warnaar-Zudilin from deformations of lie superalgebras. [PDF]

Res Math Sci
Creutzig T, Garner N.
europepmc   +1 more source

Bionic Solar‐Powered Heavy Metal Trap for Eco‐Friendly Sludge Drying and Simultaneous Electricity Generation

Advanced Science, EarlyView.
Herein, we propose a solar‐powered heavy metal trap (SPHT) for sludge disposal. The indoor experiments demonstrated that the sludge water content decreased from 90 % to 31 %, coupled with a decrease in heavy metal content to 6 % at most. Furthermore, the designed SPHT generated an initial potential of 0.10 V, and monitoring this hydrovoltaic potential ...
Yanlin Li, Jinglan Wang, Hailin Gu, Zhen Yu, Fawei Lin, Cunku Dong, Ningning Cao, Miao Yu   +7 more
wiley   +1 more source

Analysis of delay differential equations with dual caputo-type fractional derivatives using laplace transform methods. [PDF]

Sci Rep
Boumaaza M, Boutiara A, Djidel O, Guefaifia R, Boulaaras S.   +4 more
europepmc   +1 more source