LEADER 04550nam 22007455 450 001 996203614303316 005 20230816222809.0 010 $a3-642-54789-3 024 7 $a10.1007/978-3-642-54789-8 035 $a(CKB)3710000000106786 035 $a(DE-He213)978-3-642-54789-8 035 $a(SSID)ssj0001204825 035 $a(PQKBManifestationID)11962950 035 $a(PQKBTitleCode)TC0001204825 035 $a(PQKBWorkID)11181038 035 $a(PQKB)11078141 035 $a(MiAaPQ)EBC3093578 035 $a(PPN)178320323 035 $a(EXLCZ)993710000000106786 100 $a20140403d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCategories and Types in Logic, Language, and Physics$b[electronic resource] $eEssays dedicated to Jim Lambek on the Occasion of this 90th Birthday /$fedited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XII, 421 p. 61 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8222 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-54788-5 320 $aIncludes bibliographical references. 327 $aSemantic Unification: A Sheaf Theoretic Approach to Natural Language -- On Residuation -- Type Similarity for the Lambek-Grishin Calculus Revisited -- NP-Completeness of Grammars Based Upon Products of Free Pregroups -- Distributional Semantics: A Montagovian View -- A Logical Basis for Quantum Evolution and Entanglement -- Learning Lambek Grammars from Proof Frames -- Multi-Sorted Residuation -- Italian Clitic Patterns in Pregroup Grammar: State of the Art -- On Associative Lambek Calculus Extended with Basic Proper Axioms -- Classical Structures Based on Unitaries -- Initial Algebras of Terms with Binding and Algebraic Structure -- Abstract Tensor Systems as Monoidal Categories -- On Canonical Embeddings of Residuated Groupoids -- L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents -- A Note on Multidimensional Dyck Languages -- Extended Lambek Calculi and First-Order Linear Logic -- A Categorial Type Logic -- Chasing Diagrams in Cryptography -- The Monotone Lambek Calculus Is NP-Complete -- A Mathematical Analysis of Masaccio?s Trinity -- Conjoin ability in 1-Discontinuous Lambek Calculus -- The Hidden Structural Rules of the Discontinuous Lambek Calculus. 330 $aFor more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring upcoming generations of scholars. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8222 606 $aMachine theory 606 $aComputer science 606 $aComputers?History 606 $aFormal Languages and Automata Theory 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aHistory of Computing 606 $aComputer Science 615 0$aMachine theory. 615 0$aComputer science. 615 0$aComputers?History. 615 14$aFormal Languages and Automata Theory. 615 24$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aHistory of Computing. 615 24$aComputer Science. 676 $a511.3 702 $aLambek$b Joachim 702 $aCasadio$b Claudia$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCoecke$b Bob$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMoortgat$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aScott$b Philip J.$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996203614303316 996 $aCategories and Types in Logic, Language, and Physics$92829782 997 $aUNISA LEADER 04192nam 2200601 450 001 9910813371703321 005 20230803201755.0 010 $a90-6299-864-X 035 $a(CKB)3710000000088335 035 $a(EBL)1632820 035 $a(SSID)ssj0001160153 035 $a(PQKBManifestationID)11743106 035 $a(PQKBTitleCode)TC0001160153 035 $a(PQKBWorkID)11118825 035 $a(PQKB)11458673 035 $a(MiAaPQ)EBC1632820 035 $a(Au-PeEL)EBL1632820 035 $a(CaPaEBR)ebr10837537 035 $a(OCoLC)870950449 035 $a(EXLCZ)993710000000088335 100 $a20140226h20142014 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe history of otosclerosis treatment $ea survey of more than a century's search for the best treatment of the disease /$fR.A. Tange 210 1$aAmsterdam, The Netherlands :$cKugler Publications,$d[2014] 210 4$dİ2014 215 $a1 online resource (160 p.) 300 $aDescription based upon print version of record. 311 $a90-6299-236-6 320 $aIncludes bibliographical references. 327 $aTable of Contents; Foreword; Preface; Introduction; 1. Early history of stapes fixation and otosclerosis; 2. Early conservative and surgical treatments ofotosclerosis; Non-surgicaltreatment ofotosclerosis; 1. Medical treatment of otosclerosis; 1.1. Treatment of the endocrine system for retardation of theotosclerosis process; 1.2. Sex hormones and treatment of otosclerosis; 1.3. Cortisone treatment in otosclerosis; 1.4. Fluoride therapy; 1.5. Bisphosphonate treatment; 2. Alternative well-meant therapies and advices; 2.1. Advices; 2.2. Ayurveda and otosclerosis 327 $a3. X-ray treatment of otosclerosis4. Re-education machines; 4.1. Kine?siphone; 4.2. Zu?nd-Burguet electrophonoi?d; 5. Hearing aids and otosclerosis; Treatment ofotosclerosis andpregnancy; 1. Pregnancy and otosclerosis; 2. Eugenics and otosclerosis; 3. Sterilization and artificial abortus andotosclerosis; Surgical treatmentof otosclerosis; 1. Alternative surgical approach for otosclerosis; 1.1. Wittmaack theory and treatment of otosclerosis; 1.2. Raising of the dura mater as treatment for otosclerosis; 2. Fenestration of the labyrinth 327 $a2.1. The development of the fenestration surgery as treatmentfor otosclerosis2.2. Fenestration operation; 2.2.1. Fenestration according to Maurice Sourdille; 2.2.2. Fenestration according to Julius Lempert; 2.2.3. Fenestration according to Oswald Otto Popper; 3. Mobilization of the stapes and stapediolysis; 3.1. Stapes mobilization; 3.2. Stapediolysis; 4. Stapedectomy and stapedotomy; 4.1. Stapedectomy; 4.2. Small-hole stapedotomy; 4.3. Laser stapes surgery; 4.4. Stapes prostheses; Treatment ofcochlear otosclerosis; 1. Histology on cochlear otosclerosis 327 $a2. Radiological investigation for cochlearotosclerosis3. Treatment of sensorineural deafness due tocochlear otosclerosis; 4. Cochlear implantation in far-advanced cochlearotosclerosis; Final remarks; About the author; References 330 $aPrefaceHearing loss due to otosclerosis has been a subject of many different treatments. Since the understanding at the end of the nineteenth century that the disease was located in and around the cochlea and that it produces conducting and also perceptive hearing loss, all kinds of medical as well as surgical treatments have been applied to cure the disease. Most of the treatments have fallen into oblivion after the successful introduction of the stapedectomy in the late fifties of the last century. This book tries to highlight almost all possible treatments for otosclerosis presented in lite 606 $aOtosclerosis 606 $aOtology$xHistory 606 $aEar$xDiseases 615 0$aOtosclerosis. 615 0$aOtology$xHistory. 615 0$aEar$xDiseases. 676 $a617.8/82 700 $aTange$b R. A$01654799 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910813371703321 996 $aThe history of otosclerosis treatment$94006869 997 $aUNINA