Automated Reasoning for Systems Biology and Medicine, Pietro Lio and Paolo Zuliani
Автор: Sciortino Название: Atlas of Clinically Important Fungi ISBN: 1119069661 ISBN-13(EAN): 9781119069669 Издательство: Wiley Рейтинг: Цена: 26286.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Although there are many texts that provide quality information for the identification of fungi, researchers and technologists rarely have time to read the text. Most are rushed for time and seek morphological information that helps guide them to the identification of fungi.
Автор: Hobbie, Russell K. Roth, Bradley J. Название: Intermediate Physics for Medicine and Biology. ISBN: 3319126814 ISBN-13(EAN): 9783319126814 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Поставка под заказ.
Описание: As with the previous edition, the first half of the text is primarily biological physics, emphasizing the use of ideas from physics to understand biology and physiology, and the second half is primarily medical physics, describing the use of physics in medicine for diagnosis (mainly imaging) and therapy.
Автор: McGeady T. A. Название: Veterinary Embryology ISBN: 111894061X ISBN-13(EAN): 9781118940617 Издательство: Wiley Рейтинг: Цена: 8862.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Veterinary Embryology, 2nd Edition, has been updated to reflect the many changes that have developed in the field; the text has been fully revised and expanded and is now in full colour and many pedagogical features and a companion website have been developed.
Автор: Bryant, John A. Baggott la Velle, Linda Название: Introduction to Bioethics, 2nd Edition ISBN: 111871959X ISBN-13(EAN): 9781118719596 Издательство: Wiley Рейтинг: Цена: 6803.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction to Bioethics provides a comprehensive and yet concise coverage of the broad field of bioethics, dealing with the scientific, medical, social, religious and, where appropriate, political and international concerns.
Автор: Alfredo Cesario; Frederick Marcus Название: Cancer Systems Biology, Bioinformatics and Medicine ISBN: 9401783659 ISBN-13(EAN): 9789401783651 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This teaching monograph on systems approaches to cancer research and clinical applications provides a unique synthesis, by world-class scientists and doctors, of laboratory, computational, and clinical methods, thereby establishing the foundations for major advances not possible with current methods. Specifically, the book: 1) Sets the stage by describing the basis of systems biology and bioinformatics approaches, and the clinical background of cancer in a systems context; 2) Summarizes the laboratory, clinical, data systems analysis and bioinformatics tools, along with infrastructure and resources required; 3) Demonstrates the application of these tools to cancer research; 4) Extends these tools and methods to clinical diagnosis, drug development and treatment applications; and 5) Finishes by exploring longer term perspectives and providing conclusions. This book reviews the state-of-the-art, and goes beyond into new applications. It is written and highly referenced as a textbook and practical guide aimed at students, academics, doctors, clinicians, industrialists and managers in cancer research and therapeutic applications. Ideally, it will set the stage for integration of available knowledge to optimize communication between basic and clinical researchers involved in the ultimate fight against cancer, whatever the field of specific interest, whatever the area of activity within translational research.
Автор: Smith Название: Biology of Sensory Systems, 2nd Edition ISBN: 0470518626 ISBN-13(EAN): 9780470518625 Издательство: Wiley Рейтинг: Цена: 27395.00 р. Наличие на складе: Поставка под заказ.
Описание: Since publication of the first edition, huge developments have taken place in sensory biology research and new insights have been provided in particular by molecular biology.
Автор: Judea Pearl Название: Probabilistic Reasoning in Intelligent Systems, ISBN: 1558604790 ISBN-13(EAN): 9781558604797 Издательство: Elsevier Science Рейтинг: Цена: 9599.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the theoretical foundations and computational methods that underlie plausible reasoning under uncertainty. The author provides a coherent explication of probability as a language for reasoning with partial belief and offers a unifying perspective on other AI approaches to uncertainty, such as the Dempster-Shafer formalism, truth maintenance systems, and nonmonotonic logic.
The author distinguishes syntactic and semantic approaches to uncertainty--and offers techniques, based on belief networks, that provide a mechanism for making semantics-based systems operational. Specifically, network-propagation techniques serve as a mechanism for combining the theoretical coherence of probability theory with modern demands of reasoning-systems technology: modular declarative inputs, conceptually meaningful inferences, and parallel distributed computation. Application areas include diagnosis, forecasting, image interpretation, multi-sensor fusion, decision support systems, plan recognition, planning, speech recognition--in short, almost every task requiring that conclusions be drawn from uncertain clues and incomplete information.
Probabilistic Reasoning in Intelligent Systems will be of special interest to scholars and researchers in AI, decision theory, statistics, logic, philosophy, cognitive psychology, and the management sciences. Professionals in the areas of knowledge-based systems, operations research, engineering, and statistics will find theoretical and computational tools of immediate practical use. The book can also be used as an excellent text for graduate-level courses in AI, operations research, or applied probability.
Автор: Alessandro Armando; Peter Baumgartner; Gilles Dowe Название: Automated Reasoning ISBN: 3540710698 ISBN-13(EAN): 9783540710691 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. This title includes papers that address the spectrum of research in automated reasoning and are organized in topical sections on specific theories.
Автор: Martin Giese; Arild Waaler Название: Automated Reasoning with Analytic Tableaux and Related Methods ISBN: 3642027156 ISBN-13(EAN): 9783642027154 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 18th International Conference TABLEAUX 2009 Oslo Norway July 610 2009 Proceedings. .
Автор: J?rgen Giesl; Reiner H?hnle Название: Automated Reasoning ISBN: 3642142028 ISBN-13(EAN): 9783642142024 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.
Автор: Yehuda Shoenfeld,Nancy Agmon–Levin Название: Vaccines and Autoimmunity ISBN: 1118663438 ISBN-13(EAN): 9781118663431 Издательство: Wiley Рейтинг: Цена: 22485.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In light of the discovery of Autoimmune Syndrome Induced by Adjuvants, or ASIA, Vaccines and Autoimmunity explores the role of adjuvants specifically aluminum in different vaccines and how they can induce diverse autoimmune clinical manifestations in genetically prone individuals.
Автор: Olivetti Название: Automated Reasoning ISBN: 3319402285 ISBN-13(EAN): 9783319402284 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
