Source author record

James I. Lathrop

James I. Lathrop appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

2works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

2 published item(s)

preprint2020arXiv

Modulated Signals in Chemical Reaction Networks

Electrical engineering and molecular programming share many of the same mathematical foundations. In this paper, we show how to send multiple signals through a single pair of chemical species using modulation and demodulation techniques found in electrical engineering. Key to our construction, we provide chemical implementations of classical linear band-pass and low-pass filters with induced differential equations that are identical to their electrical engineering counterparts. We show how to modulate \emph{arbitrary} independent input signals with different carrier frequencies for transmission through a shared medium. Specific signals in the medium can then be isolated and demodulated using band-pass and low-pass filters. Such programmable chemical band-pass filters also offer a way to monitor chemical systems to verify that they are operating between a prescribed set of frequencies.

preprint2020arXiv

Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks

We show that very simple molecular systems, modeled as chemical reaction networks, can have behaviors that exhibit dramatic phase transitions at certain population thresholds. Moreover, the magnitudes of these thresholds can thwart attempts to use simulation, model checking, or approximation by differential equations to formally verify the behaviors of such systems at realistic populations. We show how formal theorem provers can successfully verify some such systems at populations where other verification methods fail.