LEADER 03280nam 22006975 450 001 9910483423403321 005 20200827102509.0 010 $a3-030-57097-5 024 7 $a10.1007/978-3-030-57097-2 035 $a(CKB)4100000011401248 035 $a(MiAaPQ)EBC6321320 035 $a(DE-He213)978-3-030-57097-2 035 $a(PPN)250216078 035 $a(EXLCZ)994100000011401248 100 $a20200827d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aStatistical Inversion of Electromagnetic Logging Data$b[electronic resource] /$fby Qiuyang Shen, Jiefu Chen, Xuqing Wu, Yueqin Huang, Zhu Han 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (83 pages) 225 1 $aSpringerBriefs in Petroleum Geoscience & Engineering,$x2509-3126 300 $aIncludes index. 311 $a3-030-57096-7 327 $aIntroduction -- Foundation of Bayesian Inversion and Sampling Methods -- Beyond the Random Walk: a Hybrid Monte Carlo Sampling -- Interpret Model Complexity: Trans-Dimensional Markov Chain Monet Carlo Method -- Accelerated Bayesian Inversion Using Parallel Tempering. 330 $a . 410 0$aSpringerBriefs in Petroleum Geoscience & Engineering,$x2509-3126 606 $aFossil fuels 606 $aGeotechnical engineering 606 $aRemote sensing 606 $aStatistics  606 $aFossil Fuels (incl. Carbon Capture)$3https://scigraph.springernature.com/ontologies/product-market-codes/114000 606 $aGeotechnical Engineering & Applied Earth Sciences$3https://scigraph.springernature.com/ontologies/product-market-codes/G37010 606 $aRemote Sensing/Photogrammetry$3https://scigraph.springernature.com/ontologies/product-market-codes/J13010 606 $aBayesian Inference$3https://scigraph.springernature.com/ontologies/product-market-codes/S18000 606 $aStatistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences$3https://scigraph.springernature.com/ontologies/product-market-codes/S17020 615 0$aFossil fuels. 615 0$aGeotechnical engineering. 615 0$aRemote sensing. 615 0$aStatistics . 615 14$aFossil Fuels (incl. Carbon Capture). 615 24$aGeotechnical Engineering & Applied Earth Sciences. 615 24$aRemote Sensing/Photogrammetry. 615 24$aBayesian Inference. 615 24$aStatistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences. 676 $a622.1828072 700 $aShen$b Qiuyang$4aut$4http://id.loc.gov/vocabulary/relators/aut$01225952 702 $aChen$b Jiefu$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aWu$b Xuqing$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aHuang$b Yueqin$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aHan$b Zhu$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483423403321 996 $aStatistical Inversion of Electromagnetic Logging Data$92846368 997 $aUNINA LEADER 03587nam 22007575 450 001 9910409661903321 005 20251225184951.0 010 $a3-030-51831-0 024 7 $a10.1007/978-3-030-51831-8 035 $a(CKB)4100000011325524 035 $a(MiAaPQ)EBC6281678 035 $a(DE-He213)978-3-030-51831-8 035 $a(PPN)248595415 035 $a(MiAaPQ)EBC6241970 035 $a(EXLCZ)994100000011325524 100 $a20200624d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aApplication and Theory of Petri Nets and Concurrency $e41st International Conference, PETRI NETS 2020, Paris, France, June 24?25, 2020, Proceedings /$fedited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (xi, 435 pages) $cillustrations 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12152 311 08$a3-030-51830-2 327 $aApplication of Concurrency to System Design -- Languages and Synthesis -- Semantics -- Process Mining and Applications -- Extensions and Model Checking -- Tools. 330 $aThis book constitutes the proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, which was supposed to be held in Paris, France, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The 17 regular and 6 tool papers presented together in this volume were carefully reviewed and selected from 56 submissions. The focus of the conference is on following topics: application of concurrency to system design; languages and synthesis; semantics; process mining and applications; extensions and model checking; tools. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12152 606 $aComputer science 606 $aAlgorithms 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aData structures (Computer science) 606 $aInformation theory 606 $aDatabase management 606 $aComputer Science Logic and Foundations of Programming 606 $aDesign and Analysis of Algorithms 606 $aDiscrete Mathematics in Computer Science 606 $aData Structures and Information Theory 606 $aDatabase Management System 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aData structures (Computer science). 615 0$aInformation theory. 615 0$aDatabase management. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aDesign and Analysis of Algorithms. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aData Structures and Information Theory. 615 24$aDatabase Management System. 676 $a511.3 676 $a511.35 702 $aJanicki$b Ryszard$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSidorova$b Natalia$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aChatain$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910409661903321 996 $aApplication and Theory of Petri Nets and Concurrency$91905519 997 $aUNINA