05336nam 2200637Ia 450 991046399700332120200520144314.01-283-97148-8981-4273-37-6(CKB)3280000000004178(EBL)1113165(OCoLC)827210194(SSID)ssj0000850931(PQKBManifestationID)12358394(PQKBTitleCode)TC0000850931(PQKBWorkID)10837870(PQKB)10584375(MiAaPQ)EBC1113165(WSP)00002872(Au-PeEL)EBL1113165(CaPaEBR)ebr10648644(CaONFJC)MIL428398(EXLCZ)99328000000000417820120627d2013 uy 0engurcn|||||||||txtccrEntrepreneurship and economic growth in China[electronic resource] /editors Ting Zhang, Roger R. StoughSingapore ;London World Scientific20131 online resource (358 p.)Description based upon print version of record.981-4273-36-8 Includes bibliographical references and index.Contents; Editors' Note; About the Editors; List of Contributors; List of Figures and Tables; Part I Introduction and Historical Background; Chapter 1 Introduction Ting Zhang, Roger R. Stough, and Chunpu Song; 1.1. Introduction; 1.2. Structure of the Book and Content Summaries of the Chapters; 1.3. Policy Implications; References; Chapter 2 History and Development of Entrepreneurship in China Huaqun Li; 2.1. Introduction; 2.2. The Stage of Market Transitions: Opportunities and Challenges for Entrepreneurship; 2.2.1. From 1978 to 1992; 2.2.1.1. The emergence and rise of TVEs2.2.1.2. The emergence of private enterprise2.2.2. From 1992 to 2000; 2.2.3. From 2000 to Present; 2.3. Chinese Characteristics in Entrepreneurship; 2.3.1. Disguised Entrepreneurship: Red Hat Strategy; 2.3.2. Regional Variation of China's Entrepreneurship; 2.3.3. Changing Entrepreneurship: From Network-Based to Innovation-Based; 2.4. Conclusion; References; Part II Theoretical Framework; Chapter 3 Jaffe-Feldman-Varga: The Search for Knowledge Spillovers Zoltán J. Ács; 3.1. Introduction; 3.2. Jaffe-Feldman-Varga; 3.3. Extensions of the JFV Model3.4. The "Spatialized" Explanation of Economic Growth 3.5. A Knowledge Spillover Theory of Entrepreneurship; 3.6. Agglomeration: The Case of China; 3.7. Public Policy; 3.8. Conclusions; References; APPENDIX; Part III Economic Impact of Entrepreneurship, Innovation, and Technology; Chapter 4 Factor Accumulation or TFP: How does Entrepreneurship Empirically Account for Economic Growth? Junbo Yu; 4.1. Rationale of the Debate: Capital Accumulation versus TFP; 4.2. Entrepreneurship in the Capital Accumulation Approach; 4.3. Entrepreneurship in the TFP Approach; 4.4. Problematic Methodology4.5. An Attempt to Revise along the TFP Approach4.6. An Empirical Test with the Case of China (1996-2004); 4.7. Crucial Facts and Hypotheses; 4.8. Methodologies and Empirical Results; 4.9. Concluding Remarks; Appendix; Panel Data Stationary Test and Co-integration Test; Stationary test; Co-integration test; References; Chapter 5 Regional Economic Growth and Telecommunications Infrastructure in China Yanchun Liu; 5.1. Regional Economic Development in China; 5.2. Development of China's Telecommunications Infrastructure; 5.3. Summary; ReferencesPart IV Financial Environment of Entrepreneurship in China Chapter 6 Entrepreneurship Financing - Innofund Emily Xiaoxia Wang; 6.1. Theoretical and International Context; 6.2. China Context; 6.2.1. Establishment and Operation of Innofund; 6.3. Performance of Innofund; 6.3.1. Innofund's Direct Financing of TSMEs; 6.3.2. Catalyzing Other Funds to TSMEs; 6.3.3. External Factors Affecting Innofund Awards; 6.3.4. Innofund's Contribution to the Capital Market Development for TSMEs; 6.4. Conclusion; ReferencesChapter 7 Entrepreneurial Financing, Corporate Governance, and Firm Performance in China: With Evidence of Listed Companies on the Shenzhen Stock Exchange Jiamin WangThis book provides an analysis of the existing economic dynamics and factors contributing to entrepreneurship in China. Featuring contributions from prominent authors such as Zoltan Acs and Jian Gao, it first poses a theoretical question of whether entrepreneurship exists in China and, if so, the extent and form it takes. This book also examines whether the nature of entrepreneurship in China differs from that elsewhere. Following this investigation, empirical tests and analyses focus on important issues such as: What is the special value of entrepreneurship in China? Does entrepreneurshipEntrepreneurshipChinaChinaEconomic conditions2000-Electronic books.Entrepreneurship338.040951Zhang Ting967734Stough Roger148461MiAaPQMiAaPQMiAaPQBOOK9910463997003321Entrepreneurship and economic growth in China2197711UNINA04331nam 22007695 450 99646540700331620200702125154.03-540-45842-510.1007/3-540-45842-5(CKB)1000000000211678(SSID)ssj0000327459(PQKBManifestationID)11265772(PQKBTitleCode)TC0000327459(PQKBWorkID)10301621(PQKB)10491463(DE-He213)978-3-540-45842-5(MiAaPQ)EBC3072895(PPN)155232916(EXLCZ)99100000000021167820121227d2002 u| 0engurnn|008mamaatxtccrTypes for Proofs and Programs[electronic resource] International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers /edited by Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (VIII, 248 p.) Lecture Notes in Computer Science,0302-9743 ;2277Bibliographic Level Mode of Issuance: Monograph3-540-43287-6 Includes bibliographical references at the end of each chapters and index.Collection Principles in Dependent Type Theory -- Executing Higher Order Logic -- A Tour with Constructive Real Numbers -- An Implementation of Type:Type -- On the Logical Content of Computational Type Theory: A Solution to Curry’s Problem -- Constructive Reals in Coq: Axioms and Categoricity -- A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals -- A Kripke-Style Model for the Admissibility of Structural Rules -- Towards Limit Computable Mathematics -- Formalizing the Halting Problem in a Constructive Type Theory -- On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory -- Changing Data Structures in Type Theory: A Study of Natural Numbers -- Elimination with a Motive -- Generalization in Type Theory Based Proof Assistants -- An Inductive Version of Nash-Williams’ Minimal-Bad-Sequence Argument for Higman’s Lemma.Lecture Notes in Computer Science,0302-9743 ;2277Computer logicArchitecture, ComputerMathematical logicProgramming languages (Electronic computers)Artificial intelligenceLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computer logic.Architecture, Computer.Mathematical logic.Programming languages (Electronic computers).Artificial intelligence.Logics and Meanings of Programs.Computer System Implementation.Mathematical Logic and Foundations.Mathematical Logic and Formal Languages.Programming Languages, Compilers, Interpreters.Artificial Intelligence.006.3/33Callaghan Pauledthttp://id.loc.gov/vocabulary/relators/edtLuo Zhaohuiedthttp://id.loc.gov/vocabulary/relators/edtMcKinna Jamesedthttp://id.loc.gov/vocabulary/relators/edtPollack Robertedthttp://id.loc.gov/vocabulary/relators/edtTYPES 2000BOOK996465407003316Types for Proofs and Programs771867UNISA