Results 101 to 110 of about 164,877 (283)
A \textsf{C++} reasoner for the description logic $\shdlssx$ (Extended Version)
, 2018 We present an ongoing implementation of a \ke\space based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\dlssx$ (shortly $\shdlssx$).
Cantone, Domenico +2 more
core
Advanced Science, EarlyView.ABSTRACT Precise transgene‐free gene upregulation remains a challenge in crop biotechnology, as conventional enhancers often exceed CRISPR‐mediated knock‐in size constraints and face regulatory hurdles. Here we establish a foundational cross‐species resource of compact transcriptional enhancers developed via STEM‐seq, a high‐throughput screening ...
Qi Yao +14 more
wiley +1 more source
On the uniform one-dimensional fragment
, 2016 The uniform one-dimensional fragment of first-order logic, U1, is a recently introduced formalism that extends two-variable logic in a natural way to contexts with relations of all arities.
Kuusisto, Antti
core
GPCRs in CAR‐T Cell Immunotherapy: Expanding the Target Landscape and Enhancing Therapeutic Efficacy
Advanced Science, EarlyView.Chimeric antigen receptor T cell therapy faces dual challenges of target scarcity and an immunosuppressive microenvironment in solid tumors. This review highlights how G protein‐coupled receptors can serve as both novel targets to expand the therapeutic scope and functional modules to enhance CAR‐T cell efficacy.
Zhuoqun Liu +11 more
wiley +1 more source
Advanced Science, EarlyView.This study quantitatively evaluates randomized DNA sequence design for digital data storage using three physics‐based models. By applying encoding schemes with strict homopolymer constraints, the framework improves base randomness, GC balance, and error resilience. Experimental validation via PCR and Sanger sequencing confirms 95–98% decoding accuracy,
Seongjun Seo +6 more
wiley +1 more source
A Galois connection between classical and intuitionistic logics. I: Syntax
, 2017 In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic.
Melikhov, Sergey A.
core
Advanced Science, EarlyView.This study repurposes mitochondrial DNA mutations as endogenous barcodes for lineage tracing in human pluripotent stem cell‐derived organoids. Integrated with transcriptomic and spatial data, it reveals NOTCH‐mediated stromal‐progenitor crosstalk orchestrates clonal dynamics and spatial zonation during early hematopoietic development, offering a non ...
Yan Xue +17 more
wiley +1 more source
One-variable fragments of intermediate logics over linear frames
, 2021 Xavier Caicedo +3 more
openalex +1 more source
Complexity of Safety and coSafety Fragments of Linear Temporal Logic [PDF]
, 2022 Alessandro Artale +4 more
openalex +1 more source
Advanced Science, EarlyView.Magnesium silicide (Mg2Si) is introduced as a narrow‐bandgap, biodegradable semiconductor for transient electronics. RF‐sputtered and annealed Mg2Si thin films show high intrinsic electrical conductivity and low thermal conductivity. The polycrystalline material undergoes hydrolysis in aquatic and composting environments with minimal cytotoxicity ...
Ji‐Woo Gu +17 more
wiley +1 more source