LEADER 05432nam 2200673 a 450 001 9910457795203321 005 20200520144314.0 010 $a1-283-42411-8 010 $a9786613424112 010 $a90-272-7442-8 035 $a(CKB)2550000000079389 035 $a(EBL)842937 035 $a(OCoLC)773566976 035 $a(SSID)ssj0001012731 035 $a(PQKBManifestationID)11933324 035 $a(PQKBTitleCode)TC0001012731 035 $a(PQKBWorkID)11044453 035 $a(PQKB)11246842 035 $a(SSID)ssj0001293578 035 $a(PQKBManifestationID)12592786 035 $a(PQKBTitleCode)TC0001293578 035 $a(PQKBWorkID)11312040 035 $a(PQKB)23109538 035 $a(MiAaPQ)EBC842937 035 $a(Au-PeEL)EBL842937 035 $a(CaPaEBR)ebr10526898 035 $a(EXLCZ)992550000000079389 100 $a19870414d1987 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aMathematics of language$b[electronic resource] /$fedited by Alexis Manaster-Ramer 210 $aAmsterdam ;$aPhiladelphia $cJ. Benjamins Pub. Co.$d1987 215 $a1 online resource (411 p.) 300 $aDescription based upon print version of record. 311 $a1-55619-032-8 311 $a90-272-2049-2 320 $aIncludes bibliographical references. 327 $aMATHEMATICS OF LANGUAGE; Title page; Copyright page; Table of contents; INTRODUCTION; COMPUTATIONAL COMPLEXITY, MATHEMATICAL LINGUISTICS, AND LINGUISTIC THEORY; 1. INTRODUCTION; 2. THE COMPLEXITY OF MODERN LINGUISTIC THEORIES; 3. NONCOUNTING AND NATURAL GRAMMARS; 4. TREE STRUCTURE AND NATURAL GRAMMARS; 5. BEYOND UNIFICATION GRAMMARS.; REFERENCES; EXCEPTIONS TO GENERIC GENERALIZATIONS; 1. Introduction.; 2. Some incorrect proposals.; 3. A more promising approach.; 4. A brief analysis.; 5. Conclusion.; FOOTNOTES; REFERENCES; APPENDIX; THE STRUCTURE UNDERLYING A SEMANTIC DOMAIN; 1. PRELIMINARIES 327 $a1.1 PURPOSE AND BACKGROUND1.2 LEVELS OF STRUCTURE; 2. APPROACHES TO WORD MEANING; 2.1 EMPIRICAL INVESTIGATION OF SEMANTIC DOMAINS; 2.2 MODELS OF LEXICON STRUCTURE; 3. THE VR FRAMEWORK; 3.1 SPACES AND VOLUMES; 3.2 FEATURES OF VR; 3.3 CONSTRUCTING VOLUMES FOR VR; 3.4 MEANING OVERLAP AND PROPERTY INHERITANCE; 3.5 PROTOTYPES; 3.6 REPRESENTATION OF THEMATIC ROLES; 4. CONCLUSION; ACKNOWLEDGEMENTS; REFERENCES; BINARY RULES AND NON-BINARY TREES: BREAKING DOWN THE CONCEPT OF PHRASE STRUCTURE; 1. PARSING WITH TWO DIFFERENT PARSE TREES; 1.1. Why binary rules are necessary 327 $a1.2. Why computed trees are necessary1.3. The Kleene star; 2. AUGMENTED PHRASE STRUCTURE GRAMMAR AND BINARY RULES; 2.1. An implementation of APSG; 2.2. Rules with unordered constituents; 3. MORE REASONS FOR REVISING PHRASE STRUCTURE; 3.1. Discontinuous constituents; 3.2. Indirect objects in English; 3.3. Serial verb constructions in Dutch; 4. CONCLUSIONS; REFERENCES; AN INTRODUCTION TO TREE ADJOINING GRAMMARS; 1. INTRODUCTION; 2. TREE ADJOINING GRAMMAR FORMALISM; 2.1 TAG'S WITH ""LINKS""; 2.2 TAG'S WITH LOCAL CONSTRAINTS ON ADJOINING; 2.3 DERIVATION IN A TAG; 3. MULTICOMPONENT ADJOINING 327 $aREFERENCESTHE NOTION 'RULE OF GRAMMAR' RECONSIDERED; 0. INTRODUCTION; 1. ETIOLOGICAL ANALYSIS; 2. A FORMAL THEORY OF ETIOLOGICAL ANALYSIS.; 3. ETIOLOGICAL ANALYSIS IN THE STANDARD THEORY.; 4. FAILURES OFDIAGNOSTICITY IN OTHER FORMS OF T-THEORY.; 4.1. In Relational Grammar.; 4.2. In the Revised Extended Standard Theory.; 4.3. In Generalized Phrase Structure Grammar.; 4.4. In Lexical-Functional Grammar.; NOTES; REFERENCES; UNBOUNDED DEPENDENCIES AND SUBJAOENCY IN A TREE ADJOINING GRAMMAR; 1. INTRODUCTION; 2. A TAG FRAGMENT FOR ENGLISH; 3. UNBOUNDED DEPENDENCIES AND SUBJACENCY 327 $a4 ECP EFFECTS IN A TAG5. EXTRACTION FROM NP; 6. CONCLUSION; REFERENCES; A TOPOLOGICAL APPROACH TO STRUCTURAL EQUIVALENCE OF FORMAL LANGUAGES; ACKNOWLEDGEMENT; ON THE DESIGN OF FINITE TRANSDUCERS FOR PARSING PHRASE-STRUCTURE LANGUAGES; 1. INTRODUCTION; 2. THE TRANSDUCER; REFERENCES; GRAPHS AND GRAMMARS; (1) The Graphs; (2) Getting Trees; (3) The Grammars; (4) Acceptance; (5) Weak Generative Capacity; Comments; Acknowledgments; REFERENCES; DISCONTINUITY AND PHRASE STRUCTURE GRAMMAR; REFERENCES; SOURCESOF INTRACTABILITY IN GPSG THEORY; 1 INTRODUCTION; 2 COMPLEXITY OF GPSG-RECOGNITION 327 $a2.1 Formal Specification of GPSG 330 $aBy mathematics of language is meant the mathematical properties that may, under certain assumptions about modeling, be attributed to human languages and related symbolic systems, as well as the increasingly active and autonomous scholarly discipline that studies such things. More specifically, the use of techniques developed in a variety of pure and applied mathematics, including logic and the theory of computation, in the discovery and articulation of insights into the structure of language. Some of the contributions to this volume deal primarily with foundational issues, others with s 606 $aMathematical linguistics$vCongresses 608 $aElectronic books. 615 0$aMathematical linguistics 676 $a410/.1/51 701 $aManaster-Ramer$b Alexis$f1956-$0990824 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910457795203321 996 $aMathematics of language$92267148 997 $aUNINA LEADER 06053nam 22008055 450 001 996465909903316 005 20200705001645.0 010 $a1-280-38885-4 010 $a9786613566775 010 $a3-642-15646-0 024 7 $a10.1007/978-3-642-15646-5 035 $a(CKB)2670000000045083 035 $a(SSID)ssj0000446733 035 $a(PQKBManifestationID)11298849 035 $a(PQKBTitleCode)TC0000446733 035 $a(PQKBWorkID)10504305 035 $a(PQKB)10177582 035 $a(DE-He213)978-3-642-15646-5 035 $a(MiAaPQ)EBC3065795 035 $a(PPN)149025394 035 $a(EXLCZ)992670000000045083 100 $a20100906d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRecent Advances in the Message Passing Interface$b[electronic resource] $e17th European MPI User's Group Meeting, EuroMPI 2010, Stuttgart, Germany, September12-15, 2010, Proceedings /$fedited by Rainer Keller, Edgar Gabriel, Jack Dongarra 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XIV, 308 p. 120 illus.) 225 1 $aProgramming and Software Engineering ;$v6305 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-15645-2 320 $aIncludes bibliographical references and index. 327 $aLarge Scale Systems -- A Scalable MPI_Comm_split Algorithm for Exascale Computing -- Enabling Concurrent Multithreaded MPI Communication on Multicore Petascale Systems -- Toward Performance Models of MPI Implementations for Understanding Application Scaling Issues -- PMI: A Scalable Parallel Process-Management Interface for Extreme-Scale Systems -- Run-Time Analysis and Instrumentation for Communication Overlap Potential -- Efficient MPI Support for Advanced Hybrid Programming Models -- Parallel Filesystems and I/O -- An HDF5 MPI Virtual File Driver for Parallel In-situ Post-processing -- Automated Tracing of I/O Stack -- MPI Datatype Marshalling: A Case Study in Datatype Equivalence -- Collective Operations -- Design of Kernel-Level Asynchronous Collective Communication -- Network Offloaded Hierarchical Collectives Using ConnectX-2?s CORE-Direct Capabilities -- An In-Place Algorithm for Irregular All-to-All Communication with Limited Memory -- Applications -- Massively Parallel Finite Element Programming -- Parallel Zero-Copy Algorithms for Fast Fourier Transform and Conjugate Gradient Using MPI Datatypes -- Parallel Chaining Algorithms -- MPI Internals (I) -- Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs -- Implementing MPI on Windows: Comparison with Common Approaches on Unix -- Compact and Efficient Implementation of the MPI Group Operations -- Characteristics of the Unexpected Message Queue of MPI Applications -- Fault Tolerance -- Dodging the Cost of Unavoidable Memory Copies in Message Logging Protocols -- Communication Target Selection for Replicated MPI Processes -- Transparent Redundant Computing with MPI -- Checkpoint/Restart-Enabled Parallel Debugging -- Best Paper Awards -- Load Balancing for Regular Meshes on SMPs with MPI -- Adaptive MPI Multirail Tuning for Non-uniform Input/Output Access -- Using Triggered Operations to Offload Collective Communication Operations -- MPI Internals (II) -- Second-Order Algorithmic Differentiation by Source Transformation of MPI Code -- Locality and Topology Aware Intra-node Communication among Multicore CPUs -- Transparent Neutral Element Elimination in MPI Reduction Operations -- Poster Abstracts -- Use Case Evaluation of the Proposed MPIT Configuration and Performance Interface -- Two Algorithms of Irregular Scatter/Gather Operations for Heterogeneous Platforms -- Measuring Execution Times of Collective Communications in an Empirical Optimization Framework -- Dynamic Verification of Hybrid Programs -- Challenges and Issues of Supporting Task Parallelism in MPI. 410 0$aProgramming and Software Engineering ;$v6305 606 $aComputer programming 606 $aAlgorithms 606 $aComputer communication systems 606 $aSoftware engineering 606 $aComputer organization 606 $aComputer simulation 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 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 615 0$aComputer programming. 615 0$aAlgorithms. 615 0$aComputer communication systems. 615 0$aSoftware engineering. 615 0$aComputer organization. 615 0$aComputer simulation. 615 14$aProgramming Techniques. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aComputer Systems Organization and Communication Networks. 615 24$aSimulation and Modeling. 676 $a005.11 702 $aKeller$b Rainer$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGabriel$b Edgar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDongarra$b Jack$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aEuropean MPI Users' Group Meeting 906 $aBOOK 912 $a996465909903316 996 $aRecent Advances in the Message Passing Interface$92829972 997 $aUNISA LEADER 01626nam 22005053a 450 001 9910227343803321 005 20250203235430.0 010 $a9783038425090 010 $a3038425095 024 8 $a10.3390/books978-3-03842-509-0 035 $a(CKB)4100000000883895 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/62521 035 $a(ScCtBLL)851e102e-9b6e-4139-9d3d-7ef3d6e9f0cf 035 $a(OCoLC)1048172124 035 $a(oapen)doab62521 035 $a(EXLCZ)994100000000883895 100 $a20250203i20172019 uu 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aWater Optics and Water Colour Remote Sensing$fLinhai Li, Claudia Giardino, Yunlin Zhang 210 $cMDPI - Multidisciplinary Digital Publishing Institute$d2017 210 1$aBasel, Switzerland :$cMDPI,$d2017. 215 $a1 electronic resource (X, 425 p.) 311 08$a9783038425083 311 08$a3038425087 330 $aWater Optics and Water Colour Remote Sensing 606 $aEnvironmental economics$2bicssc 610 $awater optics 610 $aremote sensing algorithm 610 $awater colour remote sensing 610 $aatmospheric correction 610 $achlorophyll a 615 7$aEnvironmental economics 700 $aLi$b Linhai$01787817 702 $aGiardino$b Claudia 702 $aZhang$b Yunlin 801 0$bScCtBLL 801 1$bScCtBLL 906 $aBOOK 912 $a9910227343803321 996 $aWater Optics and Water Colour Remote Sensing$94321805 997 $aUNINA