Contributor Index Ambartsoumian, Gaik, 116 Arbogast, Todd, 9 Baez, John, 93 Basor, Estelle, 23, 154, 157, 179, 185

First Page		Document Content
Date: 2015-03-31 09:27:25 Partial differential equations Equations Computational science Wave mechanics Differential equation Nonlinear Schrödinger equation Global climate model Parasitic worm Nonlinear system Calculus Mathematical analysis Physics		Contributor Index Ambartsoumian, Gaik, 116 Arbogast, Todd, 9 Baez, John, 93 Basor, Estelle, 23, 154, 157, 179, 185 Add to Reading List Source URL: www.siam.org Download Document from Source Website File Size: 74,70 KB Share Document on Facebook

	Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa DocID: 1xVZ1 - View Document
	The Calculus of Looping Sequences Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo, and Giovanni Pardini Dipartimento di Informatica, Universit` a di Pisa Largo B. Pontecorvo 3, 56127 Pisa, I DocID: 1xVKh - View Document
	A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research DocID: 1xVCc - View Document
	Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2 DocID: 1xVA3 - View Document
	The Design and Implementation of the Model Constructing Satisfiability Calculus Dejan Jovanovi´c Clark Barrett DocID: 1xV9I - View Document