LEADER 02512nam 2200481 450 001 996418291303316 005 20210228122121.0 010 $a3-030-59152-2 024 7 $a10.1007/978-3-030-59152-6 035 $a(CKB)4100000011505452 035 $a(DE-He213)978-3-030-59152-6 035 $a(MiAaPQ)EBC6371098 035 $a(PPN)255227795 035 $a(EXLCZ)994100000011505452 100 $a20210228d2020 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAutomated technology for verification and analysis $e11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings /$fDang Van Hung, Oleg Sokolsky 205 $a1st ed. 2020. 210 1$aCham, Switzerland :$cSpringer,$d[2020] 210 4$dİ2020 215 $a1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v12302 300 $aIncludes index. 311 $a3-030-59151-4 327 $aNeural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems. 330 $aThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems. 410 0$aProgramming and Software Engineering ;$v12302 606 $aArtificial intelligence 615 0$aArtificial intelligence. 676 $a006.333 702 $aSokolsky$b Oleg 702 $aDang$b Hung Van$f1950- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418291303316 996 $aAutomated Technology for Verification and Analysis$9772478 997 $aUNISA LEADER 05276nam 2200721Ka 450 001 9910791780503321 005 20110301141156.0 010 $a1-283-01641-9 010 $a9786613016416 010 $a0-85724-722-0 035 $a(CKB)2560000000060976 035 $a(EBL)662378 035 $a(OCoLC)704447625 035 $a(SSID)ssj0000470510 035 $a(PQKBManifestationID)12157306 035 $a(PQKBTitleCode)TC0000470510 035 $a(PQKBWorkID)10411169 035 $a(PQKB)11244293 035 $a(MiAaPQ)EBC662378 035 $a(Au-PeEL)EBL662378 035 $a(CaPaEBR)ebr10453163 035 $a(CaONFJC)MIL301641 035 $a(UtOrBLW)bslw07145798 035 $a(EXLCZ)992560000000060976 100 $a20110301d2011 uy 0 101 0 $aeng 135 $aurun||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aIslamic economics and finance$b[electronic resource] $ean epistemological inquiry /$fedited by B.H. Baltagi, E. Sadka, Masudul Alam Choudhury 205 $a1st ed. 210 $aBingley, U.K. $cEmerald Group Pub. Ltd.$d2011 215 $a1 online resource (395 p.) 225 1 $aContributions to economic analysis,$x0573-8555 ;$vv. 291 300 $aDescription based upon print version of record. 311 $a0-85724-721-2 320 $aIncludes bibliographical references (p. 341-362) and index. 327 $ach. 1. Introduction : a technical insight / Masudul Alam Choudhury -- ch. 2. The moral foundation of socio-scientific episteme / Masudul Alam Choudhury -- ch. 3. The epistemic universe of Islamic economics and finance / Masudul Alam Choudhury -- ch. 4. The socio-scientific universe according to the Islamic scholastics / Masudul Alam Choudhury -- ch. 5. Morality, ethics, and the world-system : comparative perspectives / Masudul Alam Choudhury -- ch. 6. The nature of ethics in Islamic socio-scientific order / Masudul Alam Choudhury -- ch. 7. Endogeneity of ethics : the Islamic economic and finance system / Masudul Alam Choudhury -- ch. 8. Overlapping generation model for Islamic asset-valuation : a phenomenological application / Masudul Alam Choudhury -- ch. 9. Pointwise application of circular causation in the Islamic valuation model / Masudul Alam Choudhury -- 10. Circular causation relations using Malaysian data on money and real GDP / Noreha Halid, Mohammad Saleh Ahmed, Masudul Alam Choudhury -- ch. 11. Interest-free microcredit to microentrepreneurs : an institutional network approach / Mohammed Nurul Alam and Masudul Alam Choudhury -- ch. 12. So thirty years after : where do Islamic economics, finance, and banking stand? / Masudul Alam Choudhury -- ch. 13. The demise of mainstream economic reasoning and the alternative : a generalized system-model of money, real economy, finance, and sustainability / Masudul Alam Choudhury -- ch. 14. The Islamic panacea to global financial predicament : a new financial architecture / Masudul Alam Choudhury -- ch. 15. The economic queen has soured : it's time for change / Masudul Alam Choudhury -- ch. 16. Conclusion : contributions to economic analysis / Masudul Alam Choudhury. 330 $aIslamic Economics and Finance: An Epistemological Inquiry is a scholarly work on the foundations of the role that the moral and ethical law plays on human enterprise comprising economics, finance, society and science. Divided into three parts, theoretical, empirical and application, the study covers a vast area of socio-scientific investigation and is extensively comparative in perspective. Its methodology is a mix of a textual, analytical, diagrammatic, mathematical and applied nature spanning various problems of Islamic economics, finance, society and science within a general-system worldview of unity of knowledge. This book presents multidimensional general-system conception, construction, formalism, application and inference as empirically viable and explainable and uses the language of philosophy of science and applied mathematical models alongside policy analysis. At a time when an epistemological study of the foundations of Islamic economics, finance, society and science is receiving crucial attention worldwide this text is equally accessible to the informed reader and the specialized one. 410 0$aContributions to economic analysis ;$vv. 291. 606 $aBusiness & Economics$xEconomics$xGeneral$2bisacsh 606 $aBusiness & Economics$xEconomics$xComparative$2bisacsh 606 $aEconomics$2bicssc 606 $aInternational economics$2bicssc 606 $aIslam$xEconomic aspects 606 $aEconomics$xReligious aspects$xIslam 615 7$aBusiness & Economics$xEconomics$xGeneral. 615 7$aBusiness & Economics$xEconomics$xComparative. 615 7$aEconomics. 615 7$aInternational economics. 615 0$aIslam$xEconomic aspects. 615 0$aEconomics$xReligious aspects$xIslam. 676 $a330.91767 701 $aBaltagi$b Badi H$g(Badi Hani)$0140847 701 $aSadka$b Efraim$0121653 701 $aChoudhury$b Masudul Alam$f1948-$0120437 801 0$bUtOrBLW 801 1$bUtOrBLW 906 $aBOOK 912 $a9910791780503321 996 $aIslamic economics and finance$93706163 997 $aUNINA