Aave
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Characterization of expression elements for an AAV delivered antibody in nonhuman primates when co-delivered with PD-L1
Successful AAV-expressed antibody therapy for HIV-1 requires broadly neutralizing antibody (bNAbs) concentrations and reduced immune responses to sustain viral suppression without ART. We have previously demonstrated that co-delivery of AAV-expressed PD-L1 reduces immune responses against HIV-1 bNAbs in rhesus macaques. Here we systematically evaluated six AAV9 transgene cassettes encoding 10-1074 with different promoter/intron combinations (CMV, CMV/R, CBA, CASI, CB7, EF1a) across in vitro...
Co-delivered PD-L1 rescues the protective efficacy mediated by an AAV-expressed HIV-1 bNAb
Adeno-associated virus (AAV)-delivered anti-HIV-1 broadly neutralizing antibodies (bNAbs) could prevent and treat HIV-1 infection but are limited by host immune responses, specifically anti-drug antibodies (ADA). We tested whether PD-L1-mediated immune shielding could improve the consistency of AAV-delivered bNAb expression from muscle tissue in rhesus macaques. AAV9.PD-L1 co-delivery with AAV9.3BNC117 reduced the occurrence of ADA and T cell responses and improved the durability of 3BNC117...
Scalable in vivo cardiac functional genomics with compressed AAV-Perturb-seq reveals a common mitochondrial response to perturbation
Efficient identification of new targets to treat human disease requires a scalable way to link genotype to phenotype directly in the target organ. Pooled CRISPR screening with single-cell RNA sequencing as a readout (Perturb-seq) has emerged as a method for functional genomics but is typically applied in vitro and is limited in scale. Here, we combine in vivo Perturb-seq via adeno-associated virus (AAV)-mediated delivery with a statistical framework allowing for signal deconvolution after...
Decentralized End-to-End Multi-AAV Pursuit Using Predictive Spatio-Temporal Observation via Deep Reinforcement Learning
arXiv:2603.24238v2 Announce Type: replace Abstract: Decentralized cooperative pursuit in cluttered environments is challenging for autonomous aerial swarms, especially under partial and noisy perception. Existing methods often rely on abstracted geometric features or privileged ground-truth states, and therefore sidestep perceptual uncertainty in real-world settings. We propose a decentralized end-to-end multi-agent reinforcement learning (MARL) framework that maps raw LiDAR observations...
Side-by-side Comparison Amplifies Dialect Bias in Language Models
Announce Type: replace Abstract: Language models (LMs) can exhibit biases based on variations in their dialects, even in the absence of a dialect label, a behavior known as covert dialect bias. In this work, we quantify covert dialect bias in online discourse by evaluating how LMs associate stereotypical traits (derived from social psychology research on racial bias) with intent-equivalent tweets in Standard American English (SAE) and African-American Vernacular English (AAVE). While prior...
Split intein vectors permit oversize FLIM-FRET biosensor neuronal expression
Adeno-associated virus (AAV) packaging limits constrain the design, performance, and in vivo application of genetically encoded biosensors. We developed a split intein-mediated reconstitution strategy enabling modular delivery and reassembly of oversized fluorescence lifetime-based biosensors. Using this platform, we engineered an oversized cAMP sensor compatible with one-photon fluorescence lifetime measurements, enabling monitoring of intracellular signaling dynamics in distinct neuronal...
How Stanley Cup finalists were built: Breakdown of...
Roster construction is a year-round process that really comes under the spotlight during the Stanley Cup Final. That's mainly because it provides an opportunity for the rest of the hockey world to see what the two teams that outlasted the other 14 did on their path to reaching the final series. The Carolina Hurricanes and Vegas Golden Knights have reached the 2026 Cup Final by establishing and following certain philosophies.
Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
arXiv:2606.01794v1 Announce Type: new Abstract: We present the first machine-checked correctness proof of the OpenZeppelin reentrancy-guard pattern against a Lean 4 state-machine model of production-deployed Solidity source. All thirteen theorems are machine-checked with zero sorry, zero user-introduced axioms, and an axiom footprint bounded by [propext] (a standard mathlib4 axiom), gated under continuous integration. Smart contract reentrancy has caused over US$500M in documented losses...
Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
Announce Type: replace Abstract: We present the first machine-checked correctness proof of the OpenZeppelin reentrancy-guard pattern against a Lean 4 state-machine model of production-deployed Solidity source. All thirteen theorems are machine-checked with zero sorry, zero user-introduced axioms, and an axiom footprint bounded by [propext] (a standard mathlib4 axiom), gated under continuous integration. Smart contract reentrancy has caused over US$500M in documented losses since 2016, with...
Larkin, Kyrou... Matthews? Ranking NHL trade candi...
The NHL free agent pool is basically a puddle this offseason, as high-profile players chose to remain with their teams on new contracts rather than test the market. If teams want to make dramatic changes to the rosters -- and their fortunes for next season -- then making a high-impact trade might be the only route. Here's a look at the potential 2026 NHL trade market, based on conversations with those around the NHL as well as media reports.