Cover Image

QR Code

Formal Methods in Macro-Biology First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings /

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 presentations were carefully reviewed and sele...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Fages, François. (Editor, http://id.loc.gov/vocabulary/relators/edt), Piazza, Carla. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:	1st ed. 2014.
Series:	Lecture Notes in Bioinformatics ; 8738
Subjects:	Bioinformatics. Computer logic. Health informatics. Mathematical logic. Computational Biology/Bioinformatics. Logics and Meanings of Programs. Health Informatics. Mathematical Logic and Formal Languages.
Online Access:	https://doi.org/10.1007/978-3-319-10398-3

Similar Items

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings / edited by Milan Češka, David Šafránek.
Published: (2018)

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings / edited by Jérôme Feret, Heinz Koeppl.
Published: (2017)

Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings / edited by Zhipeng Cai, Pavel Skums, Min Li.
Published: (2019)

Comparative Genomics 15th International Workshop, RECOMB CG 2017, Barcelona, Spain, October 4-6, 2017, Proceedings / edited by Joao Meidanis, Luay Nakhleh.
Published: (2017)

Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support Third International Workshop, DLMIA 2017, and 7th International Workshop, ML-CDS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings / edited by M. Jorge Cardoso, Tal Arbel, Gustavo Carneiro, Tanveer Syeda-Mahmood, João Manuel R.S. Tavares, Mehdi Moradi, Andrew Bradley, Hayit Greenspan, João Paulo Papa, Anant Madabhushi, Jacinto C. Nascimento, Jaime S. Cardoso, Vasileios Belagiannis, Zhi Lu.
Published: (2017)

Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I / edited by Francisco Ortuño, Ignacio Rojas.
Published: (2015)

Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II / edited by Francisco Ortuño, Ignacio Rojas.
Published: (2015)

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers / edited by Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif Peterson, Alberto Policriti, Roberto Tagliaferri.
Published: (2019)

Automated Reasoning for Systems Biology and Medicine edited by Pietro Liò, Paolo Zuliani.
Published: (2019)

Information-Theoretic Evaluation for Computational Biomedical Ontologies by Wyatt Travis Clark.
by: Clark, Wyatt Travis., et al.
Published: (2014)

Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis First International Workshop, DATRA 2018 and Third International Workshop, PIPPI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / edited by Andrew Melbourne, Roxane Licandro, Matthew DiFranco, Paolo Rota, Melanie Gau, Martin Kampel, Rosalind Aughwane, Pim Moeskops, Ernst Schwartz, Emma Robinson, Antonios Makropoulos.
Published: (2018)

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings / edited by Kenji Suzuki, Mauricio Reyes, Tanveer Syeda-Mahmood, Ender Konukoglu, Ben Glocker, Roland Wiest, Yaniv Gur, Hayit Greenspan, Anant Madabhushi.
Published: (2019)

Healthcare Simulation Research A Practical Guide / edited by Debra Nestel, Joshua Hui, Kevin Kunkler, Mark W. Scerbo, Aaron W. Calhoun.
Published: (2019)

Biomedical Statistics A Beginner's Guide / by Shakti Kumar Yadav, Sompal Singh, Ruchika Gupta.
by: Yadav, Shakti Kumar., et al.
Published: (2019)

Bioinformatics and Biomedical Engineering 4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016, Proceedings / edited by Francisco Ortuño, Ignacio Rojas.
Published: (2016)

Bioinformatics and Biomedical Engineering 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26–28, 2017, Proceedings, Part II / edited by Ignacio Rojas, Francisco Ortuño.
Published: (2017)

Bioinformatics and Biomedical Engineering 6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 25–27, 2018, Proceedings, Part I / edited by Ignacio Rojas, Francisco Ortuño.
Published: (2018)

Bioinformatics and Biomedical Engineering 6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 25–27, 2018, Proceedings, Part II / edited by Ignacio Rojas, Francisco Ortuño.
Published: (2018)

Bioinformatics and Biomedical Engineering 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26–28, 2017, Proceedings, Part I / edited by Ignacio Rojas, Francisco Ortuño.
Published: (2017)

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / edited by Luca Bortolussi, Guido Sanguinetti.
Published: (2019)

Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings / edited by Ian Holmes, Carlos Martín-Vide, Miguel A. Vega-Rodríguez.
Published: (2019)

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings / edited by Fa Zhang, Zhipeng Cai, Pavel Skums, Shihua Zhang.
Published: (2018)

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II / edited by Ignacio Rojas, Olga Valenzuela, Fernando Rojas, Francisco Ortuño.
Published: (2019)

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I / edited by Ignacio Rojas, Olga Valenzuela, Fernando Rojas, Francisco Ortuño.
Published: (2019)

Application of Clinical Bioinformatics edited by Xiangdong Wang, Christian Baumgartner, Denis C. Shields, Hong-Wen Deng, Jacques S Beckmann.
Published: (2016)

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings / edited by Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida.
Published: (2008)

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings / edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia.
Published: (2007)

Comparative Gene Finding Models, Algorithms and Implementation / by Marina Axelson-Fisk.
by: Axelson-Fisk, Marina., et al.
Published: (2015)

Consumer Health Informatics New Services, Roles, and Responsibilities / by Thomas Wetter.
by: Wetter, Thomas., et al.
Published: (2016)

Accelerated Path to Cures edited by Josep Bassaganya-Riera.
Published: (2018)

Information Technology in Bio- and Medical Informatics 6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015, Proceedings / edited by M. Elena Renda, Miroslav Bursa, Andreas Holzinger, Sami Khuri.
Published: (2015)

Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings / edited by M. Elena Renda, Miroslav Bursa, Andreas Holzinger, Sami Khuri.
Published: (2016)

Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / edited by Florian Knoll, Andreas Maier, Daniel Rueckert.
Published: (2018)

Electronic Nose: Algorithmic Challenges by Lei Zhang, Fengchun Tian, David Zhang.
by: Zhang, Lei., et al.
Published: (2018)

Data Management and Analytics for Medicine and Healthcare Second International Workshop, DMAH 2016, Held at VLDB 2016, New Delhi, India, September 9, 2016, Revised Selected Papers / edited by Fusheng Wang, Lixia Yao, Gang Luo.
Published: (2017)

Information Technology in Bio- and Medical Informatics 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings / edited by Miroslav Bursa, Sami Khuri, M. Elena Renda.
Published: (2013)

High-Performance In-Memory Genome Data Analysis How In-Memory Database Technology Accelerates Personalized Medicine / edited by Hasso Plattner, Matthieu-P. Schapranow.
Published: (2014)

Comparative Genomics 16th International Conference, RECOMB-CG 2018, Magog-Orford, QC, Canada, October 9-12, 2018, Proceedings / edited by Mathieu Blanchette, Aïda Ouangraoua.
Published: (2018)

Artificial Intelligence and Machine Learning in Healthcare edited by Ankur Saxena, Shivani Chandra.
Published: (2021)

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
Published: (2014)