Data driven verification of synthetic gene networks

Date

2014-03-10

Author

Aydın Göl, Ebru
Belta, Calin

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

108
views

0
downloads

Automatic design of synthetic gene networks with specific functions is an emerging field in synthetic biology. Quantitative evaluation of gene network designs is a missing feature of the existing automatic design tools. In this work, we address this issue and present a framework to probabilistically analyze the dynamic behavior of a gene network against specifications given in a rich and high level language. Given a gene network built from primitive DNA parts, and given experimental data for the parts, the tool proposed here allows for the automatic construction of a stochastic model of the gene network and in silico probabilistic verification against a rich specification.

Subject Keywords

Proteins, Regulators, Radio frequency, Trajectory, Degradation, Probabilistic logic, Model checking

URI

https://hdl.handle.net/11511/48417

DOI

https://doi.org/10.1109/cdc.2013.6760513

Collections

Department of Computer Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

Experimentally driven verification of synthetic biological circuits Yordanov, Boyan; Appleton, Evan; Ganguly, Rishi; Aydın Göl, Ebru; Carr, Swati B; Bhatia, Swapnil; Haddock, Traci; Belta, Calin; Densmore, Douglas (2012-04-03) We present a framework that allows us to construct and formally analyze the behavior of synthetic gene circuits from specifications in a high level language used in describing electronic circuits. Our back-end synthesis tool automatically generates genetic-regulatory network (GRN) topology realizing the specifications with assigned biological "parts" from a database. We describe experimental procedures to acquire characterization data for the assigned parts and construct mathematical models capturing all po...
Using Adaptive Neuro-Fuzzy Inference System for Classification of Microarray Gene Expression Cancer Profiles Haznedar, Bülent; Arslan, Mustafa Turan; Kalınlı, Adem (2018-05-01) Microarray is a technology that enables simultaneously analysis of thousands of genes in DNA structure depending on the advances in biochemistry. With this technology, it has become possible to diagnose and treat heredity diseases by analyzing thousands of gene expression levels. This study proposes an artificial intelligence method, Adaptive neuro-fuzzy inference system (ANFIS), to classify cancer gene expression profiles. The findings obtained with the proposed ANFIS approach are compared with the results...
Integer linear programming based solutions for construction of biological networks Eren Özsoy, Öykü; Can, Tolga; Department of Health Informatics (2014) Inference of gene regulatory or signaling networks from perturbation experiments and gene expression assays is one of the challenging problems in bioinformatics. Recently, the inference problem has been formulated as a reference network editing problem and it has been show that finding the minimum number of edit operations on a reference network in order to comply with perturbation experiments is an NP-complete problem. In this dissertation, we propose linear programming based solutions for reconstruction o...
Investigation of Multi-task Deep Neural Networks in Automated Protein Function Prediction Rifaioğlu, Ahmet Süreyya; Martin, Maria Jesus; Atalay, Rengül; Atalay, Mehmet Volkan; Doğan, Tunca (2017-07-20) Functional annotation of proteins is a crucial research field for understanding molecular mechanisms of living-beings and for biomedical purposes (e.g. identification of disease-causing functional changes in genes and for discovering novel drugs). Several Gene Ontology (GO) based protein function prediction methods have been proposed in the last decade to annotate proteins. However, considering the prediction performances of the proposed methods, it can be stated that there is still room for significant imp...
Deep Learning-Enabled Technologies for Bioimage Analysis Rabbi, Fazle; Dabbagh, Sajjad Rahmani; Angın, Pelin; Yetisen, Ali Kemal; Tasoglu, Savas (2022-02-01) Deep learning (DL) is a subfield of machine learning (ML), which has recently demon-strated its potency to significantly improve the quantification and classification workflows in bio-medical and clinical applications. Among the end applications profoundly benefitting from DL, cellular morphology quantification is one of the pioneers. Here, we first briefly explain fundamental concepts in DL and then we review some of the emerging DL-enabled applications in cell morphology quantification in the fields of em...

Citation Formats

E. Aydın Göl and C. Belta, “Data driven verification of synthetic gene networks,” 2014, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/48417.