Automated Reasoning for Systems Biology and Medicine

Automated Reasoning for Systems Biology and Medicine

This book presents outstanding contributions in an exciting, new and multidisciplinary research area: the application of formal, automated reasoning techniques to analyse complex models in systems biology and systems medicine. Automated reasoning is a field of computer science devoted to the develop...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Liò, Pietro (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Zuliani, Paolo (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Έκδοση:	1st ed. 2019.
Σειρά:	Computational Biology, 30
Θέματα:	Bioinformatics. Systems biology. Artificial intelligence. Health informatics. Pattern recognition. Computational Biology/Bioinformatics. Systems Biology. Artificial Intelligence. Health Informatics. Pattern Recognition.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Electronic Nose: Algorithmic Challenges
ανά: Zhang, Lei, κ.ά.
Έκδοση: (2018)

Theoretical and Applied Aspects of Systems Biology
Έκδοση: (2018)

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 4th International Workshop, BrainLes 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers, Part II /
Έκδοση: (2019)

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 4th International Workshop, BrainLes 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers, Part I /
Έκδοση: (2019)

Cognitive Science and Health Bioinformatics Advances and Applications /
ανά: Korrapati, Raghu B., κ.ά.
Έκδοση: (2018)

First International Conference on Artificial Intelligence and Cognitive Computing AICC 2018 /
Έκδοση: (2019)

Time-Space, Spiking Neural Networks and Brain-Inspired Artificial Intelligence
ανά: Kasabov, Nikola K., κ.ά.
Έκδοση: (2019)

Soft Computing and Medical Bioinformatics
ανά: Muppalaneni, Naresh Babu, κ.ά.
Έκδοση: (2019)

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part I /
Έκδοση: (2004)

Medical Image Computing and Computer-Assisted Intervention - MICCAI'99 Second International Conference, Cambridge, UK, September 19-22, 1999, Proceedings /
Έκδοση: (1999)

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002 5th International Conference, Tokyo, Japan, September 25-28, 2002, Proceedings, Part I /
Έκδοση: (2002)

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002 5th International Conference, Tokyo, Japan, September 25-28, 2002, Proceedings, Part II /
Έκδοση: (2002)

Biomedical Image Registration Second International Workshop, WBIR 2003, Philadelphia, PA, USA, June 23-24, 2003, Revised Papers /
Έκδοση: (2003)

Information Processing in Medical Imaging 17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001. Proceedings /
Έκδοση: (2001)

Computational Intelligence Processing in Medical Diagnosis
Έκδοση: (2002)

Medical Image Computing and Computer Assisted Intervention - MICCAI 2019 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part V /
Έκδοση: (2019)

Medical Image Computing and Computer Assisted Intervention - MICCAI 2019 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part I /
Έκδοση: (2019)

Medical Image Computing and Computer Assisted Intervention - MICCAI 2019 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part II /
Έκδοση: (2019)

Medical Image Computing and Computer Assisted Intervention - MICCAI 2019 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part IV /
Έκδοση: (2019)

Medical Image Computing and Computer Assisted Intervention - MICCAI 2019 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part VI /
Έκδοση: (2019)

Medical Image Computing and Computer Assisted Intervention - MICCAI 2019 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part III /
Έκδοση: (2019)

Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis ECCV 2004 Workshops CVAMIA and MMBIA Prague, Czech Republic, May 15, 2004, Revised Selected Papers /
Έκδοση: (2004)

Image Analysis and Recognition 16th International Conference, ICIAR 2019, Waterloo, ON, Canada, August 27-29, 2019, Proceedings, Part II /
Έκδοση: (2019)

Accelerated Path to Cures
Έκδοση: (2018)

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2000 Third International Conference Pittsburgh, PA, USA, October 11-14, 2000 Proceedings /
Έκδοση: (2000)

Hierarchical Feature Selection for Knowledge Discovery Application of Data Mining to the Biology of Ageing /
ανά: Wan, Cen, κ.ά.
Έκδοση: (2019)

Cognitive Science and Artificial Intelligence Advances and Applications /
ανά: Gurumoorthy, Sasikumar, κ.ά.
Έκδοση: (2018)

Machine Learning for Medical Image Reconstruction Second International Workshop, MLMIR 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings /
Έκδοση: (2019)

Understanding and Interpreting Machine Learning in Medical Image Computing Applications First International Workshops, MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings /
Έκδοση: (2018)

Medical Image Computing and Computer Assisted Intervention - MICCAI 2018 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part I /
Έκδοση: (2018)

Medical Image Computing and Computer Assisted Intervention - MICCAI 2018 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part II /
Έκδοση: (2018)

Bacterial Identification and Drug Susceptibility Patterns in Pregnant and Non Pregnant UTI Patients
ανά: Fatima, Syeda Sograh, κ.ά.
Έκδοση: (2018)

Bio-inspired Information and Communication Technologies 11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13-14, 2019, Proceedings /
Έκδοση: (2019)

Computational Pulse Signal Analysis
ανά: Zhang, David, κ.ά.
Έκδοση: (2018)

Genetic Programming European Conference, EuroGP 2000 Edinburgh, Scotland, UK, April 15-16, 2000 Proceedings /
Έκδοση: (2000)

Advanced Data Analytics in Health
Έκδοση: (2018)

Neural Nets 14th Italian Workshop on Neural Nets, WIRN VIETRI 2003, Vietri sul Mare, Italy, June 4-7, 2003, Revised Papers /
Έκδοση: (2003)

Biologically Motivated Computer Vision Second International Workshop, BMCV 2002, Tübingen, Germany, November 22-24, 2002, Proceedings /
Έκδοση: (2002)

Genetic Programming 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings /
Έκδοση: (2003)

International Conference on Biomedical and Health Informatics ICBHI 2015, Haikou, China, 8-10 October 2015 /
Έκδοση: (2019)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών