Results 91 to 100 of about 63,855 (326)

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

Ancient Chinese Word Segmentation and Part-of-Speech Tagging Using Distant Supervision [PDF]

, 2023
Shuo Feng, Piji Li
openalex   +1 more source

Gut Lactate Boosts Ruminococcus via Histone Lactylation to Mediate Time‐Restricted Feeding Protection in Crohn's Disease

Advanced Science, EarlyView.
TRF enriches Ruminococcus, a bacterial genus producing SCFAs, and activates the epithelial HIF‐1α signaling pathway. This mechanism protects the colonic mucosa from inflammatory insults in colitis models. Mechanistically, gut lactate production during starvation and refeeding mediates H4K12la, which increases SLC9A3 expression and creates an acidic gut
Linwen Huang, Huishi Tan, Senhui Weng, Yuntao Liu, Lingxu Song, Shaoyu Cheng, Zelong Lin, Jiawei Chen, Fei Tan, Jun Wang, Jinke Huang, Linkun Cai, Jiwei Chai, Cailing Zhong, Yanqiang Shi, Wendi Zhang, Haiyan Zhang, Chongyang Huang   +17 more
wiley   +1 more source

Developing a Part-Of-Speech tagger for te reo Māori [PDF]

, 2022
Aoife Finn, Peter-Lucas Jones, Keoni Mahelona, Suzanne Duncan, G. Leoni   +4 more
openalex   +1 more source

Neural Fields for Highly Accelerated 2D Cine Phase Contrast MRI

Advanced Science, EarlyView.
ABSTRACT 2D cine phase contrast (CPC) MRI provides quantitative information on blood velocity and flow within the human vasculature. However, data acquisition is time‐consuming, motivating the reconstruction of the velocity field from undersampled measurements to reduce scan times. In this work, neural fields are proposed as a continuous spatiotemporal
Pablo Arratia, Martin J. Graves, Mary McLean, Carolin Pirkl, Carola‐Bibiane Schönlieb, Timo Schirmer, Florian Wiesinger, Matthias J. Ehrhardt   +7 more
wiley   +1 more source

Design of Safe and Efficient Adenine Base Editors via Protein Language Model Screening for Osteoarthritis Treatment

Advanced Science, EarlyView.
ABSTRACT Base editors enable precise genome modification and have emerged as a promising therapeutic approach for correcting diseases caused by single‐nucleotide variants. While the current efficient version of adenine base editors (ABEs), such as ABE8e, exhibits exceptional efficiency for A‐to‐G conversions, their clinical translation is hindered by ...
Jiawei Yao, Dalin Chen, Ziyi Zhang, Jingxuan Ren, Chengcheng Zhao, Shengfang Wang, Mengyu Shang, Dawei Jiang, Yinuo Li, Su'an Tang, Kai Li, Xiaohui Zhang, Xiaogang Wang   +12 more
wiley   +1 more source

Stagger: an Open-Source Part of Speech Tagger for Swedish

Northern European Journal of Language Technology, 2013
This work presents Stagger, a new open-source part of speech tagger for Swedish based on the Averaged Perceptron. By using the SALDO morphological lexicon and semi-supervised learning in the form of Collobert andWeston embeddings, it reaches an accuracy
Robert Östling
doaj   +1 more source

External Lexical Information for Multilingual Part-of-Speech Tagging [PDF]

, 2016
Morphosyntactic lexicons and word vector representations have both proven useful for improving the accuracy of statistical part-of-speech taggers. Here we compare the performances of four systems on datasets covering 16 languages, two of these systems ...
Sagot, Benoît
core   +4 more sources

Part-of-Speech (POS) Tagging for Standard Brunei Malay: A Probabilistic and Neural-Based Approach

, 2023
Izzati Mohaimin, Rosyzie Anna Awg Haji Mohd Apong, Ashrol Rahimy Damit   +2 more
openalex   +1 more source

Decoding Naturalistic Episodic Memory with Artificial Intelligence and Brain‐Machine Interface

Advanced Science, EarlyView.
Episodic memory weaves together what, where, and when of experience into a personal narrative. Cutting‐edge AI models may decode this intricate process in real‐life settings, revealing how neural activity encodes naturalistic memories. By merging AI with brain–machine interfaces, researchers are edging closer to mapping and even engineering memory ...
Dong Song
wiley   +1 more source