Formal Methods in Macro-Biology First International Conference,
This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014. The 7 revised full and 3 short papers presented together with 7 invited p
- PDF / 5,740,469 Bytes
- 202 Pages / 439.37 x 666.142 pts Page_size
- 2 Downloads / 205 Views
François Fages Carla Piazza (Eds.)
Formal Methods in Macro-Biology First International Conference, FMMB 2014 Nouméa, New Caledonia, September 22–24, 2014 Proceedings
123
Lecture Notes in Bioinformatics
8738
Subseries of Lecture Notes in Computer Science LNBI Series Editors Sorin Istrail Brown University, Providence, RI, USA Pavel Pevzner University of California, San Diego, CA, USA Michael Waterman University of Southern California, Los Angeles, CA, USA
LNBI Editorial Board Alberto Apostolico Georgia Institute of Technology, Atlanta, GA, USA Søren Brunak Technical University of Denmark Kongens Lyngby, Denmark Mikhail S. Gelfand IITP, Research and Training Center on Bioinformatics, Moscow, Russia Thomas Lengauer Max Planck Institute for Informatics, Saarbrücken, Germany Satoru Miyano University of Tokyo, Japan Eugene Myers Max Planck Institute of Molecular Cell Biology and Genetics Dresden, Germany Marie-France Sagot Université Lyon 1, Villeurbanne, France David Sankoff University of Ottawa, Canada Ron Shamir Tel Aviv University, Ramat Aviv, Tel Aviv, Israel Terry Speed Walter and Eliza Hall Institute of Medical Research Melbourne, VIC, Australia Martin Vingron Max Planck Institute for Molecular Genetics, Berlin, Germany W. Eric Wong University of Texas at Dallas, Richardson, TX, USA
François Fages Carla Piazza (Eds.)
Formal Methods in Macro-Biology First International Conference, FMMB 2014 Nouméa, New Caledonia, September 22-24, 2014 Proceedings
13
Volume Editors François Fages Inria Bâtiment 8, Domaine de Voluceau 78150 Rocquencourt, France E-mail: [email protected] Carla Piazza University of Udine Department of Mathematics and Computer Science Via delle Scienze 206 33100 Udine, Italy E-mail: [email protected]
ISSN 0302-9743 e-ISSN 1611-3349 ISBN 978-3-319-10397-6 e-ISBN 978-3-319-10398-3 DOI 10.1007/978-3-319-10398-3 Springer Cham Heidelberg New York Dordrecht London Library of Congress Control Number: 2014946072 LNCS Sublibrary: SL 8 – Bioinformatics © Springer International Publishing Switzerland 2014 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in ist current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the C
Data Loading...
