Results 61 to 70 of about 1,460,452 (290)

A Generative Neuro‐Symbolic AI for Protein Sequence Design

Advanced Science, EarlyView.
We introduce EffieDes, a neuro‐symbolic framework coupling deep learning‐based fitness landscape parameterization with exact automated reasoning. Unlike greedy sampling, EffieDes identifies sequences that globally optimize fitness while satisfying intricate design constraints.
Marianne Defresne, Delphine Dessaux, Samuel Buchet, Lucie Barthe, Liza Ammar‐Khodja, Bessam Azizi, Valentin Durante, Gianluca Cioci, Simon de Givry, Alain Roussel, Luis F. Garcia‐Alles, Thomas Schiex, Sophie Barbe   +12 more
wiley   +1 more source

Inferring context-sensitive probablistic boolean networks from gene expression data under multi-biological conditions [PDF]

, 2007
In recent years biological microarrays have emerged as a high-throughput data acquisition technology in bioinformatics. In conjunction with this, there is an increasing need to develop frameworks for the formal analysis of biological pathways. A modeling
Marshall, Stephen, Yu, Le
core   +3 more sources

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  

Optimized Homomorphic Evaluation of Boolean Functions

Transactions on Cryptographic Hardware and Embedded Systems
We propose a new framework to homomorphically evaluate Boolean functions using the Torus Fully Homomorphic Encryption (TFHE) scheme. Compared to previous approaches focusing on Boolean gates, our technique can evaluate more complex Boolean functions ...
Nicolas Bon, David Pointcheval, Matthieu Rivain   +2 more
doaj   +1 more source

Implementation of complete Boolean logic functions in single spin–orbit torque device

AIP Advances, 2021
All 16 Boolean logic functions in a single Ta/CoFeB/MgO device with perpendicular magnetic anisotropy were experimentally demonstrated based on the spin–orbit torque (SOT) effect. Furthermore, by combining with the voltage-controlled magnetic anisotropy (
Yunchi Zhao, Guang Yang, Jianxin Shen, Shuang Gao, Jingyan Zhang, Jie Qi, Haochang Lyu, Guoqiang Yu, Kui Jin, Shouguo Wang   +9 more
doaj   +1 more source

Spatially Encoded Protocell Network for Non‐Cascaded Parallel Biocomputation

Advanced Science, EarlyView.
A non‐cascaded, hydrogel‐based proteinosome computational platform is developed, in which redox‐responsive proteinosomes serve as local computing units within a shared reaction–diffusion field. Reductant inputs, countered by an auxiliary glucose gradient, regulate spatially patterned proteinosome disruption, and generate population‐level boundaries ...
Shuqi Wu, Liangfei Tian
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

A Cascaded DNA Nanocircuit for Multi‐Signal‐Responsive Precision siRNA Delivery in Cancer Therapy

Advanced Science, EarlyView.
A cascaded dual‐AND logic DNA nanocircuit is engineered to respond to three tumor‐specific signals in a sequential manner: extracellular acidic pH, membrane‐overexpressed nucleolin (NCL), and intracellular glutathione (GSH). This programmable system selectively releases siPARP1 in glioblastoma (GBM), effectively silencing PARP1 and reversing TMZ ...
Yan Zhao, Yufei Lan, Min‐Goo Lee, Jinjun He, Yueran Pan, Eunji Kim, Xin Fu, Sungwook Jung, Wanxia Lu, Jinyue Fan, Haoxiang Chen, Yuanbo Zhao, Yuling Xu, Jong Seung Kim, Chao Zhang   +14 more
wiley   +1 more source

Tunable stochastic memristors for energy-efficient encryption and computing

Nature Communications
Information security and computing, two critical technological challenges for post-digital computation, pose opposing requirements – security (encryption) requires a source of unpredictability, while computing generally requires predictability.
Kyung Seok Woo, Janguk Han, Su-in Yi, Luke Thomas, Hyungjun Park, Suhas Kumar, Cheol Seong Hwang   +6 more
doaj   +1 more source

Responsive Open Microfluidic Logic for Mechanical Computing

Advanced Science, EarlyView.
Coupling elasticity with capillarity transforms mechanical compression into binary fluidic states, enabling deterministic logic in open microfluidic circuits. This work demonstrates that computation can emerge from interactions between mechanic and fluidic domains, establishing a general strategy for embedding information processing directly within ...
Roi Almog, Bat‐El Pinchasik
wiley   +1 more source