LEADER 02261nam 2200517 a 450 001 9910785386803321 005 20230725025352.0 010 $a3-8366-4014-7 035 $a(CKB)2670000000053151 035 $a(EBL)594908 035 $a(OCoLC)679420798 035 $a(SSID)ssj0001101158 035 $a(PQKBManifestationID)11709774 035 $a(PQKBTitleCode)TC0001101158 035 $a(PQKBWorkID)11067428 035 $a(PQKB)10874164 035 $a(MiAaPQ)EBC594908 035 $a(Au-PeEL)EBL594908 035 $a(CaPaEBR)ebr10489382 035 $a(EXLCZ)992670000000053151 100 $a20110907d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aInvestment strategies$b[electronic resource] $eimplementation and performance /$fGerhard Wo?rtche 210 $aHamburg $cDiplomica Verlag$d2010 215 $a1 online resource (75 p.) 300 $aTitle from cover. 311 $a3-8366-9014-4 320 $aIncludes bibliographical references. 327 $aInvestment Strategies; Abstract; Content; List of Figures; List of Tables; Abbreviations; 1 Introduction; 2 Modern Portfolio Theory; 3 Applied Methodology; 4 Empirical Results; 5 Conclusion and Further Research; Appendix; References; The Author 330 $aThis book analyzes several investment strategies that are applied to an international equity portfolio. The evaluated strategies are: the Simple Crossover Moving Average, the Equally Weighted Portfolio, the Minimum Variance Portfolio, the Certainty Equivalent Tangency Portfolio, the James Stein Estimator and the Black Litterman Model. Besides the applied methodology part which demonstrates how to implement the considered strategies, the empirical section shows from the viewpoint of a European investor whether the final performance parameters are mainly due to returns of foreign markets or thro 606 $aInvestments 615 0$aInvestments. 676 $a332.63/24 676 $a332.6324 700 $aWo?rtche$b Gerhard$01466503 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910785386803321 996 $aInvestment strategies$93676991 997 $aUNINA LEADER 04244nam 2200637 a 450 001 9910781744003321 005 20200520144314.0 010 $a1-283-28089-2 010 $a9786613280893 010 $a90-04-21636-7 024 7 $a10.1163/ej.9789004207301.i-416 035 $a(CKB)2550000000048741 035 $a(EBL)773414 035 $a(OCoLC)754582338 035 $a(SSID)ssj0000537142 035 $a(PQKBManifestationID)11387657 035 $a(PQKBTitleCode)TC0000537142 035 $a(PQKBWorkID)10553238 035 $a(PQKB)10766404 035 $a(MiAaPQ)EBC773414 035 $a(OCoLC)711864695 035 $a(nllekb)BRILL9789004216365 035 $a(Au-PeEL)EBL773414 035 $a(CaPaEBR)ebr10498905 035 $a(CaONFJC)MIL328089 035 $a(PPN)174545959 035 $a(EXLCZ)992550000000048741 100 $a20110404d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aEuropean Pentecostalism$b[electronic resource] /$fedited by William Kay, Anne E. Dyer 210 $aLeiden ;$aBoston $cBrill$d2011 215 $a1 online resource (426 p.) 225 1 $aGlobal Pentecostal and Charismatic studies,$x1876-2247 ;$vv. 7 300 $aDescription based upon print version of record. 311 $a90-04-20730-9 320 $aIncludes bibliographical references and index. 327 $aScandinavian Pentecostalism / Jan-Ake Alvarsson -- The development of British Pentecostalism / Neil Hudson -- The development of the Pentecostal and Charismatic movements in the Germanic countries / Carl Simpson -- Pentecostalism in the Dutch speaking countries / Cornelis van der Laan -- The development of Penecostalism in Francophone Europe / Raymond Pfister -- The development of the Pentecostal movement in Iberia (Spain & Portugal) / Manuel Martin-Arroyo -- The development of Pentecostalism in Italy / Carmine Napolitano -- South-eastern European nations : Albania, Bosnia and Herzegovina, Greece, Macedonia, Montenegro, Kosovo, Serbia / Driton Krasniqi -- Central European Pentecostalism : Poland, Romania, Bulgaria, Hungary, Czech Republic & Slovakia / Tim Case, Mark Kaminski (Poland), Cipiran Balaban (Romania), Daniela Augistina (Bulgaria), Czaba Tenkely (Hungary), Jozef Brenkus (Czech Republic & Slovakia) -- The Pentecostal movement in Russia and Ukraine / Pavel Mozer and Oleg Bornovolokov -- Pentecostal theology and Protestant Europe / Jean-Daniel Pluss -- Pentecostal theology and Catholic Europe / William K Kay, with Kees Slijkerman, Raymond Pfister and Cees van der Laan -- Pentecostal theology and Communist Europe : Pentecostal power under political pressure / Peter Kuzmic - The future(s) of Pentecostalism in Europe / Raymond Pfister -- A sociological perspective on Pentecostalism / William K. Kay -- Appendix. Statistical charts of Pentecostalism in Europe. 330 $aStarting from small numbers before 1914, the Pentecostal and charismatic movement now comprises nearly one third of the whole of the global Christian population. Scholarly accounts of Pentecostal and charismatic congregations in various countries have been written but this book does something new. It provides an interconnected account of Pentecostalism in Europe, something never before been attempted because of the diversity of languages spoken across the continent. This book shows how Pentecostalism spread from the north of Europe and how it fared during two horrific wars and under communist dictatorships. In doing so it provides new theological, historical and sociological information about Pentecostal churches in eastern and southern Europe, about the Catholic Charismatic Movement and about the state of western groupings. 410 0$aGlobal Pentecostal and Charismatic studies ;$vv. 7. 606 $aPentecostalism$zEurope 607 $aEurope$xChurch history 615 0$aPentecostalism 676 $a274/.082 701 $aKay$b William K.$f1945-$01553657 701 $aDyer$b Anne E$01553658 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910781744003321 996 $aEuropean Pentecostalism$93814347 997 $aUNINA LEADER 05636nam 22007335 450 001 9910484284303321 005 20251226200324.0 010 $a3-540-73595-X 024 7 $a10.1007/978-3-540-73595-3 035 $a(CKB)1000000000490352 035 $a(SSID)ssj0000316396 035 $a(PQKBManifestationID)11241379 035 $a(PQKBTitleCode)TC0000316396 035 $a(PQKBWorkID)10263655 035 $a(PQKB)10677803 035 $a(DE-He213)978-3-540-73595-3 035 $a(MiAaPQ)EBC3063411 035 $a(MiAaPQ)EBC6413235 035 $a(PPN)123163714 035 $a(BIP)32371935 035 $a(BIP)14225734 035 $a(EXLCZ)991000000000490352 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Deduction - CADE-21 $e21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings /$fedited by Frank Pfenning 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XII, 524 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4603 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-73594-1 320 $aIncludes bibliographical references and index. 327 $aSession 1. Invited Talk: Colin Stirling -- Games, Automata and Matching -- Session 2. Higher-Order Logic -- Formalization of Continuous Probability Distributions -- Compilation as Rewriting in Higher Order Logic -- Barendregt?s Variable Convention in Rule Inductions -- Automating Elementary Number-Theoretic Proofs Using Gröbner Bases -- Session 3. Description Logic -- Optimized Reasoning in Description Logics Using Hypertableaux -- Conservative Extensions in the Lightweight Description Logic -- An Incremental Technique for Automata-Based Decision Procedures -- Session 4. Intuitionistic Logic -- Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4 -- A Labelled System for IPL with Variable Splitting -- Session 5. Invited Talk: Ashish Tiwari -- Logical Interpretation: Static Program Analysis Using Theorem Proving -- Session 6. Satisfiability Modulo Theories -- Solving Quantified Verification Conditions Using Satisfiability Modulo Theories -- Efficient E-Matching for SMT Solvers -- -Decision by Decomposition -- Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic -- Session 7. Induction, Rewriting, and Polymorphism -- Improvements in Formula Generalization -- On the Normalization and Unique Normalization Properties of Term Rewrite Systems -- Handling Polymorphism in Automated Deduction -- Session 8. First-Order Logic -- Automated Reasoning in Kleene Algebra -- SRASS - A Semantic Relevance Axiom Selection System -- Labelled Clauses -- Automatic Decidability and Combinability Revisited -- Session 9. Invited Talk: K. Rustan M. Leino -- Designing Verification Conditions for Software -- Session 10. Model Checking and Verification -- Encodings of Bounded LTL Model Checking in Effectively Propositional Logic -- Combination Methodsfor Satisfiability and Model-Checking of Infinite-State Systems -- The KeY system 1.0 (Deduction Component) -- KeY-C: A Tool for Verification of C Programs -- The Bedwyr System for Model Checking over Syntactic Expressions -- System for Automated Deduction (SAD): A Tool for Proof Verification -- Session 11. Invited Talk: Peter Baumgartner -- Logical Engineering with Instance-Based Methods -- Session 12. Termination -- Predictive Labeling with Dependency Pairs Using SAT -- Dependency Pairs for Rewriting with Non-free Constructors -- Proving Termination by Bounded Increase -- Certified Size-Change Termination -- Session 13. Tableaux and First-Order Systems -- Encoding First Order Proofs in SAT -- Hyper Tableaux with Equality -- System Description: E- KRHyper -- System Description: Spass Version 3.0. 330 $aA veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4603 606 $aArtificial intelligence 606 $aMachine theory 606 $aComputer science 606 $aSoftware engineering 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aSoftware engineering. 615 14$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 676 $a511.3 702 $aPfenning$b Frank 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484284303321 996 $aAutomated Deduction – CADE-21$9772519 997 $aUNINA