LEADER 03279nam 22006975 450 001 996466311903316 005 20230330003020.0 010 $a3-662-59533-8 024 7 $a10.1007/978-3-662-59533-6 035 $a(CKB)4100000008493404 035 $a(DE-He213)978-3-662-59533-6 035 $a(MiAaPQ)EBC5927960 035 $a(PPN)254567460 035 $a(EXLCZ)994100000008493404 100 $a20190609d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic, Language, Information, and Computation$b[electronic resource] $e26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /$fedited by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz 205 $a1st ed. 2019. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2019. 215 $a1 online resource (XXI, 662 p. 1480 illus., 29 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11541 311 $a3-662-59532-X 320 $aIncludes bibliographical references and index. 327 $aFormal Logic. Computing. Programming Theory -- Natural Language -- Reasoning. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11541 606 $aMachine theory 606 $aComputer science 606 $aAlgorithms 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aAlgorithms 606 $aSoftware Engineering 606 $aArtificial Intelligence 615 0$aMachine theory. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 14$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aAlgorithms. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 676 $a005.131 702 $aIemhoff$b Rosalie$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMoortgat$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Queiroz$b Ruy$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466311903316 996 $aLogic, Language, Information and Computation$9772504 997 $aUNISA LEADER 03094nam 2200637 450 001 9910816655903321 005 20211213150211.0 010 $a1-119-18454-1 010 $a1-119-18457-6 010 $a1-119-18458-4 035 $a(CKB)3710000000459388 035 $a(EBL)2144887 035 $a(SSID)ssj0001551342 035 $a(PQKBManifestationID)16167684 035 $a(PQKBTitleCode)TC0001551342 035 $a(PQKBWorkID)14811684 035 $a(PQKB)11130629 035 $a(MiAaPQ)EBC4041107 035 $a(MiAaPQ)EBC2144887 035 $a(Au-PeEL)EBL4041107 035 $a(CaPaEBR)ebr11086799 035 $a(CaONFJC)MIL820178 035 $a(OCoLC)918624123 035 $a(Au-PeEL)EBL2144887 035 $a(PPN)249024063 035 $a(EXLCZ)993710000000459388 100 $a20150824h20152015 uy 0 101 0 $aeng 135 $aurcn|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBasic stochastic processes /$fPierre Devolder, Jacques Janssen, Raimondo Manca 205 $aFirst edition. 210 1$aLondon, England :$cWiley,$d2015. 210 4$d©2015 215 $a1 online resource (327 pages) 225 1 $aMathematics and Statistics Series 300 $aDescription based upon print version of record. 311 1 $a1-84821-882-6 320 $aIncludes bibliographical references and index. 327 $aChapter 1. Basic Probabilistic Tools for Stochastic Modeling / Pierre Devolder, Jacques Janssen, Raimondo Manca -- Chapter 2. Homogeneous and Non-Homogeneous Renewal Models / Pierre Devolder, Jacques Janssen, Raimondo Manca -- Chapter 3. Markov Chains / Pierre Devolder, Jacques Janssen, Raimondo Manca -- Chapter 4. Homogeneous and Non-Homogeneous Semi-Markov Models / Pierre Devolder, Jacques Janssen, Raimondo Manca -- Chapter 5. Stochastic Calculus / Pierre Devolder, Jacques Janssen, Raimondo Manca -- Chapter 6. Lévy Processes / Pierre Devolder, Jacques Janssen, Raimondo -- Chapter 7. Actuarial Evaluation, VaR and Stochastic Interest Rate Models. 330 $aThis book presents basic stochastic processes, stochastic calculus including Le?vy processes on one hand, and Markov and Semi Markov models on the other. From the financial point of view, essential concepts such as the Black and Scholes model, VaR indicators, actuarial evaluation, market values, fair pricing play a central role and will be presented. The authors also present basic concepts so that this series is relatively self-contained for the main audience formed by actuaries and particularly with ERM (enterprise risk management) certificates, insurance risk managers, students in Master i 606 $aStochastic processes 615 0$aStochastic processes. 676 $a519.2 700 $aDevolder$b Pierre$0614083 702 $aJanssen$b Jacques 702 $aManca$b Raimondo 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 801 2$b6680 912 $a9910816655903321 996 $aBasic stochastic processes$94029034 997 $aUNINA