Results 71 to 80 of about 37,011 (230)

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

Chapter 7 Linear Type Theory

, 2007
itives j A B j !A Exponentials We now reconsider the quanti ers, 8x: A and 9x: A. In the rst-order linear logic we developed, the quanti ers range over a single (unspeci ed) domain.
Linear Type Theory, J A (a J A
core  

An Integrated NLP‐ML Framework for Property Prediction and Design of Steels

Advanced Science, EarlyView.
This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju, Adithya Umanath Rai, Jose Thomson, Marzie Ghorbani, Shujing Zhao, Nick Birbilis   +5 more
wiley   +1 more source

The Foundational Turn: Higher-Order Logic and Type Theory

The early 20th century witnessed a profound "foundational turn" in mathematics, driven by paradoxes in set theory and a desire for greater rigor. This intellectual movement sought to establish mathematics on a secure, logical footing, leading to the development of sophisticated formal systems.
openaire   +1 more source

Dose‐Dependent Reprogramming of Chromatin Accessibility by SOX4 Drives the Transcriptional Response to Iron Overload

Advanced Science, EarlyView.
This study demonstrates that iron overload triggers widespread chromatin compaction and transcriptional repression in human granulosa cells, recapitulating features of endometriosis. The epigenetic reprogramming is orchestrated by a TFEB‐SOX4‐SWI/SNF axis, with SOX4 acting as a central, dosage‐sensitive regulator.
Feifei Li, Yaoqiu Wu, Guangyu Yang, Jingyi Lai, Xiaoyue Sun, Liyan Wang, Xiaoli Li, Jing Zhang, Qingxue Zhang, Hui Chen, Haiyan Lin, Bingxiang Xu, Junfeng Zhang, Hailong Wang, Anming Meng, Chunwei Cao   +15 more
wiley   +1 more source

Haplotype‐Resolved 3D Genomic Landscapes and Their Impacts on Agronomic Traits in Grapevine

Advanced Science, EarlyView.
This study presents a haplotype‐resolved 3D genomic landscape of grapevine, revealing that structural variations (SVs) are closely associated with phased topologically associating domain (TAD) boundary transitions. These rearrangements coordinate with allele‐specific DNA methylation (ASM) and allele‐biased gene expression (ASE) to shape key agronomic ...
Yanling Peng, Lianzhu Zhou, Xinyue Fang, Ruoyan Zhao, Qi Xu, Mengrui Du, Ting Hou, Guizhou Huang, Yingchun Zhang, Sheng Yan, Ruo Yang, Zhongxin Jin, Yang Dong, Yanshuai Xu, Hua Xiao, Xiaodong Xu, Yi Liao, Xiping Wang, Yongfeng Zhou   +18 more
wiley   +1 more source

ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals

Advanced Science, EarlyView.
The environmental persistence of per‐ and polyfluoroalkyl substances (PFAS) necessitates efficient remediation strategies. This study presents physics‐informed machine learning workflows that accurately predict critical degradation properties, including bond dissociation energies and polarizability.
Pranoy Ray, Andrew R. Castillo, Manoj Kolel‐Veetil, Surya R. Kalidindi   +3 more
wiley   +1 more source

Multi‐Omics Insights Into the Mechanisms of Early Muscle Fiber Difference and Transformation Between Lean‐Type and Chinese Indigenous Pigs

Advanced Science, EarlyView.
Multi‐omics analyses uncover breed‐specific cis‐regulatory landscapes and higher‐order chromatin architectural differences that underlie early postnatal muscle fiber divergence in pigs. A super‐enhancer upstream of PPP3CB recruits MEF2C to activate PPP3CB transcription, while the PPP3CB–MEF2C positive feedback loop promotes oxidative muscle fiber ...
Shuailong Zheng, Hainan Wu, Min Liu, Kunpeng Wu, Shuntao Huang, Zulfiqar Ahmed, Lenox Pius, Mengjin Zhu, Dequan Xu   +8 more
wiley   +1 more source

Automated theorem proving in first-order logic modulo: on the difference between type theory and set theory

, 2000
Resolution modulo is a first-order theorem proving method that can be applied both to first-order presentations of simple type theory (also called higher-order logic) and to set theory. When it is applied to some first-order presentations of type theory,
Dowek, Gilles
core   +1 more source

Categories with families and first-order logic with dependent sorts

, 2019
First-order logic with dependent sorts, such as Makkai's first-order logic with dependent sorts (FOLDS), or Aczel's and Belo's dependently typed (intuitionistic) first-order logic (DFOL), may be regarded as logic enriched dependent type theories ...
Palmgren, Erik
core   +1 more source