LEADER 04038nam 22006255 450 001 996418295903316 005 20200710111152.0 010 $a3-030-52482-5 024 7 $a10.1007/978-3-030-52482-1 035 $a(CKB)4100000011343552 035 $a(DE-He213)978-3-030-52482-1 035 $a(MiAaPQ)EBC6273252 035 $a(PPN)255070330 035 $a(EXLCZ)994100000011343552 100 $a20200708d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aReversible Computation$b[electronic resource] $e12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings /$fedited by Ivan Lanese, Mariusz Rawski 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XII, 281 p. 355 illus., 56 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v12227 311 $a3-030-52481-7 327 $aReversible Occurrence Nets and Causal Reversible Event Structures -- Involutory Turing Machines -- Event structures for the reversible early internal pi-calculus -- Hermes: A Language for Light-Weight Encryption -- Reversible programming languages capturing complexity classes -- On the expressivity of total reversible programming languages -- Toward a Curry-Howard Correspondence for Linear, Reversible Computation -- A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper -- Fractional Types: Expressive and Safe Space Management for Ancilla Bits -- Circuit Synthesis -- Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem -- Maximality of reversible gate sets -- Search-based Transformation Synthesis for 3-valued Reversible Circuits -- ReverCSP: Time-travelling in CSP computations -- Reversible Computations in Logic Programming -- Towards a formal account for software transactional memory -- Encoding Reversing Petri Nets in Answer Set Programming -- A Reversible Runtime Environment for Parallel Programs. 330 $aThis book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations. 410 0$aProgramming and Software Engineering ;$v12227 606 $aLogic design 606 $aComputer simulation 606 $aData structures (Computer science) 606 $aComputer organization 606 $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 615 0$aLogic design. 615 0$aComputer simulation. 615 0$aData structures (Computer science). 615 0$aComputer organization. 615 14$aLogic Design. 615 24$aSimulation and Modeling. 615 24$aData Structures and Information Theory. 615 24$aComputer Systems Organization and Communication Networks. 676 $a004 702 $aLanese$b Ivan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRawski$b Mariusz$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418295903316 996 $aReversible Computation$92036156 997 $aUNISA LEADER 04892nam 22008055 450 001 9910349424603321 005 20230509134842.0 010 $a9783319787237 010 $a3319787233 024 7 $a10.1007/978-3-319-78723-7 035 $a(CKB)4100000003092412 035 $a(DE-He213)978-3-319-78723-7 035 $a(MiAaPQ)EBC6304003 035 $a(MiAaPQ)EBC5577392 035 $a(Au-PeEL)EBL5577392 035 $a(OCoLC)1032303483 035 $a(PPN)22669643X 035 $a(EXLCZ)994100000003092412 100 $a20180327d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBioinformatics and Biomedical Engineering $e6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 25?27, 2018, Proceedings, Part I /$fedited by Ignacio Rojas, Francisco Ortuño 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XXXI, 556 p.) 225 1 $aLecture Notes in Bioinformatics,$x2366-6331 ;$v10813 311 08$a9783319787220 311 08$a3319787225 327 $aBioinformatics for healthcare and diseases -- Bioinformatics tools to integrate omics dataset and address biological question -- Challenges and advances in measurement and self-parametrization of complex biological systems -- Computational genomics -- Computational proteomics -- Computational systems for modelling biological processes -- Drug delivery system design aided by mathematical modelling and experiments -- Generation, management and biological Insights from big data -- High-throughput bioinformatic tools for medical genomics -- Next generation sequencing and sequence analysis -- Interpretable models in biomedicine and bioinformatics -- Little-big data. Reducing the complexity and facing uncertainty of highly underdetermined phenotype prediction problems -- Biomedical engineering -- Biomedical image analysis -- Biomedical signal analysis -- Challenges in smart and wearable sensor design for mobile health -- Healthcare and diseases. 330 $aThis two-volume set LNBI 10813 and LNBI 10814 constitutes the proceedings of the 6th International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2018, held in Granada, Spain, in April 2018. The 88 regular papers presented were carefully reviewed and selected from 273 submissions. The scope of the conference spans the following areas: bioinformatics for healthcare and diseases; bioinformatics tools to integrate omics dataset and address biological question; challenges and advances in measurement and self-parametrization of complex biological systems; computational genomics; computational proteomics; computational systems for modelling biological processes; drug delivery system design aided by mathematical modelling and experiments; generation, management and biological insights from big data; high-throughput bioinformatic tools for medical genomics; next generation sequencing and sequence analysis; interpretable models in biomedicine and bioinformatics; little-big data. Reducing the complexity and facing uncertainty of highly underdetermined phenotype prediction problems; biomedical engineering; biomedical image analysis; biomedical signal analysis; challenges in smart and wearable sensor design for mobile health; and healthcare and diseases. 410 0$aLecture Notes in Bioinformatics,$x2366-6331 ;$v10813 606 $aBioinformatics 606 $aMedical informatics 606 $aData mining 606 $aComputer vision 606 $aComputer graphics 606 $aComputer engineering 606 $aComputer networks 606 $aComputational and Systems Biology 606 $aHealth Informatics 606 $aData Mining and Knowledge Discovery 606 $aComputer Vision 606 $aComputer Graphics 606 $aComputer Engineering and Networks 615 0$aBioinformatics. 615 0$aMedical informatics. 615 0$aData mining. 615 0$aComputer vision. 615 0$aComputer graphics. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aComputational and Systems Biology. 615 24$aHealth Informatics. 615 24$aData Mining and Knowledge Discovery. 615 24$aComputer Vision. 615 24$aComputer Graphics. 615 24$aComputer Engineering and Networks. 676 $a004 702 $aRojas$b Ignacio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOrtuño$b Francisco$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349424603321 996 $aBioinformatics and Biomedical Engineering$92879321 997 $aUNINA