Results 81 to 90 of about 128,927 (292)
T Cell Exhaustion in Cancer Immunotherapy: Heterogeneity, Mechanisms, and Therapeutic Opportunities
Advanced Science, EarlyView.T cell exhaustion limits immunotherapy efficacy. This article delineates its progression from stem‐like to terminally exhausted states, governed by persistent antigen, transcription factors, epigenetics, and metabolism. It maps the exhaustion landscape in the TME and proposes integrated reversal strategies, providing a translational roadmap to overcome
Yang Yu +7 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.The inhibitory immune checkpoints HLA‐G and CD47 are expressed on certain tumor types and inhibit immune cells in the tumor microenvironment. DSP216 binds specifically to cancer cells expressing both HLA‐G and CD47, and blocks their inhibitory signaling.
Lisa J. Jacob +12 more
wiley +1 more source
The Design of a Relational Engine [PDF]
, 2006 The key design challenges in the construction of a SAT-based relational engine are described, and novel techniques are proposed to address them. An efficient engine must have a mechanism for specifying partial solutions, an effective symmetry detection ...
Jackson, Daniel, Torlak, Emina
core
Boolean versus continuous dynamics on simple two-gene modules
, 2010 We investigate the dynamical behavior of simple modules composed of two genes with two or three regulating connections. Continuous dynamics for mRNA and protein concentrations is compared to a Boolean model for gene activity.
A. V. Hill +6 more
core +1 more source
Advanced Science, EarlyView.A neural network‐enabled permittivity engineering paradigm is introduced, transcending traditional trial‐and‐error design. By decoupling electromagnetic parameters and screening a high‐throughput feature space, an ultrathin (1.0 mm) magnetic absorber is inversely designed, experimentally achieving a superior and customizable 5.1 GHz bandwidth and ...
Chenxi Liu +9 more
wiley +1 more source
On Simplifying Expressions with Mixed Boolean-Arithmetic
Modeling and Analysis of Information Systems, 2023 Mixed Boolean-Arithmetic expressions (MBA-expressions) with $t$ integer $n$-bit variables are often used for program obfuscations. Obfuscation consists of replacing short expressions with longer equivalent expressions that seem to take the analyst more time to explore. The paper shows that to simplify linear MBA-expressions (reduce the number of terms),
openaire +2 more sources
Advanced Science, EarlyView.A Lattice Genome framework links geometric and process “genes” to lattice “phenotypes” via correction‐calibrated high‐throughput simulations and a growing performance database. Genome‐driven retrieval and recombination of unit cells enables component‐level, regionally tailored multi‐objective design: stress fields are programmed under constant relative
Haoyuan Deng +8 more
wiley +1 more source
Sub‐Unit‐Cell Logic Governs Transport in TPMS Architectures
Advanced Science, EarlyView.ABSTRACT Next‐generation energy, thermal, and chemical systems require architectures capable of highly efficient transport across multiple length scales. Triply periodic minimal surfaces (TPMS), first conceptualized in 1865, offer inherently scalable geometries with exceptional transport potential, yet mechanistic links between topology and performance
Haozhang Zhong +16 more
wiley +1 more source
scBoolSeq: Linking scRNA-seq statistics and Boolean dynamics.
PLoS Computational BiologyBoolean networks are largely employed to model the qualitative dynamics of cell fate processes by describing the change of binary activation states of genes and transcription factors with time.
Gustavo Magaña-López +3 more
doaj +1 more source