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

Source URL: pub.ist.ac.at

• Mathematical analysis
• Probability theory
• Statistical theory
• Evolutionary developmental biology
• Gene expression
• Gene regulatory network
• Networks
• Systems biology
• Linear temporal logic
• Normal distribution
• Model theory

Jeffrey Rubinoff and the Cold War by Sergei Petrov Artist and Scientist October 19, 2015 Pender Island, Canada

Source URL: rubinoffsculpturepark.org

Universal Semantic Parsing: Supplementary Material Siva Reddy† Oscar T¨ackstr¨om‡ Slav Petrov‡ Mark Steedman†† Mirella Lapata††

Source URL: anthology.aclweb.org

Syntactic Annotations for the Google Books Ngram Corpus Yuri Lin, Jean-Baptiste Michel, Erez Lieberman Aiden, Jon Orwant, Will Brockman and Slav Petrov∗ Google Inc. {yurilin,jbmichel,drerez,orwant,brockman,slav}@google

Source URL: aclweb.org

• Linguistics
• Computational linguistics
• Corpus linguistics
• Applied linguistics
• Natural language processing
• Semantics
• Part-of-speech tagging
• Treebank
• N-gram
• Google Ngram Viewer
• Brown Corpus
• Dependency grammar

Integrals, partitions and MacMahon’s Theorem George Andrews∗, Henrik Eriksson, Fedor Petrov†and Dan Romik‡ December 21, 2005 Abstract In two previous papers, the study of partitions with short sequences

Source URL: www.math.ucdavis.edu

Race Detection for Web Applications Boris Petrov Martin Vechev Sofia University

Source URL: manu.sridharan.net

A Space-Time Petrov-Galerkin method for linear wave equations Zurich Summer School 2016 Christian Wieners Institute of Applied and Numerical Mathematics

Source URL: www.math.kit.edu

Universal Dependencies Joakim Nivre, Dan Zeman, Filip Ginter, Sampo Pyysalo, Chris Manning, Marie-Catherine de Marneffe, Natalia Silveira, Slav Petrov, Ryan McDonald, Tim Dozat, Jan Hajič, Jinho Choi, Reut Tsarfaty, Yoa

Source URL: ufal.mff.cuni.cz

Learning Accurate, Compact, and Interpretable Tree Annotation Slav Petrov Leon Barrett Romain Thibaux Dan Klein

Source URL: aclweb.org

Universal Dependencies v1: A Multilingual Treebank Collection Joakim Nivre∗ Marie-Catherine de Marneffe◦ Filip Ginter• Yoav Goldberg† Jan Hajiˇc‡ Christopher D. Manning Ryan McDonald/ Slav Petrov/ Sampo Pyysa

Source URL: nlp.stanford.edu