LEADER 01749nam 2200481 450 001 9910595451503321 005 20231110211910.0 010 $a9783031146497$b(electronic bk.) 010 $z9783031146480 035 $a(MiAaPQ)EBC7100666 035 $a(Au-PeEL)EBL7100666 035 $a(CKB)24950009000041 035 $a(PPN)264954971 035 $a(EXLCZ)9924950009000041 100 $a20230222d2022 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aExploring formalisation $ea primer in human-readable mathematics in Lean 3 with examples from simplicial topology /$fClara Lo?h 210 1$aCham, Switzerland :$cSpringer,$d[2022] 210 4$d©2022 215 $a1 online resource (152 pages) 225 1 $aSurveys and Tutorials in the Applied Mathematical Sciences ;$vv.11 311 08$aPrint version: Löh, Clara Exploring Formalisation Cham : Springer International Publishing AG,c2022 9783031146480 320 $aIncludes bibliographical references and index. 410 0$aSurveys and Tutorials in the Applied Mathematical Sciences 606 $aAutomatic theorem proving$xComputer programs 606 $aDemostració automŕtica de teoremes$2thub 606 $aProgrames d'ordinador$2thub 608 $aLlibres electrňnics$2thub 615 0$aAutomatic theorem proving$xComputer programs. 615 7$aDemostració automŕtica de teoremes 615 7$aProgrames d'ordinador 676 $a005.1 700 $aLo?h$b Clara$0767630 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910595451503321 996 $aExploring Formalisation$92919476 997 $aUNINA LEADER 04640nam 22007455 450 001 9910298531103321 005 20200920130608.0 010 $a81-322-1536-2 024 7 $a10.1007/978-81-322-1536-3 035 $a(CKB)3710000000025714 035 $a(EBL)1466381 035 $a(OCoLC)861559040 035 $a(SSID)ssj0001049082 035 $a(PQKBManifestationID)11673219 035 $a(PQKBTitleCode)TC0001049082 035 $a(PQKBWorkID)11016625 035 $a(PQKB)11191945 035 $a(MiAaPQ)EBC1466381 035 $a(DE-He213)978-81-322-1536-3 035 $a(PPN)176126538 035 $a(EXLCZ)993710000000025714 100 $a20131001d2014 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aForeign Direct Investment in South Asia$b[electronic resource] $ePolicy, Impact, Determinants and Challenges /$fby Pravakar Sahoo, Geethanjali Nataraj, Ranjan Kumar Dash 205 $a1st ed. 2014. 210 1$aNew Delhi :$cSpringer India :$cImprint: Springer,$d2014. 215 $a1 online resource (378 p.) 300 $aDescription based upon print version of record. 311 $a81-322-1535-4 320 $aIncludes bibliographical references and index. 327 $a1. Overview -- 2. South Asia: A Macro Overview -- 3.  Foreign Direct Investment Policy in South Asia.- 4.  Foreign Direct Investment Inflows into South Asia FGD -- 5. FDI in China: A comparative Perspective with India -- 6. Determinants of FDI in South Asia -- 7. FDI and Economic Growth in South Asia -- 8. Impact of Foreign Direct Investment and Domestic Investment in South Asia: Time series and Panel Evidence.- 9. Impact of Foreign Direct Investment on domestic Exports:   Time series and Panel Evidence from South Asia -- 10. FDI Reforms in South Asia: Unfinished Agenda, Future Reforms and Challenges.-References.                                                                                                                         . 330 $aDuring the 1990s, the governments of South Asian countries acted as ?facilitators? to attract FDI. As a result, the inflow of FDI increased. However, to become an attractive FDI destination as China, Singapore, or Brazil, South Asia has to improve the local conditions of doing business. This book, based on research that blends theory, empirical evidence, and policy, asks and attempts to answer a few core questions relevant to FDI policy in South Asian countries: Which major reforms have succeeded? What are the factors that influence FDI inflows? What has been the impact of FDI on macroeconomic performance? Which policy priorities/reforms needed to boost FDI are pending? These questions and answers should interest policy makers, academics, and all those interested in FDI in the South Asian region and in India, Pakistan, Bangladesh, Sri Lanka and Pakistan. 606 $aInternational economic relations 606 $aMacroeconomics 606 $aFinance 606 $aEconomic policy 606 $aEconomic development 606 $aInternational Economics$3https://scigraph.springernature.com/ontologies/product-market-codes/W33000 606 $aMacroeconomics/Monetary Economics//Financial Economics$3https://scigraph.springernature.com/ontologies/product-market-codes/W32000 606 $aFinance, general$3https://scigraph.springernature.com/ontologies/product-market-codes/600000 606 $aEconomic Policy$3https://scigraph.springernature.com/ontologies/product-market-codes/W34010 606 $aEconomic Growth$3https://scigraph.springernature.com/ontologies/product-market-codes/W44000 615 0$aInternational economic relations. 615 0$aMacroeconomics. 615 0$aFinance. 615 0$aEconomic policy. 615 0$aEconomic development. 615 14$aInternational Economics. 615 24$aMacroeconomics/Monetary Economics//Financial Economics. 615 24$aFinance, general. 615 24$aEconomic Policy. 615 24$aEconomic Growth. 676 $a332.67/3/091724 676 $a332.6730954 700 $aSahoo$b Pravakar$4aut$4http://id.loc.gov/vocabulary/relators/aut$01064014 702 $aNataraj$b Geethanjali$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aDash$b Ranjan Kumar$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910298531103321 996 $aForeign Direct Investment in South Asia$92535899 997 $aUNINA LEADER 05393nam 22006855 450 001 9910755075203321 005 20251113195921.0 010 $a3-031-33580-5 024 7 $a10.1007/978-3-031-33580-8 035 $a(MiAaPQ)EBC30832453 035 $a(Au-PeEL)EBL30832453 035 $a(DE-He213)978-3-031-33580-8 035 $a(PPN)272914274 035 $a(CKB)28572696400041 035 $a(EXLCZ)9928572696400041 100 $a20231028d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aScalable Algorithms for Contact Problems /$fby Zden?k Dostál, Tomá? Kozubek, Marie Sadowská, Vít Vondrák 205 $a2nd ed. 2023. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2023. 215 $a1 online resource (447 pages) 225 1 $aAdvances in Mechanics and Mathematics,$x1876-9896 ;$v36 311 08$aPrint version: Dostál, Zden?k Scalable Algorithms for Contact Problems Cham : Springer International Publishing AG,c2023 9783031335792 327 $aChapter. 1 Contact Problems and Their Solution -- Part. I. Basic Concepts -- Chapter. 2. Linear Algebra -- Chapter. 3. Optimization -- Chapter. 4. Analysis -- Part. II. Optimal QP and QCQP Algorithms -- Chapter. 5. Conjugate Gradients -- Chapter. 6. Gradient Projection for Separable Convex Sets -- Chapter. 7. MPGP for Separable QCQP -- Chapter. 8. MPRGP for Bound-Constrained QP -- Chapter. 9. Solvers for Separable and Equality QP/QCQP Problems -- Part. III. Scalable Algorithms for Contact Problems -- Chapter. 10. TFETI for Scalar Problems -- Chapter. 11. Frictionless Contact Problems -- Chapter. 12. Contact Problems with Friction -- Chapter. 13. Transient Contact Problems -- Chapter. 14. TBETI -- Chapter. 15. Hybrid TFETI and TBETI -- Chapter. 16. Mortars -- Chapter. 17. Preconditioning and Scaling -- Part. IV. Other Applications and Parallel Implementation -- Chapter. 18. Contact with Plasticity -- Chapter.19. Contact Shape Optimization -- Chapter. 20. Massively Parallel Implementation -- Notation and List of Symbols. 330 $aThis book presents a comprehensive treatment of recently developed scalable algorithms for solving multibody contact problems of linear elasticity. The brand-new feature of these algorithms is their theoretically supported numerical scalability (i.e., asymptotically linear complexity) and parallel scalability demonstrated in solving problems discretized by billions of degrees of freedom. The theory covers solving multibody frictionless contact problems, contact problems with possibly orthotropic Tresca?s friction, and transient contact problems. In addition, it also covers BEM discretization, treating jumping coefficients, floating bodies, mortar non-penetration conditions, etc. This second edition includes updated content, including a new chapter on hybrid domain decomposition methods for huge contact problems. Furthermore, new sections describe the latest algorithm improvements, e.g., the fast reconstruction of displacements, the adaptive reorthogonalization of dual constraints, and an updated chapter on parallel implementation. Several chapters are extended to give an independent exposition of classical bounds on the spectrum of mass and dual stiffness matrices, a benchmark for Coulomb orthotropic friction, details of discretization, etc. The exposition is divided into four parts, the first of which reviews auxiliary linear algebra, optimization, and analysis. The most important algorithms and optimality results are presented in the third chapter. The presentation includes continuous formulation, discretization, domain decomposition, optimality results, and numerical experiments. The final part contains extensions to contact shape optimization, plasticity, and HPC implementation. Graduate students and researchers in mechanical engineering, computational engineering, and applied mathematics will find this book of great value and interest. 410 0$aAdvances in Mechanics and Mathematics,$x1876-9896 ;$v36 606 $aMathematics$xData processing 606 $aEngineering mathematics 606 $aEngineering$xData processing 606 $aComputer science$xMathematics 606 $aComputational Mathematics and Numerical Analysis 606 $aMathematical and Computational Engineering Applications 606 $aMathematics of Computing 615 0$aMathematics$xData processing. 615 0$aEngineering mathematics. 615 0$aEngineering$xData processing. 615 0$aComputer science$xMathematics. 615 14$aComputational Mathematics and Numerical Analysis. 615 24$aMathematical and Computational Engineering Applications. 615 24$aMathematics of Computing. 676 $a620.440151 700 $aDosta?l$b Zdene?k$00 701 $aKozubek$b Tomás$01435909 701 $aSadowska?$b Marie$01435910 701 $aVondra?k$b Vi?t$01435911 701 $aBrzobohatý$b Tomás$01435912 701 $aHorak$b David$01435913 701 $aR?i?ha$b Lubomi?r$01435914 701 $aVlach$b Oldrich$01435915 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910755075203321 996 $aScalable Algorithms for Contact Problems$93593962 997 $aUNINA