LEADER 01322oam 2200409z- 450 001 9910390550803321 005 20171029073829.0 035 $a(CKB)3460000000134948 035 $a(EXLCZ)993460000000134948 100 $a20200503c2011uuuu -u- - 101 0 $aeng 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aMonte Carlo method, random number, and pseudorandom number /$fHiroshi Sugita 210 $cMathematical Society of Japan 210 1$aTokyo, Japan :$cMathematical Society of Japan,$d2011. 215 $a133 pages $cillustrations ;$d25 cm 225 0 $aMSJ memoirs ;$vvolume 25 311 $a4-931469-65-5 320 $aIncludes bibliographical references (pages 127-130) and index. 517 $aMonte Carlo method, random number, and pseudorandom number. Vol 25 606 $aMonte Carlo method 606 $aNumbers, Random 606 $aRandom number generators 615 0$aMonte Carlo method. 615 0$aNumbers, Random. 615 0$aRandom number generators. 676 $a518/.282 700 $aSugita$b Hiroshi$f1958-$01243923 801 0$bDLC 801 1$bDLC 801 2$bDLC 906 $aBOOK 912 $a9910390550803321 996 $aMonte Carlo method, random number, and pseudorandom number$92885321 997 $aUNINA LEADER 04487nam 22007335 450 001 9910484709803321 005 20251106125534.0 010 $a3-319-40578-0 024 7 $a10.1007/978-3-319-40578-0 035 $a(CKB)3710000000734813 035 $a(DE-He213)978-3-319-40578-0 035 $a(MiAaPQ)EBC6303740 035 $a(MiAaPQ)EBC5596242 035 $a(Au-PeEL)EBL5596242 035 $a(OCoLC)953143169 035 $a(PPN)194378497 035 $a(EXLCZ)993710000000734813 100 $a20160629d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aReversible Computation $e8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /$fedited by Simon Devitt, Ivan Lanese 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XIII, 339 p. 109 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9720 311 08$a3-319-40577-2 327 $aProcess Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local reversibility -- Static VS Dynamic Reversibility in CCS -- Reversing Single Sessions -- Reversible Models -- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible Computation vs. Reversibility in Petri Nets -- Programming Languages -- Energy Efficient Language and Compiler for (Partially) Reversible Algorithms -- Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation -- Quaglia -- Elements of a Reversible Object-Oriented Language -- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs -- Quantum Computing -- Design and Fabrication of CSWAP Gate Based on Nanoelectromechanical Systems -- Design of p-valued Deutsch quantum gates with multiple control signals and mixed polarity -- Using pi-DDsforNearestNeighborOptimizationofQuantumCircuits -- Quantum Programming -- Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits -- Towards Quantum Programs Verification: From Quipper Circuits to QPMC -- Circuit Theory.-Application of Permutation Group Theory in Reversible Logic Synthesis -- Strongly Universal Reversible Gate Sets -- Enumeration of reversible functions and its application to circuit complexity -- A finite alternation result for reversible Boolean circuits -- Syntheses -- Generating reversible circuits from higher-order functional programs -- A fast symbolic transformation based algorithm for reversible logic synthesis.-Checking Reversibility of Boolean Functions. . 330 $aThis book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; quantum programming; circuit theory; and syntheses. . 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v9720 606 $aLogic design 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aQuantum computers 606 $aAlgorithms 606 $aLogic Design 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aQuantum Computing 606 $aTheory of Computation 606 $aAlgorithms 615 0$aLogic design. 615 0$aComputer science. 615 0$aCompilers (Computer programs) 615 0$aQuantum computers. 615 0$aAlgorithms. 615 14$aLogic Design. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aQuantum Computing. 615 24$aTheory of Computation. 615 24$aAlgorithms. 676 $a004 702 $aDevitt$b Simon$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLanese$b Ivan$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484709803321 996 $aReversible Computation$92889238 997 $aUNINA