Results 71 to 80 of about 5,309 (287)

First Class Call Stacks: Exploring Head Reduction [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
Weak-head normalization is inconsistent with functional extensionality in the call-by-name λ-calculus. We explore this problem from a new angle via the conflict between extensionality and effects. Leveraging ideas from work on the λ-calculus with control,
Philip Johnson-Freyd, Paul Downen, Zena M. Ariola   +2 more
doaj   +1 more source

A Human Immuno‐Lung Organoid Model to Study Macrophage‐Mediated Lung Cell Senescence Upon SARS‐CoV‐2 Infection

Advanced Science, EarlyView.
Immuno‐lung organoids are developed and used spatial transcriptomics to uncover how proinflammatory macrophages drive lung cell senescence via the THBS1–(ITGA3+ITGB1) axis in COVID‐19. To ensure broad accessibility, LungSpatialDB is created, an AI‐powered data portal, enabling intuitive exploration of spatial data and biological insights through ...
Yuling Han, Dongliang Leng, Tuo Zhang, Jian Ge, Yinshan Fang, Tiankun Lu, Xue Dong, Manoj S Nair, Neranjan de Silva, Zhaowei Han, Tiancheng Jiao, Yuanhao Huang, Meiqi Zhao, Anjali Saqi, Hanina Hibshoosh, Zihe Meng, Jenny Z Xiang, Chendong Pan, Yanjie Sun, David D. Ho, Todd Evans, Jie Liu, Liuliu Yang, Jianwen Que, Shuibing Chen   +24 more
wiley   +1 more source

Personalized Medication for Chronic Diseases Using Multimodal Data‐Driven Chain‐of‐Decisions

Advanced Science, EarlyView.
A MDD‐CoD is proposed for personalized chronic disease medication. The framework simulates clinical chain‐of‐decisions through three linked deep learning tasks, validated on multi‐center datasets (3 hospitals, 4 diseases), demonstrating enhanced generalization and interpretability in cross‐disease applications.
Xiaoli Chu, Yiheng Ye, Siqiao Tang, Miaoru Han, Guowei Wang, Shuai Lin, Bingzhen Sun, Qingchun Huang, Yan Zhang, Xiaodong Chu, Kun Bao   +10 more
wiley   +1 more source

A Provenance Tracking Model for Data Updates [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
For data-centric systems, provenance tracking is particularly important when the system is open and decentralised, such as the Web of Linked Data. In this paper, a concise but expressive calculus which models data updates is presented.
Gabriel Ciobanu, Ross Horne
doaj   +1 more source

Aberrant Mitochondrial Metabolism in Alzheimer's Disease Links Energy Stress with Ferroptosis

Advanced Science, EarlyView.
Alves et al. reveal how energy loss and oxidative stress, two major features of Alzheimer's disease, are connected. Mitochondria controls the flux of the antioxidant glutathione (GSH), via facilitating both its production and consumption. Energy restriction limits GSH synthesis, conferring vulnerability to cell death by ferroptosis, implicated as a ...
Francesca Alves, Darius Lane, Adam Wahida, Md. Jakaria, Pawel Kalinowski, Adam Southon, Abdel Ali Belaidi, Teresa Samperi‐Esteve, Triet Phu Minh Nguyen, Peng Lei, Marcus Krueger, Stefan Mueller, Marcus Conrad, Puja Agarwal, Sue E Leurgans, Julie Schneider, Ashley I. Bush, Scott Ayton   +17 more
wiley   +1 more source

Meaning and Reference in Programming Languages

Philosophies
This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj   +1 more source

Stepped Frequency Microwave Radiometer Wind-Speed Retrieval Improvements

Remote Sensing, 2019
With the operational deployment of the *SFMR, hurricane reconnaissance and research aircraft provide near real-time observations of the 10 m ocean-surface wind-speed both within and around tropical cyclones.
Joseph W. Sapp, Suleiman O. Alsweiss, Zorana Jelenak, Paul S. Chang, James Carswell   +4 more
doaj   +1 more source

SCRIPT: Predicting Single‐Cell Long‐Range Cis‐Regulation Based on Pretrained Graph Attention Networks

Advanced Science, EarlyView.
SCRIPT is a novel method inferring single‐cell cis‐regulatory relationships (CRRs) from transcriptomic and chromatin accessibility data. SCRIPT incorporates two key innovations: graph causal attention networks supported by empirical CRR evidence, and representation learning enhanced through pretraining on atlas‐scale single‐cell data.
Yu Zhang, Baole Wen, Yifeng Jiao, Yuchen Liu, Xin Guo, Yushuai Wu, Jiyang Li, Limei Han, Yinghui Xu, Xin Gao, Yuan Qi, Yuan Cheng, Ying He, Weidong Tian   +13 more
wiley   +1 more source

Indicators: Syntactic Vision and Semantic Vision: First Part (Indicadores: la Visión Sintáctica y la Visión Semántica: Primera Parte)

Science & Philosophy, 2017
In this essay several aspects of the concept ‘indicator’ are criticized, as well as the technical consequences of those misconceptions. The most relevant among them is the pretence of measuring the validity of an indicator, e. g.
Alberto Marradi
doaj   +1 more source

Dynamic Neural Deactivation Bridges Direct and Competitive Inhibition Processes

Advanced Science, EarlyView.
Dynamic neural deactivation bridges traditionally distinct inhibitory mechanisms—direct inhibition and competition‐induced inhibition—revealing a common neural signature across modalities. Multimodal neuroimaging and behavioral experiments demonstrate a temporal dynamic characterized by progressive frontoparietal activation decay and enhanced sensory ...
Zhenhong He, Yifan Du, Ziqi Fu, Youcun Zheng, Nils Muhlert, Barbara Sahakian, Rebecca Elliott   +6 more
wiley   +1 more source