Aqueous Computing:A Survey with an Invitation to Participate

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:linhom222
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The concept of aqueous computing is presented here, first in full generality,and afterward, using an implementation in a specific enzymatic technology. Aqueous computingarose in the context of biomolecular (DNA) computing, but the concept is independent ofthe specifics of its biochemical origin. Altate technologies for realizing aqueous computingare being considered for future implementation. A solution of an instance of the Booleansatisfiability problem, (SAT), is reported here that provides a new example of an aqueouscomputation that has been carried out successfully. This small instance of the SAT problemis sufficiently complex to allow our current enzymatic technology to be illustrated in detail.The reader is invited to participate in the rich interdisciplinary activity required by wet labcomputing. A project is suggested to the reader for determining the three-colorings of a graph.The basic operations required for this project are exhibited in the solution of the SAT examplereported here.
其他文献
期刊
目的 以“无痛苦、自由行走”为原则,改良保护性约束衣,维护精神障碍患者的尊严,实现人性化服务理念.方法 选取2016年1月~2017年4月我院收治的40例需要进行保护约束的精神障
近日,由上海城建隧道股份设计研发的超大矩形顶管掘进机在河南郑州纬四路下穿中州大道隧道接收井准确进洞,圆满完成我国自主知识产权超大顶管装备在中原大地的“处女航”。郑
A graphical notation for the propositionalμ-calculus, called modal graphs, ispresented. It is shown that both the textual and equational presentations of theμ
目的探讨妊娠期外科急腹症的诊断与治疗.方法回顾性分析我院近7年收治的妊娠期外科急腹症13例的诊治情况.结果急性阑尾炎8例,急性胆囊炎2例,急性胰腺炎2例,急性肠梗阻1例.全
期刊
物联网(Internet of things,IOT)是近年来的研究热点之一,然而传感设备只提供了比较底层的访问接口,通过接口所获得的数据与应用层所需的数据在概念上存在较大的差异.针对这
山东临工继2013年年底在北美发布新产品后,北美市场的发展又迈出坚实一步,美国老牌工程机械代理商,位于佛罗里达州的弗拉格勒工程设备公司近日正式被纳入山东临工北美营销网
目的探讨蚓激酶胶囊对糖尿病并发下肢动脉粥样硬化斑块患者的疗效.方法将58例糖尿病并发下肢动脉粥样硬化斑块的患者随机分为治疗组30例和对照组28例.对照组给予降糖、降脂、
本文旨在探讨基层医院急诊护理管理工作中存在的难点及对策,以提高医疗护理质量.