Results 201 to 210 of about 45,674 (282)

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

BanglaVerb: A sentence-level dataset for transitivity classification in Bangla NLP. [PDF]

Data Brief
Koli ZM, Alam MJ, Sultana Z, Khan AA.
europepmc   +1 more source

Solid Harmonic Wavelet Bispectrum for Image Analysis

Advanced Science, EarlyView.
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown, Mathilda Avirett‐Mackenzie, Carolin Villforth, Georgios Exarchakis   +3 more
wiley   +1 more source

Persian text readability assessment with hierarchical transformer-based classification models. [PDF]

Sci Rep
Ravanbakhsh S, Varnamkhasti MM.
europepmc   +1 more source

Long‐Tea‐CLIP: An Expert‐Level Multimodal AI Framework for Fine‐Grained Green Tea Grading Across Five Sensory Dimensions

Advanced Science, EarlyView.
Long‐Tea‐CLIP (Contrastive Language‐Image Pre‐training) presents a multimodal AI framework that integrates visual, metabolomic, and sensory knowledge to grade green tea across appearance, soup color, aroma, taste, and infused leaf. By combining expert‐guided modeling with CLIP‐supervised learning, the system delivers fine‐grained quality evaluation and
Yanqun Xu, Zhengfang Xue, Qing Luo, Xu Liu, Yongquan Xu, Jing Huang, Xingcai Zhang, Xinyuan Zhang, Zhonghua Liu, Zisheng Luo   +9 more
wiley   +1 more source

A curated crowdsourced dataset of Luganda and Swahili speech for text-to-speech synthesis. [PDF]

Data Brief
Katumba A, Kagumire S, Nakatumba-Nabende J, Quinn J, Murindanyi S.   +4 more
europepmc   +1 more source

Autoimmune Encephalitis in Acute Care—Pathology, Diagnosis, and Management

Advanced Science, EarlyView.
ABSTRACT Autoimmune encephalitis (AE) is characterized by immune‐mediated inflammation of the brain parenchyma, presenting with various neurological syndromes, including but not limited to seizures, altered consciousness, neuropsychiatric symptoms, and movement disorders.
Suneesh Thilak, David Okoh, William Scotton, Shanika Samarasekera, Vikram Patil, Suresh Renukappa, Andrew Macduff, Subashini Suresh, Rajeev Krishnadas, Tonny Veenith   +9 more
wiley   +1 more source

Cross-lingual sparse-MoE distillation for efficient low-resource assamese-english and bodo-english translation. [PDF]

Sci Rep
Nath B, Gulzar Y.
europepmc   +1 more source

Functional Mapping of Neurodevelopmental Disease Pathways to Key Neurodevelopmental Processes Represented in the Developmental Neurotoxicity In Vitro Testing Battery

Advanced Science, EarlyView.
Human‐relevant methods are essential for modern chemical safety assessment. This study helps define the capabilities and boundaries of an in vitro testing battery for developmental neurotoxicity by exploring its biological applicability domain. By linking neurodevelopmental disease‐related pathways to key neurodevelopmental processes, the work enhances
Eliska Kuchovska, Kristina Bartmann, Georgea Raad, Mats Schade, Luiz Ladeira, Arif Dönmez, Jördis Klose, Nicolai Görts, Denis Polozij, Lynn‐Christin Saborowski, Farina Bendt, Bernard Staumont, Liesbet Geris, Katharina Koch, Ellen Fritsche   +14 more
wiley   +1 more source

Learnable Diffusion Framework for Mouse V1 Neural Decoding

Advanced Science, EarlyView.
We introduce Sensorium‐Viz, a diffusion‐based framework for reconstructing high‐fidelity visual stimuli from mouse primary visual cortex activity. By integrating a novel spatial embedding module with a Diffusion Transformer (DiT) and a synthetic‐response augmentation strategy, our model outperforms state‐of‐the‐art fMRI‐based baselines, enabling robust
Kaiwen Deng, Peter S. Schwendeman, Yuanfang Guan   +2 more
wiley   +1 more source