000868516 000__ 03767cam\a2200505Ii\4500
000868516 001__ 868516
000868516 005__ 20230306145901.0
000868516 006__ m\\\\\o\\d\\\\\\\\
000868516 007__ cr\cn\nnnunnun
000868516 008__ 190509s2019\\\\sz\a\\\\o\\\\\101\0\eng\d
000868516 020__ $$a9783030194321$$q(electronic book)
000868516 020__ $$a3030194329$$q(electronic book)
000868516 020__ $$z9783030194314
000868516 0247_ $$a10.1007/978-3-030-19432-1$$2doi
000868516 035__ $$aSP(OCoLC)on1100582505
000868516 035__ $$aSP(OCoLC)1100582505
000868516 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dDKU
000868516 049__ $$aISEA
000868516 050_4 $$aTA164
000868516 08204 $$a570.285$$223
000868516 1112_ $$aMLCSB (Symposium)$$n(1st :$$d2018 :$$cSantiago, Chile)
000868516 24510 $$aMolecular logic and computational synthetic biology :$$bfirst International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised selected papers /$$cMadalena Chaves, Manuel A. Martins (eds.).
000868516 2463_ $$aMLCSB 2018
000868516 264_1 $$aCham, Switzerland :$$bSpringer,$$c2019.
000868516 300__ $$a1 online resource (xi, 157 pages) :$$billustrations
000868516 336__ $$atext$$btxt$$2rdacontent
000868516 337__ $$acomputer$$bc$$2rdamedia
000868516 338__ $$aonline resource$$bcr$$2rdacarrier
000868516 4901_ $$aLecture notes in computer science ;$$v11415
000868516 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000868516 500__ $$aIncludes author index.
000868516 50500 $$g1.$$tMolecular logic : brief introduction and some philosophical considerations /$$rClaudio Fuentes Bravo and Patricio Fuentes Bravo --$$g2.$$tVerification for everyone? An overview of dynamic logic /$$rAlexandre Madeira --$$g3.$$tOscillatory behaviour on a non-autonomous hybrid SIR-model /$$rEugénio M. Rocha --$$g4.$$tCombinatorial dynamics for regulatory networks /$$rZane Huttinga, Bree Cummins, and Tomas Geadon --$$g5.$$tReactive models for biological regulatory networks /$$rDaniel Figueiredo and Luís Soares Barbosa --$$g6.$$tTemporal logic based synthesis of experimentally constrained interaction networks /$$rJudah Goldfeder and Hillel Kugler --$$g7.$$tOn the existence of synergies and the separability of closed reaction networks /$$rTomas Veloz, Alejandro Bassi, Pedro Maldonado, and Pablo Razeto --$$g8.$$tA logical framework for modelling breast cancer progression /$$rJoëlle Despeyroux, Amy Felty, Pietro Liò, and Carlos Olarte --$$g9.$$tRandom chromatin neighborhoods in 2n-40 Mus m. domesticus meiotic cells : P-percolation and image segmentation /$$rSoledad Berríos, Julio López Fenner, and Aude Maignan.
000868516 506__ $$aAccess limited to authorized users.
000868516 520__ $$aThis book collects the revised selected proceedings of the First International Symposium in Molecular Logic and Computational Synthetic Biology ( MLCSB), held in Chile, Santiago, in December 2018. The volume contains 7 full revised papers along with 2 surveys from 19 submissions presented at the symposium. One of the goals of the MLCSB 2018 was to explore the potential of molecular logic frameworks to study the emerging behavioural patterns in biological networks, combining discrete, continuous and stochastic features, and resorting both to specific or general-purpose analysis and verification techniques. --$$cProvided by publisher.
000868516 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 9, 2019).
000868516 650_0 $$aSynthetic biology$$vCongresses.
000868516 650_0 $$aComputational biology$$vCongresses.
000868516 7001_ $$aChaves, Madalena,$$eeditor.
000868516 7001_ $$aMartins, Manuel A.$$eeditor.
000868516 830_0 $$aLecture notes in computer science ;$$v11415.
000868516 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000868516 852__ $$bebk
000868516 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-19432-1$$zOnline Access$$91397441.1
000868516 909CO $$ooai:library.usi.edu:868516$$pGLOBAL_SET
000868516 980__ $$aEBOOK
000868516 980__ $$aBIB
000868516 982__ $$aEbook
000868516 983__ $$aOnline
000868516 994__ $$a92$$bISE