Results 71 to 80 of about 2,300,412 (294)
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 +12 more
wiley +1 more source
Operation Four Minutes Article
, 1982 Newspaper article focused on Operation Four Minutes, an idea that is focused on training people to have appropriate crisis response ...
Operation Four Minutes
core +1 more source
Jixie chuandong, 2016 Based on the Boolean subtraction operation and curve fitting technology,a digital modeling method for variable ratio rack is put forward. This method,to a certain extent,makes up for the disadvantages that the Boolean subtraction operation modeling ...
Zhang Siyu, Xu Jun, Niu Ziru, Wang Wei
doaj
Terahertz binary computing in a coupled toroidal metasurface
Scientific ReportsThe 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 +5 more
doaj +1 more source
Conditional Expression Fault Classification and Repair Method of Aviation Control Software
Xibei Gongye Daxue Xuebao, 2020 Aviation control software has become the core control decision-making unit of the aviation system. The Boolean conditional expressions are the main parts of the branch and loop control logic of aviation control software.
doaj +1 more source
Completeness for the coalgebraic cover modality [PDF]
Logical Methods in Computer Science, 2012 We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional
Clemens Kupke +2 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
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 +14 more
wiley +1 more source
The Sheffer stroke operation reducts of basic algebras
Open Mathematics, 2017 In this study, a term operation Sheffer stroke is presented in a given basic algebra 𝒜 and the properties of the Sheffer stroke reduct of 𝒜 are examined. In addition, we qualify such Sheffer stroke basic algebras.
Oner Tahsin, Senturk Ibrahim
doaj +1 more source
The Boolean pivot operation M-matrices, and reducible matrices [PDF]
, 1993 Let A be a Boolean n × n matrix, and let G = (N, U) be the corresponding diagraph, where N ≔ {1,…,n} is the set of vertices and U ⊂ N × N is the set of arcs of G.
H. Väliaho, Väliaho, H.
core +1 more source