Results 41 to 50 of about 125,940 (271)

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

open access: yesAdvanced 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   +17 more
wiley   +1 more source

An Algebraic Framework for Compositional Program Analysis [PDF]

open access: yes, 2013
The purpose of a program analysis is to compute an abstract meaning for a program which approximates its dynamic behaviour. A compositional program analysis accomplishes this task with a divide-and-conquer strategy: the meaning of a program is computed ...
Farzan, Azadeh, Kincaid, Zachary
core  

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

open access: yesAdvanced 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   +13 more
wiley   +1 more source

A Formal Model of Metaphor in Frame Semantics [PDF]

open access: yes, 2015
A formal model of metaphor is introduced. It models metaphor, first, as an interaction of “frames” according to the frame semantics, and then, as a wave function in Hilbert space.
Penchev, Vasil
core  

Truth theories, competence, and semantic computation

open access: yes, 2012
The paper discusses the question whether T-theories explain how it is possible to understand new sentences, or learn an infinite language, as Davidson claimed. I argue against some commentators that for explanatory power we need not require that T-theories are implicitly known or mirror cognitive structures.
openaire   +3 more sources

Dynamic Neural Deactivation Bridges Direct and Competitive Inhibition Processes

open access: yesAdvanced 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   +6 more
wiley   +1 more source

Controllable Generation of Pathogen‐Specific Antimicrobial Peptides Through Knowledge‐Aware Prompt Diffusion Model

open access: yesAdvanced Science, EarlyView.
KPPepGen is a knowledge‐aware prompt diffusion model for the controllable generation of pathogen‐specific AMPs. It outperforms existing methods and is capable of simultaneously generating peptides for distinct pathogens, demonstrating superior performance with favorable properties and docking efficacy.
Yongkang Wang   +4 more
wiley   +1 more source

Abstract State Machines 1988-1998: Commented ASM Bibliography [PDF]

open access: yes, 1998
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu ...
Boerger, Egon, Huggins, James K.
core   +3 more sources

Automatic Probabilistic Program Verification through Random Variable Abstraction

open access: yes, 2010
The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs.
Barsotti, Damián, Wolovick, Nicolás
core   +2 more sources

Euclid: Early Release Observations -- Dwarf galaxies in the Perseus galaxy cluster [PDF]

open access: yesAstronomy & Astrophysics
We make use of the unprecedented depth, spatial resolution, and field of view of the Early Release Observations (EROs) of the Perseus galaxy cluster to detect and characterise the dwarf galaxy population in this massive system.
F. Marleau   +499 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy