Results 51 to 60 of about 4,554,873 (311)

Terahertz binary computing in a coupled toroidal metasurface

Scientific Reports
The applications of terahertz metamaterials are being actively explored in recent times for applications in high-speed communication devices, miniature photonic circuits, and bio-chemical devices because of their wide advantages.
Angana Bhattacharya, Bhagwat Singh Chouhan, Kajal Sharma, Sami M. Halawani, Amir Ahmad, Gagan Kumar   +5 more
doaj   +1 more source

Index sets and Boolean operations [PDF]

Proceedings of the American Mathematical Society, 1982
Hay’s thesis asserts that every naturally defined class of sets of natural numbers contains an index set which is 1 1 -complete for that class and that every index set is 1 1 -complete for some naturally defined class. We formalize "naturally defined" as "effective Boolean" and establish the thesis as a Metatheorem.
openaire   +1 more source

PD‐1 Inhibits CD4+ TRM‐Mediated cDC1 Mobilization via Suppressing JAML in Human NSCLC

Advanced Science, EarlyView.
CD4+ tissue‐resident memory T cells (TRMs) in non‐small cell lung cancer recruit conventional type 1 dendritic cells via XCL1‐XCR1 signaling, orchestrating antitumor immunity. The costimulatory molecule JAML is essential for this process. PD‐1 blockade restores JAML expression and cDC1 mobilization, while JAML agonists synergize with anti‐PD‐1 therapy,
Zheyu Shao, Qinyuan Liu, Zhongwei Xin, Zhiyao Zhou, Mingjie Lin, Di Chen, Zhixing Hao, Yongyuan Chen, Wenxuan Wu, Shuyang Zhang, Xiaoke Chen, Xia Xu, Jinfan Li, Wei Lin, Yuhao Lu, Dang Wu, Pin Wu   +16 more
wiley   +1 more source

Information encryption systems based on Boolean functions [PDF]

Computer Science Journal of Moldova, 2011
An information encryption system based on Boolean functions is proposed. Information processing is done using multidimensional matrices, performing logical operations with these matrices.
Aureliu Zgureanu
doaj  

Boolean Operations on Surfaces in VTK Without External Libraries

The VTK Journal, 2011
We have written a set of classes than enable computation of boolean operations on surface meshes using only VTK classes. In addition to being compatible with the VTK license, our contribution preserves surface mesh topology to the extent possible in ...
Cory W. Quammen, C. Weigle, R. M. Taylor II   +2 more
semanticscholar   +1 more source

Logic‐Gated HSV‐TK/GCV Suicide Gene Circuit for Triple‐Negative Breast Cancer

Advanced Science, EarlyView.
The BRAS comprises two modular genetic components driven by distinct tumor‐specific promoters and a failsafe layer with the NOT gate. This multi‐input logic gate circuit enables precise, specific expression of HSV‐TK in breast cancer cells with hardly expression in normal cell and effectively inhibits tumor growth in a triple‐negative breast cancer ...
Shasha Tang, Yuan Fang, Lingli Jin, Dongyang Liu, Yicheng Liu, Ruijia Zheng, Liyun Yong, Xin Wu, Longliang Qiao, Meiyan Wang, Fengfeng Cai   +10 more
wiley   +1 more source

High‐Fidelity Synthetic Data Replicates Clinical Prediction Performance in a Million‐Patient Diabetes Cohort

Advanced Science, EarlyView.
This study generates high‐fidelity synthetic longitudinal records for a million‐patient diabetes cohort, successfully replicating clinical predictive performance. However, deeper analysis reveals algorithmic biases and trajectory inconsistencies that escape standard quality metrics. These findings challenge current validation norms, demonstrating why a
Francisco Ortuño, Víctor M. de la Oliva Roque, Javier‐Ignacio Ramirez‐Lopez, David P. Kreil, Joaquín Dopazo, Carlos Loucera   +5 more
wiley   +1 more source

Improved Time Complexities for Learning Boolean Networks

Entropy, 2013
Existing algorithms for learning Boolean networks (BNs) have time complexities of at least O(N · n0:7(k+1)), where n is the number of variables, N is the number of samples and k is the number of inputs in Boolean functions.
Chee Keong Kwoh, Yun Zheng
doaj   +1 more source

Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver

Journal of automated reasoning, 2015
In this paper we present the results of an experiment with employing an external SAT solver to strengthen the notion of obviousness of the Mizar proof checker. The presented extension of the Mizar system is based on a version of MiniSAT, called Logic2CNF.
Adam Naumowicz
semanticscholar   +1 more source

His‐MMDM: Multi‐Domain and Multi‐Omics Translation of Histopathological Images with Diffusion Models

Advanced Science, EarlyView.
His‐MMDM is a diffusion model‐based framework for scalable multi‐domain and multi‐omics translation of histopathological images, enabling tasks from virtual staining, cross‐tumor knowledge transfer, and omics‐guided image editing. ABSTRACT Generative AI (GenAI) has advanced computational pathology through various image translation models.
Zhongxiao Li, Tianqi Su, Bin Zhang, Wenkai Han, Sibin Zhang, Guiyin Sun, Yuwei Cong, Xin Chen, Jiping Qi, Yujie Wang, Shiguang Zhao, Hongxue Meng, Peng Liang, Xin Gao   +13 more
wiley   +1 more source