scholarly journals Constructing DNA-based Parallel Adder with Basic Logic Operations in the Adleman-Liption Model

2013 ◽  
Vol 1 (4) ◽  
pp. 243-251
Author(s):  
Sientang Tsai
Keyword(s):  
Basic Logic ◽  
Logic Operations

scholarly journals Acoustic streaming vortices enable contactless, digital control of droplets

2020 ◽  
Vol 6 (24) ◽  
pp. eaba0606 ◽  
Author(s):  
Peiran Zhang ◽  
Chuyi Chen ◽  
Xingyu Su ◽  
John Mai ◽  
Yuyang Gu ◽  
...  
Keyword(s):  
Digital Control ◽  
Acoustic Streaming ◽  
Lab On A Chip ◽  
Cross Contamination ◽  
Basic Logic ◽  
Electrical Signals ◽  
Electrical Control ◽  
Logic Operations ◽  
Contact Free ◽  
Hydrodynamic Equilibrium

Advances in lab-on-a-chip technologies are driven by the pursuit of programmable microscale bioreactors or fluidic processors that mimic electronic functionality, scalability, and convenience. However, few fluidic mechanisms allow for basic logic operations on rewritable fluidic paths due to cross-contamination, which leads to random interference between “fluidic bits” or droplets. Here, we introduce a mechanism that allows for contact-free gating of individual droplets based on the scalable features of acoustic streaming vortices (ASVs). By shifting the hydrodynamic equilibrium positions inside interconnected ASVs with multitonal electrical signals, different functions such as controlling the routing and gating of droplets on rewritable fluidic paths are demonstrated with minimal biochemical cross-contamination. Electrical control of this ASV-based mechanism allows for unidirectional routing and active gating behaviors, which can potentially be scaled to functional fluidic processors that can regulate the flow of droplets in a manner similar to the current in transistor arrays.

Basic Logic Operations Achieved in a Single 2D WSe2 Transistor by Surface-Charge-Transfer Doping

2021 ◽  
Author(s):  
Siqi Yin ◽  
Jiacheng Sun ◽  
Yiming Sun ◽  
Leilei Qiao ◽  
Wenxuan Zhu ◽  
...  
Keyword(s):  
Charge Transfer ◽  
Surface Charge ◽  
Basic Logic ◽  
Logic Operations

The Synergy between CRISPR and Chemical Engineering

2019 ◽  
Vol 19 (3) ◽  
pp. 147-171
Author(s):  
Cia-Hin Lau ◽  
Chung Tin
Keyword(s):  
Viral Vectors ◽  
Chemical Engineering ◽  
Target Genes ◽  
New Technologies ◽  
Rapid Development ◽  
Genetic Circuits ◽  
Viral Packaging ◽  
Conditional Control ◽  
Logic Operations

Gene therapy and transgenic research have advanced quickly in recent years due to the development of CRISPR technology. The rapid development of CRISPR technology has been largely benefited by chemical engineering. Firstly, chemical or synthetic substance enables spatiotemporal and conditional control of Cas9 or dCas9 activities. It prevents the leaky expression of CRISPR components, as well as minimizes toxicity and off-target effects. Multi-input logic operations and complex genetic circuits can also be implemented via multiplexed and orthogonal regulation of target genes. Secondly, rational chemical modifications to the sgRNA enhance gene editing efficiency and specificity by improving sgRNA stability and binding affinity to on-target genomic loci, and hence reducing off-target mismatches and systemic immunogenicity. Chemically-modified Cas9 mRNA is also more active and less immunogenic than the native mRNA. Thirdly, nonviral vehicles can circumvent the challenges associated with viral packaging and production through the delivery of Cas9-sgRNA ribonucleoprotein complex or large Cas9 expression plasmids. Multi-functional nanovectors enhance genome editing in vivo by overcoming multiple physiological barriers, enabling ligand-targeted cellular uptake, and blood-brain barrier crossing. Chemical engineering can also facilitate viral-based delivery by improving vector internalization, allowing tissue-specific transgene expression, and preventing inactivation of the viral vectors in vivo. This review aims to discuss how chemical engineering has helped improve existing CRISPR applications and enable new technologies for biomedical research. The usefulness, advantages, and molecular action for each chemical engineering approach are also highlighted.

Proof Theory of the Cut Rule

2018 ◽  
Author(s):  
J. R. B. Cockett ◽  
R. A. G. Seely
Keyword(s):  
Proof Theory ◽  
Graphical Representation ◽  
Basic Component ◽  
Graphical Representations ◽  
Mathematical Language ◽  
Basic Logic ◽  
Cut Rule ◽  
Structural Rules ◽  
The One ◽  
Categorical Semantics

This chapter describes the categorical proof theory of the cut rule, a very basic component of any sequent-style presentation of a logic, assuming a minimum of structural rules and connectives, in fact, starting with none. It is shown how logical features can be added to this basic logic in a modular fashion, at each stage showing the appropriate corresponding categorical semantics of the proof theory, starting with multicategories, and moving to linearly distributive categories and *-autonomous categories. A key tool is the use of graphical representations of proofs (“proof circuits”) to represent formal derivations in these logics. This is a powerful symbolism, which on the one hand is a formal mathematical language, but crucially, at the same time, has an intuitive graphical representation.

Probability and Random Processes

2018 ◽  
Author(s):  
Stefan Thurner ◽  
Rudolf Hanel ◽  
Peter Klimekl
Keyword(s):  
Random Processes ◽  
Distribution Functions ◽  
Basic Logic ◽  
Heavy Tailed Distributions ◽  
Random Components ◽  
Classical Distribution ◽  
Heavy Tailed ◽  
Basic Facts ◽  
Stochastic Events ◽  
Stochastic Event

Phenomena, systems, and processes are rarely purely deterministic, but contain stochastic,probabilistic, or random components. For that reason, a probabilistic descriptionof most phenomena is necessary. Probability theory provides us with the tools for thistask. Here, we provide a crash course on the most important notions of probabilityand random processes, such as odds, probability, expectation, variance, and so on. Wedescribe the most elementary stochastic event—the trial—and develop the notion of urnmodels. We discuss basic facts about random variables and the elementary operationsthat can be performed on them. We learn how to compose simple stochastic processesfrom elementary stochastic events, and discuss random processes as temporal sequencesof trials, such as Bernoulli and Markov processes. We touch upon the basic logic ofBayesian reasoning. We discuss a number of classical distribution functions, includingpower laws and other fat- or heavy-tailed distributions.

Sign in / Sign up

Export Citation Format

Share Document