000891453 000__ 04410cam\a2200469Ii\4500
000891453 001__ 891453
000891453 005__ 20230306150048.0
000891453 006__ m\\\\\o\\d\\\\\\\\
000891453 007__ cr\cn\nnnunnun
000891453 008__ 190615s2019\\\\sz\a\\\\ob\\\\001\0\eng\d
000891453 019__ $$a1104902112
000891453 020__ $$a9783030172978$$q(electronic book)
000891453 020__ $$a303017297X$$q(electronic book)
000891453 020__ $$z9783030172961
000891453 020__ $$z3030172961
000891453 035__ $$aSP(OCoLC)on1104726822
000891453 035__ $$aSP(OCoLC)1104726822$$z(OCoLC)1104902112
000891453 040__ $$aEBLCP$$beng$$erda$$cEBLCP$$dYDX$$dZ5A$$dEBLCP$$dGW5XE$$dYDXIT$$dUKMGB
000891453 049__ $$aISEA
000891453 050_4 $$aQH324.2$$b.A98 2019
000891453 08204 $$a570.285$$223
000891453 24500 $$aAutomated reasoning for systems biology and medicine /$$cPietro Liò, Paolo Zuliani, editors.
000891453 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2019]
000891453 300__ $$a1 online resource
000891453 336__ $$atext$$btxt$$2rdacontent
000891453 337__ $$acomputer$$bc$$2rdamedia
000891453 338__ $$aonline resource$$bcr$$2rdacarrier
000891453 4901_ $$aComputational biology ;$$vvolume 30
000891453 504__ $$aIncludes bibliographical references and index.
000891453 50500 $$tModel Checking --$$tModel Checking Approach to the Analysis of Biological Systems /$$rNikola Beneš, Luboš Brim, Samuel Pastva, David Šafránek --$$tAutomated Reasoning for the Synthesis and Analysis of Biological Programs /$$rSara-Jane Dunn, Boyan Yordanov --$$tStatistical Model Checking-Based Analysis of Biological Networks /$$rBing Liu, Benjamin M. Gyori, P. S. Thiagarajan --$$tModels, Devices, Properties, and Verification of Artificial Pancreas Systems /$$rTaisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory Forlenza, David Maahs, Sriram Sankaranarayanan --$$tUsing State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution /$$rMatthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher --$$tFormal Methods and Logic --$$tSet-Based Analysis for Biological Modeling /$$rThao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca --$$tLogic and Linear Programs to Understand Cancer Response /$$rMisbah Razzaq, Lokmane Chebouba, Pierre Le Jeune, Hanen Mhamdi, Carito Guziolowski, Jérémie Bourdon --$$tLogic-Based Formalization of System Requirements for Integrated Clinical Environments /$$rCinzia Bernardeschi, Andrea Domenici, Paolo Masci --$$tBalancing Prescriptions with Constraint Solvers /$$rJuliana K. F. Bowles, Marco B. Caminati --$$tMetastable Regimes and Tipping Points of Biochemical Networks with Potential Applications in Precision Medicine /$$rSatya Swarup Samal, Jeyashree Krishnan, Ali Hadizadeh Esfahani, Christoph Lüders, Andreas Weber, Ovidiu Radulescu --$$tStochastic Modelling and Analysis --$$tStochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions /$$rLudovica Luisa Vissat, Jane Hillston, Anna Williams --$$tApproximation Techniques for Stochastic Analysis of Biological Systems /$$rThakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers --$$tA Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets /$$rAmr Ismail, Mostafa Herajy, Monika Heiner --$$tMethods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol /$$rAlena Simalatsar, Monia Guidi, Pierre Roduit, Thierry Buclin --$$tMachine Learning and Artificial Intelligence --$$tTowards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data /$$rMaria Pires Pacheco, Tamara Bintener, Thomas Sauter --$$tOpportunities and Challenges in Applying Artificial Intelligence to Bioengineering /$$rFusun Yaman, Aaron Adler, Jacob Beal --$$tDeep Learning with Convolutional Neural Networks for Histopathology Image Analysis /$$rDragan Bošnački, Natal van Riel, Mitko Veta.
000891453 506__ $$aAccess limited to authorized users.
000891453 588__ $$aDescription based on online resource; title from digital title page (viewed on July 18, 2019).
000891453 650_0 $$aComputational biology.
000891453 650_0 $$aSystems biology.
000891453 650_0 $$aMedical informatics.
000891453 7001_ $$aLiò, Pietro,$$eeditor.
000891453 7001_ $$aZuliani, Paolo,$$eeditor.
000891453 830_0 $$aComputational biology ;$$vv. 30.
000891453 852__ $$bebk
000891453 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-17297-8$$zOnline Access$$91397441.1
000891453 909CO $$ooai:library.usi.edu:891453$$pGLOBAL_SET
000891453 980__ $$aEBOOK
000891453 980__ $$aBIB
000891453 982__ $$aEbook
000891453 983__ $$aOnline
000891453 994__ $$a92$$bISE