Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Maler, Oded (Επιμελητής έκδοσης), Halász, Ádám (Επιμελητής έκδοσης), Dang, Thao (Επιμελητής έκδοσης), Piazza, Carla (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Έκδοση: 1st ed. 2015.
• Σειρά: Lecture Notes in Computer Science, 7699
• Θέματα: Computer science.; Computer communication systems.; Computers.; Computer logic.; Artificial intelligence.; Computer simulation.; Bioinformatics.; Computer Science.; Logics and Meanings of Programs.; Simulation and Modeling.; Computational Biology/Bioinformatics.; Computation by Abstract Devices.; Artificial Intelligence (incl. Robotics).; Computer Communication Networks.

 This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Hybrid Systems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina, Italy, in September 2013; and the Third International Workshop on Hybrid Systems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, in July 2014. This volume presents 8 full papers together with 2 invited tutorials/surveys from 21 submissions. The HSB 2013 workshop aims at collecting scientists working in the area of hybrid modeling applied to systems biology, in order to discuss about current achieved goals, current challenges and future possible developments. The scope of the HSB 2014 workshop is the general area of dynamical models in biology with an emphasis on hybrid approaches, which are not restricted to a narrow class of mathematical models, and which take advantage of techniques developed separately in different sub-fields. <. 

 Immune Response Enhancement Strategy via Hybrid Control Perspective -- Fluorescent Reporter Genes and the Analysis of Bacterial Regulatory Networks -- Modeling and Analysis of Qualitative Behavior of Gene Regulatory Networks -- Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models -- Optimal Observation Time Points in Stochastic Chemical Kinetics -- Exploring Synthetic Mass Action Models -- Exploiting the Eigenstructures of Linear Systems to Speed up Reachability Computation -- RKappa: Statistical Sampling Suite for Kappa Models -- Integration of Rule-Based Models and Compartmental Models of Neurons -- FM-Sim: A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference.