LEADER 03292nam 22006252 450 001 9910464661203321 005 20151005020622.0 010 $a1-107-23842-0 010 $a1-299-39995-9 010 $a1-107-33277-X 010 $a1-107-33689-9 010 $a1-139-54233-8 010 $a1-107-33357-1 010 $a1-107-33523-X 010 $a1-107-33606-6 035 $a(CKB)3460000000128975 035 $a(SSID)ssj0000832914 035 $a(PQKBManifestationID)11476935 035 $a(PQKBTitleCode)TC0000832914 035 $a(PQKBWorkID)10935475 035 $a(PQKB)10339432 035 $a(UkCbUP)CR9781139542333 035 $a(MiAaPQ)EBC1139621 035 $a(Au-PeEL)EBL1139621 035 $a(CaPaEBR)ebr10667768 035 $a(CaONFJC)MIL471245 035 $a(OCoLC)830001169 035 $a(EXLCZ)993460000000128975 100 $a20120702d2013|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCoherence in three-dimensional category theory /$fNick Gurski, University of Sheffield$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2013. 215 $a1 online resource (vii, 278 pages) $cdigital, PDF file(s) 225 1 $aCambridge tracts in mathematics ;$v201 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a1-107-03489-2 311 $a1-107-32713-X 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- Background: Bicategorical background ; Coherence for bicategories ; Gray-categories -- Tricategories: The algebraic definition of tricategory ; Examples ; Free constructions ; Basic structure ; Gray-categories and tricategories ; Coherence via Yoneda ; Coherence via free constructions -- Gray-monads: Codescent in Gray-categories ; Codescent as a weighted colimit ; Gray-monads and their algebras ; The reflection of lax algebras into strict algebras ; A general coherence result. 330 $aDimension three is an important test-bed for hypotheses in higher category theory and occupies something of a unique position in the categorical landscape. At the heart of matters is the coherence theorem, of which this book provides a definitive treatment, as well as covering related results. Along the way the author treats such material as the Gray tensor product and gives a construction of the fundamental 3-groupoid of a space. The book serves as a comprehensive introduction, covering essential material for any student of coherence and assuming only a basic understanding of higher category theory. It is also a reference point for many key concepts in the field and therefore a vital resource for researchers wishing to apply higher categories or coherence results in fields such as algebraic topology or theoretical computer science. 410 0$aCambridge tracts in mathematics ;$v201. 606 $aTricategories 615 0$aTricategories. 676 $a512/.55 700 $aGurski$b Nick$f1980-$01040911 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910464661203321 996 $aCoherence in three-dimensional category theory$92464129 997 $aUNINA LEADER 01173nam0 2200301 i 450 001 VAN0010225 005 20071129120000.0 010 $a08-7840-745-6 100 $a20021121d1999 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aJewish and catholic bioethics$ean ecumenical dialogue$fedited by Alan I. Faden with Edmund D. Pellegrino 210 $aWashington$cGeorgetown university$d1999 215 $aXVIII, 154 p.$d22 cm. 606 $aBioetica$3VANC000615$2FI 620 $dWashington$3VANL000038 702 1$aFaden$bAlan I.$3VANV007879 702 1$aPellegrino$bEdmund D.$3VANV007878 712 $aGeorgetown university$3VANV110381$4650 790 1$aFaden, A.I.$zFaden, Alan I.$3VANV061901 790 1$aFaden, A. I.$zFaden, Alan I.$3VANV061902 801 $aIT$bSOL$c20240119$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$1IT-CE0105$2VAN00 912 $aVAN0010225 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS I.D.31 $e00 20527 20021121 996 $aJewish and catholic bioethics$91438205 997 $aUNICAMPANIA LEADER 04467nam 22006255 450 001 9910407714703321 005 20220208214059.0 010 $a3-030-45545-9 024 7 $a10.1007/978-3-030-45545-3 035 $a(CKB)5280000000218577 035 $a(MiAaPQ)EBC6227977 035 $a(DE-He213)978-3-030-45545-3 035 $a(PPN)248598287 035 $a(EXLCZ)995280000000218577 100 $a20200613d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIndie Video Game Development Work $eInnovation in the Creative Economy /$fby Alexander Styhre 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Palgrave Macmillan,$d2020. 215 $a1 online resource (252 pages) 311 $a3-030-45544-0 327 $aChapter One: The ethnographer?s dilemma: To understand a world that is not your own while avoiding to misrepresenting it -- Part I: Theoretical Perspectives -- Chapter two: Governing innovation led economies: The role of business creation and creativity -- Chapter three: The passionate worker and deeply meaningful work -- Part II: The empirical material -- Chapter four: Who is an indie developer?: Sorting out the categories -- Chapter five: Social norms in the developer community: The ambiguity of money-making -- Chapter six: In the venture capital market: Raising funds and dealing with investors and financiers -- Chapter seven: Expanding the video game concept: The perceptual and epistemological bases of the digital objects -- Chapter eight: Passionate production in the shadow of the market: The prospects of innovation-led growth. 330 $aThis book presents a study of so-called indie video game developers that are widely regarded as the creative and innovative fringe of the video game industry. The video game industry is an exemplary entrepreneurial high growth industry that combines digital media, cinematographic representations and interactive gaming technologies, and uses global digital distribution channels to reach local gaming communities. The study examines a number of issues, concerns, challenges, and opportunities that indie developers are handling as part of their development work. The love of gaming and video games more specifically is the shared and unifying force of both so-called Triple-A developers and the indie developer community. Still, issues such as how to raise financial capital or otherwise fund the development work, or how to optimize the return on investment when video games are released on digital platforms are issues that indie developers need to cope with. The study is theoretically framed as a case of an innovation-led sector of the economy, yet being anchored in the Swedish welfare state model, wherein e.g., free tertiary education and social insurances and health case at low cost are provided and supportive of enterprising. This book will be valuable reading for academics working in the fields of knowledge management, innovation, and the creative economy. . . 606 $aManagement 606 $aIndustrial management 606 $aNew business enterprises 606 $aKnowledge management 606 $aManagement information systems 606 $aInnovation/Technology Management$3https://scigraph.springernature.com/ontologies/product-market-codes/518000 606 $aStart-Ups/Venture Capital$3https://scigraph.springernature.com/ontologies/product-market-codes/514030 606 $aKnowledge Management$3https://scigraph.springernature.com/ontologies/product-market-codes/515030 606 $aSoftware Management$3https://scigraph.springernature.com/ontologies/product-market-codes/522050 615 0$aManagement. 615 0$aIndustrial management. 615 0$aNew business enterprises. 615 0$aKnowledge management. 615 0$aManagement information systems. 615 14$aInnovation/Technology Management. 615 24$aStart-Ups/Venture Capital. 615 24$aKnowledge Management. 615 24$aSoftware Management. 676 $a338.477948 676 $a650 700 $aStyhre$b Alexander$4aut$4http://id.loc.gov/vocabulary/relators/aut$0616190 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910407714703321 996 $aIndie Video Game Development Work$92201450 997 $aUNINA LEADER 06138nam 22007935 450 001 9910143602303321 005 20200704041920.0 010 $a3-540-45335-0 024 7 $a10.1007/3-540-45335-0 035 $a(CKB)1000000000211417 035 $a(SSID)ssj0000322005 035 $a(PQKBManifestationID)11250735 035 $a(PQKBTitleCode)TC0000322005 035 $a(PQKBWorkID)10280223 035 $a(PQKB)10928071 035 $a(DE-He213)978-3-540-45335-2 035 $a(MiAaPQ)EBC3072317 035 $a(PPN)155217933 035 $a(EXLCZ)991000000000211417 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputability and Complexity in Analysis $e4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers /$fedited by Jens Blanck, Vasco Brattka, Peter Hertling 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (VIII, 396 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2064 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42197-1 320 $aIncludes bibliographical references and index. 327 $aComputability and Complexity in Analysis -- Effectivity of Regular Spaces -- The Degree of Unsolvability of a Real Number -- A Survey of Exact Arithmetic Implementations -- Standard Representations of Effective Metric Spaces -- Banach-Mazur Computable Functions on Metric Spaces -- A Generic Root Operation for Exact Real Arithmetic -- Effective Contraction Theorem and Its Application -- Polynomially Time Computable Functions over p-Adic Fields -- On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems -- Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory -- Computing a Required Absolute Precision from a Stream of Linear Fractional Transformations -- ?-Approximable Functions -- Computabilities of Fine-Continuous Functions -- The iRRAM: Exact Arithmetic in C++ -- The Uniformity Conjecture -- Admissible Representations of Limit Spaces -- Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions -- Effective Fixed Point Theorem over a Non-Computably Separable Metric Space -- Computational Dimension of Topological Spaces -- Some Properties of the Effective Uniform Topological Space -- On Computable Metric Spaces Tietze-Urysohn Extension Is Computable -- Is the Linear Schrödinger Propagator Turing Computable? -- A Computable Spectral Theorem -- Report on Competition -- Exact Real Arithmetic Systems: Results of Competition. 330 $aThe workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000. It was the fourth workshop in a successful series of workshops: CCA?95 in Hagen, Germany, CCA?96 in Trier, Germany, and CCA?98 in Brno, Czech Republic. About 40 participants from the countries United Kingdom, Germany, Japan, Italy, Russia, France, Denmark, Greece, and Ireland contributed to the success of this meeting. Altogether, 28 talkswere p- sented in Swansea. These proceedings include 23 papers which represent a cro- section through recent research on computability and complexity in analysis. The workshop succeeded in bringing together people interested in computability and complexity aspects of analysis and in exploring connections with nume- cal methods, physics and, of course, computer science. It was rounded o by a number of talks and papers on exact computer arithmetic and by a competition of v e implemented systems. A report on this competition has been included in these proceedings. We would like to thank the authors for their contributions and the referees for their careful work, and we hope for further inspiring and constructive meetings of the same kind. April 2001 Jens Blanck Vasco Brattka Peter Hertling Organization CCA2000was hosted by the Department of Computer Science of the University of Wales Swansea and took place on September 17{19, 2000. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2064 606 $aComputers 606 $aDatabase management 606 $aComputer programming 606 $aAlgorithms 606 $aMathematical logic 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aComputers. 615 0$aDatabase management. 615 0$aComputer programming. 615 0$aAlgorithms. 615 0$aMathematical logic. 615 14$aComputation by Abstract Devices. 615 24$aDatabase Management. 615 24$aProgramming Techniques. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aMathematical Logic and Formal Languages. 615 24$aMathematical Logic and Foundations. 676 $a515 702 $aBlanck$b Jens$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBrattka$b Vasco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHertling$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143602303321 996 $aComputability and Complexity in Analysis$92165836 997 $aUNINA