02237nam 2200409 450 00000160620050718115000.0--------d1892----km-y0itay0103----baitaIT<<La>> stella d'Anglona Benedetta dal Sommo Pontefice e dall'E.mo Card. VicarioPubblicazione mensile di scienze e lettere con varie notizie religiose e politiche Ufficiale per l'Opera del Comitato Permanente de' Congressi Cattolici in Italiadiretta da monsignore Daniello Can. Prof. Virgallita decorato della Croce pro Ecclesia et PontificeCon la coadiuvazione di Mr. F. P. Giambrocono pronotario apostolico e di scrittori insigni e professori emeritiChiaromonte (Potenza)1892p.257-28823 cmSu seconda, terza e quarta di cop. pubblicità editorialeAnno V. Fascicolo IX Settembre 1892MONS. DAMIELLO PROF. CAN. VIRGALLITA, La solenne incoronazione di Santa Maria del Monte di Viggiano in Basilicata (4 settembre 1892), p.257-265. SAC. GIUS. SPERANZA, L'educazione, p.266-270. FRANC ARCIPR. GIAMBROCONO, La preghiera mezzo efficace alla eterna salute, p.270-275. I miracoli di Lourdes e gl'increduli, p.275-278. La nostra speranza è solo in Gesù Cristo, p.278-282. Cronaca vaticana, p.282-287. Saggi di poesia italiana, p.288.Virgallita,Daniello438657Giambrocono,FrancescoITUniversità della Basilicata - B.I.A.RICAunimarc000001606Stella d'Anglona Benedetta dal Sommo Pontefice e dall'E.mo Card. Vicario70561UNIBASMONLETMONOGRLETTEREGINO1019990722BAS011124GINO1019990825BAS01100120000913BAS01142420000920BAS01182920001010BAS01163220050601BAS011752batch0120050718BAS01104720050718BAS01110620050718BAS01113620050718BAS011150BAS01BAS01BOOKBASA1Polo Storico-UmanisticoFDEPFondo De PilatoFD/14461446D14461999072252Rari04759nam 22007335 450 99646626910331620200703022157.03-642-36314-810.1007/978-3-642-36315-3(CKB)3400000000125725(SSID)ssj0000855402(PQKBManifestationID)11516686(PQKBTitleCode)TC0000855402(PQKBWorkID)10913721(PQKB)11229363(DE-He213)978-3-642-36315-3(MiAaPQ)EBC3069554(PPN)168329999(EXLCZ)99340000000012572520130125d2013 u| 0engurnn|008mamaatxtccrReversible Computation[electronic resource] 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers /edited by Robert Glück, Tetsuo Yokoyama1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (X, 241 p. 70 illus.) Programming and Software Engineering ;7581Bibliographic Level Mode of Issuance: Monograph3-642-36315-6 Includes bibliographical references and index.Theoretical Considerations -- Tutorial: Graphical Calculus for Quantum Circuits -- One-Way Reversible Multi-head Finite Automata -- A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads -- Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible MOQA: A Case Study for Quicksort -- Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots -- Reversible and Quantum Circuits -- Reversible and Quantum Circuit Optimization: A Functional Approach -- Properties of Quantum Templates -- Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits -- Design of an Online Testable Ternary Circuit from the Truth Table -- Physical Realizations and Design Garbageless Reversible Implementation of Integer Linear Transformations -- Garbage-Free Reversible Integer Multiplication with Constants of the Form 2k ± 2l ± 1 -- Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams -- Using πDDs in the Design of Reversible Circuits (Work-In-Progress) -- Distributed Systems -- A Verification Technique for Reversible Process Algebra -- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway -- Controlled Reversibility and Compensations.This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012. The 19 contributions presented in this volume were carefully reviewed and selected from 46 submissions. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing.Programming and Software Engineering ;7581Logic designComputer logicComputersAlgorithmsSoftware engineeringLogic Designhttps://scigraph.springernature.com/ontologies/product-market-codes/I12050Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logic design.Computer logic.Computers.Algorithms.Software engineering.Logic Design.Logics and Meanings of Programs.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Software Engineering.005.101/5113Glück Robertedthttp://id.loc.gov/vocabulary/relators/edtYokoyama Tetsuoedthttp://id.loc.gov/vocabulary/relators/edtRC 2012BOOK996466269103316Reversible Computation2036156UNISA