Results 111 to 120 of about 271,594 (275)

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

Mean-field theory of meta-learning [PDF]

Journal of Statistical Mechanics: Theory and Experiment, 2009
23 ...
openaire   +2 more sources

Diversity Patterns of Domestic Herbivore Viruses in China Reveal Transmission Dynamics with Disease Management Implications

Advanced Science, EarlyView.
This study performs pan‐viromic profiling of 14,529 samples from 5,710 domestic herbivores across five Chinese provinces, establishing the DhCN‐Virome (1,085,360 viral metagenomes). It reveals species/sample‐specific viromic signatures and cross‐species transmission dynamics, aiding unified disease control.
Yue Sun, Yong Li, Bagen Temur, Yuanqing Lin, Yuhang Liu, Le Yi, Zheng Sun, Gang Zhang, Jun Li, Yu Guo, Linchuan Li, Jinshan Cai, Wenliang Tian, Gen Meng, Lingling Jiang, Min Fang, Fuying Ding, Xuezhang Zhou, Changchun Tu, Biao He   +19 more
wiley   +1 more source

Multicohort Validation of Gut Microbiome Signatures for Cholangiocarcinoma Diagnosis and Functional Characterization of Bifidobacterium Pseudocatenulatum

Advanced Science, EarlyView.
This study analyzes gut bacteria in cholangiocarcinoma patients, revealing distinct microbial signatures that enable accurate disease detection. Species‐based diagnostic models achieved over 98% accuracy in identifying cholangiocarcinoma and distinguished it from other liver diseases. The research demonstrates that specific beneficial bacteria suppress
Benchen Rao, Jianwen Jiang, Ruiqing Zhang, Dongya Zhang, Chenchen Zhang, Ang Li, Haifeng Lu, Hua Zhang, Lin Zhou, Wenzhi Guo, Peihao Wen, Jianfeng Xue, Jie Pan, Tuerganaili Aji, Zhou Lan, Xianzhi Jiang, Shusen Zheng, Zujiang Yu, Zhigang Ren   +18 more
wiley   +1 more source

4‐Hydroxybenzyl Alcohol Mitigates Hyperlipidemia‐Associated Depression by Inhibiting Neuroinflammation via the NKIRAS2/NF‐κB Pathway

Advanced Science, EarlyView.
4‐HBA upregulates NKIRAS2 levels, inhibiting the activation of the NF‐κB pathway and subsequently reducing the levels of neuroinflammatory markers. This modulation helps restore normal mood and behavior in hyperlipidemic conditions, providing a potential therapeutic strategy for managing hyperlipidemia‐associated depression.
Ying Zhang, Meng Teng, Wenxuan He, Lanzhou Li, Yongfeng Zhang, Shimiao Wang, Chunyue Wang, Di Wang   +7 more
wiley   +1 more source

Cognitive Trajectories from Preclinical Alzheimer's Disease to Dementia

Advanced Science, EarlyView.
A continuous, multi‐domain characterization of cognitive decline across the Alzheimer's disease spectrum identifies when individual cognitive measures become abnormal. Episodic memory declines first, followed by executive function, language, processing speed, and visuospatial abilities, supporting improved clinical interpretation and optimized endpoint
Fredrik Öhman, Lars Lau Raket, Michael Schöll, for the Alzheimer's Disease Neuroimaging Initiative†   +3 more
wiley   +1 more source

A Meta-Learning Approach to One-Step Active Learning

, 2017
We consider the problem of learning when obtaining the training labels is costly, which is usually tackled in the literature using active-learning techniques.
Artieres, Thierry, Contardo, Gabriella, Denoyer, Ludovic   +2 more
core  

Combination Immunotherapy as a Promising Strategy to Overcome Immunotherapy Resistance: From Emergence to Next‐Generation Approaches

Advanced Science, EarlyView.
This review examines emerging combination immunotherapy strategies tailored to distinct tumor microenvironments and highlights next‐generation biomarkers that guide response prediction and treatment personalization. It integrates lessons from unsuccessful trials, addresses toxicity challenges, and outlines approaches for early biomarker discovery and ...
Asmita Pandey, Sudhir Kumar Rai, Li Ma, Lauren Higa, Vedbar Khadka, Hua Yang, Youping Deng   +6 more
wiley   +1 more source

Reusing ML Models in Dynamic Data Environments: Data Similarity-Based Approach for Efficient MLOps

Big Data and Cognitive Computing
The rapid integration of Machine Learning (ML) in organizational practices has driven demand for substantial computational resources, incurring both high economic costs and environmental impact, particularly from energy consumption.
Eduardo Peixoto, Diogo Torres, Davide Carneiro, Bruno Silva, Ruben Marques   +4 more
doaj   +1 more source

3D Large‐Scale Subwavelength‐Resolution Sound Sheet Tomography Based on an Active and Programmable Circular Meta‐Array

Advanced Science, EarlyView.
A programmable 2048‐element circular ultrasound array combined with a compact acoustic lens produces a thin “sound sheet” over a large field of view, and records echoes with wide angular diversity across the ring aperture. Coherence‐enhanced beamforming converts full‐matrix data into high‐contrast tomographic slices, delivering near‐diffraction‐limited
Qiu‐De Zhang, Zi‐Bin Lin, Zhuo Chen, Zhao‐Hui Liu, Jin‐Lian He, Jun‐Jie Song, Long‐Sheng Zeng, Liang Zhou, Ming‐Yue Ding, Yu‐Gui Peng, Ming Yuchi, Xue‐Feng Zhu   +11 more
wiley   +1 more source