Results 171 to 180 of about 457,461 (342)

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

Best practices of judicial governance: A scoping review protocol. [PDF]

PLoS One
Chaves LVR, Sousa MM, Costa WPD, Traguetto J, Cardoso FMCB, Matos-Torres M.   +5 more
europepmc   +1 more source

Organ‐Specific and Conserved Regulatory Logic Orchestrates Gene Expression in the Embryonic Mesothelium

Advanced Science, EarlyView.
Integrated multi‐omic profiling maps the gene‐regulatory landscape of the coelomic mesothelium across heart, lung, and pancreas. A cardiac‐restricted regulatory program is uncovered in which TBX20 activates heart mesothelial (epicardial) cis‐regulatory elements, while MAF emerges as a conserved regulator of mesothelial identity.
Quang Minh Dang, Nicola Smart, Andia Nicole Redpath, Joaquim Miguel Vieira   +3 more
wiley   +1 more source

Judicial demands for prostate cancer treatment in Brazil: androgen receptor pathway inhibitors are an urgent public health problem. [PDF]

Einstein (Sao Paulo)
Silveira MAD, Ricomini CO, Silva RCD, Moreira FT, Pedrotti CHS, Teich VD, Barros LHC, Glina S, Korkes F.   +8 more
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

The impact of institutional authority on forensic evidence evaluation by criminal justice professionals. [PDF]

J Forensic Sci
de Roo RHD, Stevens L, de Poot CJ.
europepmc   +1 more source

GloPath: An Entity‐Centric Foundation Model for Glomerular Lesion Assessment and Clinicopathological Insights

Advanced Science, EarlyView.
An entity‐centric foundation model, GloPath, is introduced for comprehensive glomerular lesion assessment from routine renal biopsy images. Trained on over one million glomeruli, the framework enables robust lesion recognition, grading, and cross modality diag nosis, while uncovering large‐scale clinicopathological associations.
Qiming He, Jing Li, Tian Guan, Yifei Ma, Zimo Zhao, Yanxia Wang, Hongjing Chen, Yingming Xu, Shuang Ge, Yexing Zhang, Yizhi Wang, Xinrui Chen, Lianghui Zhu, Yiqing Liu, Qingxia Hou, Shuyan Zhao, Xiaoqin Wang, Lili Ma, Peizhen Hu, Qiang Huang, Zihan Wang, Zhiyuan Shen, Junru Cheng, Siqi Zeng, Jiurun Chen, Zhen Song, Chao He, Zhe Wang, Yonghong He   +28 more
wiley   +1 more source

Dataset for legal question answering system in the Indian judiciary context. [PDF]

Data Brief
K V, Mishra A.
europepmc   +1 more source

Cis‐ and Trans‐Regulatory Factors Independently Shape Phenotypic Heterogeneity of Retinitis Pigmentosa

Advanced Science, EarlyView.
A zebrafish model carrying an identical human RHO S334X allele reveals two independent genetic layers shaping retinitis pigmentosa (RP) severity: a protective 3‐bp cis‐regulatory insertion that attenuates transgene expression, and a dominant trans‐acting modifier that restores a severe phenotype.
Cong Cui, Kotone Nakagawa, Takumi Tateno, Ayaka Dan, Dexin Meng, Yoshihiro Omori, Soma Tomihara, Suzuri Okamoto, Shigeru Sato, Motokazu Tsujikawa   +9 more
wiley   +1 more source

Letter to editor regarding the lightning process. [PDF]

J Family Med Prim Care
Steinkopf NE.
europepmc   +1 more source