Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗

First Page		Document Content
Date: 2018-05-10 06:54:26 Mathematical analysis Probability theory Statistical theory Evolutionary developmental biology Gene expression Gene regulatory network Networks Systems biology Linear temporal logic Normal distribution Model theory		Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗ Add to Reading List Source URL: pub.ist.ac.at Download Document from Source Website File Size: 377,11 KB Share Document on Facebook

	Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers DocID: 1xW0E - View Document
	Bayonet: Probabilistic Inference for Networks Timon Gehr Sasa Misailovic Petar Tsankov DocID: 1xW0p - View Document
	1 Safe Update of Hybrid SDN Networks Stefano Vissicchio, Laurent Vanbever, Luca Cittadini, Geoffrey G. Xie, Olivier Bonaventure Abstract—The support for safe network updates, i.e., live DocID: 1xW04 - View Document
	Large Scale Training and Optimization of Neural Networks and Generative Adversarial Networks over Distributed Resource CLIC GAN : S. Vallecorsa, G. Khattak, F. Carminati, M. Pierini SurfSara : V. Codreanu, D. Podareanu DocID: 1xVW9 - View Document
	Data Loss and Reconstruction in Sensor Networks DocID: 1xVW0 - View Document