Results 41 to 50 of about 225,085 (221)
Directing the Mobility of Guest Molecules in Nanoporous Materials by Linearly Polarized Light
Advanced Science, EarlyView.The polarization of light is introduced as a further parameter to dynamically and reversibly control the properties of a photoresponsive nanoporous material. It was used to control the mobility of the guest molecules in the pores of a metal–organic framework.
Taher Al Najjar +11 more
wiley +1 more source
Predicate Abstraction with Indexed Predicates [PDF]
, 2004 Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.
Bryant, Randal E., Lahiri, Shuvendu K.
core
Advanced Science, EarlyView.Genetic and pharmacological inhibition of SLC11A1 functioning as an H+/Fe2+ antiporter–mediated lysosomal iron accumulation in microglia promotes lysosomal lumen acidification, increases CTSD expression, enhances lysosomal myelin debris uptake and degradation, and promotes repair following white matter stroke. ABSTRACT White matter stroke (WMS) results
Lingling Qiu +11 more
wiley +1 more source
Hiding variables when decomposing specifications into GR(1) contracts [PDF]
, 2017 We propose a method for eliminating variables from component specifications during the decomposition of GR(1) properties into contracts. The variables that can be eliminated are identified by parameterizing the communication architecture to investigate ...
Filippidis, Ioannis, Murray, Richard M.
core
"Rewiring" Filterbanks for Local Fourier Analysis: Theory and Practice
, 2009 This article describes a series of new results outlining equivalences between certain "rewirings" of filterbank system block diagrams, and the corresponding actions of convolution, modulation, and downsampling operators.
Hirakawa, Keigo, Wolfe, Patrick J.
core +1 more source
Novel Antifungal Scaffold Targeting Tubulin Overcomes Sclerotinia Sclerotiorum Resistance
Advanced Science, EarlyView.Addressing pesticide resistance, novel chromone‐acylhydrazone hybrids targeting fungal tubulin are synthesized. Compound G24 potently inhibited S. sclerotiorum (EC50 = 0.21µg mL−1) and demonstrated enhanced field performance via microencapsulation, offering a sustainable strategy against resistance and for global food security.
Lihui Shao +5 more
wiley +1 more source
Learned Conformational Space and Pharmacophore Into Molecular Foundational Model
Advanced Science, EarlyView.The Ouroboros model introduces two orthogonal modules within a unified framework that independently learn molecular representations and generate chemical structures. This design enables flexible optimization strategies for each module and faithful structure reconstruction without prompts or noise.
Lin Wang +8 more
wiley +1 more source
AutoBayes: A System for Generating Data Analysis Programs from Statistical Models
, 2003 Data analysis is an important scientific task which is required whenever information needs to be extracted from raw data. Statistical approaches to data analysis, which use methods from probability theory and numerical analysis, are well-founded but ...
Fischer, Bernd, Schumann, Johann
core +1 more source
Advanced Science, EarlyView.This study reports a novel targeted protein degradation strategy termed “HSP70‐PROTAC” that recruits Hsc70 complex to a target protein for inducing degradation. Among them, GDAz‐3 exhibits effective GPX4 degradation activity via UPS/CMA processes, triggering ferroptosis‐driven anticancer activity in vitro and in vivo.
Jinyun Dong +15 more
wiley +1 more source
Mapping Charge Interactions in Intrinsically Disordered Proteins
Advanced Science, EarlyView.This study presents analytical models to predict intrachain distances in intrinsically disordered proteins (IDPs), accounting for charge patterning, salt concentration, and electrostatic effects. Validated against single‐molecule FRET data, a minimal‐parameter polymer model is identified that captures key interactions and chain dimensions. These models
Michael Phillips +14 more
wiley +1 more source